Demos and solvers
Fabrication du premier prototype de
Le robot Saucisse se promène dans la piscine d'Ifremer en
robot Saucisse passe la porte
Saucisse se localise
démo du Pan and Tilt fait avec Arunas Mazeika
8) Présentation de l'AUV
Daurade (GESMA + Shom).
d'une mission multi-AUV
10) < LANG="fr-FR">Spicerack
(with CGG veritas)
A small demo to illustrate how to solve the piano mover problem with intervals. Download
the associated paper. Download the PC-demo.
3) Download Setdemo
with its C++ builder code. Setdemo is a 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 executable file only.
1) 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.
2) 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,
4) Download a
small Scilab program for global optimization using interval analysis.
5) Download a
solver made with Aurélien Djoutsop. This solver computes a 3D
set which satisfies nonlinear inequalities.
6) Download the
solvers Interval Peeler and Proj2d
made with Xavier Baguenard and Massa Dao.
The solver Interval
Peeler implements contractors based on interval constraint
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.
8) A very small example with the C++
code, for SIVIA with QT and Flex+Bison for windows. Download.