Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau

Les tâches susceptibles d'etre executees par des robots mobiles sont de plus en plus nombreuses et en complexite croissante. Jusqu'` a present , les reseaux de robots ont ete etudies de maniere empirique et la plupart des resultats ont ete valides principalement manuellement, par des simulations ou des preuves partielles ou l'optimalite est rarement prise en compte. Nous proposons une methode basee sur les jeux d'accessibilite qui permet de generer automatiquement des algorithmes distribues optimaux pour des reseaux de robots autonomes. Cette methode est testee sur le probleme de rassemblement de ces robots sur un point d'un anneau (precis et non connu initialement).