N. Bertrand, ´. E. Fabre, S. Haar, S. Haddad, and L. Hélouët, Active Diagnosis for Probabilistic Systems, Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), pp.29-42, 2014.
DOI : 10.1007/978-3-642-54830-7_2
URL : https://hal.archives-ouvertes.fr/hal-00930919

C. G. Cassandras and S. Lafortune, Introduction To Discrete Event Systems, 2008.

A. Cimatti, C. Pecheur, and R. Cavada, Formal Verification of Diagnosability via Symbolic Model Checking, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03) International Joint Conferences on Artificial Intelligence, pp.363-369, 2003.

L. Console, C. Picardi, and D. T. Dupré, A Framework for Decentralized Qualitative Model-based Diagnosis, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) International Joint Conferences on Artificial Intelligence, pp.286-291, 2007.

R. Debouk, R. Malik, and B. Brandin, A modular architecture for diagnosis of discrete event systems, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.417-422, 2002.
DOI : 10.1109/CDC.2002.1184530

S. Genc and S. Lafortune, Predictability of event occurrences in partially-observed discrete-event systems, Automatica, vol.45, issue.2, pp.301-311, 2009.
DOI : 10.1016/j.automatica.2008.06.022

V. Germanos, S. Haar, V. Khomenko, and S. Schwoon, Diagnosability under weak fairness, Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD'14), 2014.
DOI : 10.1109/acsd.2014.9
URL : https://hal.archives-ouvertes.fr/hal-01091162

A. Grastien, J. R. Anbulagan, and E. Kelareva, Diagnosis of Discrete-event Systems Using Satisfiability Algorithms, Proceedings of the 22th American National Conference on Artificial Intelligence (AAAI-07), pp.305-310, 2007.

S. Haar, S. Haddad, T. Melliti, and S. Schwoon, Optimal constructions for active diagnosis, Proceedings of the 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), volume 24 of Leibniz International Proceedings in Informatics, pp.527-539
DOI : 10.1016/j.jcss.2016.04.007
URL : https://hal.archives-ouvertes.fr/hal-00926098

T. Jéron, H. Marchand, S. Genc, and S. Lafortune, Predictability of Sequence Patterns in Discrete Event Systems, Proceedings of the 17th World Congress, pp.537-453, 2008.
DOI : 10.3182/20080706-5-KR-1001.00091

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 Time Algorithm for Testing Diagnosability of Discrete Event Systems, Transactions on Automatic Control, issue.8, pp.461318-1321, 2001.

Y. Pencolé, Diagnosability Analysis of Distributed Discrete Event Systems, Proceedings of the 16th European Conference on Articifial Intelligent (ECAI04), pp.43-47, 2004.

Y. Pencolé and M. O. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence, vol.164, issue.1-2, pp.121-170, 2005.
DOI : 10.1016/j.artint.2005.01.002

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

J. Rintanen, Diagnosers and Diagnosability of Succinct Transition Systems, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) International Joint Conferences on Artificial Intelligence, pp.538-544, 2007.

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

A. Schumann and J. Huang, A Scalable Jointree Algorithm for Diagnosability, Proceedings of the 23rd American National Conference on Artificial Intelligence (AAAI-08), pp.535-540, 2008.

P. Struss, Fundamentals of Model-based Diagnosis of Dynamic Systems, Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97) International Joint Conferences on Artificial Intelligence, pp.480-485, 1997.

L. Ye and P. Dague, Diagnosability Analysis of Discrete Event Systems with Autonomous Components, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-10), pp.105-110, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00540649

L. Ye, P. Dague, and F. Nouioua, Predictability Analysis of Distributed Discrete Event Systems, Proceedings of the 52nd IEEE Conference on Decision and Control (CDC-13), pp.5009-5015, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00919434