Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/140183
Title: Liveness-enforcing supervision in AMS-Oriented HAMGs : an approach based on new characterization of siphons using Petri nets
Authors: Chen, Chen
Hu, Hesuan
Keywords: Engineering::Computer science and engineering
Issue Date: 2017
Source: Chen, 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.2758842
Journal: IEEE Transactions on Automatic Control
Abstract: In 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.
URI: https://hdl.handle.net/10356/140183
ISSN: 0018-9286
DOI: 10.1109/TAC.2017.2758842
Rights: © 2017 IEEE. All rights reserved.
Fulltext Permission: none
Fulltext Availability: No Fulltext
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.