Distributed Diffeomorphic Coverage Control

• Distributed diffeomorphic coverage control is a method that transforms complex, nonconvex geometries into canonical domains using smooth conformal mappings.
• It partitions the transformed workspace into convex, collision-free sectors while dynamically balancing workloads with decentralized gradient control.
• The approach guarantees stability, rapid convergence, and topological robustness, as validated by simulations with near-perfect load balancing and obstacle avoidance.

A distributed diffeomorphic coverage control framework is a class of methodologies for deploying multi-agent systems (MASs) to achieve provably optimal and load-balanced coverage of highly non-convex, annular, or multi-holed domains through the use of global or distributed conformal mappings, sectorial partitions, pull-back Riemannian metrics, and decentralized gradient-based control. This approach rigorously transforms complex geometries into tractable canonical domains where decentralized algorithms can be formulated for scalable, collision-free, and locally computable coverage allocation, guaranteeing stability and robust convergence properties (Feng et al., 7 Feb 2025, Feng et al., 20 Jan 2026).

1. Diffeomorphic (Conformal) Mapping of the Workspace

The foundational principle of the framework is the construction of a (quasi-)conformal diffeomorphism between the original non-convex or poriferous workspace and a canonical domain—typically an annulus or a multi-holed disk. For a planar annulus-type domain $$D_\mathrm{nonconvex} = (\Omega \setminus O) \cup \partial O$$, a composite diffeomorphism $f := \varpi \circ \imath \circ \theta^*$ is constructed, with each stage $g$ being $C^\infty$ with $\det J_g > 0$, ensuring smoothness and invertibility. The mapping passes through:

• A rectangular conformal map ($\theta^*$) to $[0,L^*]\times[0,1]$,
• An exponential embedding ($\imath(z) = \exp(2\pi(z-L^*))$) to the annulus,
• A final quasi-conformal automorphism ($\varpi$) to minimize angle distortion.

For surfaces of genus $0$ with $f := \varpi \circ \imath \circ \theta^*$0 holes, the distributed poly-annulus conformal mapping $f := \varpi \circ \imath \circ \theta^*$1 is used, involving local disk- or annulus-type conformal maps, gluing via Möbius transformations and welding, global similarity transformations for interface alignment, geometric rectification, and solution to the Laplace-Dirichlet equation by a Beltrami solver. This produces a diffeomorphic image $f := \varpi \circ \imath \circ \theta^*$2 in which the coverage problem is reformulated (Feng et al., 7 Feb 2025, Feng et al., 20 Jan 2026).

2. Sectorial Partition and Workload Allocation

In the mapped (annular or poly-annular) domain $f := \varpi \circ \imath \circ \theta^*$3, the workspace is partitioned into $f := \varpi \circ \imath \circ \theta^*$4 sectorial subregions via $f := \varpi \circ \imath \circ \theta^*$5 "partition bars" parameterized by angles $f := \varpi \circ \imath \circ \theta^*$6 or $f := \varpi \circ \imath \circ \theta^*$7 ($f := \varpi \circ \imath \circ \theta^*$8), which define regions $f := \varpi \circ \imath \circ \theta^*$9 or $g$0 between successive bars. This partition is constructed such that:

• Each subregion is convex with respect to the Riemannian metric induced via pull-back, ensuring a unique minimal geodesic between points within each $g$1,
• The preimage of each partition under $g$2 or $g$3 divides the original domain into connected, non-overlapping, collision-free subregions (Feng et al., 7 Feb 2025, Feng et al., 20 Jan 2026).

On multi-holed domains, strictly collision-free partition bars are achieved by the buffer-based sequence mechanism, which imposes ordered detours around obstacles (holes) with strictly increasing buffer distances $g$4 for bar $g$5 and obstacle $g$6, guaranteeing that $g$7 and $g$8 for $g$9. The workload perturbation from these geometric detours can be made arbitrarily small with $C^\infty$0 (Feng et al., 20 Jan 2026).

3. Global Coverage Cost and Decentralized Control Law

A global cost functional is defined to quantify the quality of coverage and agent deployment. In the mapped domain, with (possibly non-uniform) density $C^\infty$1, the cost is: $C^\infty$2 where $C^\infty$3 is the distance under the pull-back Riemannian metric $C^\infty$4. Workload per sector is $C^\infty$5. To dynamically achieve equitable workload, the partition bars evolve via

$C^\infty$6

