Accéder directement au contenu Accéder directement à la navigation
Thèse

Bracketing largest invariant sets of dynamical systems: an application to drifting underwater robots in ocean currents

Résumé : La vérification de la sûreté de fonctionnement des systèmes robotiques est une question fondamentale pour le développement de la robotique. Elle consiste, par exemple, à vérifier qu’une loi de commande d’un robot respectera toujours un ensemble de contraintes. Plus généralement, nous nous intéresserons ici à la vérification des propriétés de systèmes dynamiques, ces derniers permettant de modéliser l’évolution d’un robot. La contribution principale de cette thèse est d’apporter un nouveau moyen d’encadrer les ensembles invariants de systèmes dynamiques. Pour cela, un nouveau domaine abstrait, les mazes, et de nouveaux algorithmes sont présentés. Il est également montré, au travers de nombreux exemples, comment des problèmes classiques de validation peuvent être ramenés à un problème d’encadrement d’ensembles invariants. Enfin, les résultats sont étendus à l’encadrement des noyaux de viabilités. Cette thèse s’appuie également sur une application en robotique sous-marine. L’idée principale est d’utiliser les courants marins pour qu’un robot sous-marin puisse parcourir avec efficience de grandes distances. Un nouveau type de robot autonome bas coûts a été développé pour ce type de mission. Ce nouveau flotteur profileur hybride est capable de se réguler en profondeur grâce à une nouvelle loi de régulation, mais également de corriger sa trajectoire à l’aide de propulseurs auxiliaires. Ils permettent au robot de choisir la bonne veine de courant à emprunter. Les outils de validations précédemment introduits sont utilisés pour valider la sûreté du robot et de la mission. Des expérimentations en conditions réelles ont également permis de valider le prototype.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/tel-02865800
Contributeur : Thomas Le Mézo <>
Soumis le : vendredi 12 juin 2020 - 02:19:27
Dernière modification le : vendredi 25 septembre 2020 - 03:35:48

Fichier

lemezo_thesis.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-02865800, version 1

Citation

Thomas Le Mézo. Bracketing largest invariant sets of dynamical systems: an application to drifting underwater robots in ocean currents. Dynamical Systems [math.DS]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English. ⟨tel-02865800⟩

Partager

Métriques

Consultations de la notice

52

Téléchargements de fichiers

69