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 条

[21] An approach for the design of supervisory controller of discrete event systems
Li, YM
Wang, MZ
Jones, AH
PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 2341 - 2346
[22] A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems
Kheldoun, Ahmed
Barkaoui, Kamel
Zhang, JiaFeng
Ioualalen, Malika
COMPUTER SCIENCE AND ITS APPLICATIONS, CIIA 2015, 2015, 456 : 551 - 562
[23] A Matlab-based Petri net supervisory controller for discrete event systems
Flochová, J
Lipták, R
Boel, RK
PROGRAMMABLE DEVICES AND SYSTEMS 2001, 2002, : 113 - 120
[24] 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
[25] A vector Lyapunov function approach for the stabilization of Discrete event systems
Retchkiman, Z
PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 4062 - 4066
[26] Fault Diagnosis of Discrete Event Systems Under Unknown Initial Conditions
White, Alejandro
Karimoddini, Ali
Su, Rong
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (12) : 5246 - 5252
[27] Discrete Event Approach to Robust Control in Automated Manufacturing Systems
Wang, Xiaojun
Hu, Hesuan
Zhou, MengChu
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (01): : 123 - 135
[28] An alternative approach for modeling of interference in discrete-event systems
Damrianant, J
Wakefield, RR
CIVIL ENGINEERING AND ENVIRONMENTAL SYSTEMS, 2000, 17 (03) : 213 - 235
[29] FAULT DIAGNOSIS FOR DISCRETE EVENT SYSTEMS MODELED BY BOUNDED PETRI NETS
Ran, Ning
Wang, Shouguang
Su, Hongye
Wang, Chengying
ASIAN JOURNAL OF CONTROL, 2017, 19 (04) : 1532 - 1541
[30] Java']Java Software for Petri-Net-Based Approaches to Discrete Event Systems
Wang, Xiaojun
Han, Chun
Hu, Hesuan
2018 IEEE 14TH INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2018, : 330 - 335

← 1 2 3 4 5 →