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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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.
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.
A. Benveniste, M. Le Borgne, and Paul Le Guernic. Hybrid Systems: The SIGNAL approach. Number 736 in LNCS. Springer Verlag, 1993.
G. Berry. Preemption in concurrent systems. In Proc. of FSTTCS. Springer-Verlag, 1993. LNCS 781.
A. Benveniste and P. Le Guernic. Hybrid dynamical systems and the signal language. IEEE Transactions on Automatic control, 35(5):535–546, 1990.
G. Berry and G. Gonthier. The Esterel programming language: Design, semantics and implementation. Science of Computer Programming, 19(2):87–152, November 1992.
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.
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.
Saumya K. Debray. QD-Janus: A Sequential Implementation of Janus in Prolog. Software-Practice and Experience, 23(12):1337–1360, December 1993.
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.
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.
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.
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Computing with continuous change. Technical report, Xerox Palo Alto Research Center, May 1995. Submitted.
Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, editors. Hybrid Systems. Springer Verlag, 1993. LNCS 736.
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.
N. Halbwachs. Synchronous programming of reactive systems. The Kluwer international series in Engineering and Computer Science. Kluwer Academic publishers, 1993.
D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231–274, 1987.
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.
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.
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.
Pascal Van Hentenryck, Vijay A. Saraswat, and Yves Deville. Constraint processing in cc(fd). Technical report, Computer Science Department, Brown University, 1992.
Sverker Janson and Seif Haridi. Programming Paradigms of the Andorra Kernel Language. In Logic Programming: Proceedings of the 1991 International Symposium. MIT Press, 1991.
Ben Kuipers, editor. Qualitative Simulation. MIT Press, 1994.
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.
Z. Manna and A. Pnueli. TheTemporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991. 427 pp.
A: Nerode and W. Kohn. Multiple Agent Hybrid Control Architecture. Number 736 in LNCS. Springer Verlag, 1993.
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.
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.
Ray Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.
Vijay A. Saraswat. Concurrent Constraint Programming. Logic Programming and Doctoral Dissertation Award Series. MIT Press, March 1993.
Gert Smolka, Henz, and J. Werz. Constraint Programming: The Newport Papers, chapter Object-oriented programming in Oz. MIT Press, 1994.
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.
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.
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.
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.
D.S. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, 1989.
Author information
Authors and Affiliations
Editor information
Rights 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