Efficient optimal deadlock control of flexible manufacturing systems

被引：8
作者：
Han, Libin [1 ,2 ,3 ]
Xing, Keyi [1 ,2 ]
Zhou, Mengchu [4 ,5 ]
Chen, Xiao [1 ,2 ]
Gao, Zhenxin [1 ,2 ]
机构：
[1] Xi An Jiao Tong Univ, State Key Lab Mfg Syst Engn, Xian, Peoples R China
[2] Xi An Jiao Tong Univ, Syst Engn Inst, Xian, Peoples R China
[3] China Elect Grp Corp, Res Inst 28, Nanjing, Jiangsu, Peoples R China
[4] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA
[5] King Abdulaziz Univ, Renewable Energy Res Grp, Jeddah, Saudi Arabia
来源：
IET CONTROL THEORY AND APPLICATIONS | 2016年 / 10卷 / 10期
基金：
中国国家自然科学基金;
关键词：
flexible manufacturing systems; optimal control; Petri nets; computational complexity; FMS; deadlock avoidance policy; optimal DAP; Petri net models; -resources; polynomial computational complexity; reachable states; RESOURCE-ALLOCATION SYSTEMS; PETRI NETS; PREVENTION POLICY; LINEAR CONSTRAINTS; AVOIDANCE POLICIES; SIPHON CONTROL; REGIONS; REDUCTION;
D O I：
10.1049/iet-cta.2016.0010
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：1181 / 1186
页数：6
相关论文
共 26 条
  • [1] Enumeration of lost states of a suboptimal control model of a well-known S3PR
    Chao, D. Y.
    [J]. IET CONTROL THEORY AND APPLICATIONS, 2011, 5 (11) : 1277 - 1286
  • [2] Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms
    Cordone, Roberto
    Nazeem, Ahmed
    Piroddi, Luigi
    Reveliotis, Spyros
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (11) : 2772 - 2787
  • [3] A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS
    EZPELETA, J
    COLOM, JM
    MARTINEZ, J
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02): : 173 - 184
  • [4] Fanti M. P., 1998, Studies in Informatics and Control, V7, P343
  • [5] Event-based feedback control for deadlock avoidance in flexible production systems
    Fanti, MP
    Maione, B
    Mascolo, S
    Turchiano, B
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (03): : 347 - 363
  • [6] Deadlock control methods in automated manufacturing systems
    Fanti, MP
    Zhou, MC
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01): : 5 - 22
  • [7] Design of a live and maximally permissive Petri net controller using the theory of regions
    Ghaffari, A
    Rezg, N
    Xie, XL
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 19 (01): : 137 - 142
  • [8] Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers
    Han, Libin
    Xing, Keyi
    Chen, Xiao
    Lei, Hang
    Wang, Feng
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2014, 52 (05) : 1557 - 1572
  • [9] An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach
    Huang, Y. -S.
    Pan, Y. -L.
    [J]. IET CONTROL THEORY AND APPLICATIONS, 2011, 5 (09) : 1069 - 1078
  • [10] Deadlock avoidance for sequential resource allocation systems: Hard and easy cases
    Lawley, M
    Reveliotis, S
    [J]. INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 2001, 13 (04): : 385 - 404
123