P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, Diagnosis of active systems, Proceedings of the European Conference on Artificial Intelligence (ECAI), pp.274-278, 1998.

O. Contant, S. Lafortune, and D. Teneketzis, Diagnosis of intermittent faults. Discrete Event Dynamic Systems: Theory and Applications, pp.171-202, 2004.

R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Event Dynamic System : Theory and Applications, pp.33-86, 2000.

E. Fabre, A. Benveniste, C. Jard, L. Ricker, and M. Smith, Distributed state reconstruction for discrete event systems, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), 2000.
DOI : 10.1109/CDC.2000.914132

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.

S. Jiang and R. Kumar, Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004.
DOI : 10.1109/TAC.2004.829616

S. Jiang, R. Kumar, and H. E. Garcia, Diagnosis of repeated/intermittent failures in discrete event systems, IEEE Transactions on Robotics and Automation, vol.19, issue.2, pp.310-323, 2003.
DOI : 10.1109/TRA.2003.809590

F. Laroussinie, . Ph, and . Schnoebelen, A hierarchy of temporal logics with past, Theoretical Computer Science, vol.148, issue.2, pp.303-324, 1995.
DOI : 10.1016/0304-3975(95)00035-U

R. Milner, A modal characterisation of observable machinebehaviour, CAAP, pp.25-34, 1981.

Y. Pencolé and M. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence, vol.164, issue.1-2, pp.121-170, 2005.
DOI : 10.1016/j.artint.2005.01.002

L. Rozé and M. Cordier, Diagnosing discrete-event systems : an experiment in telecommunication networks, 4th International Workshop on Discrete Event Systems, pp.130-137, 1998.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, 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

M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.852

T. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially-observed discrete-event systems, IEEE Trans. on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.