New results for fault detection of untimed continuous Petri nets

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 6952-6957

  Seatzu, Carla ^a   Cabasino, Maria Paola ^a   Mahulea, Cristian ^b   Silva, Manuel ^a,b  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

CONFLICT FREE; CONTINUOUS PETRI NET; NEW RESULTS; SPECIAL CLASS; STATE MACHINE;

FAULT DETECTION;

EID: 77950807887     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2009.5400035     Document Type: Conference Paper

References (19)

1. R. Boel and J. van Schuppen, "Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers," in Proc. WODES'02: 6th Work. on Discrete Event Systems (Zaragoza, Spain), Oct. 2002, pp. 175-181.
2. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discrete Events Dynamical Systems, vol.20, pp. 33-79, 2000.
3. S. H. Zad, R. Kwong, and W. Wonham, "Fault diagnosis in discrete-event systems: framework and model reduction," IEEE Trans. Automatic Control, vol.48 (7), pp. 1199-1212, 2003.
4. S. Jiang and R. Kumar, "Failure diagnosis of discrete-event systems with linear-time temporal logic specifications," IEEE Trans. Automatic Control, vol.49, no.6, pp. 934-945, Jun. 2004.
5. J. Lunze and J. Schroder, "Sensor and actuator fault diagnosis of systems with discrete inputs and outputs," IEEE Trans. Systems, Man and Cybernetics, Part B, vol.34, no.3, Apr. 2004.
6. M. Sampath and S. Lafortune, "Active diagnosis of discrete-event systems," IEEE Trans. Automatic Control, vol.43, pp. 908-929, 1998.
7. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Automatic Control, vol.40 (9), pp. 1555-1575, 1995.
8. T. Ushio, L. Onishi, and K. Okuda, "Fault detection based on Petri net models with faulty behaviors," in Proc. SMC'98: IEEE Int. Conf. on Systems, Man, and Cybernetics (San Diego, CA, USA), Oct. 1998, pp. 113-118.
9. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard, "Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets," Discrete Events Dynamical Systems, vol.8, pp. 203-231, Jun. 1998.
10. A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosis of asynchronous discrete event systems, a net unfolding approach," IEEE Trans. Automatic Control, vol.48, no.5, pp. 714-727, May 2003.
11. G. Jiroveanu and R. Boel, "A distributed approach for fault detection and diagnosis based on time Petri nets," Mathematics and Computers in Simulation, vol.70, pp. 287-313, 2006.
12. A. Giua and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," in Proc. 44th IEEE Conf. on Decision and Control, Dec. 2005, pp. 6323-6328.
13. M. P. Cabasino, A. Giua, and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica, (preliminary accepted).
14. R. David and H. Alla, Discrete, Continuous and Hybrid Petri Nets. Springer-Verlag, 2005.
15. M. Silva and L. Recalde, "On fluidification of Petri net models: from discrete to hybrid and continuous models," Annual Reviews in Control, vol.28, no.2, pp. 253-266, 2004.
16. L. Recalde, E. Teruel, and M. Silva, "Autonomous continuous P/T systems," in Application and Theory of Petri Nets 1999, ser. Lecture Notes in Computer Science, J. K. S. Donatelli, Ed., vol.1639. Springer, 1999, pp. 107-126.
17. C. Mahulea, C. Seatzu, M. P. Cabasino, L. Recalde, and M. Silva, "Observer Design for Untimed Continuous Petri Nets," in American Control Conference, St. Louis, Missouri, USA, June 2009.
18. C. Seatzu, C. Mahulea, M. P. Cabasino, and M. Silva, "Fault diagnoser design for untimed continuous Petri nets," in 3rd IEEE Multiconference on Systems and Control, Saint Petersburg, Russia, July 2009.
19. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol.77, no.4, pp. 541-580, 1989.