. Briones, Optimizing the system observability level for diagnosability Formal verification of diagnosability via symbolic model checking Supervision patterns in discrete event systems diagnosis, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 20th International Joint Conference on Artificial Intelligence IJCAI-03 Marchand, S. Pinchinat, and M.-O. Cordier 8th International Workshop on Discrete Event Systems, pp.815-830, 2003.

. Jéron, Predictability of Sequence Patterns in Discrete Event Systems, 17th World Congress, pp.537-543, 2008.
DOI : 10.3182/20080706-5-KR-1001.00091

. Jiang, A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, pp.461318-1321, 2001.

). Y. Pencolé, Diagnosability analysis of distributed discrete event systems, 16th European Conference on Artificial Intelligence ECAI'04, pp.43-47, 2004.

. Sampath, Diagnosability of discrete event systems A scalable jointree algorithm for diagnosability, 23rd American National Conference on Artificial Intelligence AAAI-08, pp.401555-1575, 1995.

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