Simon Rohou
Mots clés
FR |
EN
Systèmes dynamiques
Robots sous-marins
Programmation par contraintes
Analyse par intervalles
Localisation
Intégration garantie
Robotique mobile
SLAM
AUVs
Cartographie -- Informatique
Docking sous-marin
Stabilité des systèmes dynamiques
Systèmes hybrides
Inclusions différentielles
Symétries de Lie
Espaces symétriques