Skip to main content
SpringerLink
Log in

Hybrid cc, hybrid automata and program verification

Extended abstract

  • Conference paper
  • First Online:
Hybrid Systems III (HS 1995)

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

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.

    Article  Google Scholar 

  2. Rajeev Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. In Proceedings of the 14th Annual IEEE Real-time Systems Symposium. IEEE, 1993.

    Google Scholar 

  3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.

    Google Scholar 

  4. A. Benveniste, M. Le Borgne, and Paul Le Guernic. Hybrid Systems: The SIGNAL approach. Number 736 in LNCS. Springer Verlag, 1993.

    Google Scholar 

  5. G. Berry. Real-time programming: General purpose or special-purpose languages. In G. Ritter, editor, Information Processing 89, pages 11–17. Elsevier Science Publishers B.V. (North Holland), 1989.

    Google Scholar 

  6. G. Berry. Preemption in concurrent systems. In Proc. of FSTTCS. Springer-Verlag, 1993. LNCS 781.

    Google Scholar 

  7. G. Berry and G. Gonthier. The Esterel programming language: Design, semantics and implementation. Science of Computer Programming, 19(2):87–152, November 1992.

    Article  Google Scholar 

  8. E. M. Clarke, D. E. Long, and K. L. McMillan. A language for compositional specification and verification of finite state hardware controllers. Proceedings of the IEEE, 79(9), September 1991.

    Google Scholar 

  9. P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.

    Google Scholar 

  10. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Computing with continuous change. Submitted to Science of Computer Programming.

    Google Scholar 

  11. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Programming in hybrid constraint languages. In Hybrid Systems II, volume 999 of Lecture notes in computer science. Springer Verlag, November 1995.

    Google Scholar 

  12. G. Gogic, H. Kautz, C. Papadimitriou, and B. Selman. The comparitive linguistics of knowledge representations. In 14th International joint conference on Artificial intelligence, 1995.

    Google Scholar 

  13. Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, editors. Hybrid Systems. Springer Verlag, 1993. LNCS 736.

    Google Scholar 

  14. N. Halbwachs. Synchronous programming of reactive systems. The Kluwer international series in Engineering and Computer Science. Kluwer Academic publishers, 1993.

    Google Scholar 

  15. D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  Google Scholar 

  16. N. Halbwachs, P. Caspi, and D. Pilaud. The synchronous programming language lustre. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.

    Google Scholar 

  17. David Harel and Amir Pnueli. Logics and Models of Concurrent Systems, volume 13, chapter On the development of reactive systems, pages 471–498. NATO Advanced Study Institute, 1985.

    Google Scholar 

  18. Hybrid Systems II. Springer Verlag, 1995. LNCS 999.

    Google Scholar 

  19. L.J. Jagadeesan, C. Puchol, and J.E. Von Olnhausen. Safety property verification of esterel programs and applications to telecommunications software. In Proceedings of CAV, LNCS 939, 1995.

    Google Scholar 

  20. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991. 427 pp.

    Google Scholar 

  21. Ray Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.

    Article  Google Scholar 

  22. Vijay A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1989. To appear, Doctoral Dissertation Award and Logic Programming Series, MIT Press, 1992.

    Google Scholar 

  23. V. A. Saraswat, R. Jagadeesan, and V. Gupta. Default Timed Concurrent Constraint Programming. In Proceedings of Twenty Second ACM Symposium on Principles of Programming Languages, San Francisco, January 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Xerox PARC, 3333 Coyote Hill Road, 94304, Palo Alto, Ca

    Vineet Gupta & Vijay Saraswat

  2. Dept. of Mathematical Sciences, Loyola University-Lake Shore Campus, 60626, Chicago, Il

    Radha Jagadeesan

Authors
  1. Vineet Gupta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Radha Jagadeesan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Vijay Saraswat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gupta, V., Jagadeesan, R., Saraswat, V. (1996). Hybrid cc, hybrid automata and program verification. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020935

Download citation

  • DOI: https://doi.org/10.1007/BFb0020935

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61155-4

  • Online ISBN: 978-3-540-68334-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation