Integration of an object formalism within a hybrid dynamic simulation environment

Control Engineering Practice

Volumn 12, Issue 10, 2004, Pages 1211-1223

  Perret, Jocelyne ^a   Hétreux, Gilles ^a   Le Lann, Jean Marc ^a  

^a LABORATOIRE DE GÉNIE CHIMIQUE   (France)

Author keywords

Hybrid dynamic systems; Modelling and simulation; Object oriented approach; Petri nets; Process system engineering

Indexed keywords

COMPUTER SIMULATION; DIFFERENTIAL EQUATIONS; PETRI NETS;

HYBRID SYSTEMS; OBJECT-ORIENTED ENVIRONMENT;

SYSTEMS ENGINEERING;

CONTROL SYSTEM;

EID: 3042642483     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2004.04.021     Document Type: Article

References (31)

1. Alur R. Courcoubetis C. Halbwachs N. Henzinger T.A. Ho P.H. Nicollin X.A. Olivero Sifakis J. Yovine S. The algorithmic analysis of hybrid systems Theoretical Computer Science 138 1995 3-34
2. Alur R. Dill D.L. A theory of timed automata Theoretical Computer Science 126 2 1994 183-225
3. Andersson, M. (1994). Object-oriented modelling and simulation of hybrid systems. Ph.D. Thesis, Lund Institute of Technology, Sweden.
4. Barton P.I. Pantelides C.C. The modelling of combined discrete/continuous processes A.I.Ch.E. Journal 40 1994 966-979
5. Bastide, R. (1995). Approaches in unifying Petri nets and the object-oriented approach. Application and Theory of Petri Nets-Workshop on Object-Oriented Programming and Models of Concurrency, June, Torino, Italy.
6. Berthomieu, B., - Menasche, M. (1983). An enumerative approach for analyzing time Petri nets. IFIP Congress Series, Vol. 9 (pp. 41-46). Amsterdam: Elsevier Science Publishing Company, North-Holland.
7. Branicky M.S. Borkar V.S. Mitter S.K. A unified framework for hybrid control: Model and optimal control theory IEEE Transactions on Automatic Control 43 1 1998 31-45
8. Buisson, J., Cormerais, H., - Richard, P. Y. (2001). Formally computing the state equations for available configurations of bond graphs with switches. ICBGM'2001, San Diego.
9. Champagnat, R., Esteban, P., Pingaud, H., - Valette, R. (1998). Modeling and simulation of a hybrid system through Pr-Tr PN-DAE model. ADPM'98, Reims, France (pp. 131-137).
10. Demongodin I. Generalised batches petri net: Hybrid model for high speed systems with variable delays Discrete Event Dynamic Systems: Theory and Applications 11 1/2 2001 137-162
11. Deshpande A. Gollü A. Semenzato L. The shift programming language for dynamic networks of hybrid systems IEEE Transactions on Automatic Control 43 4 1998 584-587
12. Fábián, G., van Beek, D. A., - Rooda, J. E. (1998). Integration of the discrete and the continuous behaviour in the hybrid chi simulator. European Simulation Multiconference, Manchester.
13. Gear, C. W. (1971). The simultaneous numerical solution of differential-algebraic equations. IEEE Transaction on Circuit Theory, CT 18(1), 89-95.
14. Hétreux G. Théry R. Perret J. LeLann J.M. Moyse A. Bibliothèque orientée-objet pour la simulation dynamique des procédé: Architecture et mise en oeuvre 2002 SIMO Toulouse, France
15. Hétreux, G., Perret, J., - LeLann, J. M. (2003). Bibliothèque orientée objet pour la conception de simulateurs dynamiques hybrides. Congrès Français de Génie des Procédés (CFGP'2003), 9-11 September, Saint-Nazaire, France.
16. Jourda, L. (1996). Composants logiciels Orientés Objets pour la modélisation et la simulation des procédés chimiques. Ph.D. Thesis, INP, Toulouse, France.
17. Jourda L. Joulia X. Koehret B. Introducing ATOM, the applied thermodynamic object-oriented model Computer and Chemical Engineering 20A 1996 S157-S164
18. Kesten, Y., - Pnueli, A. (1992). Timed and hybrid statecharts and their textual representation, Lecture Notes in Computer Science, Vol. 571. Berlin: Springer.
19. Le Bail, J., Alla, H., - David, R. (1991). Hybrid Petri Nets. Proceedings of the European control conference (pp. 1472-1477). France: Grenoble.
20. Marquardt, W. (1992), An object oriented representation of structured process model. ESCAPE, 1.
21. Moyse, A. (2000). Odysseo, plate-forme orientée-objet pour la simulation dynamique des procédés. Ph.D. Thesis, INP, Toulouse, France.
22. Nilsson, B. (1993). Object oriented modelling of chemical processes, Ph.D. Thesis, Lund Institute of Technology.
23. OPERA. (1999). Operators training distributed real-time simulations. Esprit Projet No. 24950, Whitepaper.
24. Paludetto, M., Valette, R., - Courvoisier, M. (1990). Génération de code Ada à partir d'une approche orientée objet Hood/Réseaux de Petri. Journées Internationales Le Génie Logiciel et ses Applications, Toulouse, France (pp. 795-826).
25. Perret, J. (2003). Intégration des Réseaux de Petri Différentiels à Objets dans une plateforme de simulation dynamique hybride :Application aux procédés industriels. Ph.D. Thesis, INP, Toulouse, France.
26. Perret, J., Hétreux, G., Thery, R., - LeLann, J. M. (2003). Object-oriented components for dynamic simulation of a reactive distillation process. European symposium of computer aided process engineering (ESCAPE 13), Lappeenranta, Finland, 1-4 June.
27. Sargousse, A. (1999). Noyau numérique orienté-objet dédié à la simulation des systèmes dynamiques hybrides. Ph.D. Thesis, INP, Toulouse, France.
28. Sibertin-Blanc, C. (1985). High-level Petri nets with data structure. Sixth European workshop on Petri nets and applications, Espoo, Finland.
29. Valentin-Roubinet, C. (1999). Hybrid Systems modelling: Mixed Petri Nets. Third IMACS/IEEE conference CSCC 99, 4-8 Juillet, Athènes, Grèce (pp. 223-228).
30. Wöllhaf K. Fritz M. Schulz C. Engell S. BaSiP-batch process simulation with dynamically reconfigured process dynamics Supplement to Computers and Chemical Engineering 20 972 1996 1281-1286
31. Zaytoon, J. (2001). Systèmes dynamiques hybrides. Traité IC2, HERMES Sciences Publications (pp. 88-91).