P. Alur and . Madhusudan, Visibly pushdown languages, Proceedings of the thirty-sixth annual ACM symposium on Theory of computing , STOC '04, pp.202-211, 2004.
DOI : 10.1145/1007352.1007390

É. Bertrand, S. Fabre, S. Haar, L. Haddad, and . Hélouët, 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

S. Bertrand, E. Haddad, and . Lefaucheux, Foundation of diagnosis and predictability in probabilistic systems, Proc. FSTTCS'14 Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.417-429, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01088117

S. Bertrand, E. Haddad, and . Lefaucheux, Accurate Approximate Diagnosability of Stochastic Systems, Proc. LATA'16, pp.549-561, 2016.
DOI : 10.1007/978-3-319-30000-9_42
URL : https://hal.archives-ouvertes.fr/hal-01220954

S. Bertrand, E. Haddad, H. Lefaucheux, and . Inria, Diagnosis in infinite-state probabilistic systems (long version), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01334218

P. Cabasino, A. Giua, and C. Seatzu, Diagnosability of Discrete-Event Systems Using Labeled Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.11, issue.1, pp.144-153, 2014.
DOI : 10.1109/TASE.2013.2289360
URL : https://hal.archives-ouvertes.fr/hal-01479636

M. Etessami and . Yannakakis, Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations, Journal of the ACM, vol.56, issue.1, 2009.

M. Etessami and . Yannakakis, Model Checking of Recursive Probabilistic Systems, ACM Transactions on Computational Logic, vol.13, issue.2, p.12, 2012.
DOI : 10.1145/2159531.2159534

S. Haar, T. Haddad, S. Melliti, and . Schwoon, Optimal constructions for active diagnosis, Proc. FSTTCS'13 Schloss Dagstuhl -Leibniz- Zentrum fuer Informatik, pp.527-539, 2013.
DOI : 10.1016/j.jcss.2016.04.007
URL : https://hal.archives-ouvertes.fr/hal-00926098

Z. Jiang, V. Huang, R. Chandra, and . Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Trans. Automatic Control, issue.8, pp.461318-1321, 2001.

J. Ku?era, R. Esparza, and . Mayr, Model Checking Probabilistic Pushdown Automata, Logical Methods in Computer Science, vol.2, issue.1, 2006.
DOI : 10.2168/LMCS-2(1:2)2006

S. Morvan and . 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

N. Moschovakis, Descriptive Set Theory. Mathematical Surveys and Monographs, 2009.

S. Sampath, D. Lafortune, and . 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

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

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