, Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999.
DOI : 10.1016/S0004-3702(99)00019-3
, Distributed Monitoring of Concurrent and Asynchronous Systems, Discrete Event Dynamic Systems, vol.15, issue.1, pp.33-84, 2005.
DOI : 10.1007/978-3-540-45187-7_1
URL : https://hal.archives-ouvertes.fr/inria-00638342
, Diagnosis and diagnosability using PEPA, ECAI'2000, pp.131-135, 2000.
, Using model-checking techniques for diagnosing discrete-event systems [Cordier and Thiébaux, 1994] M.-O. Cordier and S. Thiébaux. Event-based diagnosis for evolutive systems Extending decentralized discrete-event modelling to diagnose reconfigurable systems Incremental diagnosis of discrete-event systems, Twelfth International Workshop on Principles of Diagnosis (DX-01) Fifteenth International Workshop on Principles of Diagnosis Cordier, and Ch. Largouët Sixteenth International Workshop on Principles of Diagnosis (DX-05), pp.39-46, 1994.
, Diagnosis of Active Systems, 2003.
DOI : 10.1007/978-94-017-0257-7
, Discrete-event modeling and diagnosis of quantized dynamical systems, 10th International Workshop on Principles of Diagnosis (DX-99), pp.147-154, 1999.
, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, The Thirteenth IEEE international conference on tools with artificial intelligence (ICTAI'01) Cordier, and L. Rozé Twelfth International Workshop on Principles of Diagnosis (DX-01), pp.121-170, 2001.
DOI : 10.1016/j.artint.2005.01.002
, Diagnosing discrete-event systems: an experiment in telecommunication networks, Fourth International Workshop on Discrete Event Systems (WODES'98, 1998.
, 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