Diagnosis of Time Petri Nets Using Fault Diagnosis Graph. Wang, X., Mahulea, C., & Silva, M. IEEE Transactions on Automatic Control, 60(9):2321–2335, September, 2015. Conference Name: IEEE Transactions on Automatic Controldoi abstract bibtex 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.
@article{wang_diagnosis_2015,
title = {Diagnosis of {Time} {Petri} {Nets} {Using} {Fault} {Diagnosis} {Graph}},
volume = {60},
issn = {1558-2523},
doi = {10.1109/TAC.2015.2405293},
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.},
number = {9},
journal = {IEEE Transactions on Automatic Control},
author = {Wang, Xu and Mahulea, Cristian and Silva, Manuel},
month = sep,
year = {2015},
note = {Conference Name: IEEE Transactions on Automatic Control},
keywords = {Automata, Computational modeling, Delays, Discrete event system, Discrete event system (DES), Discrete-event systems, Fault diagnosis, Petri net, State estimation, Timed systems, Vectors, diagnostics, fault diagnosis, timed systems},
pages = {2321--2335},
}
Downloads: 0
{"_id":"JEauoxo7vxw84suBu","bibbaseid":"wang-mahulea-silva-diagnosisoftimepetrinetsusingfaultdiagnosisgraph-2015","author_short":["Wang, X.","Mahulea, C.","Silva, M."],"bibdata":{"bibtype":"article","type":"article","title":"Diagnosis of Time Petri Nets Using Fault Diagnosis Graph","volume":"60","issn":"1558-2523","doi":"10.1109/TAC.2015.2405293","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.","number":"9","journal":"IEEE Transactions on Automatic Control","author":[{"propositions":[],"lastnames":["Wang"],"firstnames":["Xu"],"suffixes":[]},{"propositions":[],"lastnames":["Mahulea"],"firstnames":["Cristian"],"suffixes":[]},{"propositions":[],"lastnames":["Silva"],"firstnames":["Manuel"],"suffixes":[]}],"month":"September","year":"2015","note":"Conference Name: IEEE Transactions on Automatic Control","keywords":"Automata, Computational modeling, Delays, Discrete event system, Discrete event system (DES), Discrete-event systems, Fault diagnosis, Petri net, State estimation, Timed systems, Vectors, diagnostics, fault diagnosis, timed systems","pages":"2321–2335","bibtex":"@article{wang_diagnosis_2015,\n\ttitle = {Diagnosis of {Time} {Petri} {Nets} {Using} {Fault} {Diagnosis} {Graph}},\n\tvolume = {60},\n\tissn = {1558-2523},\n\tdoi = {10.1109/TAC.2015.2405293},\n\tabstract = {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.},\n\tnumber = {9},\n\tjournal = {IEEE Transactions on Automatic Control},\n\tauthor = {Wang, Xu and Mahulea, Cristian and Silva, Manuel},\n\tmonth = sep,\n\tyear = {2015},\n\tnote = {Conference Name: IEEE Transactions on Automatic Control},\n\tkeywords = {Automata, Computational modeling, Delays, Discrete event system, Discrete event system (DES), Discrete-event systems, Fault diagnosis, Petri net, State estimation, Timed systems, Vectors, diagnostics, fault diagnosis, timed systems},\n\tpages = {2321--2335},\n}\n\n\n\n","author_short":["Wang, X.","Mahulea, C.","Silva, M."],"key":"wang_diagnosis_2015","id":"wang_diagnosis_2015","bibbaseid":"wang-mahulea-silva-diagnosisoftimepetrinetsusingfaultdiagnosisgraph-2015","role":"author","urls":{},"keyword":["Automata","Computational modeling","Delays","Discrete event system","Discrete event system (DES)","Discrete-event systems","Fault diagnosis","Petri net","State estimation","Timed systems","Vectors","diagnostics","fault diagnosis","timed systems"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/mh_lenguyen","dataSources":["XJ7Gu6aiNbAiJAjbw","XvjRDbrMBW2XJY3p9","3C6BKwtiX883bctx4","5THezwiL4FyF8mm4G","RktFJE9cDa98BRLZF","qpxPuYKLChgB7ox6D","PfM5iniYHEthCfQDH","iwKepCrWBps7ojhDx"],"keywords":["automata","computational modeling","delays","discrete event system","discrete event system (des)","discrete-event systems","fault diagnosis","petri net","state estimation","timed systems","vectors","diagnostics","fault diagnosis","timed systems"],"search_terms":["diagnosis","time","petri","nets","using","fault","diagnosis","graph","wang","mahulea","silva"],"title":"Diagnosis of Time Petri Nets Using Fault Diagnosis Graph","year":2015}