An Implementation of Hybrid CC
Bjorn Carlson, Vineet Gupta
Abstract
Hybrid CC is a constraint programming
language suited 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 its
performance using some example programs.
Postscript file.