1: \begin{abstract}    

2: This paper presents a theoretical framework for the design and 

3: analysis of gradient descent-based algorithms for coverage control 

4: tasks involving robot swarms. We adopt a multiscale 

5: approach to analysis and design to ensure consistency of

6: the algorithms in the large-scale limit.

7: %

8: First, we represent the macroscopic configuration of the swarm 

9: as a probability measure and formulate the macroscopic coverage 

10: task as the minimization of a convex objective function over 

11: probability measures. We then construct a macroscopic 

12: dynamics for swarm coverage, which takes the form of a 

13: proximal descent scheme in the $L^2$-Wasserstein space.

14: Our analysis exploits the generalized geodesic convexity of 

15: the coverage objective function, proving convergence in the 

16: $L^2$-Wasserstein sense to the target probability measure.

17: We then obtain a consistent gradient descent algorithm in the 

18: Euclidean space that is implementable by a finite collection of 

19: agents, via a ``variational'' discretization of

20: the macroscopic coverage objective function.

21: We establish the convergence properties of the gradient descent 

22: and its behavior in the continuous-time and large-scale limits.

23: %

24: Furthermore, we establish a connection with well-known 

25: Lloyd-based algorithms, seen as a particular class of algorithms   

26: within our framework, and demonstrate our results

27: via numerical experiments.                       

28: \end{abstract}

29: