Table of Contents
Fetching ...

Distributed Formation Shape Control of Identity-less Robot Swarms

Guibin Sun, Yang Xu, Kexin Liu, Jinhu Lü

TL;DR

This paper tackles identity-less distributed formation for homogeneous robot swarms, addressing the lack of unique identities by introducing a graphical, negotiable target formation and a fully distributed second-order controller. A gray-scale distance-transform converts a binary target into a usable gradient, while local interaction forces—shape-forming, shape-stabilizing, collision avoidance, and velocity alignment—achieve full shape coverage with no one-to-one robot-to-cell mapping. The approach supports maneuvering formations (translation, rotation, deformation) and demonstrates robustness to swarm size and robot failures through both simulations and real Crazyflies experiments. This work advances scalable, fault-tolerant swarm formation by reducing reliance on identities and centralized planning, with practical relevance to large-scale autonomous systems and multi-robot coordination.

Abstract

Different from most of the formation strategies where robots require unique labels to identify topological neighbors to satisfy the predefined shape constraints, we here study the problem of identity-less distributed shape formation in homogeneous swarms, which is rarely studied in the literature. The absence of identities creates a unique challenge: how to design appropriate target formations and local behaviors that are suitable for identity-less formation shape control. To address this challenge, we propose the following novel results. First, to avoid using unique identities, we propose a dynamic formation description method and solve the formation consensus of robots in a locally distributed manner. Second, to handle identity-less distributed formations, we propose a fully distributed control law for homogeneous swarms based on locally sensed information. While the existing methods are applicable to simple cases where the target formation is stationary, ours can tackle more general maneuvering formations such as translation, rotation, or even shape deformation. Both numerical simulation and flight experiment are presented to verify the effectiveness and robustness of our proposed formation strategy.

Distributed Formation Shape Control of Identity-less Robot Swarms

TL;DR

This paper tackles identity-less distributed formation for homogeneous robot swarms, addressing the lack of unique identities by introducing a graphical, negotiable target formation and a fully distributed second-order controller. A gray-scale distance-transform converts a binary target into a usable gradient, while local interaction forces—shape-forming, shape-stabilizing, collision avoidance, and velocity alignment—achieve full shape coverage with no one-to-one robot-to-cell mapping. The approach supports maneuvering formations (translation, rotation, deformation) and demonstrates robustness to swarm size and robot failures through both simulations and real Crazyflies experiments. This work advances scalable, fault-tolerant swarm formation by reducing reliance on identities and centralized planning, with practical relevance to large-scale autonomous systems and multi-robot coordination.

Abstract

Different from most of the formation strategies where robots require unique labels to identify topological neighbors to satisfy the predefined shape constraints, we here study the problem of identity-less distributed shape formation in homogeneous swarms, which is rarely studied in the literature. The absence of identities creates a unique challenge: how to design appropriate target formations and local behaviors that are suitable for identity-less formation shape control. To address this challenge, we propose the following novel results. First, to avoid using unique identities, we propose a dynamic formation description method and solve the formation consensus of robots in a locally distributed manner. Second, to handle identity-less distributed formations, we propose a fully distributed control law for homogeneous swarms based on locally sensed information. While the existing methods are applicable to simple cases where the target formation is stationary, ours can tackle more general maneuvering formations such as translation, rotation, or even shape deformation. Both numerical simulation and flight experiment are presented to verify the effectiveness and robustness of our proposed formation strategy.

Paper Structure

This paper contains 25 sections, 3 theorems, 19 equations, 5 figures, 1 algorithm.

Key Result

Lemma 1

Under Assumption Asm_connectedgraph, $\gamma_i>0$ for all $i \in \mathcal{V}$.

Figures (5)

  • Figure 1: An overview of the proposed control strategy. (a) Schematic example of formation shape control. (b) Graphical target formation shape specified by users. (c) Example to illustrate the formation negotiation process of robots. Each robot initially has different interpretations on the shape, and eventually reaches a consensus with the negotiation protocols. (d) Multiprocess implementation structure. Every robot corresponds to a unique running process. (e) Example to illustrate the formation control process of robots. Details of control command can be found in Section \ref{['Subsec_formcontrol']}.
  • Figure 2: An example to illustrate the gray-conversion process of \ref{['Equ_disttransform']}.
  • Figure 3: Simulation results. (a) Snapshots and trajectories of shape formation processes under different shapes. (b) Statistic results of 100 trials in (a). (c) Comparison results between our proposed strategy and the artificial-light-field (ALF) based method in Chu2023TASE. (d) Swarm trajectories of the maneuvering formation process. (e) Negotiation errors of the formation position and orientation with respect to the time-varying reference in (d).
  • Figure 4: Experiment results. (a) Experiment and implementation setup. (b) Snapshots of $7$ Crazyflies forming three different shapes in a sequence. (c) Position and velocity negotiation in (b). (d) Snapshots of shape formation against group-scale changes. Initially, 4 Crazyflies form the target shape. Then, as 2 Crazyflies are added to and removed from the swarm one by one, the target shape is still formed.
  • Figure 5: Velocity-scalar variations of 5 simulation examples in Fig. 3(a) in the main text. From top to bottom, the 5 diagrams correspond to cases 1 to 5, respectively.

Theorems & Definitions (9)

  • Lemma 1
  • proof
  • Theorem 1
  • proof
  • Theorem 2
  • proof
  • proof : Proof of Lemma \ref{['Thm_nonsigularity']}
  • proof : Proof of Theorem 1
  • proof : Proof of Theorem 2