An efficient approach for online diagnosis of discrete event systems

IEEE Transactions on Automatic Control

Volumn 54, Issue 4, 2009, Pages 748-759

  Basile, Francesco ^a   Chiacchio, Pasquale ^a   De Tommasi, Gianmaria ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Discrete event systems (DES); Fault diagnosis; Petri nets (PNs)

Indexed keywords

DISCRETE EVENT SYSTEMS (DES); FAULT DIAGNOSIS; FAULT DIAGNOSIS PROBLEMS; FAULT EVENTS; GRAPHICAL REPRESENTATIONS; MATHEMATICAL REPRESENTATIONS; MEMORY REQUIREMENTS; OFF-LINE COMPUTATIONS; ON-LINE COMPUTATIONS; ON-LINE DIAGNOSIS; STANDARD TOOLS;

GRAPH THEORY; GRAPHIC METHODS; MATHEMATICAL PROGRAMMING; PETRI NETS; PROGRAM DIAGNOSTICS;

ONLINE SYSTEMS;

EID: 67349219356     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2009.2014932     Document Type: Article

References (21)

1. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. Automat. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
2. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," IEEE Trans. Automat. Control, vol. 48, no. 7, pp. 1199-1212, Jul. 2003.
3. M. Sampath, R. Sengupta, S. Lafortune, and K. Sinnamohideen, "Failure diagnosis using discrete event models," IEEE Trans. Control Syst. Technol., vol. 4, no. 2, pp. 105-124, Mar. 1996.
4. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete event systems," IEEE Trans. Automat. Control, vol. 43, no. 7, pp. 908-929, Jul. 1998.
5. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discrete Event Dyn. Syst.: Theory Appl., vol. 10, no. 1, pp. 33-86, Jan. 2000.
6. J. Lunze and J. Schröder, "State observation and diagnosis of discrete-event systems described by stochastic automata," Discrete Event Dyn. Syst., vol. 11, no. 4, pp. 319-369, Oct. 2001.
7. 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, no. 6, pp. 731-752, Nov. 2000.
8. Y. Wu and C. N. Hadjicostis, "Algebraic approaches for fault identification in discrete-event systems," IEEE Trans. Automat. Control, vol. 50, no. 12, pp. 2048-2053, Dec. 2005.
9. S. Genc and S. Lafortune, "Distributed diagnosis of discrete-event systems using Petri nets," in Proc. Int. Conf. Appl. Theory Petri Nets, Eindhoven, The Netherlands, Jun. 2003, vol. 2679, pp. 316-336.
10. S. Genc and S. Lafortune, "Distributed diagnosis of place-bordered Petri nets," IEEE Trans. Automat. Sci. Eng., vol. 4, no. 2, pp. 206-219, Apr. 2007.
11. A. Giua and C. Seatzu, "Fault detection for discrete event systems using Petri net with unobservable transitions," in Proc. 44th IEEE Conf. Decision Control, Seville, Spain, Dec. 2005, pp. 6323-6328.
12. R. K. Boel and G. Jiroveanu, "Contextual distributed diagnosis for very large systems," in Proc. 16th Int. Symp. Math. Theory Networks Syst. Leuven, Belgium, Jul. 2004, [CD ROM].
13. A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosis of asynchronous discrete-event systems: A net unfolding approach," IEEE Trans. Automat. Control, vol. 48, no. 5, pp. 714-727, May 2003.
14. A. Trevino, E. Ruiz-Beltran, I. Rivera-Rangel, and E. Lopez-Mellado, "Online fault diagnosis of discrete event systems. A Petri net-based approach," IEEE Trans. Automat. Science Eng., vol. 4, no. 1, pp. 31-39, Jan. 2007.
15. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
16. P. Ramadge and W. Wonham, "The control of vector discrete-event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
17. Y. Li and W. M. Wonham, "Control of vector discrete-event systems II - Controller synthesis," IEEE Trans. Automat. Control, vol. 39, no. 3, pp. 512-531, Mar. 1994.
18. A. Schrijver, Theory of Linear and Integer Programming. New York: Wiley, 1986.
19. F. Basile, P. Chiacchio, and C. Carbone, "Feedback control logic for backward conflict free choice nets," IEEE Trans. Automat. Control vol. 52, no. 3, pp. 387-400, Mar. 2007.
20. D. Corona, A. Giua, and C. Seatzu, "Marking estimation of Petri nets with silent transitions," in Proc. 43rd IEEE Conf. Decision Control Atlantis, Bahamas, Dec. 2004, vol. 1, pp. 966-971.
21. L. Holloway and B. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Automat. Control, vol. 35, no. 5, pp. 514-523, May 1990.