Exploiting symmetry of state tree structures for discrete-event systems with parallel components
We consider discrete-event systems consisting of parallel arrays of machines and buffers. The machines are divided into groups in each of which the members have identical structure, i.e. same state set and isomorphic transitions. This feature allows event relabelling of the machines in a given group...
Saved in:
| Published in | International journal of control Vol. 90; no. 8; pp. 1639 - 1651 |
|---|---|
| Main Authors | , , , |
| Format | Journal Article |
| Language | English |
| Published |
Abingdon
Taylor & Francis
03.08.2017
Taylor & Francis Ltd |
| Subjects | |
| Online Access | Get full text |
| ISSN | 0020-7179 1366-5820 |
| DOI | 10.1080/00207179.2016.1216607 |
Cover
| Abstract | We consider discrete-event systems consisting of parallel arrays of machines and buffers. The machines are divided into groups in each of which the members have identical structure, i.e. same state set and isomorphic transitions. This feature allows event relabelling of the machines in a given group to a standard prototype machine. In these systems, to avoid the underflow or overflow of the buffers, the controller needs only the information of the total numbers of components at each state and the numbers of workpieces in the buffers. By exploiting the identical structure of each group, we extract such control information from the control functions computed by the state tree structures to generate abstract control functions. Thanks to the symmetry of the system, we show that all controllable events relabelled to the same symbol share an invariant abstract control function, which is independent of the total number of machines, as long as the buffer sizes are fixed. The approach is illustrated by two examples. |
|---|---|
| AbstractList | We consider discrete-event systems consisting of parallel arrays of machines and buffers. The machines are divided into groups in each of which the members have identical structure, i.e. same state set and isomorphic transitions. This feature allows event relabelling of the machines in a given group to a standard prototype machine. In these systems, to avoid the underflow or overflow of the buffers, the controller needs only the information of the total numbers of components at each state and the numbers of workpieces in the buffers. By exploiting the identical structure of each group, we extract such control information from the control functions computed by the state tree structures to generate abstract control functions. Thanks to the symmetry of the system, we show that all controllable events relabelled to the same symbol share an invariant abstract control function, which is independent of the total number of machines, as long as the buffer sizes are fixed. The approach is illustrated by two examples. |
| Author | Wonham, W.M. Gan, Yongmei Jiao, Ting Xiao, Guochun |
| Author_xml | – sequence: 1 givenname: Ting orcidid: 0000-0003-2343-9932 surname: Jiao fullname: Jiao, Ting organization: School of Electrical Engineering, Xi'an Jiaotong University – sequence: 2 givenname: Yongmei surname: Gan fullname: Gan, Yongmei email: ymgan@mail.xjtu.edu.cn organization: School of Electrical Engineering, Xi'an Jiaotong University – sequence: 3 givenname: Guochun surname: Xiao fullname: Xiao, Guochun organization: School of Electrical Engineering, Xi'an Jiaotong University – sequence: 4 givenname: W.M. surname: Wonham fullname: Wonham, W.M. organization: Department of Electrical and Computer Engineering, University of Toronto |
| BookMark | eNqFkLlOxDAQhi0EEsvxCEiWqLP4SJxENCDEJSHRQG0c7xiMEjuMvcC-PVktNBRQzRT_N8e3R7ZDDEDIEWdzzhp2wphgNa_buWBczbngSrF6i8y4VKqoGsG2yWydKdahXbKX0itjXFYNn5Gny8-xjz778EzTahgg44pGR1M2GWhGgKnFpc1LhERdRLrwySJkKOAdQp6glGFI9MPnFzoaNH0PPbVxGKcjQ04HZMeZPsHhd90nj1eXDxc3xd399e3F-V1hpWxy0YJhoqpV13AQVVWWQkFlywbqxlml6g5gUTLFQLSt5LbreNkJAcKBdNyZTu6T483cEePbElLWr3GJYVqpeStlW6laNlPqdJOyGFNCcNr66VMfQ0bje82ZXivVP0r1Wqn-VjrR1S96RD8YXP3LnW04HyaDg_mI2C90Nqs-okMTrE9a_j3iCwQ1kTI |
| CitedBy_id | crossref_primary_10_1007_s10626_024_00408_z crossref_primary_10_1016_j_automatica_2022_110431 crossref_primary_10_1080_00207179_2018_1523566 crossref_primary_10_1080_00207179_2019_1630749 crossref_primary_10_1109_TSMC_2018_2795011 crossref_primary_10_1007_s12555_023_0515_3 crossref_primary_10_1016_j_ifacol_2020_12_300 crossref_primary_10_1016_j_ins_2018_07_025 crossref_primary_10_1016_j_ifacol_2018_06_274 crossref_primary_10_1109_TII_2019_2939628 crossref_primary_10_3390_sym14071470 crossref_primary_10_1109_LCSYS_2021_3134368 crossref_primary_10_1016_j_jfranklin_2022_07_040 crossref_primary_10_1080_00207179_2020_1715485 crossref_primary_10_1109_TAC_2020_3031023 crossref_primary_10_1109_TAC_2021_3055196 crossref_primary_10_1007_s11768_018_7074_9 crossref_primary_10_1016_j_automatica_2019_06_012 |
| Cites_doi | 10.1007/s10626-008-0040-9 10.1109/TC.1986.1676819 10.1007/s10626-010-0089-0 10.1137/040610209 10.1016/j.automatica.2013.08.007 10.1109/TAC.2006.875030 10.1147/rd.32.0114 10.1007/978-1-4612-1082-5 10.1109/9.948486 10.1137/0325013 10.1023/B:DISC.0000005009.40749.b6 |
| ContentType | Journal Article |
| Copyright | 2016 Informa UK Limited, trading as Taylor & Francis Group 2016 2016 Informa UK Limited, trading as Taylor & Francis Group |
| Copyright_xml | – notice: 2016 Informa UK Limited, trading as Taylor & Francis Group 2016 – notice: 2016 Informa UK Limited, trading as Taylor & Francis Group |
| DBID | AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D |
| DOI | 10.1080/00207179.2016.1216607 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1366-5820 |
| EndPage | 1651 |
| ExternalDocumentID | 10_1080_00207179_2016_1216607 1216607 |
| Genre | Article |
| GrantInformation_xml | – fundername: China Scholarship Council grantid: [2014]3026 funderid: 10.13039/501100004543 |
| GroupedDBID | -~X .7F .QJ 0BK 0R~ 29J 2DF 30N 4.4 5GY 5VS AAENE AAJMT AALDU AAMIU AAPUL AAQRR ABCCY ABFIM ABHAV ABJNI ABLIJ ABPAQ ABPEM ABTAI ABXUL ABXYU ACBEA ACGEJ ACGFO ACGFS ACIWK ACTIO ADCVX ADGTB ADIYS ADXPE AEISY AENEX AEOZL AEPSL AEYOC AFKVX AGDLA AGMYJ AHDZW AIJEM AJWEG AKBVH AKOOK ALMA_UNASSIGNED_HOLDINGS ALQZU AQRUH AVBZW AWYRJ BLEHA CCCUG CE4 CS3 DGEBU DKSSO DU5 EBS EJD E~A E~B F5P GTTXZ H13 HF~ HZ~ H~P IPNFZ J.P KYCEM M4Z NA5 NX~ O9- P2P RIG RNANH ROSJB RTWRZ S-T SNACF TBQAZ TDBHL TEN TFL TFT TFW TN5 TNC TTHFI TUROJ TWF UT5 UU3 ZGOLN ~S~ AAGDL AAHIA AAYXX AFRVT AIYEW AMVHM CITATION TASJS 7SC 7SP 7TB 8FD ADYSH FR3 JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c338t-9ea02576b81e2554426e5c48e78fc667beed4060e29931cbb14b22e2fe3f1fab3 |
| ISSN | 0020-7179 |
| IngestDate | Fri Jul 25 07:07:52 EDT 2025 Thu Apr 24 23:08:41 EDT 2025 Wed Oct 01 04:18:22 EDT 2025 Wed Dec 25 09:03:35 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 8 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c338t-9ea02576b81e2554426e5c48e78fc667beed4060e29931cbb14b22e2fe3f1fab3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0003-2343-9932 |
| PQID | 1933956738 |
| PQPubID | 176145 |
| PageCount | 13 |
| ParticipantIDs | proquest_journals_1933956738 crossref_primary_10_1080_00207179_2016_1216607 crossref_citationtrail_10_1080_00207179_2016_1216607 informaworld_taylorfrancis_310_1080_00207179_2016_1216607 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2017-08-03 |
| PublicationDateYYYYMMDD | 2017-08-03 |
| PublicationDate_xml | – month: 08 year: 2017 text: 2017-08-03 day: 03 |
| PublicationDecade | 2010 |
| PublicationPlace | Abingdon |
| PublicationPlace_xml | – name: Abingdon |
| PublicationTitle | International journal of control |
| PublicationYear | 2017 |
| Publisher | Taylor & Francis Taylor & Francis Ltd |
| Publisher_xml | – name: Taylor & Francis – name: Taylor & Francis Ltd |
| References | cit0012 Jiao T. (cit0010) 2016 Lane S. (cit0015) 1993 Rohloff K. (cit0018) 2004 Das S.R. (cit0003) 1995 Ekberg G. (cit0004) 2006 cit0019 Holloway L.E. (cit0009) 1994 cit0017 cit0016 cit0014 cit0001 cit0020 cit0021 Jiao T. (cit0011) 2015 Weyl H (cit0024) 1983 Wang W. (cit0022) 2013 Ma C. (cit0013) 2005 Eyzell J.M. (cit0005) 1998 cit0008 Weyl H. (cit0023) 1950 cit0006 Grigorov L. (cit0007) 2008 cit0026 cit0027 cit0002 cit0025 |
| References_xml | – ident: cit0001 doi: 10.1007/s10626-008-0040-9 – ident: cit0002 doi: 10.1109/TC.1986.1676819 – ident: cit0008 doi: 10.1007/s10626-010-0089-0 – start-page: 1 volume-title: TENCON 2015–2015 IEEE Region 10 Conference year: 2015 ident: cit0011 – ident: cit0019 doi: 10.1137/040610209 – ident: cit0021 doi: 10.1016/j.automatica.2013.08.007 – start-page: 2626 volume-title: Proceedings of the American Control Conference year: 1995 ident: cit0003 – ident: cit0027 – start-page: 499 volume-title: Proceedings of the American Control Conference year: 2008 ident: cit0007 – start-page: 244 volume-title: Proceedings of the American Control Conference year: 1998 ident: cit0005 – volume-title: Nonblocking supervisory control of state tree structures year: 2005 ident: cit0013 – start-page: 701 volume-title: Proceedings of the American Control Conference year: 1994 ident: cit0009 – volume-title: Symmetry year: 1983 ident: cit0024 – volume-title: Algebra year: 1993 ident: cit0015 – ident: cit0012 – ident: cit0014 doi: 10.1109/TAC.2006.875030 – volume-title: The theory of groups and quantum mechanics year: 1950 ident: cit0023 – ident: cit0026 – start-page: 194 volume-title: Proceedings of the 8th International Workshop on Discrete Event Systems year: 2006 ident: cit0004 – start-page: 38 volume-title: 43rd IEEE Conference on Decision and Control year: 2004 ident: cit0018 – ident: cit0016 doi: 10.1147/rd.32.0114 – ident: cit0025 doi: 10.1007/978-1-4612-1082-5 – ident: cit0006 doi: 10.1109/9.948486 – ident: cit0017 doi: 10.1137/0325013 – start-page: 923 volume-title: American Control Conference year: 2013 ident: cit0022 – volume-title: 13th International Workshop on Discrete Event Systems (WODES 2016) year: 2016 ident: cit0010 – ident: cit0020 doi: 10.1023/B:DISC.0000005009.40749.b6 |
| SSID | ssj0013581 |
| Score | 2.2938135 |
| Snippet | We consider discrete-event systems consisting of parallel arrays of machines and buffers. The machines are divided into groups in each of which the members... |
| SourceID | proquest crossref informaworld |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 1639 |
| SubjectTerms | abstract control functions Buffers Discrete event systems invariance property Stability state tree structures Supervisory control theory Symmetry Workpieces |
| Title | Exploiting symmetry of state tree structures for discrete-event systems with parallel components |
| URI | https://www.tandfonline.com/doi/abs/10.1080/00207179.2016.1216607 https://www.proquest.com/docview/1933956738 |
| Volume | 90 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVLSH databaseName: aylor and Francis Online customDbUrl: mediaType: online eissn: 1366-5820 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0013581 issn: 0020-7179 databaseCode: AHDZW dateStart: 19970101 isFulltext: true providerName: Library Specific Holdings – providerCode: PRVAWR databaseName: Taylor & Francis Science and Technology Library-DRAA customDbUrl: eissn: 1366-5820 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0013581 issn: 0020-7179 databaseCode: 30N dateStart: 19970101 isFulltext: true titleUrlDefault: http://www.tandfonline.com/page/title-lists providerName: Taylor & Francis |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lb9QwELaW9gIHVF6i0CIfuGYVx443OVZAu0Iqp1a7cAmx68BKuwmi2UP7W_ixzMR24tCKUi7Rylo7j_lsz4xnviHkLedlxTSe6sYMvVWSRXkqJMx4lsOGlum8REPx9JOcn4uPy3Q5mfwKopa2rZrq61vzSv5HqtAGcsUs2XtIth8UGuA3yBeuIGG4_pOMuwC6VRe4fHm12ZjWnpd3SUIYQo7ssUgPuwWbuosnxBzcn6AmRx1vk6NxdgluSAK-Xpt1F2Xe1J7jyWuuY9dhQDjhgt37UJxV2VgQuD0Rg3usl_VzU3_bmJVvXbp_nmwb_X3bg3TR1C53ezE9nYZeCdjpMIqChystmKVgKtrl0NjFlUsZpVkSh6uvLRbqUJYFSykoinmwLTNpiWlvLPk-RjJByxRTj5hEygwpbTXdMcX2H1tfH5DIeqZUO0yBwxRumAdkN5lJAab97tH8_ZfFcEqVZrYio3tXnyGG3O23Pc9I9xkx497QBDr15myPPHZ2CT2yIHtCJqZ-Sh4FbJXPyNcBbtTDjTYV7eBGEW50gBuFu9Ix3KiDG0W4UQ83OsDtOTk__nD2bh65Ah2R5jxro9yUMRqsKmMGTFMB2p5JtcjMLKu0lDMFChgojLEBnYczrRQTKklMUhlesapU_AXZqeEOLwnN0K_G84sEXQ4KPiH0USK9SIUWZRLrfSL8pyu0Y6_HIirr4q-i2yfTvtsPS99yV4c8lEvRdn6zyha5KfgdfQ-8EAs3DS8LMJB4nmJt3Vf3fZbX5OEwtQ7IDojQHIIK3Ko3Dom_AYtbqMA |
| linkProvider | Library Specific Holdings |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT8JAEN4YPKgH30YUdQ9eS7rdbWmPxkhQgRMk3Nbusk2MBQyUA_56Z7otgsZw4AfMtjv7mPlmZ74h5J7zOGEaX3VdhtGqgDmRLwI48SwCgxbqKEag2OkGrb54GfiDlVoYTKtEDJ1Yooj8rsbDjcHoMiUOS7gRhmCdCQuQHyEIsKB814_8EHc2d7s_Lwl-aLvmAUxCmbKK579h1uzTGnvpn9s6N0HNI6LLn7eZJx_1eabq-usXr-N2szsmh4WHSh_sljohO2Z8Sg5WeAvPyFueufeOGdN0thiNTDZd0ElC8-okiu_c1PLSzgHMU5gbxeLfKfjnTk4YRS1_9IxiFJgi-3iampRievtkjJkd56TffOo9tpyiVYOjAeNmTmRiF6GLCpkBkCLA7htfi9A0wkQHQUOBKQbXwTVg_TjTSjGhPM94ieEJS2LFL0hlDF-4JDTECAuPhh6CTwUaARkl_KEvtIg9V1eJKBdI6oLHHNtppJIt6U6tAiUqUBYKrJL6UuzTEnlsEohWV19meQQlse1OJN8gWyu3iizuhJkEV5kDGm3w8GqLoe_IXqvXacv2c_f1mux76GVgBguvkQqsrLkBHylTt_kh-AZGRgEz |
| linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3JTsMwELVQkRAc2BFl9YFrqjh2nOSIgKpsFQeQuJnYtSVEWlAbDvD1zMQJq1AP_YBx4nXm2W_eEHLEee6YwVfdkOFtlWRBFgsJO55l4NBSk-UIFK_7sncnLu7jhk04qWmViKGdF4qozmrc3C8D1zDiMIMbUQimmTCJ8ghSYj75vAx5UmVxhP2vh4Q49UXzACWhTZPE818zP9zTD_HSP4d15YG6K0Q3_-6JJ0-d11J3zPsvWceZOrdKluv4lB77BbVG5uxonSx9Uy3cIA8Vb-8R-dJ08jYc2nL8Rp8drXKTKL5yU69K-wpQnkLXKKb-jiE6Dyq5KOrVoycU74Apao8XhS0oktufR8jr2CR33bPbk15QF2oIDCDcMshsHiJw0SmzAFEEeH0bG5HaJHVGykSDI4bAIbTg-zgzWjOho8hGznLHXK75FmmN4AvbhKZ4v8KzQYTQU8OIgI0W8SAWRuRRaNpENPOjTK1ijsU0CsU-xU79ACocQFUPYJt0Ps1evIzHNIPs--Srsro_cb7YieJTbPealaLqE2GiIFDmgEUTnu7M0PQhWbg57aqr8_7lLlmMMMRA-grfIy2YWLsPAVKpD6ot8AEPE__I |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Exploiting+symmetry+of+state+tree+structures+for+discrete-event+systems+with+parallel+components&rft.jtitle=International+journal+of+control&rft.au=Jiao%2C+Ting&rft.au=Gan%2C+Yongmei&rft.au=Xiao%2C+Guochun&rft.au=Wonham%2C+W.M.&rft.date=2017-08-03&rft.issn=0020-7179&rft.eissn=1366-5820&rft.volume=90&rft.issue=8&rft.spage=1639&rft.epage=1651&rft_id=info:doi/10.1080%2F00207179.2016.1216607&rft.externalDBID=n%2Fa&rft.externalDocID=10_1080_00207179_2016_1216607 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0020-7179&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0020-7179&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0020-7179&client=summon |