Incremental synthesis of Petri net models for identification of discrete event systems

被引：0

作者：

Meda-Campaña, ME ^{[1
]}

López-Mellado, E ^{[1
]}

机构：

[1] CINVESTAV, IPN, Unidad Guadalajara, Guadalajara 45090, Jalisco, Mexico

来源：

PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4 | 2002年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper addresses the problem of online identification of Discrete Event Systems (DES). A passive method for the progressive building of Petri net (PN) models from DES outputs evolution is presented. After introducing several concepts related with dynamical properties of DES, a learning algorithm that computes ordinary PN models according to the measurement of cyclic output streams is proposed. A procedure based on this algorithm can be on-line executed tracking the DES behavior from its output signals; the successive computed models tend progressively to represent the actual observed behavior.

引用

页码：805 / 810

页数：6

共 50 条

[1] On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems
Bordbar, Behzad
Al-Ajeli, Ahmed
Alodib, Mohammed
[J]. 2014 IEEE 26TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2014, : 673 - 680
[2] Analysis of discrete event systems by simulation of timed Petri net models
López-Mellado, E
[J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2002, 61 (01) : 53 - 59
[3] A formal technique for the synthesis of Petri net supervisors for Discrete Event Systems
Jones, AH
Uzam, M
[J]. UKACC INTERNATIONAL CONFERENCE ON CONTROL '98, VOLS I&II, 1998, : 845 - 852
[4] Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems
Lefebvre, Dimitri
Leclercq, Edouard
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2011, 41 (02): : 213 - 225
[5] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
Uzam, M
[J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2004, 24 (1-2): : 48 - 69
[6] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
M. Uzam
[J]. The International Journal of Advanced Manufacturing Technology, 2004, 24 : 48 - 69
[7] Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
Luo, JiLiang
Zhou, MengChu
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1301 - 1313
[8] Petri net controller synthesis for discrete event systems using weighted inhibitor arc
Wu, WM
Su, HY
Hu, JB
Chu, J
Zhai, HF
Wu, HH
[J]. 2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 3582 - 3587
[9] Behavioral synthesis of discrete controllers for controlled systems with extended Petri net models
Bollue, Kai
Abel, Dirk
[J]. AUTOMATION 2009, 2009, 2067 : 433 - 436
[10] Diagnosability for discrete event systems based on Petri net language
Xue, F
Zheng, DZ
[J]. 2004 8TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1-3, 2004, : 2111 - 2116

← 1 2 3 4 5 →