Demos and solvers


1) Le robot Saucisse se promène dans la piscine d'Ifremer en 2008
2) Saucisse se localise


A small demo to illustrate how to solve the piano mover problem with intervals. Download the associated paper. Download the PC-demo. more.

Download Setdemo with its C++ builder code. Setdemo is a Windows demo software for set estimation. This software has been developed with G. Baffet. Download the executable file only.

Download a PC-demo of the control of a sailboat with intervals. Download the associated paper.

Download a control simulation of a sailing boat with its C++ builder 5 code. Download the Windiws executable file only.

The full C++ code of a simple set inversion problem which consists of characterizing the set defined as a ring can be downloaded : version Builder 3, version Builder 5.

With A. Godon, we made a 2D solver for set inversion problems 2D-solver : Chloé

Download some Scilab simulation programs (pendulum, inverted pendulum, water tank, car, monocycle)

Download a small Scilab program for global optimization using interval analysis.

Download a solver made with Aurélien Djoutsop. This solver computes a 3D set which satisfies nonlinear inequalities.

Download the solvers Interval Peeler and Proj2d made with Xavier Baguenard and Massa Dao.
The solver Interval Peeler implements contractors based on interval constraint propagation
The solver Proj2d draws a 2D-projection of a set defined as a set inversion problem (i.e., inequalities).

Download a solver to compute optimal credible sets of an unnormalized probability density function. Download the full C++ Builder 5 code.

A very small example with the C++ code, for SIVIA with QT and Flex+Bison for windows. Download.