Reliable robot localization: a constraint programming approach over dynamical systems - Archive ouverte HAL Access content directly
Theses Year : 2017

Reliable robot localization: a constraint programming approach over dynamical systems

Localisation fiable de robots : une approche de programmation par contraintes sur des systèmes dynamiques

(1)
1

Abstract

The localization of underwater robots remains a challenging issue. Usual sensors, such as Global Navigation Satellite System (GNSS) receivers, cannot be used under the surface and other inertial systems suffer from a strong integration drift. On top of that, the seabed is generally uniform and unstructured, making it difficult to apply usual Simultaneous Localization and Mapping (SLAM) methods to perform a localization. Hence, innovative approaches have to be explored. The presented method can be characterized as a raw-data SLAM approach, but we propose a temporal resolution — which differs from usual methods — by considering time as a standard variable to be estimated. This concept raises new opportunities for state estimation, under-exploited so far. However, such temporal resolution is not straightforward and requires a set of theoretical tools in order to achieve the main purpose of localization. This thesis is thus not only a contribution in the field of mobile robotics, it also offers new perspectives in the areas of constraint programming and set-membership approaches. We provide a reliable contractor programming framework in order to build solvers for dynamical systems. This set of tools is illustrated along this work with realistic robotics applications.
Aujourd'hui, la localisation de robots sous-marins demeure une tâche complexe. L'utilisation de capteurs habituels est impossible sous la surface, tels que ceux reposant sur les systèmes de géolocalisation par satellites. Les approches inertielles sont quant à elles limitées par leur forte dérive dans le temps. De plus, les fonds marins sont généralement homogènes et non structurés, rendant difficile l'utilisation de méthodes SLAM connues, qui couplent la localisation et la cartographie de manière simultanée. Il devient donc nécessaire d'explorer de nouvelles alternatives. Notre approche consiste à traiter un problème de SLAM de manière purement temporelle. L'originalité de ce travail est de représenter le temps comme une variable classique qu'il faut estimer. Cette stratégie soulève de nouvelles opportunités dans le domaine de l'estimation d'état, permettant de traiter de nombreux problèmes sous un autre angle. Toutefois, une telle résolution temporelle demande un ensemble d'outils théoriques qu'il convient de développer. Cette thèse n'est donc pas seulement une contribution dans le monde de la robotique mobile, elle propose également une nouvelle démarche dans les domaines de la propagation de contraintes et des méthodes ensemblistes. Cette étude apporte de nouveaux outils de programmation par contracteurs qui permettent le développement de solveurs pour des systèmes dynamiques. Les composants étudiés sont mis en application tout au long de ce document autours de problèmes robotiques concrets.
Fichier principal
Vignette du fichier
rohou_thesis.pdf (38.1 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

tel-03010085 , version 1 (17-11-2020)

Identifiers

  • HAL Id : tel-03010085 , version 1

Cite

Simon Rohou. Reliable robot localization: a constraint programming approach over dynamical systems. Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English. ⟨NNT : ⟩. ⟨tel-03010085⟩
71 View
6 Download

Share

Gmail Facebook Twitter LinkedIn More