@article{lefebvre_-line_2014,
	title = {On-{Line} {Fault} {Diagnosis} {With} {Partially} {Observed} {Petri} {Nets}},
	volume = {59},
	issn = {1558-2523},
	doi = {10.1109/TAC.2013.2294617},
	abstract = {This technical note concerns fault detection and diagnosis for discrete event systems modeled with partially observed Petri nets. The proposed method provides diagnosis decisions via the analysis of observation sequences that include some observable events and the partial measurement of the successive states visited by the system. To this end, the observation sequences are decomposed into elementary observation sequences, linear matrix inequalities are used to compute the firing sequences consistent with each elementary observation sequence and an algorithm of linear complexity with respect to the length of the observation sequences is proposed to provide on-line diagnosis decisions.},
	number = {7},
	journal = {IEEE Transactions on Automatic Control},
	author = {Lefebvre, Dimitri},
	month = jul,
	year = {2014},
	note = {Conference Name: IEEE Transactions on Automatic Control},
	keywords = {Complexity theory, Earth Observing System, Fault detection, Fault diagnosis, Firing, Petri nets, Vectors, fault diagnosis, partially observed Petri nets},
	pages = {1919--1924},
}

{"_id":"nRFPYF2dbycifW6Lh","bibbaseid":"lefebvre-onlinefaultdiagnosiswithpartiallyobservedpetrinets-2014","author_short":["Lefebvre, D."],"bibdata":{"bibtype":"article","type":"article","title":"On-Line Fault Diagnosis With Partially Observed Petri Nets","volume":"59","issn":"1558-2523","doi":"10.1109/TAC.2013.2294617","abstract":"This technical note concerns fault detection and diagnosis for discrete event systems modeled with partially observed Petri nets. The proposed method provides diagnosis decisions via the analysis of observation sequences that include some observable events and the partial measurement of the successive states visited by the system. To this end, the observation sequences are decomposed into elementary observation sequences, linear matrix inequalities are used to compute the firing sequences consistent with each elementary observation sequence and an algorithm of linear complexity with respect to the length of the observation sequences is proposed to provide on-line diagnosis decisions.","number":"7","journal":"IEEE Transactions on Automatic Control","author":[{"propositions":[],"lastnames":["Lefebvre"],"firstnames":["Dimitri"],"suffixes":[]}],"month":"July","year":"2014","note":"Conference Name: IEEE Transactions on Automatic Control","keywords":"Complexity theory, Earth Observing System, Fault detection, Fault diagnosis, Firing, Petri nets, Vectors, fault diagnosis, partially observed Petri nets","pages":"1919–1924","bibtex":"@article{lefebvre_-line_2014,\n\ttitle = {On-{Line} {Fault} {Diagnosis} {With} {Partially} {Observed} {Petri} {Nets}},\n\tvolume = {59},\n\tissn = {1558-2523},\n\tdoi = {10.1109/TAC.2013.2294617},\n\tabstract = {This technical note concerns fault detection and diagnosis for discrete event systems modeled with partially observed Petri nets. The proposed method provides diagnosis decisions via the analysis of observation sequences that include some observable events and the partial measurement of the successive states visited by the system. To this end, the observation sequences are decomposed into elementary observation sequences, linear matrix inequalities are used to compute the firing sequences consistent with each elementary observation sequence and an algorithm of linear complexity with respect to the length of the observation sequences is proposed to provide on-line diagnosis decisions.},\n\tnumber = {7},\n\tjournal = {IEEE Transactions on Automatic Control},\n\tauthor = {Lefebvre, Dimitri},\n\tmonth = jul,\n\tyear = {2014},\n\tnote = {Conference Name: IEEE Transactions on Automatic Control},\n\tkeywords = {Complexity theory, Earth Observing System, Fault detection, Fault diagnosis, Firing, Petri nets, Vectors, fault diagnosis, partially observed Petri nets},\n\tpages = {1919--1924},\n}\n\n","author_short":["Lefebvre, D."],"key":"lefebvre_-line_2014","id":"lefebvre_-line_2014","bibbaseid":"lefebvre-onlinefaultdiagnosiswithpartiallyobservedpetrinets-2014","role":"author","urls":{},"keyword":["Complexity theory","Earth Observing System","Fault detection","Fault diagnosis","Firing","Petri nets","Vectors","fault diagnosis","partially observed Petri nets"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/zotero/mh_lenguyen","dataSources":["XJ7Gu6aiNbAiJAjbw","XvjRDbrMBW2XJY3p9","3C6BKwtiX883bctx4","5THezwiL4FyF8mm4G","RktFJE9cDa98BRLZF","qpxPuYKLChgB7ox6D","PfM5iniYHEthCfQDH","iwKepCrWBps7ojhDx"],"keywords":["complexity theory","earth observing system","fault detection","fault diagnosis","firing","petri nets","vectors","fault diagnosis","partially observed petri nets"],"search_terms":["line","fault","diagnosis","partially","observed","petri","nets","lefebvre"],"title":"On-Line Fault Diagnosis With Partially Observed Petri Nets","year":2014}