Diagnosis of asynchronous discrete-event systems: A net unfolding approach

被引：171

作者：

Benveniste, A

Fabre, E

Haar, S

Jard, C

机构：

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

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

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2003年 / 48卷 / 05期

关键词：

alarm correlation; asynchronous diagnosis; diagnosis; discrete event systems; Petri nets; unfoldings;

D O I：

10.1109/TAC.2003.811249

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper, we consider the diagnosis of asynchronous discrete event systems. We follow a so-called true concurrency approach, in which no global state and no global time is available. Instead, we use only local states in combination with a partial order model of-time. Our basic mathematical tool is that of net unfoldings originating from the Petri net research area. This study was motivated by the problem of event correlation in telecommunications network management.

引用

页码：714 / 727

页数：14

共 38 条

[1] Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets [J].

Aghasaryan, A ;

Fabre, E ;

Benveniste, A ;

Boubour, R ;

Jard, C .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (02) :203-231

[2]

AGHASARYAN A, 2002, 18 WORLD TEL C SEPT

[3]

AGHASARYAN A, 1997, C DEC CONTR SAN DIEG

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

Baroni, P ;

Lamperti, G ;

Pogliano, P ;

Zanella, M .

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

[5]

BENVENISTE A, 1456 IRISA

[6]

BENVENISTE A, 2001, 1415 IRISA

[7]

BOUBOUR R, 1997, C DEC CONTR SAN DIEG

[8] 2 EXTENSIONS OF THE VITERBI ALGORITHM [J].

BOULOUTAS, A ;

HART, GW ;

SCHWARTZ, M .

IEEE TRANSACTIONS ON INFORMATION THEORY, 1991, 37 (02) :430-436

[9] ALARM CORRELATION AND FAULT IDENTIFICATION IN COMMUNICATION-NETWORKS [J].

BOULOUTAS, AT ;

CALO, S ;

FINKEL, A .

IEEE TRANSACTIONS ON COMMUNICATIONS, 1994, 42 (2-4) :523-533

[10]

Cassandras C. G., 2009, Introduction to discrete event systems, V2nd, DOI 10.1007/978-3-030-72274-6

← 1 2 3 4 →