Immediate diagnosis of faulty behaviours with petri net models

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 61-66

  Lefebvre, Dimitri ^a  

^a UNIVERSITY OF LE HAVRE   (France)

Author keywords

Estimation; Faults detection and isolation; Petri nets; State observers

Indexed keywords

DISCRETE EVENT SIMULATION; ESTIMATION; PETRI NETS;

FAILURE TRANSITION; FAULT DETECTION AND ISOLATION; FAULTS DETECTION; PETRI NET MODELS; STATE OBSERVER;

FAULT DETECTION;

EID: 79960727529     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.00295     Document Type: Conference Paper

References (18)

1. Alcaraz-Mejia M., Lopez-Mellado E., Ramirez- Trevino A., Rivera-Rangel I., (2003), Petri net based fault diagnosis of DES, Proc IEEE Conf. SMC03, pp. 4730-4735, Washington, USA.
2. Askin R.G., Standridge C. R., (1993), Modelling and analysis of Petri nets, John Wiley and sons Inc.
3. Brams G.W., (1983), Réseaux de Petri, Masson, Paris.
4. Cassandras C.G., (1993), Discrete event systems: modeling and performances analysis, Irwin, Boston, MA.
5. Chung S.L, Wu C.C., Jeng M., (2003), Failure diagnosis: a case study on modeling and analysis by Petri nets, Proc IEEE Conf. SMC03, pp. 2727- 2732, Washington, USA.
6. David R., Alla H., (1992), Petri nets and grafcet - tools for modelling discrete events systems, Prentice Hall, London.
7. Debouk R., Lafortune S., Teneketzis D., (1999), On An Optimization Problem In Sensor Selection, Proc. IEEE Conf. CDC99, Phoenix, AZ.
8. Diaz M., (éditor), (2001), Les réseaux de Petri, Hermes, Paris.
9. Giua A., Seatzy C., (2002), Observability of place/transition nets, IEEE - TAC, vol. 47, no. 9, pp. 1424 - 1437.
10. Lefebvre D., El Moudni A., (2001), Firing and enabling sequences estimation for timed Petri nets, IEEE-SMC, part A, vol. 31, no.3, pp 153-62.
11. Lefebvre D, Delherm C., (2003), Structural sensitivity for the conflicts analysis in Petri nets, Proc IEEE SMC03, pp. 1051 - 1058, Washington, USA.
12. Lefebvre D, Delherm C., (2005), Causality relationships and directed paths in Petri net models for the diagnosis of DES, Proc. IFAC 05.
13. Murata T., (1989), Petri nets: properties, analysis and applications, Proc. IEEE, vol.77, no. 4, pp 541- 580.
14. Ramadge P.J., Wonham W.M., (1989), The control of discrete event systems, Proc. IEEE, vol. 77, no.1, pp. 81 - 91.
15. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., Teneketzis D., (1995), Diagnosibility of discrete event systems, IEEETAC, vol. 40, no.9, pp. 1555- 1575.
16. Ushio T., Onishi I., Okuda K., (1998), Fault detection based on Petri net models with faulty behaviours, Proc. IEEE Conf. SMC98, pp 113-118, San Diego, CA.
17. Vidal-Naquet G., Choquet-Geniet A., (1992) Réseaux de Petri et systèmes parallèles, A. Colin, Paris.
18. Yoo T., Lafortune S. (2002), NP-Completeness of Sensor Selection Problems Arising In Partiallyobserved Discrete-Event Systems IEEE-TAC, vol. 47, no. 9, pp. 1495-1499.