CONTREDO Projets labellisés

Le projet CONTREDO vise à offrir un outil basé sur les intervalles pour traiter les systèmes dynamiques. Cet outil va permettre de traiter des systèmes dynamiques dont les conditions initiales et les paramètres seront connus avec des incertitudes bornées et qui peuvent être définies par une équation différentielle, mais aussi des contraintes algébriques.

Ce langage et cet outil seront implémentés dans la bibliothèque intervalle IBEX et validés sur plusieurs applications.La première concerne la robotique sous-marine pour le contrôle de voiliers automatisés ou évolution d’une meute de robots dans l’environnement marin.

La deuxième application porte sur la robotique chirurgicale, c’est-à-dire sur l’automatisation de la pénétration des aiguilles dans les vaisseaux sanguins.
Enfin, la troisième application concerne la robustesse et la précision des trajectoires des missiles.