Automated synthesis and composition of taskblocks for control of manufacturing systems
Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on cybernetics 2000-10, Vol.30 (5), p.696-712 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 712 |
|---|---|
| container_issue | 5 |
| container_start_page | 696 |
| container_title | IEEE transactions on cybernetics |
| container_volume | 30 |
| creator | Holloway, L.E. Xiaoyi Guan Sundaravadivelu, R. Ashley, J. |
| description | Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such a technique. It relies on analysis of a system model, defined as a set of interacting components, each represented as a form of condition system Petri net. Control logic modules, called taskblocks, are synthesized from these individual models. These then interact hierarchically and sequentially to drive the system through specified control goals. The resulting controller is automatically converted to executable control code. The paper concludes with a discussion of a set of software tools developed to demonstrate the techniques on a small manufacturing system. |
| doi_str_mv | 10.1109/3477.875446 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_miscellaneous_914635117</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>875446</ieee_id><sourcerecordid>28716931</sourcerecordid><originalsourceid>FETCH-LOGICAL-c426t-fa806df962bd939453b02ef3ac9c1d8e1681f1f480454ccebf87095d708e6f763</originalsourceid><addsrcrecordid>eNqN0T1v1TAUBmCrAvULpm4MKGKgQ5VyTnzij7GqaKlUiQVYI8exIW0SX2xn6L_HV_eqSAzAZEvvc85wXsbOEC4RQX_gJOWlki2ROGDHqAlrIN28KH9QvCZCfcROUnoAAA1aHrIjVE3bEPBj9u1qzWE22Q1VelryD5fGVJllqGyYNyGNeQxLFXyVTXrsp2AfU-VDLOmSY5i2yWyW1Rub1zgu38uSlN2cXrGX3kzJvd6_p-zrzccv15_q-8-3d9dX97WlRuTaGwVi8Fo0_aC5ppb30DjPjdUWB-VQKPToSQG1ZK3rvZKg20GCcsJLwU_Z-W7vJoafq0u5m8dk3TSZxYU1dRpJ8BZR_lNKTg3pVkOR7_8qm3JE0vQfUEkUmmOB7_6AD2GNSzlMp1QLkoPgBV3skI0hpeh8t4njbOJTh9Bti-62RXe7oot-u1-59rMbftt9swW82YHROfcc76d_AZsJqqw</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>885073063</pqid></control><display><type>article</type><title>Automated synthesis and composition of taskblocks for control of manufacturing systems</title><source>IEEE Electronic Library (IEL)</source><creator>Holloway, L.E. ; Xiaoyi Guan ; Sundaravadivelu, R. ; Ashley, J.</creator><creatorcontrib>Holloway, L.E. ; Xiaoyi Guan ; Sundaravadivelu, R. ; Ashley, J.</creatorcontrib><description>Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such a technique. It relies on analysis of a system model, defined as a set of interacting components, each represented as a form of condition system Petri net. Control logic modules, called taskblocks, are synthesized from these individual models. These then interact hierarchically and sequentially to drive the system through specified control goals. The resulting controller is automatically converted to executable control code. The paper concludes with a discussion of a set of software tools developed to demonstrate the techniques on a small manufacturing system.</description><identifier>ISSN: 1083-4419</identifier><identifier>ISSN: 2168-2267</identifier><identifier>EISSN: 1941-0492</identifier><identifier>EISSN: 2168-2275</identifier><identifier>DOI: 10.1109/3477.875446</identifier><identifier>PMID: 18252403</identifier><identifier>CODEN: ITSCFI</identifier><language>eng</language><publisher>United States: IEEE</publisher><subject>Automated ; Automatic control ; Computer programs ; Control system synthesis ; Control systems ; Cybernetics ; Detection ; Discrete event systems ; Logic ; Manufacturing systems ; Mathematical models ; Petri nets ; Signal synthesis ; Software ; Software debugging ; Software tools ; Synthesis</subject><ispartof>IEEE transactions on cybernetics, 2000-10, Vol.30 (5), p.696-712</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2000</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c426t-fa806df962bd939453b02ef3ac9c1d8e1681f1f480454ccebf87095d708e6f763</citedby><cites>FETCH-LOGICAL-c426t-fa806df962bd939453b02ef3ac9c1d8e1681f1f480454ccebf87095d708e6f763</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/875446$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,777,781,793,27905,27906,54739</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/875446$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://www.ncbi.nlm.nih.gov/pubmed/18252403$$D View this record in MEDLINE/PubMed$$Hfree_for_read</backlink></links><search><creatorcontrib>Holloway, L.E.</creatorcontrib><creatorcontrib>Xiaoyi Guan</creatorcontrib><creatorcontrib>Sundaravadivelu, R.</creatorcontrib><creatorcontrib>Ashley, J.</creatorcontrib><title>Automated synthesis and composition of taskblocks for control of manufacturing systems</title><title>IEEE transactions on cybernetics</title><addtitle>TSMCB</addtitle><addtitle>IEEE Trans Syst Man Cybern B Cybern</addtitle><description>Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such a technique. It relies on analysis of a system model, defined as a set of interacting components, each represented as a form of condition system Petri net. Control logic modules, called taskblocks, are synthesized from these individual models. These then interact hierarchically and sequentially to drive the system through specified control goals. The resulting controller is automatically converted to executable control code. The paper concludes with a discussion of a set of software tools developed to demonstrate the techniques on a small manufacturing system.</description><subject>Automated</subject><subject>Automatic control</subject><subject>Computer programs</subject><subject>Control system synthesis</subject><subject>Control systems</subject><subject>Cybernetics</subject><subject>Detection</subject><subject>Discrete event systems</subject><subject>Logic</subject><subject>Manufacturing systems</subject><subject>Mathematical models</subject><subject>Petri nets</subject><subject>Signal synthesis</subject><subject>Software</subject><subject>Software debugging</subject><subject>Software tools</subject><subject>Synthesis</subject><issn>1083-4419</issn><issn>2168-2267</issn><issn>1941-0492</issn><issn>2168-2275</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2000</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNqN0T1v1TAUBmCrAvULpm4MKGKgQ5VyTnzij7GqaKlUiQVYI8exIW0SX2xn6L_HV_eqSAzAZEvvc85wXsbOEC4RQX_gJOWlki2ROGDHqAlrIN28KH9QvCZCfcROUnoAAA1aHrIjVE3bEPBj9u1qzWE22Q1VelryD5fGVJllqGyYNyGNeQxLFXyVTXrsp2AfU-VDLOmSY5i2yWyW1Rub1zgu38uSlN2cXrGX3kzJvd6_p-zrzccv15_q-8-3d9dX97WlRuTaGwVi8Fo0_aC5ppb30DjPjdUWB-VQKPToSQG1ZK3rvZKg20GCcsJLwU_Z-W7vJoafq0u5m8dk3TSZxYU1dRpJ8BZR_lNKTg3pVkOR7_8qm3JE0vQfUEkUmmOB7_6AD2GNSzlMp1QLkoPgBV3skI0hpeh8t4njbOJTh9Bti-62RXe7oot-u1-59rMbftt9swW82YHROfcc76d_AZsJqqw</recordid><startdate>20001001</startdate><enddate>20001001</enddate><creator>Holloway, L.E.</creator><creator>Xiaoyi Guan</creator><creator>Sundaravadivelu, R.</creator><creator>Ashley, J.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>RIA</scope><scope>RIE</scope><scope>NPM</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>7TB</scope><scope>8FD</scope><scope>F28</scope><scope>FR3</scope><scope>H8D</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>7X8</scope></search><sort><creationdate>20001001</creationdate><title>Automated synthesis and composition of taskblocks for control of manufacturing systems</title><author>Holloway, L.E. ; Xiaoyi Guan ; Sundaravadivelu, R. ; Ashley, J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c426t-fa806df962bd939453b02ef3ac9c1d8e1681f1f480454ccebf87095d708e6f763</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2000</creationdate><topic>Automated</topic><topic>Automatic control</topic><topic>Computer programs</topic><topic>Control system synthesis</topic><topic>Control systems</topic><topic>Cybernetics</topic><topic>Detection</topic><topic>Discrete event systems</topic><topic>Logic</topic><topic>Manufacturing systems</topic><topic>Mathematical models</topic><topic>Petri nets</topic><topic>Signal synthesis</topic><topic>Software</topic><topic>Software debugging</topic><topic>Software tools</topic><topic>Synthesis</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Holloway, L.E.</creatorcontrib><creatorcontrib>Xiaoyi Guan</creatorcontrib><creatorcontrib>Sundaravadivelu, R.</creatorcontrib><creatorcontrib>Ashley, J.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>PubMed</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><collection>Aerospace Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>MEDLINE - Academic</collection><jtitle>IEEE transactions on cybernetics</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Holloway, L.E.</au><au>Xiaoyi Guan</au><au>Sundaravadivelu, R.</au><au>Ashley, J.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Automated synthesis and composition of taskblocks for control of manufacturing systems</atitle><jtitle>IEEE transactions on cybernetics</jtitle><stitle>TSMCB</stitle><addtitle>IEEE Trans Syst Man Cybern B Cybern</addtitle><date>2000-10-01</date><risdate>2000</risdate><volume>30</volume><issue>5</issue><spage>696</spage><epage>712</epage><pages>696-712</pages><issn>1083-4419</issn><issn>2168-2267</issn><eissn>1941-0492</eissn><eissn>2168-2275</eissn><coden>ITSCFI</coden><abstract>Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such a technique. It relies on analysis of a system model, defined as a set of interacting components, each represented as a form of condition system Petri net. Control logic modules, called taskblocks, are synthesized from these individual models. These then interact hierarchically and sequentially to drive the system through specified control goals. The resulting controller is automatically converted to executable control code. The paper concludes with a discussion of a set of software tools developed to demonstrate the techniques on a small manufacturing system.</abstract><cop>United States</cop><pub>IEEE</pub><pmid>18252403</pmid><doi>10.1109/3477.875446</doi><tpages>17</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1083-4419 |
| ispartof | IEEE transactions on cybernetics, 2000-10, Vol.30 (5), p.696-712 |
| issn | 1083-4419 2168-2267 1941-0492 2168-2275 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_914635117 |
| source | IEEE Electronic Library (IEL) |
| subjects | Automated Automatic control Computer programs Control system synthesis Control systems Cybernetics Detection Discrete event systems Logic Manufacturing systems Mathematical models Petri nets Signal synthesis Software Software debugging Software tools Synthesis |
| title | Automated synthesis and composition of taskblocks for control of manufacturing systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T21%3A02%3A39IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Automated%20synthesis%20and%20composition%20of%20taskblocks%20for%20control%20of%20manufacturing%20systems&rft.jtitle=IEEE%20transactions%20on%20cybernetics&rft.au=Holloway,%20L.E.&rft.date=2000-10-01&rft.volume=30&rft.issue=5&rft.spage=696&rft.epage=712&rft.pages=696-712&rft.issn=1083-4419&rft.eissn=1941-0492&rft.coden=ITSCFI&rft_id=info:doi/10.1109/3477.875446&rft_dat=%3Cproquest_RIE%3E28716931%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=885073063&rft_id=info:pmid/18252403&rft_ieee_id=875446&rfr_iscdi=true |