Incremental processing of temporal observations in supervision and diagnosis of discrete-event systems

ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings

Volumn AIDSS, Issue , 2006, Pages 47-57

  Lamperti, Gianfranco ^a   Zanella, Marina ^a  

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

Author keywords

Diagnosis; Discrete event systems; Indexing techniques; Supervision; Temporal observations; Uncertainty

Indexed keywords

DIRECTED ACYCLIC GRAPHS; DISCRETE EVENT SYSTEMS; INCREMENTAL PROCESSING; INCREMENTAL TECHNIQUES; INDEX SPACE; INDEXING TECHNIQUES; NEW INDICES; REAL APPLICATIONS; TIME INTERVAL;

INDEXING (OF INFORMATION);

INFORMATION SYSTEMS;

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

References (13)

1. Aho, A., Sethi, R., and Ullman, J. (1986). Compilers - Principles, Techniques, and Tools. Addison-Wesley, Reading, MA.
2. Baroni, P., Canzi, U., and Guida, G. (1997). Fault diagnosis through history reconstruction: an application to power transmission networks. Expert Systems with Applications, 12(1):37-52. (Pubitemid 127666646)
3. Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M. (1999). Diagnosis of large active systems. Artificial Intelligence, 110(1):135-183.
4. Brusoni, V., Console, L., Terenziani, P., and Dupré, D. T. (1998). A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence, 102(1):39-80.
5. Köb, D. and Wotawa, F. (2004). Introducing alias information into model-based debugging. In Fifteenth International Workshop on Principles of Diagnosis - DX'04, pages 93-98, Carcassonne, F.
6. Lamperti, G. and Zanella, M. (2000). Uncertain temporal observations in diagnosis. In Fourteenth European Conference on Artificial Intelligence - ECAI'2000, pages 151-155, Berlin, D.
7. Lamperti, G. and Zanella, M. (2002). Diagnosis of discrete-event systems from uncertain temporal observations. Artificial Intelligence, 137(1-2):91-163. (Pubitemid 34405216)
8. Lamperti, G. and Zanella, M. (2003). Diagnosis of Active Systems - Principles and Techniques, volume 741 of The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publisher, Dordrecht, NL.
9. Lamperti, G. and Zanella, M. (2004a). A bridged diagnostic method for the monitoring of polymorphic discrete-event systems. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics, 34(5):2222-2244.
10. Lamperti, G. and Zanella, M. (2004b). Dynamic diagnosis of active systems with fragmented observations. In Sixth International Conference on Enterprise Information Systems - ICEIS'2004, pages 249-261, Porto, P.
11. Mozetič, I. (1991). Hierarchical model-based diagnosis. International Journal of Man-Machine Studies, 35(3):329-362.
12. Rozé, L. (1997). Supervision of telecommunication network: a diagnoser approach. In Eighth International Workshop on Principles of Diagnosis - DX'97, pages 103-111, Mont St. Michel, F.
13. Wotawa, F. (202). On the relationship between model-based debugging and program slicing. Artificial Intelligence, 135(1-2):125-143.