Données de télédétection Lidar produites par le robot mobile Minnie

Etude de données de télédétection lors d'un test du robot mobile Minnie. Ce nuage de points 3D représente la distance à laquelle sont situés différents éléments de l’environnement qui entoure le robot. Minnie, un robot mobile capable de percevoir son environnement à l’aide de la télédétection Lidar, est un support expérimental pour mener des recherches sur l’autonomie des robots mobiles. Il permet au LAAS-CNRS d'étudier les différentes fonctions de base nécessaires à la navigation autonome : la perception de l’environnement, la localisation du robot, la génération et l'exécution des déplacements. Ces fonctions définissent des composants qui sont intégrés au sein d’une architecture logicielle, qui est elle-même l’objet de recherches dont l'objectif est de garantir le bon comportement du robot. Un modèle formel des composants qui exhibe leurs propriétés logiques et temporelles est nécessaire pour prouver que leur intégration satisfait un ensemble de propriétés globales, telles que l’arrêt devant un obstacle.