Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

被引:41
|
作者
Hu, Hesuan [1 ,2 ]
Liu, Yang [2 ]
Yuan, Ling [3 ]
机构
[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Shaanxi, Peoples R China
[2] Nanyang Technol Univ, Coll Engn, Sch Comp Engn, Singapore 639798, Singapore
[3] Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Wuhan 430074, Hubei, Peoples R China
基金
中国国家自然科学基金;
关键词
Automated manufacturing systems; deadlock resolution; inequality analysis; Petri nets; supervisor simplification; FLEXIBLE MANUFACTURING SYSTEMS; RESOURCE-ALLOCATION SYSTEMS; DEADLOCK PREVENTION POLICY; DISCRETE-EVENT SYSTEMS; LINEAR CONSTRAINTS; MONITOR DESIGN; HYBRID MODEL; IMPLEMENTATION; SIPHONS;
D O I
10.1109/TCST.2015.2420619
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Modern complex systems require intensive application of sophisticated supervisors. Structural simplification techniques are one of the fundamental researches in the context of flexible manufacturing systems (FMSs). They can reduce implementation cost, mitigate fabrication complexity, and improve reliability. Several typical methods have been developed along this direction. In order to thoroughly explore their effectiveness and performance, we not only conduct a comparison investigation but also develop some new theoretical results. Several analytical results and performance measures are proposed for their qualitative and quantitative comparison. Our approach can assist researchers and practitioners to better comprehend the inherent mechanisms and relative merits of these simplification methodologies as well as their applicability in FMSs. This paper is motivated by FMSs' control; however, it is also applicable to other systems with discrete event controllers.
引用
收藏
页码:81 / 95
页数:15
相关论文
共 50 条
  • [1] An Efficient Liveness Enforcing Supervisor for FMSs Based on Petri nets and the Theory of Regions
    Huang, Yi-Sheng
    Pan, Yen-Liang
    Jeng, Mu-Der
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 187 - +
  • [2] Structure Independence of Supervisor Simplification in Automated Manufacturing Systems using Petri Nets
    Chen, Chen
    Hu, Hesuan
    [J]. 2016 EUROPEAN CONTROL CONFERENCE (ECC), 2016, : 2329 - 2336
  • [3] Supervisor Design and Simplification for Automated Manufacturing Systems Using Colored Petri Nets
    Hu, HeSuan
    Yang, Yan
    Liu, Yang
    Chen, Chen
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2015, : 3826 - 3832
  • [4] Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis
    Hu, Hesuan
    Liu, Yang
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (01) : 66 - 77
  • [5] Optimal Supervisor Simplification in AMS based on Petri Nets and Genetic Algorithm
    Chen, Chen
    Gu, Chan
    Hu, Hesuan
    [J]. 2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 1757 - 1764
  • [6] Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets
    Uzam, Murat
    Li, Zhiwu
    Abubakar, Umar Suleiman
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2016, 54 (15) : 4634 - 4657
  • [7] A SIMPLIFICATION OF A CONVERSATION DESIGN SCHEME USING PETRI NETS
    WU, J
    FERNANDEZ, EB
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (05) : 658 - 660
  • [8] Computationally Improved Optimal Supervisory Control Policy for FMSs Using Petri Nets
    Pan, Yen-Liang
    Yang, Cheng-Chung
    Jeng, Mu-Der
    Liao, Wei-Hsiang
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON INTELLIGENT TECHNOLOGIES AND ENGINEERING SYSTEMS (ICITES2013), 2014, 293 : 367 - 373
  • [9] On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification
    Chen, YuFeng
    Li, YuTing
    Li, ZhiWu
    Wu, NaiQi
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (06): : 3404 - 3418
  • [10] Robust Supervisor Synthesis for Automated Manufacturing Systems Using Petri Nets
    Cheng, Yan
    Hu, HeSuan
    Liu, Yang
    [J]. 2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2015, : 1029 - 1035