Formal verification of diagnosability via symbolic model checking, 18th International Joint Conference on Artificial Intelligence (IJCAI-03), pp.363-369, 2003. ,
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 analysis of distributed discrete event systems, Proceedings of European Conference on Articifial Intelligent ECAI'04, pp.43-47, 2004. ,
Assistance for the design of a diagnosable component-based system, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05), pp.549-556, 2005. ,
DOI : 10.1109/ICTAI.2005.41
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
DOI : 10.1109/9.412626
A scalable jointree algorithm for diagnosability, 23rd American National Conference on Artificial Intelligence (AAAI-08), 2008. ,
Scalable diagnosability checking of event-driven systems, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.575-580, 2007. ,
Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002. ,