Introduction To Discrete Event Systems Second Edition, 2008. ,
Formal verification of diagnosability via symbolic model checking, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.363-369, 2003. ,
Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, 2006. ,
DOI : 10.1109/WODES.2006.1678440
A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, pp.461318-1321, 2001. ,
Diagnosability analysis of distributed discrete event systems, Proceedings of European Conference on Articifial Intelligent ECAI'04, pp.43-47, 2004. ,
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. ,