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

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001.
DOI : 10.1109/9.940942

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

E. Fabre, Diagnosis and Automata, Lecture Notes in Control and Information Sciences, vol.433, pp.85-106, 2013.
DOI : 10.1007/978-1-4471-4276-8_5

M. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, Diagnosability analysis of unbounded Petri nets, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, pp.1267-1272, 2009.
DOI : 10.1109/CDC.2009.5400608

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-00638345

S. Haar and E. Fabre, Diagnosis with Petri Net Unfoldings, Lecture Notes in Control and Information Sciences, vol.433, pp.301-318, 2013.
DOI : 10.1007/978-1-4471-4276-8_15
URL : https://hal.archives-ouvertes.fr/hal-00926087

C. Morvan and S. Pinchinat, Diagnosability of Pushdown Systems, Proc. HVC'09, pp.21-33, 2009.
DOI : 10.1109/TAC.2002.802763
URL : https://hal.archives-ouvertes.fr/inria-00525397

D. Thorsley and D. Teneketzis, Diagnosability of stochastic discrete-event systems, IEEE Transactions on Automatic Control, vol.50, issue.4, pp.476-492, 2005.
DOI : 10.1109/TAC.2005.844722
URL : http://web.eecs.umich.edu/~teneket/pubs/DiagnosabilityStochasticDES-2005.pdf

F. Nouioua and P. Dague, A probabilistic analysis of diagnosability in discrete event systems, Proc. ECAI'08, pp.224-228, 2008.

E. Fabre and L. , On the construction of probabilistic diagnosers, Proc. WODES'10, pp.229-234, 2010.
DOI : 10.3182/20100830-3-DE-4013.00039

N. Bertrand, S. Haddad, and E. Lefaucheux, Foundation of Diagnosis and Predictability in Probabilistic Systems, proc. 34th IARCS Annual Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), LIPIcs 29, pp.417-429, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01088117

N. Bertrand, E. Fabre, S. Haar, S. Haddad, and L. Helouet, Active Diagnosis for Probabilistic Systems, proc. FoSSaCS'14, pp.29-42, 2014.
DOI : 10.1007/978-3-642-54830-7_2
URL : https://hal.archives-ouvertes.fr/hal-00930919

N. Bertrand, S. Haddad, and E. Lefaucheux, Diagnosis in Infinite-State Probabilistic Systems, proc. 27th Int. Conf. on Concurrency Theory (Concur'16), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01373354

N. Bertrand, S. Haddad, and E. Lefaucheux, Accurate Approximate Diagnosability of Stochastic Systems, proc. 10th Int. Conf. on Language and Automata Theory and Applications (LATA'16), LNCS 9618, pp.549-561, 2016.
DOI : 10.1007/978-3-319-30000-9_42
URL : https://hal.archives-ouvertes.fr/hal-01220954

C. Cortes, M. Mohri, A. Rastogi, and M. Riley, ON THE COMPUTATION OF THE RELATIVE ENTROPY OF PROBABILISTIC AUTOMATA, International Journal of Foundations of Computer Science, vol.7, issue.01, p.219, 2008.
DOI : 10.1109/18.850703