Hybrid cc with Interval Constraints

Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. The language extends the concurrent constraint programming framework with default reasoning and combinators for programming continuous behavior. The most important constraint systems used in Hybrid cc are nonlinear equations and ordinary differential equations over intervals. We describe the implementation of the Hybrid cc interpreter and constraint solvers, and evaluate the performance using some example programs.

• Type: Conference
• Year: 1998
• Where: HYBRID
• Authors: Björn Carlson, Vineet Gupta
• Keywords: Constraint Programming, Constraint Programming Language, Control Systems, HYBRID 1998, Hybrid Cc