Programming in Hybrid Constraint Languages
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, Danny Bobrow
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.
Postscript
file.