Hybrid CC with Interval Constraints

Bjorn Carlson, Vineet Gupta

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 its performance using some example programs.

@inproceedings{hcc-impl
,author=" Bjorn Carlson and Vineet Gupta"
,title="Hybrid {CC} and interval constraints"
,year="1998"
,month="April"
,booktitle="Hybrid Systems 98: Computation and Control"
,editor="Thomas A Henzinger and Sankar Sastry"
,series ="Lecture notes in computer science, Vol 1386"
,pages = "80-94"
,publisher="Springer Verlag"
}

Postscript file (167K)
Pdf file (137K)