Exploiting independence in a decentralised and incremental approach of diagnosis

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 292-297

  Cordier, Marie Odile ^a   Grastien, Alban ^b  

^a UNIVERSITÉ DE RENNES 1   (France)

^b CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DECENTRALISED; DIAGNOSE COMPLEX; INCREMENTAL APPROACH; INDEPENDENCE PROPERTIES; MODEL BASED APPROACH; ONLINE MONITORING; UNCERTAIN OBSERVATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 84880853423     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. A. Benveniste, S. Haar, E. Fabre, and Cl. Jard. Distributed monitoring of concurrent and asynchronous systems. Discrete Event Dynamic Systems, 15(1):33-84, 2005. (Pubitemid 40536325)
2. C. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
3. G. Jiroveanu and R. Boél. Petri net model-based distributed diagnosis for large interacting systems. In Sixteenth International Workshop on Principles of Diagnosis (DX-05), pages 25-30, 2005.
4. G. Lamperti and M. Zanella. Diagnosis of Active Systems. Kluwer Academic Publishers, 2003.
5. Y. Pencolé and M.-O. Cordier. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence Journal, 164(1-2):121-170, 2005. (Pubitemid 40454432)
6. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. Control Systems Technology, 4(2):105-124, 1996. (Pubitemid 126782836)