Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, 1984. ,
Diagnosability of discrete-event systems, IEEE Trans. Aut. Cont, vol.40, issue.9, pp.1555-1575, 1995. ,
A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001. ,
Diagnosability analysis of unbounded Petri nets, Proceedings of CDC'09, pp.1267-1272, 2009. ,
Diagnosability of pushdown systems, Proceedings of HVC'09, vol.6405, pp.21-33, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00525397
Fault diagnosis with static and dynamic observers, Fundamenta Informaticae, vol.88, pp.497-540, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00351836
Active diagnosis of discrete-event systems, IEEE Transactions on Automatic Control, vol.43, issue.7, pp.908-929, 1998. ,
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. ,
Monitoring and active diagnosis for discreteevent systems, Proceedings of SP'09, pp.1545-1550, 2009. ,
Active diagnosis for probabilistic systems, Proceedings of FoSSaCS'14, vol.8412, pp.29-42, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00930919
Diagnosability of stochastic discrete-event systems, IEEE Transactions on Automatic Control, vol.50, issue.4, pp.476-492, 2005. ,
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
Polynomial test for stochastic diagnosability of discrete-event systems, IEEE Transactions on Automation Science and Engineering, vol.10, issue.4, pp.969-979, 2013. ,
Monitorability of stochastic dynamical systems, Proceedings of the 23rd International Conference on Computer Aided Verification, CAV'11, pp.720-736, 2011. ,
Distinguishing hidden Markov chains, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, pp.66-75, 2016. ,
On the total variation distance of labelled Markov chains, Proceedings of CSL-LICS'14, vol.33, p.10, 2014. ,
Accurate approximate diagnosability of stochastic systems, Proceedings of LATA'16, vol.9618, pp.549-561, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01220954
Optimal constructions for active diagnosis, Proceedings of FSTTCS'13, vol.24, pp.527-539, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00926098
Introduction to Probabilistic Automata, 1971. ,
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. ,
The equivalence problem for regular expressions with squaring requires exponential space, Proceedings of SWAT'72, pp.125-129, 1972. ,
Diagnosis in infinite-state probabilistic systems, Leibniz-Zentrum für Informatik, vol.59, p.14, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01373354