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 条
  • [21] Monitor-based Liveness-enforcing Petri Net Supervisors for Flexible Manufacturing Systems
    You Dan
    Wang Shouguang
    Zhou MengChu
    Wu Wenhui
    2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 4011 - 4016
  • [22] Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems
    2013, Institute of Electrical and Electronics Engineers Inc. (43)
  • [23] On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
    Bashir, Muhammad
    Li, Zhiwu
    Uzam, Murat
    Wu, Naiqi
    Al-Ahmari, Abdulrahman
    IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 2018, 35 (04) : 1217 - 1249
  • [24] Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior
    Hu, Hesuan
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2009, 6 (03) : 557 - 559
  • [25] On Nonexistence of a Maximally Permissive Liveness-Enforcing Pure Net Supervisor
    Zhong, ChunFu
    Li, ZhiWu
    Chen, YuFeng
    Al-Ahmari, Abdulrahman
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (01): : 29 - 37
  • [26] Enhancement of Computational Efficiency in Seeking Liveness-Enforcing Supervisors for Advanced Flexible Manufacturing Systems with Deadlock States
    Pan, Yen-Liang
    Tai, Chun-Wang
    Tseng, Ching-Yun
    Huang, Jong-Ching
    APPLIED SCIENCES-BASEL, 2020, 10 (07):
  • [27] A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
    You, Dan
    Wang, Shouguang
    Seatzu, Carla
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (04): : 2398 - 2411
  • [28] Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
    Li, ZhiWu
    Zhou, MengChu
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2006, 2 (04) : 313 - 325
  • [29] Optimal liveness-enforcing supervisors
    Advances in Industrial Control, 2009, (9781848822436): : 159 - 190
  • [30] A Think-Globally-Act-Locally-Based Method of Maximally Permissive Liveness-Enforcing Supervisors for Flexible Manufacturing Systems
    Li, Chengzong
    Chen, Yufeng
    Zhong, Zhaofeng
    Uzam, Murat
    Li, Zhiwu
    Wu, Naiqi
    Zhang, Mingjun
    CONTROL ENGINEERING AND APPLIED INFORMATICS, 2021, 23 (04): : 46 - 56
12345