Modeling and analysis using hybrid Petri nets

Nonlinear Analysis: Hybrid Systems

Volumn 1, Issue 2, 2007, Pages 141-153

  Ghomri, Latefa ^a   Alla, Hassane ^b  

^a UNIVERSITY OF TLEMCEN   (Algeria)

^b ENSIEG   (France)

Author keywords

Controller synthesis; D elementary hybrid Petri nets; Hybrid automata; Hybrid dynamic systems

Indexed keywords

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

References (25)

1. S. Pettersson, B. Lennartson, Hybrid modelling focused on hybrid Petri nets, in: 2nd European Workshop on Real-Time and Hybrid Systems, Grenoble, France, June 1995, pp. 303-309
2. M. Branicky, V. Borkar, S. Mitter, A unified framework for hybrid control, in: Proceedings of IEEE Conference and Decision and Control, CDC, Lake Buena Vista, USA, 1994, pp. 4228-4234
3. Murata T. Petri-nets: properties, analysis and applications. Dans les proceedings de IEEE 77 4 (1989) 541-580
4. R. David, H. Alla, Continuous Petri nets, in: Proc. of the 8th European Workshop on Application and Theory of Petri Nets, Saragossa, Spain, June 1987, pp. 275-94
5. David R., and Alla H. On Hybrid Petri nets. Discrete Event Dynamic systems: Theory and Applications 11 (2001) 9-40
6. C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, Ph.D. Thesis, MIT, Cambridge, February 1974
7. J. Demongodin, N. Aubry, F. Prunet, Batch Petri nets, in: Proceedings of IEEE, International Conference on Systems, Man and Cybernetics, Le Touquet, France, 1993, pp. 607-617
8. L. Ghomri, H. Alla, Z. Sari, Structural and hierarchical translation of hybrid Petri nets in hybrid automata, in: IMACS '05, Paris, France, Juliet, 2005
9. P. Merlin, A study of the recoverability of computer system, Ph.D. Thesis, Dep. Comput. Sci, Univ. California, Irvine, 1974
10. Berthomieu B., and Diaz M. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering 17 3 (1991) 259-273
11. Demongodin J., and Koussoulas N. Differential Petri nets: Representing continuous systems in a discrete-event word. IEEE Transaction in Automatic and Control 43 4 (1998) 573-578
12. David R., and Alla H. Discrete, Continuous, and Hybrid Petri Nets (2004), Springer
13. Alur R., Courcoubetis C., Halbwchs N., Henzinger T.A., Ho P.H., Nicolin X., Olivero A., Sifakis J., and Yovine S. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138 (1995) 3-34
14. Henzinger T.A., Kopke P.W., Puri A., and Varaiya P. What's decidable about hybrid automata?. 27th Annual Symposium on Theory of Computing (1995), ACM Press 373-382
15. F. Cassez, O.H. Roux, Traduction Structurelle des Réseaux de Petri Temporel vers les Automates temporisés, 4ième colloque Francophone sur la modélisation des systèmes réactifs, MSR'03, Metz, France, October 2003
16. D. Lime, O.H. Roux, State Class Automaton of a time Petri Net, Note interne, IRCyN, Nantes, 2003
17. A.T. Sava, Sur la synthèse de la commande des systèmes à événements discrets temporisés, Ph.D. Thesis, Institut National Polytechnique de Grenoble, Grenoble, France, November 2001
18. Berthomieu B., and Diaz M. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering 17 3 (1991) 259-273
19. Ramadge J.G., and Wonham W.M. The control of discrete event systems. Proceedings of the IEEE 77 1 (1989) 81-97
20. K. Altisen, P. Bouyer, T. Cachat, F. Cassez, G. Gardey, Introduction au contrôle des systèmes temps-réel, modélisation des systèmes réactifs, MSR'05, France, 2005
21. Wong-Toi H. The synthesis of controllers for linear hybrid automata. Proceedings of the 36th Conference on Decision and Control (1997), IEEE Computer Society Press 4607-4612
22. Antsaklis P.J., Stiver J.A., and Lemmon M.D. Hybrid system modeling and autonomous control systems. In: Grossman R.L., Nerode A., Ravn A.P., and Rischel H. (Eds). Hybrid Systems. Lecture Notes in Computer Science vol. 736 (1993), Springer-Verlag 366-392
23. B. Lennartson, B. Egardt, M. Tittus, Hybrid systems in process control, in: Proc. of the 33rd CDC, Orlando, FL, USA, 1994, pp 3587-3592
24. Peleties P., and DeCarlo R.A. A modeling strategy for hybrid systems based on event structure. Discrete Event Dynamic Systems: Theory and Applications 30 9 (1994) 1421-1427
25. http://www.lag.ensieg.inpg.fr/sirphyco/