One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets

被引：52
|
作者：
Wu, Naiqi [1 ]
Zhou, Mengchu [2 ,3 ]
Hu, Gang [1 ]
机构：
[1] Guangdong Univ Technol, Sch Electromech Engn, Dept Ind Engn, Guangzhou 510006, Guangdong, Peoples R China
[2] Tongji Univ, Minist Educ, Key Lab Embedded Syst & Serv Comp, Shanghai 201804, Peoples R China
[3] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA
来源：
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS | 2013年 / 12卷 / 01期
关键词：
Algorithms; Performance; Deadlock avoidance; automated manufacturing systems (AMS); Petri net; discrete event systems; supervisory control; FLEXIBLE MANUFACTURING SYSTEMS; RESOURCE-ALLOCATION SYSTEMS; PREVENTION POLICY; ELEMENTARY SIPHONS; DEPENDENT SIPHONS; AVOIDING DEADLOCK; AVOIDANCE; RESOLUTION; ALGORITHM; DESIGN;
D O I：
10.1145/2406336.2406346
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
It is desired that a deadlock control policy for automated manufacturing systems (AMS) is maximally permissive. However, its tractability issue remains open, and this work addresses this important issue. It models AMS with a resource-oriented Petri net (ROPN) and presents a necessary and sufficient condition under which there exists a one-step look-ahead maximally permissive control policy for deadlock avoidance in AMS. It further identifies some conditions under which a one-step look-ahead maximally permissive deadlock control policy exists for a single-capacity system. The conditions can be conveniently examined by using the developed ROPN model.
引用
收藏
页数：23
相关论文
共 50 条
  • [41] Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets
    Du, Nan
    Hu, Hesuan
    Zhou, MengChu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2020, 17 (04) : 1961 - 1975
  • [42] A PERFORMANCE LIMIT FOR A FINITE-SETTLING-TIME SYSTEM USING LOOK-AHEAD CONTROL
    TRUDNOWSKI, DJ
    PIERRE, DA
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1989, 34 (07) : 760 - 763
  • [43] Control Design of Traffic Flow Using Look-Ahead Vehicles to Increase Energy Efficiency
    Nemeth, Balazs
    Bede, Zsuzsanna
    Gaspar, Peter
    2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 3530 - 3535
  • [44] A high-speed control algorithm using look-ahead strategy in CNC systems
    Cao, Yunan
    Wang, Tianmiao
    Chen, Youdong
    Wei, Hongxing
    Shao, Zili
    ICIEA 2008: 3RD IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, PROCEEDINGS, VOLS 1-3, 2008, : 372 - +
  • [45] Road grade estimation for look-ahead vehicle control using multiple measurement runs
    Sahlholm, Per
    Johansson, Karl Henrik
    CONTROL ENGINEERING PRACTICE, 2010, 18 (11) : 1328 - 1341
  • [46] 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,
  • [47] Implementation of Multi-Step Look-Ahead Sigma-Delta Modulators Using IC Technology
    Basetas, Charis
    Temenos, Nikos
    Sotiriadis, Paul P.
    2018 IEEE INTERNATIONAL FREQUENCY CONTROL SYMPOSIUM (IFCS), 2018, : 138 - 142
  • [48] Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets
    Du, Nan
    Hu, He Suan
    IET CONTROL THEORY AND APPLICATIONS, 2019, 13 (11): : 1579 - 1590
  • [49] Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets
    Du, Nan
    Hu, Hesuan
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2021, 18 (04) : 1790 - 1802
  • [50] Singularity avoidance of control moment gyros by one-step ahead singularity index
    Leeghim, Henzeh
    Bang, Hyochoong
    Park, Jong-Oh
    ACTA ASTRONAUTICA, 2009, 64 (9-10) : 935 - 945
12345