Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

International Symposium of the CEC-Supported Working Group Provably Correct Systems

FTRTFT 1994, ProCoS 1994: Formal Techniques in Real-Time and Fault-Tolerant Systems pp 77–85Cite as

Development of hybrid systems

Extended abstract

  • Invited Lectures
  • Conference paper
  • First Online:

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

Abstract

We consider goals and perspectives in the area of hybrid systems. In particular, we compare several semantic models, proof approaches, and temporal logics that were proposed for the formal treatment of hybrid systems.

Supported in part by the European Community ESPRIT Basic Research Action Project 6021 (REACT) and the France-Israel project for cooperation in Computer Science.

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, T. Henzinger, and P. Ho. Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 209–229. Springer-Verlag, 1993.

    Google Scholar 

  2. Z. Chaochen, A.P. Ravn, and M.R. Hansen. An exteended duration calculus for hybrid real-time systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 36–59. Springer-Verlag, 1993.

    Google Scholar 

  3. R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors. Hybrid Systems. Lect. Notes in Comp. Sci. Springer-Verlag, 1993.

    Google Scholar 

  4. E. Harel, O. Lichtenstein, and A. Pnueli. Explicit clock temporal logic. In Proc. 5th IEEE Symp. Logic in Comp. Sci., pages 402–413, 1990.

    Google Scholar 

  5. T. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop “Real-Time: Theory in Practice”, volume 600 of Lect. Notes in Comp. Sci., pages 226–251. Springer-Verlag, 1992.

    Google Scholar 

  6. J. Hooman. A compositional approach to the design of hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 121–148. Springer-Verlag, 1993.

    Google Scholar 

  7. A. Kapur, T.A. Henzinger, Z. Manna, and A. Pnueli. Proving properties of hybrid systems. to appear in FTRTFT'94 conference, Luneck, 1994.

    Google Scholar 

  8. L. Lamport. Hybrid systems in TLA+. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 77–102. Springer-Verlag, 1993.

    Google Scholar 

  9. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop “Real-Time: Theory in Practice”, volume 600 of Lect. Notes in Comp. Sci., pages 447–484. Springer-Verlag, 1992.

    Google Scholar 

  10. Z. Manna and A. Pnueli. Verifying hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 4–35. Springer-Verlag, 1993.

    Google Scholar 

  11. A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 317–356. Springer-Verlag, 1993.

    Google Scholar 

  12. X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop “Real-Time: Theory in Practice”, volume 600 of Lect. Notes in Comp. Sci., pages 549–572. Springer-Verlag, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, 76100, Rehovot, Israel

    Amir Pnueli

Authors
  1. Amir Pnueli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hans Langmaack Willem-Paul de Roever Jan Vytopil

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pnueli, A. (1994). Development of hybrid systems. In: Langmaack, H., de Roever, WP., Vytopil, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT ProCoS 1994 1994. Lecture Notes in Computer Science, vol 863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58468-4_160

Download citation

  • DOI: https://doi.org/10.1007/3-540-58468-4_160

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58468-1

  • Online ISBN: 978-3-540-48984-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation