BOUZID Zohir

doctorant à Sorbonne Université
Équipe : NPA
https://lip6.fr/Zohir.Bouzid

Direction de recherche : Sébastien TIXEUIL

Co-encadrement : POTOP-BUTUCARU Maria, URBAIN Xavier

Modèles et algorithmes pour les réseaux émergents

Les réseaux de robots autonomes sont des entités mobiles qui communiquent uniquement à travers leurs mouvements et l'observation de leurs positions respectives. Ils sont anonymes, sans mémoire et sans système de coordonnées global, ni une notion commune de la distance. Nous nous concentrons sur l'étude algorithmique des problèmes de rassemblement et de convergence des robots quand ils sont sujets à des pannes. Notre première contribution est de nature géométrique. Nous fournissons un protocole pour calculer le point Weber d'une grande classe de configurations qui ont une symétrie rotationnelle. Se basant sur cette cette primitive, nous présentons un algorithme qui résout le problème du rassemblement en présence de n'importe quel nombre de pannes franches. Ensuite, nous abordons le problème de convergence quand les robots peuvent subir des pannes byzantines qui sont plus difficiles à manipuler que les pannes franches. Nous fournissons plusieurs bornes optimales qui relient le degré de synchronie du système à sa résilience. Enfin, nous étudions les robots qui sont dotées de mémoire et nous montrons que ce modèle est plus fort que le modèle de passage de

Soutenance : 21/06/2013

Membres du jury :

Michel Raynal, Professeur à l'université de Rennes 1 [rapporteur]
Jérémie Chalopin, Chargé de recherches au LIF, Marseilles.
Xavier Défago, Professeur associé au JAIST, Japan.
Ralf Klasing, Directeur de recherches au LABRI, Bordeaux.
Pierre Sens, Professeur à l'université de Paris 6.
Maria Potop-Butucaru, Professeur à l'université de Paris 6
Sébastien Tixeuil, Professeur à l'université de Paris 6
Xavier Urbain, Maitre de conférences au CNAM

Date de départ : 31/08/2013

Publications 2009-2013