B. Buchanan and E. Shortliffe, Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, 1984.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Trans. Aut. Cont, vol.40, issue.9, pp.1555-1575, 1995.

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.

M. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, Diagnosability analysis of unbounded Petri nets, Proceedings of CDC'09, pp.1267-1272, 2009.

C. Morvan and S. Pinchinat, Diagnosability of pushdown systems, Proceedings of HVC'09, vol.6405, pp.21-33, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00525397

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

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.

D. Thorsley and D. Teneketzis, Active acquisition of information for diagnosis and supervisory control of discrete-event systems, Journal of Discrete Event Dynamic Systems, vol.17, pp.531-583, 2007.

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

N. Bertrand, E. Fabre, S. Haar, S. Haddad, and L. Hélouët, Active diagnosis for probabilistic systems, Proceedings of FoSSaCS'14, vol.8412, pp.29-42, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00930919

D. Thorsley and D. Teneketzis, Diagnosability of stochastic discrete-event systems, IEEE Transactions on Automatic Control, vol.50, issue.4, pp.476-492, 2005.

N. Bertrand, S. Haddad, and E. Lefaucheux, Foundation of diagnosis and predictability in probabilistic systems, Leibniz-Zentrum für Informatik, vol.29, pp.417-429, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01088117

J. Chen and R. Kumar, Polynomial test for stochastic diagnosability of discrete-event systems, IEEE Transactions on Automation Science and Engineering, vol.10, issue.4, pp.969-979, 2013.

A. P. Sistla, M. Zefran, and Y. Feng, Monitorability of stochastic dynamical systems, Proceedings of the 23rd International Conference on Computer Aided Verification, CAV'11, pp.720-736, 2011.

S. Kiefer and A. P. Sistla, Distinguishing hidden Markov chains, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, pp.66-75, 2016.

T. Chen and S. Kiefer, On the total variation distance of labelled Markov chains, Proceedings of CSL-LICS'14, vol.33, p.10, 2014.

N. Bertrand, S. Haddad, and E. Lefaucheux, Accurate approximate diagnosability of stochastic systems, Proceedings of LATA'16, vol.9618, pp.549-561, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01220954

S. Haar, S. Haddad, T. Melliti, and S. Schwoon, Optimal constructions for active diagnosis, Proceedings of FSTTCS'13, vol.24, pp.527-539, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00926098

A. Paz, Introduction to Probabilistic Automata, 1971.

N. Rampersad, J. Shallit, and Z. Xu, The computational complexity of universality problems for prefixes, suffixes, factors, and subwords of regular languages, Fundam, Inf, vol.116, issue.1-4, pp.223-236, 2012.

A. R. Meyer and L. J. Stockmeyer, The equivalence problem for regular expressions with squaring requires exponential space, Proceedings of SWAT'72, pp.125-129, 1972.

N. Bertrand, S. Haddad, and E. Lefaucheux, Diagnosis in infinite-state probabilistic systems, Leibniz-Zentrum für Informatik, vol.59, p.14, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01373354