Project : coprin
Keywords : solving framework, algorithm specification, constraints solving.
Our current software ALIAS and ICOS provide various interval analysis modules but lack of flexibility for constructing and testing new solvers.
Icosalias is a new platform developed by the project. It can be used as a classical interval-based problems solver, but it is also aimed at being a research support, by providing means to integrate and combine different algorithms via a simple language or interface. The platform has been augmented with the following features :
Filtering modules : 2B, 3B, univariate Newton and box consistency.
A library for solving interval linear systems (classical and extended methods, preconditioning)
Newton methods (and handling of over-constrained problems)
A more flexible interface that accepts any valid mathematical expression (including all trigonometric and hyperbolic functions).
Generic kernel structures to let the user choose between automatic evaluations (projection, differentiation) and hard-coded procedures.
An extension of the search process to deal with parameters, coefficients, inner boxes and border boxes for non 0-dimensional systems.
A Statistics tool for evaluating performances
Interesting results were obtained on several benchmarks. Icosalias was also used to solve significant problems, especially, a robot calibration problem based on real experimental data.