Compositional and uniform modeling of hybrid systems

IEEE Transactions on Automatic Control

Volumn 43, Issue 4, 1998, Pages 579-584

  Benveniste, Albert ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Concurrency; Hybrid systems

Indexed keywords

AUTOMATION; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; MATHEMATICAL MODELS;

HYBRID SYSTEMS;

CONTROL SYSTEMS;

EID: 0032048782     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.664162     Document Type: Article

References (10)

1. A. Benveniste, "Compositional and uniform modeling of hybrid systems (extended version)," Inria Res. Rep., 1997.
2. R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid Systems, Lecture Notes in Computer Science. New York: Springer-Verlag, 1993, vol. 736, pp. 209-229.
3. A. Benveniste and P. Le Guernic, "Hybrid dynamical systems theory and the SIGNAL language," IEEE Trans. Automat. Contr., vol. 35, pp. 535-546, 1990.
4. A. Benveniste, P. Caspi, N. Halbwachs, and P. Le Guernic, "Data-flow synchronous languages," in A Decade of Concurrency, Reflexions and Perspectives, REX School/Symp. New York: Springer-Verlag, 1994, vol. LNCS-803, pp. 1-45.
5. P. Breedveld, R. Rosenberg, and T. Zhou, "Bibliography of bond graph theory and applications," J. Franklin Inst., vol. 328, pp. 1067-1109, 1991.
6. T. Henzinger, Hybrid Automata with Finite Bisimulations. Ithaca, NY: Cornell Univ., 1995.
7. F. Favret, "Aide à la communication modeleurs/solveurs et contribution à l'analyze des systèmes techniques complexes," thesis Ecole Centrale de Paris and Gaz de France, DR, 1995.
8. P. L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, "Programming real-time applications with SIGNAL," Proc. IEEE, vol. 79, pp. 1321-1336, 1991.
9. N. Rouquette, "Operationalizing engineering models of steady-state equations into efficient simulation programs," Ph.D. dissertation, Dept. Computer Sci., USC, 1995.
10. _, "Hierarchical feedback decomposition of steady-state equation models," Artificial Intelligence Group, Caltech, Tech. Rep., 1995.