M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.401555-1575, 1995.
DOI : 10.1109/9.412626

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, pp.461318-1321, 2001.

A. Cimatti, C. Pecheur, and R. Cavada, Formal verification of diagnosability via symbolic model checking, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.363-369, 2003.

Y. Pencolé, Diagnosability analysis of distributed discrete event systems, Proceedings of European Conference on Articifial Intelligent ECAI'04, pp.43-47, 2004.

A. Schumann and Y. Pencolé, Scalable diagnosability checking of event-driven systems, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.575-580, 2007.

A. Schumann and J. Huang, A scalable jointree algorithm for diagnosability, 23rd AAAI Conference on Artificial Intelligence (AAAI-08), 2008.

T. Jéron, H. Marchand, S. Pinchinat, and M. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, 2006.
DOI : 10.1109/WODES.2006.1678440

L. Ye, Optimized Diagnosability of Distributed Discrete Event Systems Through Abstraction. Thesis, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00635695

C. G. Cassandras and S. Lafortune, Introduction To Discrete Event Systems Second Edition, 2008.

L. Ye, P. Dague, and Y. Yan, 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

L. B. Briones, A. Lazovik, and P. Dague, 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

T. Jéron, H. Marchand, S. Genc, and S. Laforture, 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