which is the Laplacian flow on a ring graph and yields exponential convergence to balanced workloads (Feng et al., 7 Feb 2025, Feng et al., 20 Jan 2026).

Agents apply a distributed gradient-descent control law in the Riemannian metric: $C^\infty$7 Each agent requires only knowledge of its local subregion and adjacent bar positions for computation; no global state is necessary, making the scheme fully distributed.

Obstacle and inter-agent avoidance are encoded in the pull-back metric. For poriferous domains, an obstacle-weighted metric

$C^\infty$8

with additional dynamic weights for agent-agent separation enforces geodesic completion, barrier separation, and strictly positive definiteness on the feasible set (Feng et al., 20 Jan 2026).

4. Collision-Free Guarantees and Topological Robustness

The geometric and topological construction ensures partition bars and agent flow remain strictly collision-free for all time. The buffer-based partition bars with buffer sequence factor $C^\infty$9 enforce a minimal clearance, preventing intersection of bars and obstacles and preserving sector order throughout the evolution. The workload error induced by geometric detours is bounded by $\det J_g > 0$0 and can be suppressed arbitrarily by decreasing $\det J_g > 0$1 (Feng et al., 20 Jan 2026). The topological universality result confirms that any compact genus-0, $\det J_g > 0$2-holed surface supports such a partition and associated coverage dynamics via existence of $\det J_g > 0$3 independent harmonic one-forms, guaranteeing applicability across a wide class of nonconvex domains.

5. Theoretical Properties: Stability, Convergence, and Quasi-Optimality

The framework guarantees strong analytical properties:

• Existence and reachability: Compactness and continuity of $\det J_g > 0$4 ensure the existence of a global minimizer for the agent positions and partition configuration.
• Workload-balancing and Input-to-State Stability (ISS): The partition dynamics are exponentially (ISS-)stable with respect to bounded disturbances from detours, with workload imbalance $\det J_g > 0$5 converging exponentially up to a small offset determined by $\det J_g > 0$6.
• Agent convergence: Agents asymptotically approach the Riemannian centroids of their subregions; local exponential stability is enforced by positive-definite Riemannian Hessians at equilibrium.
• Quasi-optimality of time-discrete implementation: Discretization introduces three error sources (time step, angular quantization, geometric detour). The global cost error is bounded as $\det J_g > 0$7, with controllable terms vanishing as their respective parameters are refined (Feng et al., 7 Feb 2025, Feng et al., 20 Jan 2026).

6. Algorithmic Implementation and Distributed Coordination

Implementation proceeds by:

1. Computing the (distributed) conformal diffeomorphism and its inverse to generate the mesh in $\det J_g > 0$8.
2. Initializing bar and agent positions, then, for each quantized bar configuration, simulating coupled bar and agent updates over a time window.
3. Recording local costs and workloads, communicating among neighbors to select the configuration with minimal cost.
4. Pulling back the optimal configuration to the original space, after which agents continue to apply their control law until convergence.

The algorithm requires only local neighbor-wise communication of bar angles and local costs; all other computations (workload, position updates) are fully decentralized (Feng et al., 7 Feb 2025, Feng et al., 20 Jan 2026).

7. Performance Characterization and Empirical Validation

Extensive simulations in both nonconvex annular domains and genus-0, $\det J_g > 0$9-holed (poriferous) surfaces confirm:

• Achieving near-perfect workload balance with workload RMSE as low as $\theta^*$0 and imbalance $\theta^*$1 for $\theta^*$2 agents and $\theta^*$3 holes.
• Rapid convergence (within $\theta^*$4 iterations or $\theta^*$5 seconds) under nominal operation; rapid re-partition under agent loss.
• Robust geometric obstacle avoidance and preservation of strictly connected subregions throughout simulation.
• Superior performance relative to Voronoi and control-barrier-function-based baselines in nonconvex and obstacle-rich domains, particularly in maintaining connectivity and reachability of centroids (Feng et al., 7 Feb 2025, Feng et al., 20 Jan 2026).

In summary, the distributed diffeomorphic coverage control framework synthesizes conformal geometry, decentralized sectorial partitioning, and gradient-based Riemannian control to provide provably convergent, load-balanced, and collision-avoiding MAS coverage strategies for complex planar and surface domains. The architecture is topologically universal for genus-0, $\theta^*$6-holed workspaces, robust to agent failure, and supports explicit error quantification for practical deployments (Feng et al., 7 Feb 2025, Feng et al., 20 Jan 2026).