S. Bavishi and E. K. Chong, Automated fault diagnosis using a discrete event systems framework, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control, pp.213-218, 1994.
DOI : 10.1109/ISIC.1994.367815

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2008.

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

S. Genc and S. Lafortune, PREDICTABILITY IN DISCRETE-EVENT SYSTEMS UNDER PARTIAL OBSERVATION 1, Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2006.
DOI : 10.3182/20060829-4-CN-2909.00243

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, 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

F. Nouioua and P. Dague, A probabilistic analysis of diagnosability in discrete event systems, Proceedings of the 18th European Conference on Artificial Intelligent, pp.224-228, 2008.

Y. Pencolé, Diagnosability analysis of distributed discrete event systems, Proceedings of the 16th European Conference on Articifial Intelligent, pp.43-47, 2004.

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.1555-1575, 1995.
DOI : 10.1109/9.412626

A. Schumann and J. Huang, A scalable jointree algorithm for diagnosability, Proceedings of the 23rd American National Conference on Artificial Intelligence, pp.535-540, 2008.

K. Sinnamohideen, Discrete-event based diagnostic supervisory control system, Proceedings of the AIChE Annual Meeting, 1991.

N. Viswanadham and T. L. Johnson, Fault detection and diagnosis of automated manufacturing systems, Proceedings of the 27th IEEE Conference on Decision and Control, pp.2301-2306, 1988.
DOI : 10.1109/CDC.1988.194747