Formation de motifs contradictoires par des équipes de robots anonymes totalement désorientés
Un preprint publié sur arXiv le 22 septembre 2026 (arXiv:2609.23454v1) décrit un algorithme distribué destiné à deux groupes de robots mobiles autonomes, anonymes et sans mémoire (oblivious), déployés dans le plan euclidien et chargés de tâches contradictoires. Le premier groupe doit résoudre le problème du « gathering » : se rassembler en un point inconnu à l'avance. Le second doit réaliser la « circle formation » : occuper des positions distinctes sur le pourtour d'un cercle. Chaque robot connaît sa propre tâche mais ne peut distinguer les membres de son groupe de ceux de l'autre. Une étude antérieure, désignée « Conflict-1 », avait déjà résolu ce problème pour des robots asynchrones disposant d'un accord d'axe limité à la direction et d'une capacité de détection de multiplicité faible globale partagée par tous. Les auteurs suppriment ici toute hypothèse d'orientation commune, sans accord d'axe ni chiralité partagée, et démontrent la faisabilité d'un algorithme pour des robots totalement désorientés, fonctionnant en mode semi-synchrone avec des déplacements non rigides. Les exigences diffèrent selon le groupe : détection de multiplicité faible globale pour le groupe de rassemblement, mais seulement locale pour le groupe de formation circulaire.
Ce résultat intéresse la recherche en robotique en essaim et en calcul distribué plus que l'industrie au sens commercial : il montre qu'il est possible de coordonner simultanément deux comportements collectifs géométriquement incompatibles sans qu'aucun robot ne dispose de boussole, de repérage d'axe commun ni de moyen fiable d'identifier les membres de sa propre équipe. Pour les concepteurs de flottes de robots à bas coût, cela allège les exigences matérielles nécessaires à l'auto-organisation collective, en particulier l'absence de capteur d'orientation absolue. Le travail illustre surtout une démarche typique du calcul distribué en robotique : réduire les hypothèses au strict minimum pour cerner précisément la frontière entre ce qui reste calculable et ce qui ne l'est plus.
L'étude s'inscrit dans la lignée des modèles classiques de robotique distribuée, où des robots ponctuels opèrent par cycles « regarder, calculer, se déplacer » sans mémoire persistante ni communication directe. Le gathering et la circle formation sont des problèmes de référence étudiés séparément depuis plus de deux décennies ; leur résolution simultanée et contradictoire par deux groupes distincts, initiée par « Conflict-1 », est plus récente. Ce nouvel article ne décrit ni prototype physique ni déploiement réel : il s'agit d'une contribution théorique, publiée en preprint, qui établit une preuve de faisabilité algorithmique plutôt qu'une validation matérielle, sans calendrier de suite annoncé.
Dans nos dossiers




