Ibex
General software features
This C++ library can be used to solve a variety of problems that can be formulated roughly as:
Find a reliable characterization with boxes (Cartesian product of intervals) of sets implicitely defined by constraints.
Where 'reliable' means that all sources of uncertainty should be taken into account, including:
- approximation of real numbers by floating-point numbers,
- round-off errors,
- truncation linearization,
- model parameter uncertainty,
- measurement noise,
- ...