Modèles formels pour les essaims de robots volumiques

par Robin Pelle

Projet de thèse en Informatique

Sous la direction de Evelyne Contejean et de Thibaut Balabonski.

Thèses en préparation à Paris Saclay , dans le cadre de Sciences et Technologies de l'Information et de la Communication , en partenariat avec LRI - Laboratoire de Recherche en Informatique (laboratoire) , VALS - Vérification d'Algorithmes, Langages et Systèmes (equipe de recherche) et de Université Paris-Sud (établissement de préparation de la thèse) depuis le 01-09-2016 .


  • Résumé

    Le travail consiste à étendre le modèle formel fournis dans Pactole (pactole.lri.fr) afin de prendre en compte des évolutions asynchrones de robots volumiques. Cette modélisation doit permettre une formulation aisée de protocoles et des tâches qu'ils sont censés réaliser. On s'intéressera en particulier à garantir l'absence de collision au cours de déplacements potentiellement complexes.

  • Titre traduit

    Formal models for voluminous robot networks


  • Résumé

    The work consists in widening the formal model supplied in Pactole ( pactole.lri.fr ) to take into account asynchronous evolutions of volume robots. This modelling has to allow an easy formulation of protocols and the tasks that they are supposed to realize. We shall be interested in particular to guarantee the absence of collision during movements potentially complex.