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.

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

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

L. Ye and P. Dague, Diagnosability analysis of discrete event systems with autonomous components, Proceedings of 19th European Conference on Artificial Intelligence ECAI-10, pp.105-110, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00540649

S. Tripakis, Undecidable problems of decentralized observation and control, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)
DOI : 10.1109/CDC.2001.980822

R. Cori and Y. Métivier, Recognizable subsets of some partially abelian monoids, Theoretical Computer Science, vol.35, pp.179-189, 1985.
DOI : 10.1016/0304-3975(85)90013-1
URL : https://hal.archives-ouvertes.fr/hal-00307566

V. Halava and T. Harju, Undecidability of infinite post correspondence problem for instances of Size 9, Theoretical Informatics and Applications, pp.551-557, 2006.
DOI : 10.1051/ita:2006039