Advertisement

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.

Keywords

Hybrid System Temporal Logic Hybrid Automaton Continuous Semantic Hybrid Behavior 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ACHH93]
    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. [CRH93]
    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. [GNRR93]
    R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors. Hybrid Systems. Lect. Notes in Comp. Sci. Springer-Verlag, 1993.Google Scholar
  4. [HLP90]
    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. [HMP92]
    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. [Hoo93]
    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. [KHMP94]
    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. [Lam93]
    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. [MMP92]
    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. [MP93]
    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. [NK93]
    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. [NSY92]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Amir Pnueli
    • 1
  1. 1.Department of Applied Mathematics and Computer ScienceThe Weizmann Institute of ScienceRehovotIsrael

Personalised recommendations