A bridged diagnostic method for the monitoring of polymorphic discrete-event systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 34, Issue 5, 2004, Pages 2222-2244

  Lamperti, Gianfranco ^a   Zanella, Marina ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; CONDITION MONITORING; CONTROL THEORY; FAILURE ANALYSIS; MATHEMATICAL MODELS;

DISCRETE EVENT SYSTEMS (DESS); FAULT DETECTION-AND-ISOLATION; MODEL BASED DIAGNOSIS; SYSTEMS MONITORING;

DISCRETE TIME CONTROL SYSTEMS;

ALGORITHM; ARTICLE; ARTIFICIAL INTELLIGENCE; BIOLOGICAL MODEL; COMPUTER ASSISTED DIAGNOSIS; COMPUTER SIMULATION; DECISION SUPPORT SYSTEM; EQUIPMENT; EVALUATION; INTERDISCIPLINARY COMMUNICATION; METHODOLOGY; RESEARCH; SIGNAL PROCESSING; SYSTEM ANALYSIS;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; DECISION SUPPORT TECHNIQUES; DIAGNOSIS, COMPUTER-ASSISTED; EQUIPMENT FAILURE ANALYSIS; INTERDISCIPLINARY COMMUNICATION; MODELS, BIOLOGICAL; RESEARCH; SIGNAL PROCESSING, COMPUTER-ASSISTED; SYSTEMS INTEGRATION;

EID: 4844225162     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2004.835008     Document Type: Article

References (28)

1. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999, vol. 11.
2. J. Lunze, "Diagnosis of quantized systems based on a timed discrete-event model," IEEE Trans. Syst., Man, Cybern. A, vol. 30, pp. 322-335, Nov. 2000.
3. V. Srinivasan and M. Jafari, "Fault detection/monitoring using timed petri nets," IEEE Trans. Syst., Man, Cybern, vol. 23, pp. 1155-1162, July/Aug. 1993.
4. F. Lin, "Diagnosability of discrete-event systems and its applications," Discrete Event Dynam. Syst., vol. 4, pp. 197-212, 1994.
5. M. Cordier and S. Thiébaux, "Event-based diagnosis for evolutive systems," in Proc. 5th Int. Workshop Principles of Diagnosis - DX, New Paltz, NY, 1994, pp. 64-69.
6. D. Förstner and J. Lunze, "Qualitative modeling of a power stage for diagnosis," in Proc. 13th Int. Workshop Qualitative Reasoning - QR, Lock Awe, U.K., 1999, pp. 105-112.
7. G. Lamperti and P. Pogliano, "Event-based reasoning for short circuit diagnosis in power transmission networks," in Proc. 15th Int. Joint Conf. Artificial Intelligence - IJCAI, Nagoya, Japan, 1997, pp. 446-451.
8. L. Console, C. Picardi, and M. Ribaudo, "Diagnosis and diagnosability analysis using process algebras," in Proc. 11th Int. Workshop Principles of Diagnosis - DX, Morelia, Mexico, 2000, pp. 25-32.
9. L. Console, "Diagnosis and diagnosability using PEPA," in Proc. 14th Eur. Con. Artificial Intelligence - ECAI, Berlin, Germany, 2000, pp. 131-135.
10. D. Förstner and J. Lunze, "Qualitative model-based fault detection of a fuel injection system," in Proc. 4th IFAC Symp. Fault Detection, Supervision Safety Technical Processes - SAFEPROCESS, Budapest, Hungary, 2000, pp. 88-93.
11. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Automat. Contr., vol. 40, pp. 1555-1575, Sept. 1995.
12. M. Sampath, "Failure diagnosis using discrete-event models," IEEE Trans. Contr. Syst. Technol., vol. 4, pp. 105-124, Mar. 1996.
13. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete-event systems," IEEE Trans. Automat. Contr., vol. 43, pp. 908-929, July 1998.
14. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," J. Discrete Event Dynamical Systems: Theory Application, vol. 10, pp. 33-86, 2000.
15. R. Debouk, S. Lafortune, and D. Teneketzis, "A diagnostic protocol for discrete-event systems with decentralized information," in Proc. 11th Int. Workshop Principles Diagnosis - DX, Morelia, Mexico, 2000, pp. 41-48.
16. L. Rozé, "Supervision of telecommunication network: A diagnoser approach," in Proc. 8th Int. Workshop Principles Diagnosis - DX, Mont St. Michel, France, 1997, pp. 103-111.
17. Y. Pencolé, "Decentralized diagnoser approach: Application to telecommunication networks," in Proc. 11th Int. Workshop Principles Diagnosis - DX, Morelia, Mexico, 2000, pp. 185-192.
18. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, "Diagnosis of large active systems," Artif. Intell., vol. 110, no. 1, pp. 135-183, 1999.
19. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, "Diagnosis of a class of distributed discrete-event systems," IEEE Trans. Syst. Man, Cybern. A, vol. 30, pp. 731-752, Nov. 2000.
20. L. Holloway and S. Chand, "Time templates for discrete event fault monitoring in manufacturing systems," in Proc. American Control Conf., Baltimore, MD, 1994, pp. 701-706.
21. Y. Chen and G. Provan, "Modeling and diagnosis of timed discrete event systems - A factory automation example," in Proc. American Control Conf., Albuquerque, NM, 1997, pp. 31-36.
22. S. Zad, R. Kwong, and W. Wonham, "Fault diagnosis in timed discrete-event systems," in Proc. American Control Conf., Pheonix, AZ, 1999, pp. 1756-1761.
23. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, "Diagnosis of active systems," in Proc. 13th Eur. Conf. Artificial Intelligence - ECAI, Brighton, UK, 1998, pp. 274-278.
24. S. McIlraith, "Explanatory diagnosis: Conjecturing actions to explain observations," in Proc. 6th Int. Conf. Principles Knowledge Representation Reasoning - KR, Trento, Italy, 1998, pp. 167-177.
25. G. Lamperti and M. Zanella, "Principles of distributed diagnosis of discrete-event systems," in Proc. 12th Int. Workshop Principles Diagnosis - DX, San Sicario, Italy, 2001, pp. 95-102.
26. G. Lamperti and M. Zanella, "Diagnosis of discrete-event systems from uncertain temporal observations," Artif. Intell., vol. 137, no. 1-2, pp. 91-163, 2002.
27. R. Garatti, G. Lamperti, and M. Zanella, "Far-sighted diagnosis of active systems," in Proc. 13th Int. Workshop Principles Diagnosis - DX, 2002, pp. 137-145.
28. Y. Pencolé, M. Cordier, and L. Rozé, "Incremental decentralized diagnosis approach for the supervision of a telecommunication network," in Proc. 12th Int. Workshop Principles Diagnosis - DX, San Sicario, Italy, 2001, pp. 151-158.