Diagnosis of large active systems

Artificial Intelligence

Volumn 110, Issue 1, 1999, Pages 135-183

  Baroni, P ^a   Lamperti, G ^a   Pogliano, P ^b   Zanella, M ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

^b ENEL   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SET THEORY;

ASYNCHRONOUS DISCRETE EVENT SYSTEMS; BEHAVIOR RECONSTRUCTION; MODEL BASED DIAGNOSIS;

ARTIFICIAL INTELLIGENCE;

EID: 0033131933     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00019-3     Document Type: Article

References (41)

1. [1] J. Allen, Maintaining temporal knowledge about temporal intervals, Comm. ACM 26 (11) (1983) 832-843.
2. [2] P. Baroni, U. Canzi, G. Guida, Fault diagnosis through history reconstruction: An application to power transmission networks, Expert Systems with Applications 12 (1) (1997) 37-52.
3. [3] P. Baroni, G. Lamperti, P. Pogliano, G. Tornielli, M. Zanella, Automata-based reasoning for short circuit diagnosis in power transmission networks, in: Proc. 12th International Conference on Applications of Artificial Intelligence in Engineering, Capri, Italy, 1997.
4. [4] A. Beschta, O. Dressler, H. Freitag, M. Montag, P. Struss, A model-based approach to fault localisation in power transmission networks, Intelligent Systems Engineering (1993) 3-14.
5. [5] D. Brand, P. Zafiropulo, On communicating finite-state machines, J. ACM 30 (2) (1983) 323-342.
6. [6] V. Brasoni, L. Console, P. Terenziani, D. Theseider Dupré, A spectrum of definitions for temporal model-based diagnosis, Artificial Intelligence 102 (1) (1998) 39-80.
7. [7] Y.L. Chen, G. Provan, Modeling and diagnosis of timed discrete event systems - A factory automation example, in: American Control Conference, Albuquerque, NM, 1997, pp. 31-36.
8. [8] H.-J. Cho, J.-K. Park, H.-J. Lee, A fuzzy expert system for fault diagnosis of power systems, in: Proc. International Conference on Intelligent System Application to Power Systems, Montpellier, France, 1994, pp. 217-222.
9. [9] L. Console, L. Portinale, D. Theseider Dupré, P. Torasso, Diagnostic reasoning across different time points, in: Proc. ECAI-92, Vienna, Austria, 1992, pp. 369-373.
10. [10] M.O. Cordier, S. Thiébaux, Event-based diagnosis for evolutive systems, in: Proc. 5th International Workshop on Principles of Diagnosis, New Paltz, NY, 1994, pp. 64-69.
11. [11] M.O. Cordier, S. Thiébaux, O. Jehl, J.P. Krivine, Supply restoration in power distribution systems: A reference problem in diagnosis and reconfiguration, in: Proc. 8th International Workshop on Principles of Diagnosis, Mont St. Michel, France, 1997.
12. [12] J. de Kleer, B.C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1) (1987) 97-130.
13. [13] O. Dressier, H. Freitag, Prediction sharing across time and contexts, in: Proc. AAAI-94, Seattle, WA, 1994, pp. 1136-1141.
14. [14] D.L. Dvorak, Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation, Ph.D. Thesis, University of Texas at Austin, TX, 1992.
15. [15] D.L. Dvorak, B. Kuipers, Model-based monitoring of dynamic systems, in: Proc. IJCAI-89, Detroit, MI, 1989, pp. 1238-1243.
16. [16] Y. El Fattah, G. Provan, Modeling temporal behavior in the model-based diagnosis of discrete-event systems (a preliminary note), in: Proc. 8th International Workshop on Principles of Diagnosis, Mont St. Michel, France, 1997.
17. [17] G. Friedrich, F. Lackinger, Diagnosing temporal misbehavior, in: Proc. IJCAI-91, Sydney, Australia, 1991, pp. 1116-1122.
18. [18] T. Guckenbiehl, G. Schäfer-Richter, Sidia: Extending prediction based diagnosis to dynamic models, in: Proc. First International Workshop on Principles of Diagnosis, Stanford, CA, 1990, pp. 74-82.
19. [19] W. Hamscher, Modeling digital circuits for troubleshooting, Artificial Intelligence 51 (1-3) (1991) 223-271.
20. [20] W. Hamscher, R. Davis, Diagnosing circuits with state: an inherently underconstrained problem, in: Proc. AAAI-84, Austin, TX, 1984, pp. 142-147.
21. [21] M. Kezunovic, I. Rikalo, D.J. Sobajic, Neural network applications to real-time and off-line fault analysis, in: Proc. International Conference on Intelligent System Application to Power Systems, Montpellier, France, 1994, pp. 29-36.
22. [22] P. Laborie, J.P. Krivine, Automatic generation of chronicles and its application to alarm processing in power distribution systems, in: Proc. 8th International Workshop on Principles of Diagnosis, Mont St. Michel, France, 1997.
23. [23] F. Lackinger, W. Nejdl, Integrating model-based monitoring and diagnosis of complex dynamic systems, in: Proc. IJCAI-91, Sydney, Australia, 1991, pp. 2893-2898.
24. [24] S. Lafortune, E. Chen, A relational algebraic approach to the representation and analysis of discrete-event systems, in: Proc. American Control Conference, Boston, MA, 1991.
25. [25] G. Lamperti, P. Pogliano, Event-based reasoning for short circuit diagnosis in power transmission networks, in: Proc. IJCAI-97, Nagoya, Japan, 1997, pp. 446-451.
26. [26] N.A. Lynch, M.R. Tuttle, An introduction to input/output automata, CWI Quarterly 2 (3) (1989) 219-246.
27. [27] S.A. McIlraith, Explanatory diagnosis: conjecturing actions to explain observations, in: Proc. 8th International Workshop on Principles of Diagnosis, Mont St. Michel, France, 1997.
28. [28] W. Nejdl, J. Gamper, Harnessing the power of temporal abstractions in modelbased diagnosis of dynamic systems, in: Proc. ECAI-94, Amsterdam, 1994, pp. 667-671.
29. [29] H.T. Ng, Model-based, multiple-fault diagnosis of dynamic, continuous physical devices, IEEE Expert 6 (6) (1991) 38-43.
30. [30] J. Y.-C. Pan, Qualitative reasoning with deep-level mechanism models for diagnosis of mechanism failures, in: Proc. First IEEE Conference on AI Applications, Denver, CO, 1984, pp. 295-301.
31. [31] D. Poole, Normality and faults in logic-based diagnosis, in: Proc. IJCAI-89, Detroit, MI, 1989, pp. 1129-1135.
32. [32] R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1) (1987) 57-95.
33. [33] M. Riese, Diagnosis of communicating systems: dealing with incompleteness and uncertainty, in: Proc. IJCAI-93, Chambéry, France, 1993, pp. 1480-1485.
34. [34] L. Rozé, Supervision of telecommunication network: a diagnoser approach, in: Proc. 8th International Workshop on Principles of Diagnosis, Mont St. Michel, France, 1997.
35. [35] M. Sampath, S. Lafortune, D.C. Teneketzis, Active diagnosis of discrete-event systems, IEEE Trans. Autom. Control 43 (7) (1998) 908-929.
36. [36] M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D.C. Teneketzis, Diagnosability of discrete-event systems, IEEE Trans. Autom. Control 40 (9) (1995) 1555-1575.
37. [37] M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D.C. Teneketzis, Failure diagnosis using discrete-event models, IEEE Trans. Control Systems Technology 4 (2) (1996) 105-124.
38. [38] P. Struss, Fundamentals of model-based diagnosis of dynamic systems, in: Proc. IJCAI-97, Nagoya, Japan, 1997, pp. 480-485.
39. [39] G. Tornielli, L. Capetta, S. Cermignani, A.S. Fabiano, R. Schinco, An interval-based approach to fault diagnosis of power systems, in: Proc. International Conference on Intelligent System Application to Power Systems, Montpellier, France, 1994, pp. 809-816.
40. [40] J.P. Wang, J. Trecat, A parallel fault diagnosis expert system for one dispatch center, in: Proc. International Conference on Intelligent System Application to Power Systems, Montpellier, France, 1994, pp. 201-208.
41. [41] B.C. Williams, P.P. Nayak, A model-based approach to reactive self-configuring systems, in: Proc. 7th International Workshop on Principles of Diagnosis, Montreal, Quebec, 1996.