C++库，基于区间的混合约束系统（HCSS）解决

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.

vnodelp
config
doc
examples
FADBAD++
gnuplot
include
lib
LICENSE
makefile
README
tests
user_program