Optimization algorithm of a liveness-enforcing supervisor for flexible manufacturing systems

被引：0
|
作者：
Guo, Jin-Wei [1 ]
Chen, Nan [1 ]
Wang, Guo-Feng [1 ]
机构：
[1] School of Electro-Mechanical Engineering, Xidian University, Xi'an 710071, China
来源：
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS | 2010年 / 16卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：663 / 671
相关论文
共 50 条
  • [31] On Computation Reduction of Liveness-Enforcing Supervisors
    Wang, Chao
    Wang, Anrong
    Chen, Yufeng
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    IEEE ACCESS, 2017, 5 : 14775 - 14786
  • [32] Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
    Shao Yong Li
    Ai Min An
    Ying Wang
    Gang Wang
    Cai Qin Hou
    Ying Cai
    Journal of Intelligent Manufacturing, 2013, 24 : 1157 - 1173
  • [33] Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
    Li, Shao Yong
    An, Ai Min
    Wang, Ying
    Wang, Gang
    Hou, Cai Qin
    Cai, Ying
    JOURNAL OF INTELLIGENT MANUFACTURING, 2013, 24 (06) : 1157 - 1173
  • [34] Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons
    Hu, Hesuan
    Li, Zhiwu
    JOURNAL OF INTELLIGENT MANUFACTURING, 2010, 21 (04) : 555 - 567
  • [35] Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons
    Hesuan Hu
    Zhiwu Li
    Journal of Intelligent Manufacturing, 2010, 21 : 555 - 567
  • [36] Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming
    Liu, Gaiyun
    Liu, Yuting
    Li, Zhiwu
    SOFT COMPUTING, 2022, 26 (08) : 4019 - 4032
  • [37] Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
    You, Dan
    Wang, Shouguang
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2024, 11 (01) : 240 - 248
  • [38] Identification of controllable transitions to decide the existence of an optimal liveness-enforcing supervisor for a class of Petri nets
    Li, Zhiwu
    Qin, Meng
    Zhu, Sen
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (3-4) : 406 - 421
  • [39] Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming
    Gaiyun Liu
    Yuting Liu
    Zhiwu Li
    Soft Computing, 2022, 26 : 4019 - 4032
  • [40] Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
    Dan You
    Shouguang Wang
    IEEE/CAA Journal of Automatica Sinica, 2024, 11 (01) : 240 - 248
12345