A diagnostic environment for automaton networks

Software - Practice and Experience

Volumn 37, Issue 4, 2007, Pages 365-415

  Cerutti, S ^a   Lamperti, G ^b,e   Scaroni, M ^c   Zanella, M ^b   Zanni, D ^d  

^a IMI Srl   (Italy)

^b UNIVERSITY OF BRESCIA   (Italy)

^c Onion SpA   (Italy)

^d S4WIN Srl   (Italy)

^e Dipartimento di Elettronica per l'Automazione   (Italy)

Author keywords

Communicating automata; Diagnosis; Knowledge compilation; Model based reasoning; Reuse

Indexed keywords

AUTOMATION; COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS; PROBLEM SOLVING;

COMMUNICATING AUTOMATA; KNOWLEDGE COMPILATION; MODEL-BASED REASONING; ON-LINE KNOWLEDGE;

COMPUTER AIDED DIAGNOSIS;

EID: 33947720913     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.773     Document Type: Article

References (31)

1. Struss P. Fundamentals of model-based diagnosis of dynamic systems. Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, 1977. Morgan Kaufmann: San Francisco, CA, 1997; 480-485.
2. Brusoni V, Console L, Terenziani P, Theseider Dupré D. A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence 1998; 102(1):39-80.
3. Lamperti G, Pogliano P, Event-based reasoning for short circuit diagnosis in power transmission networks. Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan. 1977. Morgan Kaufmann: San Francisco, CA, 1997; 446-451.
4. Pencolé Y. Decentralized diagnoser approach: Application to telecommunication networks. Proceedings of the 11th International Workshop on Principles of Diagnosis (DX'00), Morelia, Mexico, 2000; 185-192.
5. Rozé L, Cordier MO. Diagnosing discrete-event systems: Extending the 'diagnoser approach' to deal with telecommunication networks. Journal of Discrete Event Dynamic Systems: Theory and Application 2002; 12:43-81.
6. Console L, Picardi C, Ribaudo M. Process algebras for systems diagnosis. Artificial Intelligence 2002; 142(1):19-51.
7. Lamperti G, Zanella M. A bridged diagnostic method for the monitoring of polymorphic discrete-event systems. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics 2004; 34(5):2222-2244.
8. Pencolé Y, Cordier MO. A formal framework for the decentralized diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence 2005; 164:121-170.
9. Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis DC. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 1995; 40(9):1555-1575.
10. Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis DC. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 1996; 4(2):105-124.
11. Sampath M, Lafortune S, Teneketzis DC. Active diagnosis of discrete-event systems. IEEE Transactions on Automatic Control 1998; 43(7):908-929.
12. Zad SH, Kwong RH, Wonham WM. Fault diagnosis in timed discrete-event systems. Proceedings of the 38th IEEE Conference on Decision and Control (CDC'99), Phoenix, AZ, 1999. IEEE: Piscataway, NJ, 1999; 1756-1761.
13. Cassandras CG, Lafortune S. Introduction to Discrete Event Systems (The Kluwer International Series in Discrete Event Dynamic Systems, vol. 11). Kluwer Academic: Boston, MA, 1999.
14. Lunze J. Diagnosis of quantized systems based on a timed discrete-event model. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 2000; 30(3):322-335.
15. Debouk R, Lafortune S, Teneketzis D. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Journal of Discrete Event Dynamic Systems: Theory and Application 2000; 10:33-86.
16. Schullerus G, Krebs V. Diagnosis of a class of discrete-event systems based on parameter estimation of a modular algebraic model. Proceedings of the 12th International Workshop on Principles of Diagnosis (DX'01), San Sicario, Italy, 2001; 189-196.
17. McIlraith SA. Explanatory diagnosis: Conjecturing actions to explain observations. Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, 1988. Morgan Kaufmann: San Francisco, CA, 1998; 167-177.
18. Baroni P, Lamperti G, Pogliano P. Zanella M. Diagnosis of large active systems. Artificial Intelligence 1999; 110(1):135-183.
19. Barral C, McIlraith S, Son TC. Formulating diagnostic problem solving using an action language with narratives and sensing. Proceedings of the 7th International Conference on Knowledge Representation and Reasoning (KR'2000), Breckenridge, CO, 2000. Morgan Kaufmann: San Francisco, CA, 2000; 311-322.
20. Console L, Picardi C, Ribaudo M. Diagnosis and diagnosability using PEPA. Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'2000), Berlin, 2000. IOS Press: Amsterdam, NL, 2000; 131-135.
21. Grastien A, Cordier MO, Largouët C. Incremental diagnosis of discrete-event systems. Proceedings of the 16th International Workshop on Principles of Diagnosis (DX'05), Monterey, CA, 2005; 119-124.
22. Rozé L. Supervision of telecommunication network: A diagnoser approach. Proceedings of the 8th International Workshop on Principles of Diagnosis (DX'97), Mont St. Michel, France, 1997; 103-111.
23. Kurien J, Nayak PP. Back to the future for consistency-based trajectory tracking. Proceedings of the 11th International Workshop on Principles of Diagnosis (DX'00), Morelia, Mexico, 2000; 92-100.
24. Bochmann GV. Finite state description of communication protocols. Computer Networks 1978; 2:361-372.
25. Brand D, Zafiropulo P. On communicating finite-state machines. Journal of ACM 1983; 30(2):323-342.
26. Lamperti G, Zanella M. Diagnosis of Active Systems-Principles and Techniques (The Kluwer International Series in Engineering and Computer Science, vol. 741). Kluwer Academic: Dordrecht, 2003.
27. Lamperti G, Zanella M. Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. Artificial Intelligence 2006; 170(3):232-297.
28. Lamperti G, Zanella M. Diagnosis of discrete-event systems from uncertain temporal observations. Artificial Intelligence 2002; 137(1-2):91-163.
29. Aho A, Sethi R, Ullman JD. Compilers-Principles, Techniques, and Tools. Addison-Wesley: Reading, MA, 1986.
30. Lamperti G, Zanella M. On processing temporal observations in model-based reasoning. Proceedings of the 2nd MONET Workshop on Model-Based Systems (MONET'05), Edinburgh, U.K., 2005; 42-47.
31. Lamperti G, Zanella M. Monitoring-based diagnosis of discrete-event systems with uncertain observations. Proceedings of the 19th International Workshop on Qualitative Reasoning (QR'05), Graz, Austria, 2005; 97-102.