Diagnosis of asynchronous discrete event systems, a net unfolding approach

被引：0

作者：

Benveniste, A ^{[1
]}

Fabre, E ^{[1
]}

Jard, C ^{[1
]}

Haar, S ^{[1
]}

机构：

[1] Inst Rech Informat & Syst Aleatoires, F-35042 Rennes, France

来源：

WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS | 2002年

关键词：

asynchronous diagnosis; DES; Petri nets; unfoldings; alarm correlation;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper studies diagnosis of asynchronous discrete event systems. We follow a so-called true concurrency approach, in which neither global state nor global time are available. Instead, we use only local states in combination with a partial order model of time; our basic mathematical tool is that of Petri net unfoldings. This study was motivated by the problem of event correlation in telecommunications network management.

引用

页码：182 / 187

页数：6

共 50 条

[1] Diagnosis of asynchronous discrete-event systems: A net unfolding approach
Benveniste, A
Fabre, E
Haar, S
Jard, C
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (05) : 714 - 727
[2] Asynchronous Fault Diagnosis of Discrete Event Systems
White, Alejandro
Karimoddini, Ali
2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 3224 - 3229
[3] Distributed and asynchronous discrete event systems diagnosis
Benveniste, A
Haar, S
Fabre, E
Jard, C
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 3742 - 3747
[4] Semi-asynchronous Fault Diagnosis of Discrete Event Systems
White, Alejandro
Karimoddini, Ali
2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2016, : 3961 - 3966
[5] Diagnosis of discrete event systems: A modular approach
Debouk, R
2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 306 - 311
[6] Petri net based fault diagnosis of discrete event systems
Alcaraz-Mejía, M
López-Mellado, E
Ramírez-Treviño, A
Rivera-Rangel, I
2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 4730 - 4735
[7] Online fault diagnosis of discrete event systems.: A Petri net-based approach
Ramirez-Trevino, Antonio
Ruiz-Beltran, Elvia
Rivera-Rangel, Israel
Lopez-Mellado, Ernesto
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (01) : 31 - 39
[8] Diagnosability of discrete event systems -: A Petri Net based approach
Ramírez-Treviño, A
Ruiz-Beltrán, E
Rivera-Rangel, I
López-Mellado, E
2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, 2004, : 541 - 546
[9] An Efficient Approach for Online Diagnosis of Discrete Event Systems
Basile, Francesco
Chiacchio, Pasquale
De Tommasi, Gianmaria
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2009, 54 (04) : 748 - 759
[10] Decentralized approach for fault diagnosis of discrete event systems
Mouchaweh, Moamar Sayed
Philippot, Alexandre
Carre-Menetrier, Veronique
ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, 2007, : 124 - +

← 1 2 3 4 5 →