Solving and Visualizing Nonlinear Set Inversion Problems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10330195" target="_blank" >RIV/00216208:11320/16:10330195 - isvavai.cz</a>
Result on the web
<a href="http://interval.louisiana.edu/reliable-computing-journal/volume-22/reliable-computing-22-pp-104-115.pdf" target="_blank" >http://interval.louisiana.edu/reliable-computing-journal/volume-22/reliable-computing-22-pp-104-115.pdf</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Solving and Visualizing Nonlinear Set Inversion Problems
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—

Project
<a href="/en/project/GA13-10660S" target="_blank" >GA13-10660S: Interval methods for optimization problems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)