Programming in Hybrid Constraint Languages

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 expressivenessof 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.

• Type: Conference
• Year: 1994
• Where: HYBRID
• Authors: Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow
• Keywords: Control Systems, HYBRID 1994, Hybrid Cc, Hybrid Systems, Language