The CONTREDO project is aimed at offering a tool based on the intervals for processing dynamical systems. The tool will enable processing of dynamical systems whose initial conditions and parameters with the constrained uncertainties will be known and which may be defined not only by a differential equation but also algebraic constraints.

This language and tool will be deployed using the IBEX interval library and validated over several applications. The first of these applications concerns undersea robotics for automated sail control of yachts or for the evolution of robot teams in the marine environment.

The second application relates to surgical robotics, namely automating needle penetration of blood vessels. The third and final application concerns the robustness and accuracy of missile trajectories.

  • - MBDA, Le Plessis-Robinson
Research centers
  • - Université de Montpellier, UMR5506, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, Montpellier  [Project Developer]
  • - Ecole Centrale de Nantes UMR6597, IRCCyN Nantes
  • - Ecole des Mines de Nantes, Armines, Nantes
  • - ENPC UMR8049, Laboratoire d’Informatique GASPARD-Monge (LIGM), Marne-la-Vallée
  • - ENSTA Bretagne, UMR6285, Lab-STICC, Brest
  • - ENSTA Paristech, U2IS, Palaiseau
  • - UFJ-GRENOBLE, UMR5272, Sciences pour la conception, l'Optimisation et la Production (G-SCOP), Grenoble
- Agence Nationale de la Recherche
Overall budget
2211 K€