Fault model identification with Petri nets

被引：2

作者：

Cabasino, Maria Paola ^{[1
]}

Giua, Alessandro ^{[1
]}

Hadjicostis, Christoforos N. ^{[2
]}

Seatzu, Carla ^{[1
]}

机构：

[1] Univ Cagliari, Dept Elect & Elect Engn, Piazza Armi, I-09123 Cagliari, Italy

[2] Univ Illinois, Dept Elect & Comp Engn, Coordinated Sci Lab, Urbana, IL 61801 USA

来源：

WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS | 2008年

关键词：

DISCRETE-EVENT SYSTEMS; DIAGNOSIS;

D O I：

10.1109/WODES.2008.4605989

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Most of the fault identification problems in the Discrete Event Systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with this problem within the framework of Petri nets by removing the requirement that the nature (and behavior) of the fault is known. In particular, we devise a way to identify the structure of the faulty transitions of the system given its language. Then, we generalize this procedure to unobservable faults, in which case the structure of the faulty system needs to be recognized from the knowledge of the structure of the fault-free system, and the projection of the faulty system language on the set of non-faulty events, that are assumed to be observable.

引用

页码：455 / +

页数：2

共 10 条

[1]

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

[2]

Cabasino MP, 2007, DISCRETE EVENT DYN S, V17, P447, DOI [10.1007/s10626-007-0025-0, 10.1007/S10626-007-0025-0]

[3] 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

[4] Marking estimation of Petri nets with silent transitions [J].

Giua, Alessandro ;

Seatzu, Carla ;

Corona, Daniele .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (09) :1695-1699

[5]

Giua A, 2005, IEEE DECIS CONTR P, P7639

[6] Failure diagnosis of discrete-event systems with linear-time temporal logic specifications [J].

Jiang, SB ;

Kumar, R .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2004, 49 (06) :934-945

[7] Sensor and actuator fault diagnosis of systems with discrete inputs and outputs [J].

Lunze, J ;

Schröder, J .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2004, 34 (02) :1096-1107

[8] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].

MURATA, T .

PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580

[9] Active diagnosis of discrete-event systems [J].

Sampath, M ;

Lafortune, S ;

Teneketzis, D .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (07) :908-929

[10] Fault diagnosis in discrete-event systems: Framework and model reduction [J].

Zad, SH ;

Kwong, RH ;

Wonham, WM .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (07) :1199-1212

← 1 →