Foundation of diagnosis and predictability in probabilistic systems, Proceedings of FSTTCS 2014. LIPIcs, pp.417-429, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01088117
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
Fault diagnosis with static and dynamic observers, Fundamenta Informaticae, vol.88, pp.497-540, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00351836
Monitoring and Active Diagnosis for Discrete-Event Systems, Proceedings of SP 2009, pp.1545-1550, 2009. ,
DOI : 10.3182/20090630-4-ES-2003.00252
On the total variation distance of labelled Markov chains, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, pp.1-3310, 2014. ,
DOI : 10.1145/2603088.2603099
A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001. ,
DOI : 10.1109/9.940942
Diagnosability of Pushdown Systems, Proceedings of HVC 2009, pp.21-33, 2009. ,
DOI : 10.1109/TAC.2002.802763
URL : https://hal.archives-ouvertes.fr/inria-00525397
Introduction to Probabilistic Automata, 1971. ,
Active diagnosis of discrete-event systems, IEEE Transactions on Automatic Control, vol.43, issue.7, pp.908-929, 1998. ,
DOI : 10.1109/9.701089
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
DOI : 10.1109/9.412626
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
Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems, Discrete Event Dynamic Systems, vol.47, issue.9, pp.531-583, 2007. ,
DOI : 10.1007/s10626-007-0027-y