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 条

[21] Failure Components Detection in Discrete Event Systems Modeled by Petri Net
Arichi, Fayssal
Kebabti, Houda
Cherki, Brahim
Djemai, Mohamed
2013 3D INTERNATIONAL CONFERENCE ON SYSTEMS AND CONTROL (ICSC), 2013,
[22] Petri net based diagnostic approach for concurrent discrete event systems
Windmann, Stefan
AT-AUTOMATISIERUNGSTECHNIK, 2024, 72 (04) : 259 - 271
[23] Incremental synthesis of Petri net models for identification of discrete event systems
Meda-Campaña, ME
López-Mellado, E
PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 805 - 810
[24] 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, 2023, 18 (17): : 2307 - 2321
[25] 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
[26] Stability Analysis of Discrete Event Systems Modeled by Petri Nets Using Unfoldings
Lutz-Ley, Alberto
Lopez-Mellado, Ernesto
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2018, 15 (04) : 1964 - 1971
[27] 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
[28] On-line pattern diagnosis of discrete event systems with Petri net diagnosers
Que C.-X.
Liu F.-C.
Zhao R.
Deng X.-Q.
Cui H.-G.
Liu, Fu-Chun (fliu2011@163.com), 1621, South China University of Technology (37): : 1621 - 1627
[29] Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems
Lefebvre, Dimitri
Leclercq, Edouard
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2011, 41 (02): : 213 - 225
[30] 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

← 1 2 3 4 5 →