Some contributions with Petri nets for the modelling, analysis and control of HDS

Nonlinear Analysis: Hybrid Systems

Volumn 1, Issue 4, 2007, Pages 451-465

  Lefebvre, Dimitri ^a   Delherm, Catherine ^a   Leclercq, Edouard ^a   Druaux, Fabrice ^a  

^a UNIVERSITY OF LE HAVRE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 36549033301     PISSN: 1751570X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.nahs.2005.11.002     Document Type: Article

References (29)

1. M. Alcaraz-Mejia, E. Lopez-Mellado, A. Ramirez-Trevino, I. Rivera-Rangel, Petri net based fault diagnosis of DES, in: Proc IEEE Conf. SMC03, Washington, USA, 2003, pp. 4730-4735
2. A. Amrah, N. Zerhouni, A. El Moudni, Constrained state feedback control of a class of discrete event systems modelled by continuous Petri nets, in: Proc. ICARCV96, Singapore, 1996, pp. 979-984
3. Askin R.G., and Standridge C.R. Modeling and Analysis of Petri Nets (1993), John Wiley and Sons Inc.
4. Balduzzi F., Giua A., and Menga G. First-order hybrid Petri nets: A model for optimization and control. IEEE-TRA 16 4 (2000) 382-399
5. S.L Chung, C.C. Wu, M. Jeng, Failure diagnosis: A case study on modeling and analysis by Petri nets, in: Proc IEEE - SMC03, Washington, USA, 2003, pp. 2727-2732
6. Cohen G., Gaubert S., and Quadrat J.P. Max-plus algebra and system theory: Where we are and where to go now. Annual Reviews in Control 23 (1999) 207-219
7. David R., and Alla H. Petri Nets and Grafcet-Tools for Modelling Discrete Events Systems (1992), Prentice Hall, London
8. K. Egilmez, A. Sharifnia, Optimal control of a manufacturing system based on a novel continuous flow model with minimal WIP requirement, in: Proc. Int. Conf. On CIM, Albany, USA, 1994, pp. 113-118
9. Giua A., and DiCesare F. Petri net structural analysis for supervisory control. IEEE-TRA 10 2 (1994) 185-195
10. Hagan M.T., Demuth H., and Beale M. Neural Network Design (1995), PWS pub. C., Boston, USA
11. Z. Hanzalek, Continuous Petri nets and polytopes, in: Proc. IEEE-SMC03, Washington, USA, 2003, pp. 1513-1520
12. Krogh B.H., and Kowalewski S. State feedback control of condition / event systems. Mathematical and Computer Modelling 23 11-12 (1996) 161-173
13. Lefebvre D. Feedback control designs of manufacturing systems modelled by continuous Petri nets. International Journal of Systems Science 30 6 (1999) 591-600
14. D. Lefebvre, E. Leclercq, F. Druaux, P. Thomas, Source and sink transitions controllers for continuous Petri nets: A gradient-based approach, in: Proc. IFAC-ADHS03, Saint Malo, France, 2003, pp. 229-234
15. D. Lefebvre, Immediate diagnosis of faulty behaviours with Petri net models, in: Proc. IFAC 05, Prague, Czech Republic, 2005
16. D. Lefebvre, Sensor selection for immediate diagnosis of faulty behaviours with Petri net models, in: Proc. IAR-ACD 05, Mulhouse, France, 2005
17. Lefebvre D., and Thomas P. Parameters estimation for timed and continuous Petri nets: Application to the identification and monitoring of hybrid systems. Cybernetics and Systems 36 3 (2005) 217-250
18. D. Lefebvre, C. Delherm, Fault detection and isolation of discrete event systems with Petri net models, IEEE-TASE, 2007 (in press)
19. D. Lefebvre, C. Delherm, Diagnosis with causality relationships and directed paths in Petri net models, IFAC WC05, Prague, Czech Republic, 2005
20. D. Lefebvre, E. Leclercq, F. Draux, P. Thomas, Gradient-based controllers for continuous Petri nets, International Journal of Systems Science, 2005 (in press)
21. D. Lefebvre, T. Thomas, E. Leclercq, F. Druaux, Flow control for continuous Petri net models of hybrid dynamical systems: Stability issues, IFAC WC05, Invited session Hybrid Dynamical Systems, Prague, Czech Republic, 2005
22. Murata T. Petri nets: Properties, analysis and applications. Proceedings of IEEE 77 4 (1989) 541-580
23. C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, Ph.D., MIT, USA, 1973
24. A. Ramirez-Trevino, E. Ruiz-Bletran, I. Rivera-Rangel, E. Lopez-Mellado, Diagnosability of discrete event systems. A Petri net based approach in: Proc. IEEE-ICRA, New Orleans, LA, 2004, pp. 541-546
25. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D. Diagnosability of discrete event systems. IEEE-TAC 40 9 (1995) 1555-1575
26. M. Silva, L. Recalde, On fluidification of Petri nets: From discrete to hybrid and continuous models, in: Proc. IFAC-ADHS, Saint Malo, France, 2003 pp. 9-20
27. T. Ushio, I. Onishi, K. Okuda, Fault detection based on Petri net models with faulty behaviours, in: Proc. IEEE Conf. SMC98, 1998, pp. 113-118
28. Uzam M., Jones A.H., and Yucel I. A rule-based methodology for supervisory control of discrete event systems modeled as automation Petri nets. International Journal of Intelligent Control Systems 3 3 (1999) 297-325
29. Hybrid dynamical systems. In: Zaytoon J. (Ed). APII-JESA, European Journal of Automative Systems 32 9-10 (1998)