Distributed monitoring of concurrent and asynchronous systems

被引：51

作者：

Fabre, E

Benveniste, A

Haar, S

Jard, C

机构：

[1] Inst Natl Rech Informat & Automat, IRISA, F-35042 Rennes, France

[2] ENS Cachan, IRISA, F-35170 Bruz, France

来源：

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2005年 / 15卷 / 01期

关键词：

asynchronous; concurrent; distributed; unfoldings; event structures; fault diagnosis; fault management;

D O I：

10.1007/s10626-005-5238-5

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This article is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR'2003.

引用

页码：33 / 84

页数：52

共 34 条

[1]

AGHASARYAN A, 2002, 18 WORLD TEL C PAR F

[2]

AGHASARYAN A, 2004, 2004 INT C TEL FORT

[3] Diagnosis of large active systems [J].

Baroni, P ;

Lamperti, G ;

Pogliano, P ;

Zanella, M .

ARTIFICIAL INTELLIGENCE, 1999, 110 (01) :135-183

[4]

BENVENISTE A, 2003, IEEE T AUTOMATIC CON, V48

[5]

BENVENISTE A, 2003, IEEE T AUTOMATIC NOV

[6]

Boel RK, 2002, WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P175, DOI 10.1109/WODES.2002.1167685

[7]

Cassandras C.G., 2021, Introduction to Discrete Event Systems, V3rd

[8] Coordinated decentralized protocols for failure diagnosis of discrete event systems [J].

Debouk, R ;

Lafortune, S ;

Teneketzis, D .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2000, 10 (1-2) :33-86

[9]

Degano P., 1988, Proceedings of the Third Annual Symposium on Logic in Computer Science (Cat. No.88CH2608-8), P133, DOI 10.1109/LICS.1988.5112

[10]

Desel J., 1995, CAMBRIDGE TRACTS THE, DOI 10.1017/CBO9780511526558

← 1 2 3 4 →