Abstract
Hybrid Systems axe models of systems operating in real-time and handling events as well as “continuous” computations. The Signal formalism for Hybrid Systems is presented in this extended abstract. Its expressive power is discussed, and a general method to associate various formal systems with it is presented and illustrated on deriving the present Signal compiler.
Chapter PDF
Similar content being viewed by others
References
A. Benveniste, G. Berry, “Real-Time systems design and programming”, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.
A. Benveniste, P. Le Guernic, Y. Sorel, M. Sorine, “A denotational theory of synchronous communicating systems”, INRIA Research Report 685, Rennes, France, 1987, to appear in Information and Computation.
A. Benveniste, P. Le Guernic, “Hybrid Dynamical Systems Theory and the Signal Language”, IEEE transactions on Automatic Control, 35(5), May 1990, pp. 535–546.
A. Benveniste, P. Le Guernic, C. Jacquemot, Synchronous programming with events and relations: the Signal language and its semantics, IRISA Research Report 459, Rennes, France, 1989, to appear in Science of Computer Programming
A. Benveniste, “Constructive probability and the Sign alea language”, IRISA res. rep., 1991.
B. Buchberger, “Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory” N.K. Bose (ed.), Multidimensional Systems Theory, 184–232, D. Reidel Publishing Company.
L. Besnard, Thesis, IFSIC-IRISA, 1991.
F. Boussinot, R. de Simone, “The Esterel language”, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.
N. Halbwachs, P. Caspi, D. Pilaud, “The synchronous dataflow programming language Lustre”, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.
T.A. Henzinger, Z. Manna, A. Pnueli, “An Interleaving Model for Real-time”, Jersalem Conf. on Information Technology 1990, IEEE Computer Society Press.
T.A. Henzinger, Z. Manna, A. Pnueli, “Temporal proof methodologies for Real-time systems”, POPL'91.
M. Le Borgne, A. Benveniste, P. Le Guernic, “Polynomial Ideal Theory Methods in Discrete Event, and Hybrid Dynamical Systems”, in Proceedings of the 28th IEEE Conference on Decision and Control, IEEE Control Systems Society, Volume 3 of 3, 1989, pp. 2695–2700.
P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire, “Programming real-time applications with Signal”, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.
X. Nicollin, J. Sifakis, S. Yovine, “From ATP to Timed Graphs and Hybrid Systems”, REX workshop “Real-Time, theory in practice”, Mook, The Netherlands, June 3–7, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benveniste, A., Le Borgne, M., Le Guernic, P. (1992). SIGNAL as a model for real-time and hybrid systems. In: Krieg-Brückner, B. (eds) ESOP '92. ESOP 1992. Lecture Notes in Computer Science, vol 582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55253-7_2
Download citation
DOI: https://doi.org/10.1007/3-540-55253-7_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55253-6
Online ISBN: 978-3-540-46803-5
eBook Packages: Springer Book Archive