Active diagnosis for probabilistic systems, proc. FoS-SaCS'14, vol.8412, pp.29-42, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00930919
Foundation of Diagnosis and Predictability in Probabilistic Systems, proc. 34th IARCS Annual Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), vol.29, pp.417-429, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01088117
Diagnosability Degree of Stochastic Discrete Event Systems, CDC'17, pp.5726-5731, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01651232
Complexity reduction techniques for quantified diagnosability of stochastic systems ,
URL : https://hal.archives-ouvertes.fr/hal-01943401
An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems -A Railway Case-Study, VECoS'17, vol.10466, pp.92-107, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01659407
Diagnosis and automata, Control of Discrete-Event Systems -Automata and Petri Net Perspectives, vol.433, pp.85-106, 2013. ,
On the construction of probabilistic diagnosers, Proc. WODES'10, pp.229-234, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01699592
Optimal constructions for active diagnosis, J. Comput. Syst. Sci, vol.83, issue.1, pp.101-120, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01408047
A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Trans. Aut. Cont, vol.46, issue.8, pp.1318-1321, 2001. ,
A probabilistic analysis of diagnosability in discrete event systems, Proc. ECAI'08, vol.178, pp.224-228, 2008. ,
Diagnosability of discrete event systems, IEEE Trans. Aut. Cont, vol.40, issue.9, pp.1555-1575, 1995. ,
Diagnosability of stochastic discrete-event systems, IEEE Trans. Aut. Cont, vol.50, issue.4, pp.476-492, 2005. ,
Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Trans. Aut. Cont, vol.47, issue.9, pp.1491-1495, 2002. ,