Lidar du robot mobile Minnie

Lidar du robot Minnie. La télédétection laser permet à ce robot mobile de percevoir son environnement. Minnie 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.