Programming in hybrid constraint languages
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.
Gupta, V. ; Jagadeesan, R. ; Saraswat, V. A. ; Bobrow, D. G. Programming in hybrid constraint languages. Hybrid Systems II; 1995; Ithaca, NY. Berlin, Germany: Springer-Verlag; 1995: 226-251.