TY - JOUR
T1 - Efficient optimal deadlock control of flexible manufacturing systems
AU - Han, Libin
AU - Xing, Keyi
AU - Zhou, Mengchu
AU - Chen, Xiao
AU - Gao, Zhenxin
N1 - Funding Information:
The authors thank Editors and all anonymous reviewers for their thoughtful comments and suggestions that greatly helped us to improve the presentation and quality of this paper. This work was partially supported by the National Natural Science Foundation of China under grant nos. 61573278 and 61374148.
Publisher Copyright:
© The Institution of Engineering and Technology 2016.
PY - 2016/6/27
Y1 - 2016/6/27
N2 - The development of an efficient deadlock avoidance policy (DAP) is a critical step in the design and operation of a flexible manufacturing system (FMS). However, even for a simple FMS, the computation of an optimal DAP is intractable. This work addresses the optimal deadlock control problem of FMSs. Based on their Petri net models, it introduces the concept of κ-resources and proves that an FMS containing no κ-resources has only two types of reachable states: safe ones and deadlocks. It then can obtain an optimal DAP with polynomial computational complexity for a broader class of FMSs, which was never seen before. At the same time, for these FMSs, new structurally simpler optimal Petri net controllers are proposed.
AB - The development of an efficient deadlock avoidance policy (DAP) is a critical step in the design and operation of a flexible manufacturing system (FMS). However, even for a simple FMS, the computation of an optimal DAP is intractable. This work addresses the optimal deadlock control problem of FMSs. Based on their Petri net models, it introduces the concept of κ-resources and proves that an FMS containing no κ-resources has only two types of reachable states: safe ones and deadlocks. It then can obtain an optimal DAP with polynomial computational complexity for a broader class of FMSs, which was never seen before. At the same time, for these FMSs, new structurally simpler optimal Petri net controllers are proposed.
UR - http://www.scopus.com/inward/record.url?scp=84975063352&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84975063352&partnerID=8YFLogxK
U2 - 10.1049/iet-cta.2016.0010
DO - 10.1049/iet-cta.2016.0010
M3 - Article
AN - SCOPUS:84975063352
SN - 1751-8644
VL - 10
SP - 1181
EP - 1186
JO - IET Control Theory and Applications
JF - IET Control Theory and Applications
IS - 10
ER -