Skip to main content
SpringerLink
Log in
Book cover

International Hybrid Systems Workshop

International Hybrid Systems Workshop

HS 1992, HS 1991: Hybrid Systems pp 149–178Cite as

An approach to the description and analysis of hybrid systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 736))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire de Génie Informatique, IMAG Campus, B.P. 53X, F-38041, Grenoble cedex, France

    X. Nicollin, A. Olivero, J. Sifakis & S. Yovine

Authors
  1. X. Nicollin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Olivero
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Sifakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. S. Yovine
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert L. Grossman Anil Nerode Anders P. Ravn Hans Rischel

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation