Dynamic diagnosis of active systems with fragmented observations

ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems

Volumn , Issue , 2004, Pages 249-261

  Lamperti, Gianfranco ^a   Zanella, Marina ^a  

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

Author keywords

Active systems; Communicating automata; Diagnosis; Discrete event systems; Knowledge based systems engineering; Model based reasoning; Monitoring; Uncertainty

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); DIAGNOSIS; MATHEMATICAL MODELS; SYSTEMS ENGINEERING; TELECOMMUNICATION SYSTEMS; UNCERTAIN SYSTEMS;

ACTIVE SYSTEMS; COMMUNICATING AUTOMATA; DISCRETE-EVENT SYSTEMS (DES); DYNAMIC DIAGNOSIS;

KNOWLEDGE BASED SYSTEMS;

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

References (13)

1. Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M. (1999). Diagnosis of large active systems. Artificial Intelligence, 110(1):135-183.
2. Console, L., Picardi, C., and Ribaudo, M. (2002). Process algebras for systems diagnosis. Artificial Intelligence, 142(1):19-51.
3. Cordier, M. and Largouët, C. (2001). Using model-checking techniques for diagnosing discrete-event systems. In Twelfth International Workshop on Principles of Diagnosis - DX'01, pages 39-46, San Sicario, I.
4. Debouk, R., Lafortune, S., and Teneketzis, D. (2000). A diagnostic protocol for discrete-event systems with decentralized information. In Eleventh International Workshop on Principles of Diagnosis - DX'00, pages 41-48, Morelia, MX.
5. Fattah, Y. E. and Provan, G. (1997). Modeling temporal behavior in the model-based diagnosis of discrete-event systems (a preliminary note). In Eighth International Workshop on Principles of Diagnosis - DX'97, Mont St. Michel, F.
6. Lamperti, G. and Pogliano, P. (1997). Event-based reasoning for short circuit diagnosis in power transmission networks. In Fifteenth International Joint Conference on Artificial Intelligence - IJCAI'97, pages 446-451, Nagoya, J.
7. Lamperti, G. and Zanella, M. (2002). Diagnosis of discrete-event systems from uncertain temporal observations. Artificial Intelligence, 137(1-2):91-163.
8. Lamperti, G. and Zanella, M. (2003a). Continuous diagnosis of discrete-event systems. In Fourteenth International Workshop on Principles of Diagnosis - DX'03, pages 105-111, Washington DC.
9. Lamperti, G. and Zanella, M. (2003b). Diagnosis of Active Systems - Principles and Techniques, volume 741 of The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publisher, Dordrecht, NL.
10. Lunze, J. (2000). Diagnosis of quantized systems based on a timed discrete-event model. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 30(3):322-335.
11. Pencolé, Y., Cordier, M., and Rozé, L. (2001). Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In Twelfth International Workshop on Principles of Diagnosis - DX'01, pages 151-158, San Sicario, I.
12. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1995). Diagnos-ability of discrete-event systems. IEEE Transactions on Automatic Control, 40(9):1555-1575.
13. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1996). Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4(2):105-124.