Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.401555-1575, 1995. ,
DOI : 10.1109/9.412626
A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, pp.461318-1321, 2001. ,
Formal verification of diagnosability via symbolic model checking, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.363-369, 2003. ,
Diagnosability analysis of distributed discrete event systems, Proceedings of European Conference on Articifial Intelligent ECAI'04, pp.43-47, 2004. ,
Scalable diagnosability checking of event-driven systems, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.575-580, 2007. ,
A scalable jointree algorithm for diagnosability, 23rd AAAI Conference on Artificial Intelligence (AAAI-08), 2008. ,
Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, 2006. ,
DOI : 10.1109/WODES.2006.1678440
Optimized Diagnosability of Distributed Discrete Event Systems Through Abstraction. Thesis, 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00635695
Introduction To Discrete Event Systems Second Edition, 2008. ,
An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems, 2009 21st IEEE International Conference on Tools with Artificial Intelligence, pp.123-130, 2009. ,
DOI : 10.1109/ICTAI.2009.75
Optimizing the System Observability Level for Diagnosability, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.815-830, 2008. ,
DOI : 10.1109/9.412626
Predictability of Sequence Patterns in Discrete Event Systems, Proceedings of the 17th World Congress, pp.537-543, 2008. ,
DOI : 10.3182/20080706-5-KR-1001.00091