Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem - Archive ouverte HAL Access content directly
Theses Year : 2021

Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem

Amarrage collaboratif automatique et sécurisé d'un robot sur une plateforme mobile : preuve par analyse par intervalles de la faisabilité d'un problème d'amarrage sous-marin

(1)
1

Abstract

The increasing number of offshore facilities triggers the need for reliable autonomous robots to perform inspection and maintenance missions, while minimising operational expenses. In order to decrease the likelihood of undesired events during a mission, mathematical tools can be used to prove a priori its feasibility. In the following, new methods based on a set-membership approach are developed and presented in this regard. First, we propose a new method to analyse stability of a discrete, continuous and hybrid uncertain system. Alternatively, we present an approach based on reachability analysis for which we developed a novel constraint programming tool to implement differential constraints. Both approaches allow predicting the behaviour of a robot before its actual deployment. These tools are illustrated with realistic examples falling in the field of localisation & control, and in particular applied to underwater docking. Furthermore, the Computer-Assisted Proofs in Dynamics (CAPD) library is introduced in a robotics context via practical examples.
La multiplication des installations offshore suscite un besoin de robots autonomes fiables, capable d’effectuer des missions d’inspection et de maintenance tout en minimisant les coûts opérationnels. Pour réduire le risque d’accident pendant une mission, des outils mathématiques peuvent être utilisés pour démontrer a priori son bon déroulement. Dans cette thèse, des nouvelles méthodes reposant sur une approche ensembliste sont présentées à cet effet. Premièrement, nous proposons une nouvelle méthode pour analyser la stabilité d’un système incertain discret, continue ou hybride. Ensuite, nous présentons une approche s’inspirant de l’analyse d’atteignabilité, pour laquelle nous avons développé un nouvel outil de programmation par contraintes permettant d’implémenter des contraintes différentielles. Ces deux approches permettent de prédire le comportement d’un robot avant même son déploiement. Ces outils sont illustrés par des exemples réalistes issus des domaines de la localisation et du contrôle, appliqués au problème d’amarrage sous-marin. De plus, nous présentons la librairie CAPD dans un contexte robotique grâce à des exemples pratiques.
Fichier principal
Vignette du fichier
2021_auguste_bourgois_local.pdf (316.6 Mo) Télécharger le fichier
Origin : Version validated by the jury (STAR)

Dates and versions

tel-03419041 , version 1 (08-11-2021)

Identifiers

  • HAL Id : tel-03419041 , version 1

Cite

Auguste Bourgois. Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem. Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English. ⟨NNT : 2021ENTA0002⟩. ⟨tel-03419041⟩
243 View
33 Download

Share

Gmail Facebook Twitter LinkedIn More