1: \begin{abstract}

2:   The topology of a robotic swarm affects the convergence speed of

3:   consensus and the mobility of the robots.

4:   % In particular, the maximum extent

5:   % of a swarm is given by a line topology, and consensus is achieved in minimum

6:   % time with a star topology.

7:   In this paper, we prove the existence of a complete set of local topology

8:   manipulation operations that allow the transformation of a swarm topology. The

9:   set is complete in the sense that any other possible set of manipulation

10:   operations can be performed by a sequence of operations from our set. The

11:   operations are local as they depend only on the first and second hop

12:   neighbors' information to transform any initial spanning tree of the network's

13:   graph to any other connected tree with the same number of nodes. The

14:   flexibility provided by our method is similar to global methods that require

15:   full knowledge of the swarm network. We prove the existence of a sequence of

16:   transformations for any tree-to-tree transformation, and derive sequences of

17:   operations to form a line or star from any initial spanning tree. Our work

18:   provides a theoretical and practical framework for topological control of a

19:   swarm, establishing global properties using only local information.

20:         

21:         % \keywords{ Topology Manipulation, Swarm Robotics, Connectivity Maintenance, Consensus, Coverage Area }

22:         

23: \end{abstract}

24: