Efficient optimal deadlock control of flexible manufacturing systems. Issue 10 (1st June 2016)

• Record Type: Journal Article
• Authors: Han, Libin; Xing, Keyi; Zhou, Mengchu; Chen, Xiao; Gao, Zhenxin
• Is Part Of: IET control theory & applications. Volume 10:Issue 10(2016)
• Page Start: 1181
• Page End: 1186
• Publication Date: 2016-06-01
• Subjects: flexible manufacturing systems -- optimal control -- Petri nets -- computational complexity; flexible manufacturing systems -- FMS -- deadlock avoidance policy -- optimal DAP -- Petri net models -- κ‐resources -- polynomial computational complexity -- reachable states; Control theory -- Periodicals; Automatic control -- Periodicals; 629.8312
• DOI: 10.1049/iet-cta.2016.0010
• Languages: English
• ISSNs: 1751-8644

Abstract

Abstract : 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.