资 源 简 介
HCSLib is a C++ library for solving hybrid constraint systems (HCSs).
HCSs formulate the problem of detecting a discrete change in hybrid systems that consists of
1. flow constraints (i.e., ordinary differential equations) on continuous functions over time (i.e., trajectories) and
1. guard constraints on states causing discrete changes.
We implement a technique for solving HCSs by coordinating
1. interval-based solving of nonlinear ODEs and
1. a constraint programming technique for reducing interval enclosures of solutions.
HCSLib reliably solves HCSs with nonlinear constraints. Our technique employs the interval Newton method to accelerate the reduction of interval enclosures, while guaranteeing that the enclosure contains a solution.
