Programming in Hybrid Constraint Languages

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. 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.