Diagnosis of active systems by automata-based reasoning techniques

Applied Intelligence

Volumn 12, Issue 3, 2000, Pages 217-237

  Lamperti, Gianfranco ^a   Zanella, Marina ^a   Pogliano, Paolo ^b  

^a UNIVERSITY OF BRESCIA   (Italy)

^b Energia SPA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; ELECTRIC FAULT LOCATION; MATHEMATICAL MODELS; OPTIMIZATION; SYSTEMS ANALYSIS; TOPOLOGY;

ACTIVE SYSTEMS; COMMUNICATING AUTOMATA;

ARTIFICIAL INTELLIGENCE;

EID: 0033907755     PISSN: 0924669X     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008319108717     Document Type: Article

References (15)

1. M.O. Cordier and S. Thiébaux, "Event-based diagnosis for evolutive systems," in Fifth International Workshop on Principles of Diagnosis, New Paltz, NY, 1994, pp. 64-69.
2. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and B.C. Teneketzis, "Diagnosability of discrete-event systems," IEEE Transactions on Automatic Control, vol. 40, no. 9, pp. 1555-1575, 1995.
3. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and B.C. Teneketzis, "'Failure diagnosis using discrete-event models," IEEE Transactions on Control Systems Technology, vol. 4, no. 2, pp. 105-124, 1996.
4. L. Rozé, "Supervision of telecommunication network: A diagnoser approach," in Eighth International Workshop on Principles of Diagnosis, Mont St. Michel, F, 1997.
5. P. Laborie and J.P. Krivine, "Automatic generation of chronicles and its application to alarm processing in power distribution systems," in Eighth International Workshop on Principles of Diagnosis, Mont St. Michel, F, 1997.
6. L. Console, L. Portinale, D. Theseider Dupré, and P. Torasso, "Diagnostic reasoning across different time points," in ECAI-92, Vienna, A, 1992, pp. 369-373.
7. S.A. Mcllraith, "Explanatory diagnosis: Conjecturing actions to explain observations," in Eighth International Workshop on Principles of Diagnosis, Mont St. Michel, F, 1997.
8. V. Brusoni, L. Console, P. Terenziani, and D. Theseider Dupré, "A spectrum of definitions for temporal model-based diagnosis," Artificial Intelligence, vol. 102, no. 1, pp. 39-80, 1998.
9. D. Brand and P. Zafiropulo, "On communicating finite-state machines," Journal of ACM, vol. 30, no. 2, pp. 323-342, 1983.
10. N.A. Lynch and M.R. Tuttle, "An introduction to input/output automata," CWI Quarterly, vol. 2, no. 3, pp. 219-246, 1989.
11. S. Lafortune and E. Chen, "A relational algebraic approach to the representation and analysis of discrete-event systems," in American Control Conference, Boston, MA, 1991.
12. G. Lamperti and P. Pogliano, "Event-based reasoning for short circuit diagnosis in power transmission networks," in IJCAI-97, Nagoya, J, 1997, pp. 446-451.
13. P. Baroni, G. Lamperti, P. Pogliano, G.Tornielli, and M. Zanella, "Automata-based reasoning for short circuit diagnosis in power transmission networks," in Twelfth International Conference on Applications of Artificial Intelligence in Engineering, Capri, I, 1997.
14. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, "Diagnosis of active systems," in ECAI-98, Brighton, UK, 1998, pp. 274-278.
15. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, "Diagnosis of large active systems," Artificial Intelligence, vol. 110, no. 1, pp. 135-183, 1999.