Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/140183
Full metadata record
DC FieldValueLanguage
dc.contributor.authorChen, Chenen_US
dc.contributor.authorHu, Hesuanen_US
dc.date.accessioned2020-05-27T04:51:09Z-
dc.date.available2020-05-27T04:51:09Z-
dc.date.issued2017-
dc.identifier.citationChen, C., & Hu, H. (2018). Liveness-enforcing supervision in AMS-Oriented HAMGs : an approach based on new characterization of siphons using Petri nets. IEEE Transactions on Automatic Control, 63(7), 1987-2002. doi:10.1109/TAC.2017.2758842en_US
dc.identifier.issn0018-9286en_US
dc.identifier.urihttps://hdl.handle.net/10356/140183-
dc.description.abstractIn the context of automated manufacturing systems, flexibility and synchronization are two main representative formations. Supervisory control techniques for flexibility have gained increasing attention, but those for synchronization operations have received little notice. Based on their comparison, our work makes threefold contributions. First, we propose a novel characterization of siphons, i.e., type I and type II, based on a special kind of Petri nets, namely, hierarchical augmented marked graphs (HAMGs), which integrate multilevel synchronization into a system. This characterization of siphons is further proved to be a crucial and essential description for both synchronization and flexibility. Second, event circular-wait is proposed to describe the occurrence of deadlocks in HAMGs. Its counterpart is resource circular-wait in flexibility. Ours is a more general and accurate characterization of deadlocks. The liveness of HAMGs can be attributed to the absence of undermarked siphons. Third, a unified liveness-enforcing supervisory control is established based on new characterization of siphons with the aid of generalized mutual exclusion constraints. Supervisor simplification based on inequality analysis is provided for structure simplicity. An experimental study illustrates the correctness of such characterization and the effectiveness of our proposed control method.en_US
dc.description.sponsorshipMOE (Min. of Education, S’pore)en_US
dc.language.isoenen_US
dc.relation.ispartofIEEE Transactions on Automatic Controlen_US
dc.rights© 2017 IEEE. All rights reserved.en_US
dc.subjectEngineering::Computer science and engineeringen_US
dc.titleLiveness-enforcing supervision in AMS-Oriented HAMGs : an approach based on new characterization of siphons using Petri netsen_US
dc.typeJournal Articleen
dc.contributor.schoolSchool of Computer Science and Engineeringen_US
dc.identifier.doi10.1109/TAC.2017.2758842-
dc.identifier.scopus2-s2.0-85030768519-
dc.identifier.issue7en_US
dc.identifier.volume63en_US
dc.identifier.spage1987en_US
dc.identifier.epage2002en_US
dc.subject.keywordsAutomated Manufacturing Systems (AMSs)en_US
dc.subject.keywordsPetri Nets (PNs)en_US
item.fulltextNo Fulltext-
item.grantfulltextnone-
Appears in Collections:SCSE Journal Articles

SCOPUSTM   
Citations 20

13
Updated on Dec 3, 2022

Web of ScienceTM
Citations 20

14
Updated on Dec 4, 2022

Page view(s)

172
Updated on Dec 8, 2022

Google ScholarTM

Check

Altmetric


Plumx

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.