Title
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
Abstract
This paper proposes an online approach for fault diagnosis of timed discrete event systems modeled by Time Petri Net (TPN). The set of transitions is partitioned into two subsets containing observable and unobservable transitions, respectively. Faults correspond to a subset of unobservable transitions. In accordance with most of the literature on discrete event systems, we define three diagnosis states, namely normal, faulty and uncertain states, respectively. The proposed approach uses a fault diagnosis graph, which is incrementally computed using the state class graph of the unobservable TPN. After each observation, if the part of FDG necessary to compute the diagnosis states is not available, the state class graph of the unobservable TPN is computed starting from the consistent states. This graph is then optimized and added to the partial FDG keeping only the necessary information for computation of the diagnosis states. We provide algorithms to compute the FDG and the diagnosis states. The method is implemented as a software package and simulation results are included.
Year
DOI
Venue
2015
10.1109/TAC.2015.2405293
Automatic Control, IEEE Transactions  
Keywords
Field
DocType
Fault diagnosis,Vectors,Discrete-event systems,Delays,Automata,Computational modeling,State estimation
Discrete mathematics,Graph,Mathematical optimization,Observable,Petri net,Computer science,Automaton,Algorithm,Software,Unobservable,Discrete system,Computation
Journal
Volume
Issue
ISSN
PP
99
0018-9286
Citations 
PageRank 
References 
4
0.46
28
Authors
3
Name
Order
Citations
PageRank
Wang, X.140.46
Cristian Mahulea216119.50
Silva, M.331636.61