S. Haar, S. Haddad, T. Melliti, and S. Schwoon, Optimal constructions for active diagnosis, Proc. FSTTCS of Leibniz International Proceedings in Informatics, 2013, pp.527-539
DOI : 10.1016/j.jcss.2016.04.007
URL : https://hal.archives-ouvertes.fr/hal-00926098

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

F. Cassez and S. Tripakis, Fault diagnosis with static and dynamic observers, Fundamenta Informaticae, vol.88, pp.497-540, 2008.
DOI : 10.1109/wodes.2008.4605947
URL : https://hal.archives-ouvertes.fr/inria-00351836

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems - Second Edition, 2008.

T. 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.

M. Sampath, S. Lafortune, and D. Teneketzis, Active diagnosis of discrete-event systems, IEEE Transactions on Automatic Control, vol.43, issue.7, pp.908-929, 1998.
DOI : 10.1109/9.701089

E. Chanthery and Y. Pencolé, Monitoring and active diagnosis for discreteevent systems, Proc. SafeProcess'09, pp.1545-1550, 2009.

D. Berwanger and L. Doyen, On the power of imperfect information, Proc. FSTTCS, pp.73-82, 2008.

S. Safra, On the complexity of omega -automata, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, pp.319-327, 1988.
DOI : 10.1109/SFCS.1988.21948

S. Miyano and T. Hayashi, Alternating finite automata on ??-words, Theoretical Computer Science, vol.32, issue.3, pp.321-330, 1984.
DOI : 10.1016/0304-3975(84)90049-5
URL : http://doi.org/10.1016/0304-3975(84)90049-5

E. Grädel and W. , Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, Lecture Notes in Computer Science, vol.2500, 2001.
DOI : 10.1007/3-540-36387-4

T. Jron, H. Marchand, S. Pinchinat, and M. 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

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. , Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.852

S. Böhm, S. Haar, S. Haddad, P. Hofman, and S. Schwoon, Active diagnosis with observable quiescence, 2015 54th IEEE Conference on Decision and Control (CDC), 2015.
DOI : 10.1109/CDC.2015.7402449

C. Morvan and S. Pinchinat, Diagnosability of Pushdown Systems, Proceedings of the Haifa Verification Conference, pp.21-33, 2009.
DOI : 10.1109/TAC.2002.802763
URL : https://hal.archives-ouvertes.fr/inria-00525397

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

S. H. Zad, R. Kwong, and W. Wonham, Fault diagnosis in discrete-event systems: Incorporating timing information, Trans. Aut. Cont, vol.50, issue.7, pp.1010-1015, 2005.

S. Xu, S. Jiang, and R. Kumar, Diagnosis of Dense-Time Systems Under Event and Timing Masks, IEEE Transactions on Automation Science and Engineering, vol.7, issue.4, pp.870-878, 2010.
DOI : 10.1109/TASE.2010.2049841

D. Thorsley and D. , 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

N. Bertrand, E. Fabre, S. Haar, S. Haddad, and L. Hélouët, Active Diagnosis for Probabilistic Systems, FOSSACS LNCS, vol.2014, issue.8412, pp.29-42, 2014.
DOI : 10.1007/978-3-642-54830-7_2
URL : https://hal.archives-ouvertes.fr/hal-00930919