Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm

被引：13
|
作者：
Wang, Shouguang [1 ]
You, Dan [1 ]
Wang, Chengying [1 ]
机构：
[1] Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China
来源：
INFORMATION SCIENCES | 2016年 / 363卷
基金：
中国国家自然科学基金; 浙江省自然科学基金;
关键词：
Discrete event system; Petri net; Supervisory control; Forbidden state problem; FLEXIBLE MANUFACTURING SYSTEMS; DISCRETE-EVENT SYSTEMS; FEEDBACK-CONTROL LOGIC; LIVENESS-ENFORCING SUPERVISORS; DEADLOCK PREVENTION; CONTROLLER; ELEMENTARY; AVOIDANCE; POLICIES; SIPHONS;
D O I：
10.1016/j.ins.2015.11.003
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Petri nets are a widely used tool to model, analyze and control discrete event systems that arise from automated production, intelligent transportation, and workflow management. For a class of Petri nets with uncontrollable transitions, this paper proposes a bottom-up algorithm to transform a given generalized mutual exclusion constraint into an optimal admissible one. Based on the transformation, a design method is proposed to synthesize an optimal supervisor. Compared with the existing methods that require the computation of exponential complexity, the proposed one can obtain an optimal supervisor with polynomial complexity. (C) 2015 Elsevier Inc. All rights reserved.
引用
收藏
页码：261 / 273
页数：13
相关论文
共 50 条
  • [1] Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions
    Ran, Ning
    Li, Tingting
    Wang, Shouguang
    He, Zhou
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024, 21 (02) : 1517 - 1525
  • [2] A Transformation Algorithm for Optimal Admissible Generalized Mutual Exclusion Constraints on Petri Nets with Uncontrollable Transitions
    Wang, ShouGuang
    Wang, ChengYing
    Zhou, MengChu
    2011 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2011,
  • [3] Deadlock avoidance in Petri nets with uncontrollable transitions
    Moody, JO
    Antsaklis, PJ
    PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 1257 - 1258
  • [4] Controllability of timed continuous Petri nets with uncontrollable transitions
    Renato Vazquez, C.
    Ramirez-Trevino, Antonio
    Silva, Manuel
    INTERNATIONAL JOURNAL OF CONTROL, 2014, 87 (03) : 537 - 552
  • [5] Supervisor design for a class of generalized Petri net with uncontrollable transitions
    Wu, WM
    Su, HY
    Chu, J
    Zhai, HF
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 1577 - 1582
  • [6] Optimal Supervisor Simplification in AMS based on Petri Nets and Genetic Algorithm
    Chen, Chen
    Gu, Chan
    Hu, Hesuan
    2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 1757 - 1764
  • [7] Supervisory control of Petri nets with uncontrollable/unobservable transitions
    Moody, JO
    Antsaklis, PJ
    PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 4433 - 4438
  • [8] Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions
    Wang, ShouGuang
    Wang, ChengYing
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (05): : 1248 - 1255
  • [9] Design of optimal monitor-based supervisors for a class of petri nets with uncontrollable transitions
    1600, Institute of Electrical and Electronics Engineers Inc. (43):
  • [10] Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions
    Qin, Meng
    Li, ZhiWu
    Zhou, MengChu
    Khalgui, Mohamed
    Mosbahi, Olfa
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (03): : 727 - 738
12345