Publication at Faculty of Mathematics and Physics |
2016
Abstract
The notion of constraint satisfaction allows us to formalize various problems involving a set of variables with given properties. This paper presents a solver for nonlinear set inversion problems, a specific class of continuous constraint satisfaction problems, in which the properties are described by a system of nonlinear inequalities over interval domains.
The solver is based on the branch-and-bound algorithm SIVIA combined with interval contractors and is accompanied by a visualization tool, which can provide a two-dimensional graphical representation of the solution sets. It also implements several methods for obtaining a finer approximation of a solution set using inner and outer approximations by interval boxes.