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

被引：12
|
作者：
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 条
  • [21] Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net
    Hu, Shaopeng
    Zhang, Jiafeng
    Wang, Jianzhou
    Wu, Naiqi
    Li, Zhiwu
    IET CONTROL THEORY AND APPLICATIONS, 2024, 18 (17) : 2307 - 2321
  • [22] Synthesis of next state feedback control of discrete event systems by using Petri net unfoldings
    Miyamoto, T
    Kumagai, S
    SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2004, : 2074 - 2079
  • [23] On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification
    Chen, YuFeng
    Li, YuTing
    Li, ZhiWu
    Wu, NaiQi
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (06): : 3404 - 3418
  • [24] A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
    Cabral, Felipe Gomes
    Moreira, Marcos Vicente
    Diene, Oumar
    Basilio, Joao Carlos
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (01) : 59 - 71
  • [25] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
    Uzam, M
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2004, 24 (1-2) : 48 - 69
  • [26] Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets
    Li, Shiqi
    Uzam, Murat
    Yin, Li
    Zhong, Zhaofeng
    Zheng, Li
    Wu, Naiqi
    IEEE ACCESS, 2021, 9 : 163504 - 163515
  • [27] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
    M. Uzam
    The International Journal of Advanced Manufacturing Technology, 2004, 24 : 48 - 69
  • [28] Research on Modeling and Simulating of Discrete Event System Based on Petri Net
    Pan, Xinglong
    He, Guo
    Zhang, Chaojie
    Ming, Tingfeng
    Wang, Xiaochuan
    SMART TECHNOLOGIES FOR COMMUNICATION, 2012, 4 : 80 - 85
  • [29] Confusion diagnosis and avoidance of discrete event systems using supervisory control
    Chen, Xiaoliang
    Li, Zhiwu
    Wu, Naiqi
    Al-Ahmari, Abdulrahman
    El-Tamimi, Abdulaziz Mohammed
    Nasr, Emad Abouel
    IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 2016, 11 (01) : 49 - 62
  • [30] Simulating Cyberattacks with a Petri Net Discrete Event Simulator
    Colvett, C. Daniel
    Petty, Mikel D.
    Bland, John A.
    Baker, Kenneth R.
    2019 6TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI 2019), 2019, : 67 - 71
12345