P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999.
DOI : 10.1016/S0004-3702(99)00019-3

URL : http://doi.org/10.1016/s0004-3702(99)00019-3

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

H. Brave and M. Heymann, Control of discrete event systems modeled as hierarchical state machines, IEEE Transactions on Automatic Control, vol.38, issue.12, pp.1803-1819, 1993.
DOI : 10.1109/9.250558

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, The Kluwer International Series in Discrete Event Dynamic Systems, 1999.

R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete-event systems, Discrete Event Dynamic Systems, vol.10, issue.1/2, pp.33-86, 2000.
DOI : 10.1023/A:1008335115538

R. Debouk, S. Lafortune, and D. Teneketzis, On the effect of communication delays in failure diagnosis of decentralized discrete event systems, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), pp.263-289, 2003.
DOI : 10.1109/CDC.2000.914131

A. Grastien, M. Cordier, and C. Largouët, Extending decentralized discrete-event modelling to diagnose reconfigurable systems In: Fifteenth International Workshop on Principles of Diagnosis ?DX'04, pp.75-80, 2004.

A. Grastien, M. Cordier, and C. Largouët, Incremental diagnosis of discrete-event systems, Sixteenth International Workshop on Principles of Diagnosis DX'05, pp.119-124, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00511109

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

URL : http://doi.org/10.1016/0167-6423(87)90035-9

D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi et al., STATEMATE: a working environment for the development of complex reactive systems, IEEE Transactions on Software Engineering, vol.16, issue.4, pp.403-414, 1990.
DOI : 10.1109/32.54292

A. Idghamishi and S. Zad, Fault diagnosis in hierarchical discrete-event systems, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), pp.63-68, 2004.
DOI : 10.1109/CDC.2004.1428607

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, pp.117-124, 2006.
DOI : 10.1109/WODES.2006.1678440

R. Kwong and D. Yonge-mallo, Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), vol.41, issue.1, pp.118-130, 2011.
DOI : 10.1109/TSMCB.2010.2047257

G. Lamperti and M. Zanella, Diagnosis of discrete-event systems from uncertain temporal observations, Artificial Intelligence, vol.137, issue.1-2, pp.91-163, 2002.
DOI : 10.1016/S0004-3702(02)00123-6

URL : http://doi.org/10.1016/s0004-3702(02)00123-6

G. Lamperti and M. Zanella, Diagnosis of Active Systems ? Principles and Techniques, The Kluwer International Series in Engineering and Computer Science, vol.741, 2003.

G. Lamperti and M. Zanella, Context-sensitive diagnosis of discrete-event systems, Twenty-Second International Joint Conference on Artificial Intelligence IJCAI'11, pp.969-975, 2011.

G. Lamperti and M. Zanella, Monitoring of Active Systems With Stratified Uncertain Observations, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.41, issue.2, pp.356-369, 2011.
DOI : 10.1109/TSMCA.2010.2069096

A. Paoli and S. Lafortune, Diagnosability Analysis of a Class of Hierarchical State Machines, Discrete Event Dynamic Systems, vol.43, issue.7, pp.385-413, 2008.
DOI : 10.1007/s10626-008-0044-5

Y. Pencolé, Decentralized diagnoser approach: application to telecommunication networks In: Eleventh International Workshop on Principles of Diagnosis DX'00, pp.185-192, 2000.

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

Y. Pencolé, M. Cordier, and L. Rozé, Incremental decentralized diagnosis approach for the supervision of a telecommunication network, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.151-158, 2001.
DOI : 10.1109/CDC.2002.1184533

W. Qiu and R. Kumar, Decentralized failure diagnosis of discrete event systems, IEEE Transactions on Systems, Man, and Cybernetics ? Part A: Systems and Humans, vol.36, issue.2, pp.384-395, 2006.

M. Yamaguchi, Fukushima Nuclear Disaster Report: Plant Operators Tokyo Electric And Government Still Stumbling, 2012.

X. Zhao and D. Ouyang, Model-based diagnosis of discrete event systems with an incomplete system model, Eigtheenth European Conference on Artificial Intelligence ECAI, pp.189-193, 2008.

X. Zhao, D. Ouyang, L. Zhang, X. Wang, and Y. Mo, Reasoning on partially-ordered observations in online diagnosis of DESs, AI Communications, vol.25, issue.4, pp.285-294, 2012.