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 条

[31] 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
[32] Current-state opacity verification in discrete event systems using an observer net
Labed, Abdeldjalil
Saadaoui, Ikram
Wu, Naiqi
Yu, Jiaxin
Li, Zhiwu
SCIENTIFIC REPORTS, 2022, 12 (01):
[33] 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
[34] A Unified Frame Work for Discrete Event Systems
Awad, Hamdi A.
INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2013, 11 (05) : 868 - 877
[35] Matrix Approach to Detectability of Discrete Event Systems under Partial Observation
Han, Xiaoguang
Chen, Zengqiang
Zhao, Jiemei
2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 187 - 192
[36] Discrete Event Diagnosis of Environment Impacts
Ciufudean, Calin
Filote, Constantin
2014 NINTH INTERNATIONAL CONFERENCE ON ECOLOGICAL VEHICLES AND RENEWABLE ENERGIES (EVER), 2014,
[37] On the history of Discrete Event Systems
Silva, Manuel
ANNUAL REVIEWS IN CONTROL, 2018, 45 : 213 - 222
[38] Improving on-line fault diagnosis for discrete event systems using time
Basile, Francesco
Chiacchio, Pasquale
De Tommasi, Gianmaria
2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1-3, 2007, : 407 - 413
[39] Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets
Mahulea, Cristian
Seatzu, Carla
Cabasino, Maria Paola
Silva, Manuel
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (04): : 970 - 984
[40] Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets
Cabasino, Maria Paola
Giua, Alessandro
Paoli, Andrea
Seatzu, Carla
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (06): : 1477 - 1485

← 1 2 3 4 5 →