Safety analysis of discrete event systems using a simplified Petri net controller

被引：11
|
作者：
Zareiee, Meysam [1 ]
Dideban, Abbas [1 ]
Orouji, Ali Asghar [1 ]
机构：
[1] Semnan Univ, Dept Elect Engn, Semnan, Iran
来源：
ISA TRANSACTIONS | 2014年 / 53卷 / 01期
关键词：
Discrete event system; Supervisory control; Controller synthesis; Petri net; FLEXIBLE MANUFACTURING SYSTEMS; DEADLOCK PREVENTION POLICY; LIVENESS-ENFORCING SUPERVISORS; FEEDBACK-CONTROL; REGIONS; CONSTRAINTS; DESIGN; LOGIC; FMS;
D O I：
10.1016/j.isatra.2013.09.006
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper deals with the problem of forbidden states in discrete event systems based on Petri net models. So, a method is presented to prevent the system from entering these states by constructing a small number of generalized mutual exclusion constraints. This goal is achieved by solving three types of Integer Linear Programming problems. The problems are designed to verify the constraints that some of them are related to verifying authorized states and the others are related to avoiding forbidden states. The obtained constraints can be enforced on the system using a small number of control places. Moreover, the number of arcs related to these places is small, and the controller after connecting them is maximally permissive. (C) 2013 ISA. Published by Elsevier Ltd. All rights reserved.
引用
下载
收藏
页码：44 / 49
页数：6
相关论文
共 50 条
  • [1] Petri net controller for discrete event systems with uncontrollable transitions
    Xing, K.Y.
    Xi, Y.G.
    Hu, B.S.
    Zidonghua Xuebao/Acta Automatica Sinica, 2001, 27 (02): : 180 - 185
  • [2] Petri net controller synthesis for discrete event systems using weighted inhibitor arc
    Wu, WM
    Su, HY
    Hu, JB
    Chu, J
    Zhai, HF
    Wu, HH
    2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 3582 - 3587
  • [3] Modeling and Analysis of Discrete Event Systems Using a Petri Net Component
    Soares, Michel dos Santos
    2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 814 - 819
  • [4] A Matlab-based Petri net supervisory controller for discrete event systems
    Flochová, J
    Lipták, R
    Boel, RK
    PROGRAMMABLE DEVICES AND SYSTEMS 2001, 2002, : 113 - 120
  • [5] Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
    Luo, JiLiang
    Zhou, MengChu
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1301 - 1313
  • [6] Modeling, analysis and control of Discrete Event Systems: a Petri net perspective
    Giua, Alessandro
    Silva, Manuel
    IFAC PAPERSONLINE, 2017, 50 (01): : 1772 - 1783
  • [7] Analysis of discrete event systems by simulation of timed Petri net models
    López-Mellado, E
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2002, 61 (01) : 53 - 59
  • [8] A hybrid approach to design deadlock-free Petri net controller for discrete event systems
    Zeng, G. Q.
    Wu, W. M.
    Mao, W. J.
    Su, H. Y.
    Chu, J.
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 77 - 92
  • [9] Partial order diagnosability of discrete event systems using Petri net unfoldings
    Haar, S
    Benveniste, A
    Fabre, E
    Jard, C
    42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 3748 - 3753
  • [10] Diagnosability for discrete event systems based on Petri net language
    Xue, F
    Zheng, DZ
    2004 8TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1-3, 2004, : 2111 - 2116
12345