Preview
Unable to display preview. Download preview PDF.
References
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, vol 736, Springer Verlag, 1993, pp. 209–229.
F. Boussinot and R. de Simone, TheEsterellanguage, Proceedings of the IEEE, 79 (1991), pp. 1293–1304.
P. Breedveld, R. Rosenberg, and T. Zhou, Bibliography of bond graph theory and applications, Journal of the Franklin Institute, 328 (1991), pp. 1067–1109.
J. Broenink and K. Wijbrans, Describing discontinuities in bond graphs, in Proc. of the 1st Int. Conf. on bond graph modeling, SCS Simulation Series, 25 No 2, 1993.
F. Cellier and J. G. Eds., See the technical sessions on hybrid systems, in Proc. of the 2nd Int. Conf. on bond graph modeling, SCS Simulation Series, 27 No 2, 1995.
T. Henzinger, Hybrid Automata with Finite Bisimulations, preprint, Cornell University, 1995.
P. L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, 79 (1991), pp. 1321–1336.
O. Maler and A. Pnueli, Timing analysis of asynchronous circuits using timed automata, Tech. Rep., Laboratoire Verimag, Imag, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benveniste, A. (1996). Compositional and uniform modelling of hybrid systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020934
Download citation
DOI: https://doi.org/10.1007/BFb0020934
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61155-4
Online ISBN: 978-3-540-68334-6
eBook Packages: Springer Book Archive