A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

Artificial Intelligence

Volumn 164, Issue 1-2, 2005, Pages 121-170

  Pencolé, Yannick ^a   Cordier, Marie Odile ^b  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

Decentralised model; Discrete event systems; Distributed artificial intelligence; Fault propagation; Model based diagnosis; Telecommunication networks

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; DISCRETE TIME CONTROL SYSTEMS; LARGE SCALE SYSTEMS; PROBLEM SOLVING;

DECENTRALIZED MODELS; DISCRETE EVENT SYSTEMS; DISTRIBUTED ARTIFICIAL INTELLIGENCE; FAULT PROPAGATION;

TELECOMMUNICATION NETWORKS;

EID: 16244391819     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2005.01.002     Document Type: Article

References (29)

1. A. Arnold Transition systems and concurrent processes G. Mirkowska H. Rasiowa Mathematical Problems in Computation Theory 1987 Banach Center Warsaw 9 21
2. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella Diagnosis of large active systems Artificial Intelligence 110 1999 135 183
3. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella Diagnosis of a class of distributed discrete-event systems IEEE Trans. Systems Man Cybernet. A 30 6 2000 731 752
4. R.E. Bryant Graph-based algorithms for Boolean function manipulation IEEE Trans. Comput. 35 8 1986 677 691
5. E.M. Clarke, O. Grumberg, and D. Peled Model Checking 1999 MIT Press Cambridge, MA
6. L. Console, C. Picardi, and M. Ribaudo Process algebra for systems diagnosis Artificial Intelligence 142 2002 19 51
7. M.-O. Cordier, and C. Dousson Alarm driven monitoring based on chronicles Proceedings of Safeprocess'2000, Budapest, Hungary 2000 286 291
8. R. Debouk, S. Lafortune, and D. Teneketzis Coordinated decentralized protocols for failure diagnosis of discrete event systems J. Discrete-Event Dynamic Syst. 10 1-2 2000 33 86
9. C. Dousson, P. Gaborit, and M. Ghallab Situation recognition: representation and algorithms Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-93), Chambéry, France 1993 166 172
10. E. Fabre, A. Benveniste, and C. Jard Distributed diagnosis for large discrete event dynamic systems Proceedings of the IFAC World Congress, Barcelona, Spain 2002
11. J. Kurien, and P.P. Nayak Back to the future for consistency-based trajectory tracking Proceedings of AAAI/IAAI 2000 370 377
12. G. Lamperti, and M. Zanella Diagnosis of discrete-event systems from uncertain temporal observations Artificial Intelligence 137 1-2 2002 91 163
13. G. Lamperti, and M. Zanella Continuous diagnosis of discrete-event systems Proceedings of the International Workshop on Principles of Diagnosis (DX'03), Washington, DC 2003 105 111
14. G. Lamperti, and M. Zanella Diagnosis of Active Systems 2003 Kluwer Academic Dordrecht
15. J. Lunze Discrete-event modelling and diagnosis of quantized dynamical systems Proceedings of the International Workshop on Principles of Diagnosis (DX-99), Loch Awe, United Kingdom 1999 147 154
16. A. Mazurkiewicz Basic notions of trace theory J.W. de Bakker W.-P. de Roever G. Rozenberg Proceedings of the School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Lecture Notes in Computer Science vol. 354 1988 Springer New York 364 397
17. D. Niebur Expert systems for power system control in western Europe Proceedings of the IEEE Symposium on Intelligent Control, Philadelphia, USA 1990 112 119
18. D. Peled All from one, one for all: on model checking using representatives C. Courcoubetis Computer-Aided Verification Lecture Notes in Computer Science vol. 697 1993 Springer New York 409 423
19. Y. Pencolé Decentralized diagnoser approach: application to telecommunication networks Proceedings of the International Workshop on Principles of Diagnosis (DX-00), Morelia, Mexico 2000 185 192
20. Y. Pencolé, M.-O. Cordier, and L. Rozé Incremental decentralized diagnosis approach for the supervision of a telecommunication network Proceedings of the International Workshop on Principles of Diagnosis (DX-01), San Sicario, Italy 2001 151 158
21. Y. Pencolé, M.-O. Cordier, and L. Rozé A decentralized model-based diagnostic tool for complex systems Internat. J. Artificial Intelligence Tools 11 3 2002 327 346
22. M. Riese Diagnosis of extended finite automata as a dynamic constraint satisfaction problem Proceedings of the International Workshop on Principles of Diagnosis (DX-93), Aberystwyth, United Kingdom 1993 60 73
23. L. Rozé, and M.-O. Cordier Diagnosing discrete event systems: An experiment in telecommunication networks Proceedings of the Workshop on Discrete Event Systems (WODES-98), Cagliari, Italy 1998 130 137
24. L. Rozé, and M.-O. Cordier Diagnosing discrete-event systems: extending the "diagnoser approach" to deal with telecommunication networks J. Discrete-Event Dynamic Syst. 12 1 2002 43 81 errata 14 (1) (2004) 131
25. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Diagnosability of discrete event system IEEE Trans. Automatic Control 40 9 1995 1555 1575
26. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Active diagnosis of discrete-event systems IEEE Trans. Automatic Control 43 7 1998 908 929
27. R. Sengupta Diagnosis and communication in distributed systems Proceedings of the Workshop on Discrete Event Systems (WODES-98), Cagliari, Italy 1998 144 151
28. B.C. Williams, and P.P. Nayak A model-based approach to reactive self-configuring systems Proceedings of AAAI-96, Portland, OR 1996 971 978
29. B.C. Williams, and P.P. Nayak Immobile robots - AI in the new millenium AI Magazine 17 3 1996 17 34