Skip to main content
SpringerLink
Log in

Programming in hybrid constraint languages

  • Conference paper
  • First Online:
Hybrid Systems II (HS 1994)

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

Included in the following conference series:

Abstract

We present a language, Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place constraints upon the temporal evolution of a system. We show the expressiveness of our language by presenting several examples, including a model for the paperpath of a photocopier. We describe an interpreter for our language, and provide traces for some of the example programs.

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 and T. Henzinger. Logics and models of real time: a survey. In J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors, REX workshop “Real time: Theory in Practice”, volume 600 of LNCS, 1992.

    Google Scholar 

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

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

    Google Scholar 

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

    Google Scholar 

  5. A. Benveniste and P. Le Guernic. Hybrid dynamical systems and the signal language. IEEE Transactions on Automatic control, 35(5):535–546, 1990.

    Google Scholar 

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

    Google Scholar 

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

  8. J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors. REX workshop “Real time: Theory in Practice”, volume 600 of LNCS, 1992.

    Google Scholar 

  9. Saumya K. Debray. QD-Janus: A Sequential Implementation of Janus in Prolog. Software-Practice and Experience, 23(12):1337–1360, December 1993.

    Google Scholar 

  10. Johan de Kleer and John Seely Brown. Qualitative Reasoning about Physical Systems, chapter Qualitative Physics Based on Confluences. MIT Press, 1985. Also published in AIJ, 1984.

    Google Scholar 

  11. M. Fromherz, D. Bell, D. Bobrow, et al. Rapper: The Copier Modeling Project. In Working Papers of the Eighth International Workshop on Qualitative Reasoning About Physical Systems, pages 1–12, June 1994.

    Google Scholar 

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

  13. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Computing with continuous change. Technical report, Xerox Palo Alto Research Center, May 1995. Submitted.

    Google Scholar 

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

    Google Scholar 

  15. Vineet Gupta, Vijay Saraswat, and Peter Struss. A model of a photocopier paper path. In Proceedings of the 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning, August 1995.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  18. 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, Special issue on Another Look at Real-time Systems, September 1991.

    Google Scholar 

  19. T. A. Henzinger, Z. Manna, and A. Pnueli. Towards refining temporal specifications into hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 209–229, 1993.

    Google Scholar 

  20. J. Hooman. A compositional approach to the design of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of LNCS, pages 209–229, 1993.

    Google Scholar 

  21. Pascal Van Hentenryck, Vijay A. Saraswat, and Yves Deville. Constraint processing in cc(fd). Technical report, Computer Science Department, Brown University, 1992.

    Google Scholar 

  22. Sverker Janson and Seif Haridi. Programming Paradigms of the Andorra Kernel Language. In Logic Programming: Proceedings of the 1991 International Symposium. MIT Press, 1991.

    Google Scholar 

  23. Ben Kuipers, editor. Qualitative Simulation. MIT Press, 1994.

    Google Scholar 

  24. 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, REX workshop “Real time: Theory and Practice”, volume 600 of Lecture notes in computer science, pages 447–484, 1992.

    Google Scholar 

  25. Z. Manna and A. Pnueli. TheTemporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991. 427 pp.

    Google Scholar 

  26. A: Nerode and W. Kohn. Multiple Agent Hybrid Control Architecture. Number 736 in LNCS. Springer Verlag, 1993.

    Google Scholar 

  27. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An Approach to the Description and Analysis of Hybrid Systems. Number 736 in LNCS. Springer Verlag, 1993.

    Google Scholar 

  28. 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, REX workshop “Real time: Theory and Practice”, volume 600 of LNCS, 1991.

    Google Scholar 

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

    Google Scholar 

  30. Vijay A. Saraswat. Concurrent Constraint Programming. Logic Programming and Doctoral Dissertation Award Series. MIT Press, March 1993.

    Google Scholar 

  31. Gert Smolka, Henz, and J. Werz. Constraint Programming: The Newport Papers, chapter Object-oriented programming in Oz. MIT Press, 1994.

    Google Scholar 

  32. V. A. Saraswat, R. Jagadeesan, and V. Gupta. Constraint Programming, chapter Programming in Timed Concurrent Constraint Languages. NATO Advanced Science Institute Series, Series F: Computer and System Sciences. Springer-Verlag, 1994.

    Google Scholar 

  33. V. A. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of Timed Concurrent Constraint Programming. In Samson Abramsky, editor, Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Press, July 1994.

    Google Scholar 

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

  35. V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proceedings of Eighteenth ACM Symposium on Principles of Programming Languages, Orlando, January 1991.

    Google Scholar 

  36. D.S. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Vineet Gupta, Vijay Saraswat & Daniel G Bobrow

  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

  4. Daniel G Bobrow
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gupta, V., Jagadeesan, R., Saraswat, V., Bobrow, D.G. (1995). Programming in hybrid constraint languages. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems II. HS 1994. Lecture Notes in Computer Science, vol 999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60472-3_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-60472-3_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60472-3

  • Online ISBN: 978-3-540-47519-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation