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 条

[41] Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers
Santoro, Leonardo P. M.
Moreira, Marcos V.
Basilio, Joao C.
AUTOMATICA, 2017, 77 : 93 - 102
[42] Fault diagnosis for Non-Markovian timed stochastic discrete event systems
Lefebvre, D.
2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2017,
[43] Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
Ru, Yu
Hadjicostis, Christoforos N.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2009, 19 (04): : 551 - 575
[44] Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
Yu Ru
Christoforos N. Hadjicostis
Discrete Event Dynamic Systems, 2009, 19 : 551 - 575
[45] 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
[46] 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
[47] Fault Diagnosis in Discrete Event Systems Modeled by Signal Interpreted Petri Nets
Koehler, Andreas
Zhang, Ping
IFAC PAPERSONLINE, 2023, 56 (02): : 4576 - 4581
[48] Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata
Mhamdi, L.
Dhouibi, H.
Simeu-Abazi, Z.
Liouane, N.
2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 166 - 171
[49] A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies
Basile, Francesco
Chiacchio, Pasquale
Coppola, Jolanda
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2016, 13 (04) : 1541 - 1556
[50] 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

← 1 2 3 4 5 →