F. Basile, P. Chiacchio, D. Tommasi, and G. , An Efficient Approach for Online Diagnosis of Discrete Event Systems, IEEE Transactions on Automatic Control, vol.54, issue.4, pp.748-759, 2009.
DOI : 10.1109/TAC.2009.2014932

A. Benveniste, E. Fabre, S. Haar, and C. Jard, Diagnosis of asynchronous discrete-event systems: a net unfolding approach, IEEE Transactions on Automatic Control, vol.48, issue.5, pp.714-727, 2003.
DOI : 10.1109/TAC.2003.811249
URL : https://hal.archives-ouvertes.fr/inria-00072442

M. P. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, , 2012.

, A new approach for diagnosability analysis of petri nets using verifier nets, Transactions on Automatic Control, vol.57, issue.12, pp.3104-3117

M. Dotoli, M. P. Fianti, A. M. Mangini, and W. Ukovich, On-line fault detection in discrete event systems by Petri nets and integer linear programming, Automatica, vol.45, issue.11, pp.45-2665, 2009.
DOI : 10.1016/j.automatica.2009.07.021

J. Esparza, S. Römer, and W. Vogler, An Improvement of McMillan's Unfolding Algorithm. Formal Methods in System Design, pp.285-310, 2002.

H. E. Gougam, A. Subias, and Y. Pencolé, Supervision Patterns: Formal Diagnosability Checking by Petri Net Unfolding, Dependable Control of Discrete Systems, 2013.
DOI : 10.3182/20130904-3-UK-4041.00039

T. Jéron, H. Marchand, S. Pinchinat, and M. O. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, pp.262-268, 2006.
DOI : 10.1109/WODES.2006.1678440

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete event systems, IEEE Transactions on Automatic Control, 2000.

S. Jiang, R. Kumar, and H. E. Garcia, Diagnosis of repeated/intermittent failures in discrete event systems, IEEE Transactions on Robotics and Automation, vol.19, issue.2, pp.310-323, 2003.
DOI : 10.1109/TRA.2003.809590

S. Lai, D. Nessi, M. Cabasino, A. Giua, and C. Seatzu, A comparison between two diagnostic tools based on automata and Petri nets, 2008 9th International Workshop on Discrete Event Systems, pp.144-149, 2008.
DOI : 10.1109/WODES.2008.4605936

K. L. Mcmillan, A technique of state space search based on unfolding, Formal Methods in System Design, vol.22, issue.12, pp.45-65, 1995.
DOI : 10.1007/BF01384314

Y. Pencolé, Assistance for the design of a diagnosable component-based system, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05), pp.549-556, 2005.
DOI : 10.1109/ICTAI.2005.41

J. L. Peterson, Petri Nets, ACM Computing Surveys, vol.9, issue.3, pp.223-252, 1977.
DOI : 10.1145/356698.356702

M. Sampath, R. Sengputa, S. Lafortune, K. Sinnamohideen, and D. Teneketsis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

T. S. Yoo and H. E. Garcia, Diagnosis of behaviors of interest in partially-observed discrete-event systems, Systems & Control Letters, vol.57, issue.12, pp.1023-1029, 2008.
DOI : 10.1016/j.sysconle.2008.06.009

T. S. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Trans. Automat. Contr, vol.47, issue.9, pp.1491-1495, 2002.

, WODES 2014

F. Cachan, , 2014.