Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration
Symmetric discrete-event systems (DESs) are composed of groups of identical components (machines) and buffers. As every component in each group has the same structure, they can be relabeled to a prototype machine. With respect to buffer specifications (prohibiting overflow and underflow) it is shown...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on systems, man, and cybernetics. Systems man, and cybernetics. Systems, 2020-06, Vol.50 (6), p.2056-2067 |
|---|---|
| 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 | 2067 |
|---|---|
| container_issue | 6 |
| container_start_page | 2056 |
| container_title | IEEE transactions on systems, man, and cybernetics. Systems |
| container_volume | 50 |
| creator | Jiao, Ting Gan, Yongmei Xiao, Guochun Wonham, W. M. |
| description | Symmetric discrete-event systems (DESs) are composed of groups of identical components (machines) and buffers. As every component in each group has the same structure, they can be relabeled to a prototype machine. With respect to buffer specifications (prohibiting overflow and underflow) it is shown that optimal supervisory control of the original DES (with many machines) can be reduced to control of the much smaller collection of prototype machines. With buffer sizes fixed, the result is a small invariant supervisor which is independent of the total number of original machines. We analyze the underlying reason for this invariance property and apply the result of the invariant reduced supervisor to efficient reconfiguration triggered by the addition or removal of machines and increase or decrease of the buffer capacity. |
| doi_str_mv | 10.1109/TSMC.2018.2795011 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_ieee_primary_8283632</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>8283632</ieee_id><sourcerecordid>2404039475</sourcerecordid><originalsourceid>FETCH-LOGICAL-c293t-ca8d58f654e6e7376e98580487911f17205b862de303d54e4fe5442a442768063</originalsourceid><addsrcrecordid>eNo9kMtqwzAQRUVpoSHNB5RuDF07HT0sycuSpg9ICTTpWjj2ODj4kUpyqf--MglZDDNC587AIeSewpxSSJ-2m8_FnAHVc6bSBCi9IhNGpY4Z4-z6MlN5S2bOHQCAMi05yAlZL_-OdVf5qt1Hm6Fp0Nsh6sropXK5RY_x8hdbH76cx8ZFuyH6wjrbYT0GsrYIz7xry2rf28xXXXtHbsqsdjg79yn5fl1uF-_xav32sXhexTlLuY_zTBeJLmUiUKLiSmKqEw1Cq5TSkioGyU5LViAHXgRIlJgIwbJQSmqQfEoeT3uPtvvp0Xlz6HrbhpOGCRDAU6GSQNETldvOOYulOdqqyexgKJhRnRnVmVGdOasLmYdTpkLEC6-Z5pIz_g8p7Giz</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2404039475</pqid></control><display><type>article</type><title>Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration</title><source>IEEE Electronic Library (IEL)</source><creator>Jiao, Ting ; Gan, Yongmei ; Xiao, Guochun ; Wonham, W. M.</creator><creatorcontrib>Jiao, Ting ; Gan, Yongmei ; Xiao, Guochun ; Wonham, W. M.</creatorcontrib><description>Symmetric discrete-event systems (DESs) are composed of groups of identical components (machines) and buffers. As every component in each group has the same structure, they can be relabeled to a prototype machine. With respect to buffer specifications (prohibiting overflow and underflow) it is shown that optimal supervisory control of the original DES (with many machines) can be reduced to control of the much smaller collection of prototype machines. With buffer sizes fixed, the result is a small invariant supervisor which is independent of the total number of original machines. We analyze the underlying reason for this invariance property and apply the result of the invariant reduced supervisor to efficient reconfiguration triggered by the addition or removal of machines and increase or decrease of the buffer capacity.</description><identifier>ISSN: 2168-2216</identifier><identifier>EISSN: 2168-2232</identifier><identifier>DOI: 10.1109/TSMC.2018.2795011</identifier><identifier>CODEN: ITSMFE</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Automata ; Buffers ; Discrete event systems ; Generators ; Invariance property ; Invariants ; Production ; Prototypes ; Reconfiguration ; reconfiguration of discrete-event system (DES) ; Supervisory control ; Switches ; Symmetry ; System recovery</subject><ispartof>IEEE transactions on systems, man, and cybernetics. Systems, 2020-06, Vol.50 (6), p.2056-2067</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2020</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c293t-ca8d58f654e6e7376e98580487911f17205b862de303d54e4fe5442a442768063</citedby><cites>FETCH-LOGICAL-c293t-ca8d58f654e6e7376e98580487911f17205b862de303d54e4fe5442a442768063</cites><orcidid>0000-0002-5187-8345 ; 0000-0003-1277-0208 ; 0000-0003-2343-9932 ; 0000-0002-9918-4481</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/8283632$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/8283632$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Jiao, Ting</creatorcontrib><creatorcontrib>Gan, Yongmei</creatorcontrib><creatorcontrib>Xiao, Guochun</creatorcontrib><creatorcontrib>Wonham, W. M.</creatorcontrib><title>Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration</title><title>IEEE transactions on systems, man, and cybernetics. Systems</title><addtitle>TSMC</addtitle><description>Symmetric discrete-event systems (DESs) are composed of groups of identical components (machines) and buffers. As every component in each group has the same structure, they can be relabeled to a prototype machine. With respect to buffer specifications (prohibiting overflow and underflow) it is shown that optimal supervisory control of the original DES (with many machines) can be reduced to control of the much smaller collection of prototype machines. With buffer sizes fixed, the result is a small invariant supervisor which is independent of the total number of original machines. We analyze the underlying reason for this invariance property and apply the result of the invariant reduced supervisor to efficient reconfiguration triggered by the addition or removal of machines and increase or decrease of the buffer capacity.</description><subject>Automata</subject><subject>Buffers</subject><subject>Discrete event systems</subject><subject>Generators</subject><subject>Invariance property</subject><subject>Invariants</subject><subject>Production</subject><subject>Prototypes</subject><subject>Reconfiguration</subject><subject>reconfiguration of discrete-event system (DES)</subject><subject>Supervisory control</subject><subject>Switches</subject><subject>Symmetry</subject><subject>System recovery</subject><issn>2168-2216</issn><issn>2168-2232</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNo9kMtqwzAQRUVpoSHNB5RuDF07HT0sycuSpg9ICTTpWjj2ODj4kUpyqf--MglZDDNC587AIeSewpxSSJ-2m8_FnAHVc6bSBCi9IhNGpY4Z4-z6MlN5S2bOHQCAMi05yAlZL_-OdVf5qt1Hm6Fp0Nsh6sropXK5RY_x8hdbH76cx8ZFuyH6wjrbYT0GsrYIz7xry2rf28xXXXtHbsqsdjg79yn5fl1uF-_xav32sXhexTlLuY_zTBeJLmUiUKLiSmKqEw1Cq5TSkioGyU5LViAHXgRIlJgIwbJQSmqQfEoeT3uPtvvp0Xlz6HrbhpOGCRDAU6GSQNETldvOOYulOdqqyexgKJhRnRnVmVGdOasLmYdTpkLEC6-Z5pIz_g8p7Giz</recordid><startdate>20200601</startdate><enddate>20200601</enddate><creator>Jiao, Ting</creator><creator>Gan, Yongmei</creator><creator>Xiao, Guochun</creator><creator>Wonham, W. M.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>7TB</scope><scope>8FD</scope><scope>FR3</scope><scope>H8D</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><orcidid>https://orcid.org/0000-0002-5187-8345</orcidid><orcidid>https://orcid.org/0000-0003-1277-0208</orcidid><orcidid>https://orcid.org/0000-0003-2343-9932</orcidid><orcidid>https://orcid.org/0000-0002-9918-4481</orcidid></search><sort><creationdate>20200601</creationdate><title>Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration</title><author>Jiao, Ting ; Gan, Yongmei ; Xiao, Guochun ; Wonham, W. M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c293t-ca8d58f654e6e7376e98580487911f17205b862de303d54e4fe5442a442768063</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Automata</topic><topic>Buffers</topic><topic>Discrete event systems</topic><topic>Generators</topic><topic>Invariance property</topic><topic>Invariants</topic><topic>Production</topic><topic>Prototypes</topic><topic>Reconfiguration</topic><topic>reconfiguration of discrete-event system (DES)</topic><topic>Supervisory control</topic><topic>Switches</topic><topic>Symmetry</topic><topic>System recovery</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Jiao, Ting</creatorcontrib><creatorcontrib>Gan, Yongmei</creatorcontrib><creatorcontrib>Xiao, Guochun</creatorcontrib><creatorcontrib>Wonham, W. M.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</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>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><jtitle>IEEE transactions on systems, man, and cybernetics. Systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Jiao, Ting</au><au>Gan, Yongmei</au><au>Xiao, Guochun</au><au>Wonham, W. M.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration</atitle><jtitle>IEEE transactions on systems, man, and cybernetics. Systems</jtitle><stitle>TSMC</stitle><date>2020-06-01</date><risdate>2020</risdate><volume>50</volume><issue>6</issue><spage>2056</spage><epage>2067</epage><pages>2056-2067</pages><issn>2168-2216</issn><eissn>2168-2232</eissn><coden>ITSMFE</coden><abstract>Symmetric discrete-event systems (DESs) are composed of groups of identical components (machines) and buffers. As every component in each group has the same structure, they can be relabeled to a prototype machine. With respect to buffer specifications (prohibiting overflow and underflow) it is shown that optimal supervisory control of the original DES (with many machines) can be reduced to control of the much smaller collection of prototype machines. With buffer sizes fixed, the result is a small invariant supervisor which is independent of the total number of original machines. We analyze the underlying reason for this invariance property and apply the result of the invariant reduced supervisor to efficient reconfiguration triggered by the addition or removal of machines and increase or decrease of the buffer capacity.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TSMC.2018.2795011</doi><tpages>12</tpages><orcidid>https://orcid.org/0000-0002-5187-8345</orcidid><orcidid>https://orcid.org/0000-0003-1277-0208</orcidid><orcidid>https://orcid.org/0000-0003-2343-9932</orcidid><orcidid>https://orcid.org/0000-0002-9918-4481</orcidid></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 2168-2216 |
| ispartof | IEEE transactions on systems, man, and cybernetics. Systems, 2020-06, Vol.50 (6), p.2056-2067 |
| issn | 2168-2216 2168-2232 |
| language | eng |
| recordid | cdi_ieee_primary_8283632 |
| source | IEEE Electronic Library (IEL) |
| subjects | Automata Buffers Discrete event systems Generators Invariance property Invariants Production Prototypes Reconfiguration reconfiguration of discrete-event system (DES) Supervisory control Switches Symmetry System recovery |
| title | Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-28T23%3A10%3A07IST&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=Exploiting%20Symmetry%20of%20Discrete-Event%20Systems%20by%20Relabeling%20and%20Reconfiguration&rft.jtitle=IEEE%20transactions%20on%20systems,%20man,%20and%20cybernetics.%20Systems&rft.au=Jiao,%20Ting&rft.date=2020-06-01&rft.volume=50&rft.issue=6&rft.spage=2056&rft.epage=2067&rft.pages=2056-2067&rft.issn=2168-2216&rft.eissn=2168-2232&rft.coden=ITSMFE&rft_id=info:doi/10.1109/TSMC.2018.2795011&rft_dat=%3Cproquest_RIE%3E2404039475%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=2404039475&rft_id=info:pmid/&rft_ieee_id=8283632&rfr_iscdi=true |