Incremental processing of temporal observations in Model-Based Reasoning

AI Communications

Volumn 20, Issue 1, 2007, Pages 27-37

  Lamperti, Gianfranco ^a   Zanella, Marina ^a   Zanni, Davide ^b  

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

^b S4WIN Srl   (Italy)

Author keywords

Automata; Indexing; Temporal observations

Indexed keywords

COMPUTATIONAL METHODS; DYNAMICAL SYSTEMS; GRAPH THEORY; NUMERICAL METHODS; PROBLEM SOLVING;

HYPOTHESIS; INDEX SPACES; TEMPORAL OBSERVATIONS;

MATHEMATICAL MODELS;

EID: 34248155719     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. A. Aho, R. Sethi and J.D. Ullman, Compilers - Principles, Techniques, and Tools, Addison-Wesley, Reading, MA, 1986.
2. P. Baroni, U. Canzi and G. Guida, Fault diagnosis through history reconstruction: an application to power transmission networks, Expert Systems with Applications 12(1) (1997), 37-52.
3. V. Brusoni, L. Console, P. Terenziani and D. Theseider Dupré, A spectrum of definitions for temporal model-based diagnosis, Artificial Intelligence 102(1) (1998), 39-80.
4. A. Grastien, M.O. Cordier and C. Largouot, Incremental diagnosis of discrete-event systems, in: Sixteenth International Workshop on Principles of Diagnosis-DX'05, Monterey, CA, 2005, pp. 119-124.
5. J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Addison-Wesley, Reading, MA, 1979.
6. D. Köb and F. Wotawa, Introducing alias information into model-based debugging, in: Fifteenth International Workshop on Principles of Diagnosis - DX'04, Carcassonne, F, 2004, pp. 93-98.
7. G. Lamperti and M. Zanella, Uncertain temporal observations in diagnosis, in: Fourteenth European Conference on Artificial Intelligence - ECAI'2000, Berlin, D, 2000. IOS Press, Amsterdam, NL, pp. 151-155.
8. G. Lamperti and M. Zanella, Diagnosis of discrete-event systems from uncertain temporal observations, Artificial Intelligence 137(1-2) (2002), 91-163.
9. G. Lamperti and M. Zanella, Diagnosis of Active Systems Principles and Techniques, volume 741 of The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publisher, Dordrecht, NL, 2003.
10. G. Lamperti and M. Zanella, A bridged diagnostic method for the monitoring of polymorphic discrete-event systems, IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics 34(5) (2004), 2222-2244.
11. G. Lamperti and M. Zanella, Monitoring and diagnosis of discrete-event systems with uncertain symptoms, in: Sixteenth International Workshop on Principles of Diagnosis - DX'05, Monterey, CA, 2005, pp. 145-105.
12. G. Lamperti and M. Zanella, Monitoring-based diagnosis of discrete-event systems with uncertain observations, in: Nineteenth International Workshop on Qualitative Reasoning QR'05, Graz, A, 2005, pp. 97-102.
13. I. Mozetič, Hierarchical model-based diagnosis, International Journal of Man-Machine Studies 35(3) (1991), 329-362.
14. Y. Pencolé and M.O. Cordier, A formal framework for the decentralized diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence 164 (2005), 121-170.
15. L. Rozé, Supervision of telecommunication network: a diagnoser approach, in: Eighth International Workshop on Principles of Diagnosis-DX'97, Mont St. Michel, F, 1997, pp. 103-111.
16. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D.C. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control 40(9) (1995), 15551575.