Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets

被引:22
|
作者
Uzam, Murat [1 ]
Li, Zhiwu [2 ,3 ,4 ]
Abubakar, Umar Suleiman [1 ]
机构
[1] Bolumu Meliksah Univ, Muhendisl Mimarl Fak Elekt Elekt Muhendisligi, Kayseri, Turkey
[2] Macau Univ Sci & Technol, Inst Syst Engn, Taipa, Macau, Peoples R China
[3] King Abdulaziz Univ, Fac Engn, Jeddah, Saudi Arabia
[4] Xidian Univ, Sch Electromech Engn, Xian, Peoples R China
基金
中国国家自然科学基金;
关键词
flexible manufacturing system (FMS); liveness-enforcing supervisor; Petri nets; deadlock prevention; think globally act locally (TGAL); monitor; FLEXIBLE MANUFACTURING SYSTEMS; DEADLOCK PREVENTION POLICY; RESOURCE-ALLOCATION SYSTEMS; ELEMENTARY-SIPHONS; ITERATIVE SYNTHESIS; DEPENDENT SIPHONS; AVOIDANCE POLICIES; FEEDBACK-CONTROL; DESIGN; CONTROLLABILITY;
D O I
10.1080/00207543.2015.1098785
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
This paper, by using Petri nets (PNs), reports a general approach, called a think globally, act locally (TGAL) method, to compute liveness-enforcing supervisors (LES) for flexible manufacturing systems (FMSs) prone to deadlocks. A place called global sink/source place (GP) is introduced provisionally help us to decide a set of monitors such that deadlock states can be removed. The TGAL method proceeds with liveness enforcement by an iterative way in which a complete state enumeration is computed at each step. The resulting LES is generally maximally permissive or suboptimal, without solving intractable integer linear programming (ILP) problems. Given a system, a sufficient condition is developed to decide whether the TGAL method can find maximally permissive, that is, optimal supervisors. Several typical FMSs popularly studied in the literature are used as the examples to demonstrate the proposed method.
引用
收藏
页码:4634 / 4657
页数:24
相关论文
共 50 条
  • [21] Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems
    Li, Z.
    Zhang, J.
    Zhao, M.
    IET CONTROL THEORY AND APPLICATIONS, 2007, 1 (04): : 955 - 967
  • [22] Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
    Zhao, Mi
    Hou, Yifan
    Liu, Ding
    INTERNATIONAL JOURNAL OF CONTROL, 2010, 83 (10) : 2053 - 2066
  • [23] A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets
    You, Dan
    Wang, Shouguang
    Dou, Hao
    Duo, Wenli
    IEEE ACCESS, 2018, 6 : 48577 - 48587
  • [24] Design of a More Permissive and Structurally Simple Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Li, Zhiwu
    Wang, Xingping
    IECON 2004: 30TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOL 2, 2004, : 1891 - 1895
  • [25] Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets
    Liu, Ding
    Hou, YiFan
    Hu, HeSuan
    Barkaoui, Kamel
    Zhou, MengChu
    2013 10TH IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2013, : 1278 - 1283
  • [26] Supervisor synthesis for enforcing a disjunction of GMECs on controlled Petri nets
    Luo, Jiliang
    Wang, Shouguang
    2007 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION, VOLS I-V, CONFERENCE PROCEEDINGS, 2007, : 294 - +
  • [27] Counterexamples to "Liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods"
    Xie, X
    Giua, A
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2004, 49 (07) : 1217 - 1220
  • [28] Designing Liveness-Enforcing Supervisors for Manufacturing Systems by Using Maximally Good Step Graphs of Petri Nets
    Dou, Hao
    You, Dan
    Wang, Shouguang
    Zhou, MengChu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024,
  • [29] Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs
    Uzam, Murat
    Li, Zhiwu
    El-Meligy, Mohammed A.
    Sharaf, Mohamed A.
    Tang, Qiwei
    IEEE ACCESS, 2024, 12 : 20031 - 20046
  • [30] Synthesis of Liveness Enforcing Supervisory Policies In Petri Nets by Stepwise Refinement
    Somnath, N.
    Sreenivas, R. S.
    PROCEEDINGS OF THE 2017 12TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2017, : 529 - 534