An efficient approach for on-line diagnosis of discrete event systems

2007 Mediterranean Conference on Control and Automation, MED

Volumn , Issue , 2007, Pages

  Basile, F ^a   Chiacchio, P ^a   De Tommasi, G ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Discrete event systems; Fault diagnosis; Petri nets

Indexed keywords

CONTROL AND AUTOMATION; DISCRETE EVENT SYSTEMS; DISCRETE EVENTS SYSTEMS; EXTENDED PETRI NETS; FAULT DIAGNOSIS; FAULT EVENTS; MEMORY USAGE; NEW APPROACHES; ON-LINE DIAGNOSIS; STATE SPACES; UNOBSERVABLE;

ELECTRIC FAULT CURRENTS; ESTIMATION; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; STATE SPACE METHODS;

INDUSTRIAL ENGINEERING;

EID: 84896060030     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MED.2007.4433769     Document Type: Conference Paper

References (17)

1. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. on Automatic Control, vol. 40, no. 9, pp. 1555-1575, September 1995.
2. A. Giua, C. Seatzu, and F. Basile, "Observed-based state-feedback control of timed petri nets with deadlock recovery," IEEE Trans. on Automatic Control, vol. 49, no. 1, pp. 17-29, January 2004.
3. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete event systems," IEEE Trans. on Automatic Control, vol. 43, no. 7, pp. 908-929, July 1998.
4. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction," IEEE Trans. on Automatic Control, vol. 48, no. 7, pp. 1199-1212, July 2003.
5. Y. Wu and C. N. Hadjicostis, "Algebraic approaches for fault identification in discrete-event systems," IEEE Trans. Automatic Control, vol. 50, no. 12, pp. 2048-2053, December 2005.
6. S. Genc and S. Lafortune, "Distributed diagnosis of discrete-event systems using Petri nets," in Proc. of the Int. Conf. of Application and Theory of Petri Nets, Eindhoven, The Netherlands, June 2003.
7. A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosys of asynchronous discrete-event systems: A net unfolding approach," IEEE Trans. on Automatic Control, vol. 48, no. 5, pp. 714-727, May 2003.
8. R. K. Boel and G. Jiroveanu, "Contextual distributed diagnosis for very large systems," 16th Int. Symp. on Mathematical Theory of Networks and Systems, Leuven, Belgium, July 2004.
9. T. Ushio, L. Onishi, and K. Okuda, "Fault detection based on petri net with faulty behaviors," IEEE Conf. on system, man and Cybernetics, vol. 1, pp. 113-118, October 1998.
10. th IEEE Conference on Decision and Control, Seville, Spain, December 2005, pp. 6323-6328.
11. S. Genc and S. Lafortune, "Distributed diagnosis of place-bordered Petri nets," IEEE Trans. Automation Science and Engineering, vol. 4, no. 2, pp. 206-219, April 2007.
12. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of IEEE, vol. 77, no. 4, pp. 541-580, April 1989.
13. rd IEEE Conf. on Decision and Control, Atlantis, Bahamas, vol. 1, pp. 966-971, December 2004.
14. Y. Li and W. M. Wonham, "Control of vector discrete-event systems II - controller synthesis," IEEE Trans. on Automatic Control, vol. 39, no. 3, pp. 512-531, March 1994.
15. A. Schrijver, Theory of Linear and Integer Programming. John Wiley & Sons, 1986.
16. F. Basile, P. Chiacchio, and C. Carbone, "Feedback control logic for backward conflict free choice nets," IEEE Trans. on Automatic Control, vol. 52, no. 3, pp. 387-400, March 2007.
17. S. Genc and S. Lafortune, "Predictability in discrete-event systems under partial observation," in Proc. of the IFAC Symp. on Fault Detection, Supervision and Safety of Technical Processes, Beijing, China, August 2006.