Minnie, un robot utilisé par le LAAS-CNRS pour étudier l'autonomie des robots mobiles

Test de Minnie, un robot mobile capable de percevoir son environnement à l’aide de la télédétection Lidar. Il s'agit d'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.