Preview
Unable to display preview. Download preview PDF.
References
R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real time systems. In Proc. 5th Symp. on Logics in Computer Science, pages 414–425, IEEE Computer Society Press, 1990.
R. Alur, C. Courcoubetis, T. A. Henzinger, and Pei-Hsin Ho. Hybrid automata: an algorithmic approach to the specification and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1992.
T.A. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In Proc. REX Workshop “Real-Time: Theory in Practice”, Lecture Notes in Computer Science 600, Springer-Verlag, the Netherlands, June 1991.
T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model-checking for real-time systems. In Proc. 7th Symp. on Logics in Computer Science, IEEE Computer Society Press, 1992.
K.M. Hansen, A.P. Ravn, and H. Rischel. Specifying and verifying requirements of real-time systems. Proc. ACM SIGSOFT'91 Conf. on Software for Critical Systems, 15(5):44–54, 1991.
M. Jaffe, N. Leveson, M. Heimdahl, and B. Melhart. Software requierements analysis for real-time process-control systems. IEEE Transactions on Software Engineering, 17(3):241–258, 1991.
Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1992.
O. Maler, Z. Manna, and A. Pnueli. Prom timed to hybrid systems. In Proc. REX Workshop “Real-Time: Theory in Practice”, Lecture Notes in Computer Science 600, Springer-Verlag, the Netherlands, June 1991.
X. Nicollin, J. Sifakis, and S. Yovine. Prom ATP to timed graphs and hybrid systems. In Proc. REX Workshop “Real-Time: Theory in Practice”, Lecture Notes in Computer Science 600, Springer-Verlag, the Netherlands, June 1991.
X. Nicollin, J. Sifakis, and S. Yovine. Compiling real-time specifications into extended automata. IEEE TSE Special Issue on Real-Time Systems, 18(9):794–804, September 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nicollin, X., Olivero, A., Sifakis, J., Yovine, S. (1993). An approach to the description and analysis of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds) Hybrid Systems. HS HS 1992 1991. Lecture Notes in Computer Science, vol 736. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57318-6_28
Download citation
DOI: https://doi.org/10.1007/3-540-57318-6_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57318-0
Online ISBN: 978-3-540-48060-0
eBook Packages: Springer Book Archive