Model-based diagnosis of discrete event systems with an incomplete system model

Frontiers in Artificial Intelligence and Applications

Volumn 178, Issue , 2008, Pages 189-193

  Zhao, Xiangfu ^a   Ouyang, Dantong ^a  

^a JILIN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; SYNCHRONIZATION;

DISCRETE EVENTS SYSTEMS; FAILURE BEHAVIORS; FINITE-STATE AUTOMATA; INCOMPLETE SYSTEM; MODEL-BASED DIAGNOSIS; PAPER MODELS; SYSTEM MODELS;

DISCRETE EVENT SIMULATION;

EID: 85040378641     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-891-5-189     Document Type: Conference Paper

References (33)

1. P. Baroni, G. Lamperti, P. Poglianob and M. Zanella, Diagnosis of large active systems, Artificial Intelligence, 110(1) (1999), 135-183.
2. C. Barral, S. McIlraith, and T. Son, Formulating diagnostic problem solving using an action language with narratives and sensing, in: 7th International Conference on Knowledge Representation and Reasoning - KR’00, Breckenridge, CO, 2000, pp. 311-322.
3. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, vol. 11 of The Kluwer International Series in Discrete Event Dynamic Systems, Kluwer Academic Publisher, Boston, MA, 1999.
4. S. Cerutti, G. Lamperti, M. Scaroni, M. Zanella and D. Zanni, A diagnostic environment for automaton networks, Software - Practice & Experience, 37(4) (2007), 365-415.
5. L. Console, C. Picardi and M. Ribaudo, Diagnosis and diagnosability analysis using PEPA, in: 14th European Conference on Artificial Intelligence - ECAI’00, Berlin, Germany, 2000, pp. 131-135.
6. L. Console, C. Picardi, and D. Theseider Duprè, Temporal decision trees: model-based diagnosis of dynamic systems on-board, Journal of Artificial Intelligence Research, 19 (2003), 469-512.
7. L. Console, D. Theseider Duprè, abd P. Torasso, A theory of diagnosis for incomplete causal models, in: 11th International Joint Conference on Artificial Intelligence - IJCAI’89, Detroit, USA, 1989, pp. 1311-1317.
8. M.-O. Cordier and C. Dousson, Alarm driven monitoring based on chronicles, in: 4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes - SAFEPROCESS’2000, Budapest, Hungary, 2000, pp. 286-291.
9. M.-O. Cordier and A. Grastien, Exploiting independence in a decentralised and incremental approach of diagnosis, in: 20th International Joint Conference on Artificial Intelligence - IJCAI’07, Hyderabad, India, 2007, pp. 292-297.
10. M.-O. Cordier and C. Largouët, Using model-checking techniques for diagnosing discrete-event systems, in: 12th International Workshop on Principles of Diagnosis - DX’01, San Sicario, Italy, 2001, pp. 39-46.
11. M.-O. Cordier and S. Thiébaux, Event-based diagnosis for evolutive systems, in: 5th International Workshop on Principles of Diagnosis - DX’94, New Paltz, USA, 1994, pp. 64-69.
12. P. Dague, Model-Based Diagnosis of Analog Electronic Circuits, Annals of Mathematics and Artificial Intelligence, 11(1-4) (1994), 439-492.
13. J. de Kleer and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence, 32(1) (1987), 97-130.
14. R. Debouk, S. Lafortune and D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete-event systems, Discrete Event Dynamical Systems, 10(1-2) (2000), 33-86.
15. C. Dousson and P. L. Maigat, Chronicle recognition improvement using temporal focusing and hierarchization, in: 20th International Joint Conference on Artificial Intelligence - IJCAI’07, Hyderabad, India, 2007, pp. 324-329.
16. J. Gamper and W. Nejdl, Abstract temporal diagnosis in medical domains, Artificial Intelligence in Medicine, 10(3) (1997), 209-234.
17. G. Lamperti and M. Zanella, Diagnosis of discrete-event systems from uncertain temporal observations, Artificial Intelligence, 137(1-2) (2002), 91-163.
18. G. Lamperti and M. Zanella, Diagnosis of Active Systems: Principles and Techniques, vol. 741 of The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publishers, Dordrecht, NL, 2003.
19. G. Lamperti and M. Zanella, Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques, Artificial Intelligence, 170(3) 2006, 232-297.
20. G. Lamperti, M. Zanella, and D. Zanni, Incremental processing of temporal observations in model-based reasoning, AI Communications, 20(1) (2007), 27-37.
21. J. Lunze, Discrete-event modelling and diagnosis of quantized dynamical systems, in: 10th International Workshop on Principles of Diagnosis - DX’99, Loch Awe, United Kingdom, 1999, pp. 147-154.
22. P. J. Mosterman, Hybrid Dynamic Systems: a Hybrid Bond Graph Modeling Paradigm and Its Application in Diagnosis, Ph.D. dissertation, Vanderbilt University, 1997.
23. D. Niebur, Expert Systems for Power System Control in Western Europe, in: 5th IEEE Symposium on Intelligent Control, Philadelphia, USA, 1990, pp. 1112-1119.
24. 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, 164(1-2) (2005), 171-208.
25. L. Portinale, D. Magro, and P. Torasso, Multimodal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis, Artificial Intelligence, 158(2) (2004), 109-153.
26. R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, 32(1) (1987), 57-96.
27. L. Rozé, Supervision of telecommunication network: a diagnoser approach, in: 8th International Workshop on Principles of Diagnosis - DX’97, Mont-Saint-Michel, France, 1997, pp. 103-111.
28. L. Rozé and M.-O. Cordier, Diagnosing discrete-event systems: extending the “diagnoser approach” to deal with telecommunication networks, Discrete Event Dynamic Systems, 12(1) (2002), 43-81.
29. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete event systems, IEEE Transactions on Automatic Control, 40(9) (1995), 1555-1575.
30. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, 4(2) (1996), 105-124.
31. P. Struss, Fundamentals of model-based diagnosis of dynamic systems, in: 15th International Joint Conference on Artificial Intelligence - IJCAI’97, Nagoya, Japan, 1997, pp. 480-485.
32. D. Thorsley and D. Teneketzis, Failure diagnosis of stochastic automata, in: 14th International Workshop on Principles of Diagnosis - DX’03, Washington, DC, USA, 2003.
33. F. Wotawa, On the relationship between model-based debugging and program slicing, Artificial Intelligence, 135(1-2) (2002), 125-143.