DocumentCode :
3302909
Title :
New results for fault detection of untimed continuous Petri nets
Author :
Seatzu, Carla ; Cabasino, Maria Paola ; Mahulea, Cristian ; Silva, Manuel
Author_Institution :
Dept. of Electr. & Electron. Eng., Univ. of Cagliari, Cagliari, Italy
fYear :
2009
fDate :
15-18 Dec. 2009
Firstpage :
6952
Lastpage :
6957
Abstract :
In this paper we study fault diagnosis of systems modeled by untimed continuous Petri nets. In particular, we generalize our previous works in this framework where we solved this problem only for special classes of continuous Petri nets, namely state machines and backward conflict free nets. We show that the price to pay for this generalization is that only three diagnosis states can be defined, rather than four. However, this is not a significant restriction because it is in accordance with all the literature on finite state automata.
Keywords :
Petri nets; fault diagnosis; finite state machines; generalisation (artificial intelligence); fault detection; finite state automata; state machines; untimed continuous Petri nets; Automata; Computational complexity; Discrete event systems; Fault detection; Fault diagnosis; Fault tolerant systems; Hardware; Linear programming; Petri nets; Vectors;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on
Conference_Location :
Shanghai
ISSN :
0191-2216
Print_ISBN :
978-1-4244-3871-6
Electronic_ISBN :
0191-2216
Type :
conf
DOI :
10.1109/CDC.2009.5400035
Filename :
5400035
Link To Document :
بازگشت