Programming in Hybrid Constraint Languages

Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, Danny Bobrow


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.

© Springer Verlag, 1995. Published in the Lecture Notes in Computer Science Series.

,author=" Vineet Gupta and Radha Jagadeesan and Vijay Saraswat  and Daniel Bobrow"  
,title="Programming in hybrid constraint languages"
,year=" 1995"
,month=" November"
,booktitle=" Hybrid Systems II "
,editor="Panos Antsaklis and Wolf Kohn and Anil Nerode and Sankar Sastry"
,volume = 999
,series = "Lecture Notes in Computer Science"
,publisher="Springer Verlag"
Postscript file (172K)
Pdf file (205K)