Diagnosis of a class of distributed discrete-event systems

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 30, Issue 6, 2000, Pages 731-752

  Baroni, Pietro ^a,b   Lamperti, Gianfranco ^a,b   Pogliano, Paolo ^c   Zanella, Marina ^a,b  

^a IEEE   (Italy)

^b UNIVERSITY OF BRESCIA   (Italy)

^c Energia SpA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE SYSTEM; ASYNCHRONOUS DISCRETE EVENT SYSTEM; DISTRIBUTED DISCRETE EVENT SYSTEM; ONLINE PROGRESSIVE RECONSTRUCTION;

ALGORITHMS; COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER AIDED ANALYSIS; ELECTRIC POWER TRANSMISSION NETWORKS; FINITE AUTOMATA; NETWORK PROTOCOLS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0034313362     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.895897     Document Type: Article

References (20)

1. M. O. Cordier and S. Thiébaux, "Event-based diagnosis for evolutive systems," in 5th Int. Workshop Principles of Diagnosis, New Paltz, NY, 1994, pp. 64-69.
2. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Automat. Contr., vol. 40, no. 9, pp. 1555-1575, 1995.
3. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans. Contr. Syst. Technol., vol. 4, no. 2, pp. 105-124, 1996.
4. L. Rozé, "Supervision of telecommunication network: A diagnoser approach," in 8th Int. Workshop Principles of Diagnosis, Mont-Saint-Michel, France, 1997.
5. P. Laborie and J. P. Krivine, "Automatic generation of chronicles and its application to alarm processing in power distribution systems," in 8th Int. Workshop Principles of Diagnosis, Mont-Saint-Michel, France, 1997.
6. L. Console, L. Portinale, D. Theseider Dupré, and P. Torasso, "Diagnostic reasoning across different time points," in ECAI'92, Vienna, Austria, 1992, pp. 369-373.
7. S. A. McIlraith, "Explanatory diagnosis: conjecturing actions to explain observations," in 8th Int. Workshop Principles of Diagnosis, Mont-Saint-Michel, France, 1997.
8. V. Brusoni, L. Console, P. Terenziani, and D. Theseider Dupré, "A spectrum of definitions for temporal model-based diagnosis," Artif. Intell., vol. 102, no. 1, pp. 39-80, 1998.
9. D. Brand and P. Zafiropulo, "On communicating finite-state machines," J. ACM, vol. 30, no. 2, pp. 323-342, 1983.
10. N. A. Lynch and M. R. Turtle, "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 Amer. Control Conf., Boston, MA, 1991.
12. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, "Diagnosis of active systems," in ECAI'98, Brighton, U.K., 1998, pp. 274-278.
13. M. Kezunovic, I. Rikalo, and D. J. Sobajic, "Neural network applications to real-time and off-line fault analysis," in Int. Conf. Intelligent System Application to Power Systems, Montpellier, France, 1994, pp. 29-36.
14. H.-J. Cho, J.-K. Park, and H.-J. Lee, "A fuzzy expert system for fault diagnosis of power systems," in Int. Conf. Intelligent System Application to Power Systems, Montpellier, France, 1994, pp. 217-222.
15. J. P. Wang and J. Trecat, "A parallel fault diagnosis expert system for one dispatch center," in Int. Conf. Intelligent System Application to Power Systems, Montpellier, France, 1994, pp. 201-208.
16. G. Tornielli, L. Capetta, S. Cermignani, A. S. Fabiano, and R. Schinco, "An interval-based approach to fault diagnosis of power systems," in Int. Conf. Intelligent System Application to Power Systems, Montpellier, France, 1994, pp. 809-816.
17. P. Baroni, U. Canzi, and G. Guida, "Short: A knowledge-based system for fault diagnosis in power transmission networks," in 8th Int. Symp. Artif. Intell., Monterrey, Mexico, 1995, pp. 199-208.
18. A. Beschta, O. Dressler, H. Freitag, M. Montag, and P. Struss, "A model-based approach to fault localization in power transmission networks," Intell. Syst. Eng., pp. 3-14, 1993.
19. G. Lamperti and P. Pogliano, "Event-based reasoning for short circuit diagnosis in power transmission networks," in IJCAI'97, Nagoya, Japan, 1997.
20. A. J. Gonzalez, R. A. Morris, F. D. McKenzie, D. J. Carreira, and B. K. Gann, "Model-based, real-time control of electrical power systems," IEEE Trans. Syst., Man, Cybern. A, vol. 26, no. 4, pp. 470-482, 1996.