1: \begin{abstract}

2: %purpose, methods, scope, conclusions

3: Geometric pattern formation is an important emergent behavior in many applications involving large-scale multi-agent systems, such as sensor

4: networks deployment and collective transportation.

5: Attraction/repulsion virtual forces are the most common control approach to achieve such behavior in a distributed and scalable manner.

6: Nevertheless, for most existing solutions only numerical and/or experimental evidence of their convergence is available.

7: Here, we revisit the problem of achieving pattern formation giving sufficient conditions to prove analytically that under the influence of appropriate virtual forces, a large-scale multi-agent swarming system locally converges towards a stable and robust triangular lattice configuration. 

8: %

9: %Specifically, we use

10: %{\color{Blue}perturbation analysis} 

11: %{\color{blue}LaSalle's invariance principle} and geometry-based arguments to derive sufficient conditions for a set of local control actions to guarantee the emergence and local asymptotic stability of the desired formation.

12: %

13: Specifically, the proof is carried out using LaSalle's invariance principle and geometry-based arguments.

14: %

15: Our theoretical results are complemented by exhaustive numerical simulations confirming their effectiveness and estimating the region of asymptotic stability of the triangular configuration.

16: %Moreover, we numerically validate the theoretical results and estimation the basin of attraction.

17: % The proof is carried out exploiting graph theory and LaSalle's theorem, while numerical analysis is used to validate the result and estimate the basin of attraction.

18: \end{abstract}

19: