Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques

Artificial Intelligence

Volumn 170, Issue 3, 2006, Pages 232-297

  Lamperti, Gianfranco ^a   Zanella, Marina ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

Author keywords

Communicating automata; Diagnosis; Discrete event systems; Knowledge compilation; Model based reasoning; Reusability; Similarity based reasoning; Subsumption; Uncertainty

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; DATA STRUCTURES; PROBLEM SOLVING;

COMMUNICATING AUTOMATA; DISCRETE-EVENT SYSTEMS (DES); MODEL-BASED REASONING;

KNOWLEDGE BASED SYSTEMS;

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

References (29)

1. C. Cassandras, and S. Lafortune Introduction to Discrete Event Systems The Kluwer International Series in Discrete Event Dynamic Systems vol. 11 1999 Kluwer Academic Publisher Boston, MA
2. G. Lamperti, P. Pogliano, Event-based reasoning for short circuit diagnosis in power transmission networks, in: Proc. Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, 1997, pp. 446-451
3. Y. Pencolé, Decentralized diagnoser approach: application to telecommunication networks, in: Proc. Eleventh International Workshop on Principles of Diagnosis (DX'00), Morelia, MX, 2000, pp. 185-192
4. M. Cordier, C. Largouët, Using model-checking techniques for diagnosing discrete-event systems, in: Proc. Twelfth International Workshop on Principles of Diagnosis (DX'01), San Sicario, Italy, 2001, pp. 39-46
5. Y. Pencolé, M. Cordier, L. Rozé, Incremental decentralized diagnosis approach for the supervision of a telecommunication network, in: Proc. Twelfth International Workshop on Principles of Diagnosis (DX'01), San Sicario, Italy, 2001, pp. 151-158
6. L. Console, C. Picardi, and M. Ribaudo Process algebras for systems diagnosis Artificial Intelligence 142 1 2002 19 51
7. S. Zad, R. Kwong, W. Wonham, Fault diagnosis in timed discrete-event systems, in: Proc. American Control Conference, Pheonix, AZ, 1999, pp. 1756-1761
8. J. Lunze Diagnosis of quantized systems based on a timed discrete-event model IEEE Trans. Systems Man Cybernet. Part A: Systems and Humans 30 3 2000 322 335
9. S. McIlraith, Explanatory diagnosis: conjecturing actions to explain observations, in: Proc. Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, 1998, pp. 167-177
10. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella Diagnosis of large active systems Artificial Intelligence 110 1 1999 135 183
11. C. Barral, S. McIlraith, T. Son, Formulating diagnostic problem solving using an action language with narratives and sensing, in: Proc. Seventh International Conference on Knowledge Representation and Reasoning (KR'2000), Breckenridge, CO, 2000, pp. 311-322
12. L. Console, C. Picardi, M. Ribaudo, Diagnosis and diagnosability using PEPA, in: Proc. Fourteenth European Conference on Artificial Intelligence (ECAI'2000), Berlin, Germany, 2000, pp. 131-135
13. M. Cordier, A. Grastien, C. Largouët, Y. Pencolé, Efficient trajectories computing exploiting inversibility properties, in: Proc. Fourteenth International Workshop on Principles of Diagnosis (DX'03), Washington DC, 2003, pp. 93-98
14. L. Rozé, Supervision of telecommunication network: a diagnoser approach, in: Proc. Eighth International Workshop on Principles of Diagnosis (DX'97), Mont St. Michel, France, 1997, pp. 103-111
15. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Diagnosability of discrete-event systems IEEE Trans. Automat. Control 40 9 1995 1555 1575
16. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Failure diagnosis using discrete-event models IEEE Trans. Control Syst. Technol. 4 2 1996 105 124
17. J. Kurien, P. Nayak, Back to the future for consistency-based trajectory tracking, in: Proc. Eleventh International Workshop on Principles of Diagnosis (DX'00), Morelia, MX, 2000, pp. 92-100
18. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella Diagnosis of a class of distributed discrete-event systems IEEE Trans. Systems Man Cybernet. Part A: Systems and Humans 30 6 2000 731 752
19. G. Lamperti, and M. Zanella Diagnosis of Active Systems - Principles and Techniques The Kluwer International Series in Engineering and Computer Science vol. 741 2003 Kluwer Academic Publisher Dordrecht, NL
20. G. Lamperti, and M. Zanella Diagnosis of discrete-event systems from uncertain temporal observations Artificial Intelligence 137 1-2 2002 91 163
21. A. Aho, R. Sethi, and J. Ullman Compilers - Principles, Techniques, and Tools 1986 Addison-Wesley Reading, MA
22. A. Silberschatz, H. Korth, and S. Sudarshan Database System Concepts 1998 McGraw-Hill New York
23. G. Lamperti, M. Zanella, Principles of distributed diagnosis of discrete-event systems, in: Proc. Twelfth International Workshop on Principles of Diagnosis (DX'01), San Sicario, Italy, 2001, pp. 95-102
24. G. Lamperti, and M. Zanella EDEN: An intelligent software environment for diagnosis of discrete-event systems Appl. Intelligence - The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies 18 2003 55 77
25. P. Laborie, J. Krivine, Automatic generation of chronicles and its application to alarm processing in power distribution systems, in: Proc. Eighth International Workshop on Principles of Diagnosis (DX'97), Mont St. Michel, France, 1997
26. L. Rozé, and M. Cordier Diagnosing discrete-event systems: extending the 'diagnoser approach' to deal with telecommunication networks J. Discrete Event Dynamic Syst. 12 2002 43 81
27. G. Lamperti, M. Zanella, Diagnosis of discrete-event systems integrating synchronous and asynchronous behavior, in: Proc. Tenth International Workshop on Principles of Diagnosis (DX'99), Loch Awe, UK, 1999, pp. 129-139
28. M. Cordier, C. Dousson, Alarm driven monitoring based on chronicles, in: Proc. Fourth IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'2000), Budapest, Hungary, 2000, pp. 286-291
29. A. Osmani, and F. Lévy A constraint-based approach to simulate faults in telecommunication networks Intelligent Problem Solving. Methodologies and Approaches: Proc. 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, LA, June 2000 Lecture Notes in Computer Science vol. 1821/2000 2000 Springer Berlin 463 474