Diagnosability of bounded Petri nets

被引：28
作者：
Cabasino, Maria Paola [1 ]
Giua, Alessandro [1 ]
Seatzu, Carla [1 ]
机构：
[1] Univ Cagliari, Dept Elect & Elect Engn, Piazza DArmi, I-09123 Cagliari, Italy
来源：
PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009) | 2009年
关键词：
DISCRETE-EVENT SYSTEMS; FAULT-DETECTION; MODELS; TRANSITIONS;
D O I：
10.1109/CDC.2009.5399874
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we present an approach to solve the problem of diagnosability of bounded Petri net systems. In particular, we first give necessary and sufficient conditions for diagnosability. Then, we present a method to test diagnosability that is based on the analysis of two graphs that depend on the structure of the net, including the faults model, and the initial marking. The first graph is called basis reachability diagnoser, the second one is called modified basis reachability graph.
引用
收藏
页码：1254 / 1260
页数：7
相关论文
共 12 条
[1]  
Cabasino M., 2009, P 48 IEEE C DEC CONT
[2]  
Cabasino M., 2009, P 2 IFAC WORKSH DEP
[3]  
CABASINO MP, AUTOMATICA IN PRESS
[4]   Diagnosing PN-based models with partial observable transitions [J].
Chung, SL .
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2005, 18 (2-3) :158-169
[5]  
CORONA D, 2004, P IEEE 43 INT C DEC
[6]  
Giua A, 2005, IEEE DECIS CONTR P, P6323
[7]   PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].
MURATA, T .
PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580
[8]   Failure diagnosis using discrete-event models [J].
Sampath, M ;
Sengupta, R ;
Lafortune, S ;
Sinnamohideen, K ;
Teneketzis, DC .
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1996, 4 (02) :105-124
[9]   DIAGNOSABILITY OF DISCRETE-EVENT SYSTEMS [J].
SAMPATH, M ;
SENGUPTA, R ;
LAFORTUNE, S ;
SINNAMOHIDEEN, K ;
TENEKETZIS, D .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (09) :1555-1575
[10]  
Ushio T, 1998, IEEE SYS MAN CYBERN, P113, DOI 10.1109/ICSMC.1998.725394
12