Table of Contents
Fetching ...

Communication- and Computation-Efficient Distributed Submodular Optimization in Robot Mesh Networks

Zirui Xu, Sandilya Sai Garimella, Vasileios Tzoumas

TL;DR

This work tackles scalable, near-optimal distributed submodular optimization in robot mesh networks under realistic communication constraints. It introduces Resource-Aware distributed Greedy (RAG), which limits coordination to neighbor information and achieves $O(|\mathcal{N}|)$ decision-time scaling, a major improvement over cubically scaling baselines. The authors provide a priori and a posteriori guarantees that connect neighborhood topology and decentralization metrics (coin_f,i and $\kappa_f$) to performance, with bounds that tighten as networks become more centralized. They extend AirSim to simulate realistic r2r delays and demonstrate real-time planning with up to 45 robots and up to 3 orders of magnitude speedups while achieving superior mean road-coverage, validating both theory and practical impact. The work includes an open-source AirSim-based simulator and establishes a general framework for resource-aware distributed optimization applicable across robotics, control, and ML tasks.

Abstract

We provide a communication- and computation-efficient method for distributed submodular optimization in robot mesh networks. Submodularity is a property of diminishing returns that arises in active information gathering such as mapping, surveillance, and target tracking. Our method, Resource-Aware distributed Greedy (RAG), introduces a new distributed optimization paradigm that enables scalable and near-optimal action coordination. To this end, RAG requires each robot to make decisions based only on information received from and about their neighbors. In contrast, the current paradigms allow the relay of information about all robots across the network. As a result, RAG's decision-time scales linearly with the network size, while state-of-the-art near-optimal submodular optimization algorithms scale cubically. We also characterize how the designed mesh-network topology affects RAG's approximation performance. Our analysis implies that sparser networks favor scalability without proportionally compromising approximation performance: while RAG's decision time scales linearly with network size, the gain in approximation performance scales sublinearly. We demonstrate RAG's performance in simulated scenarios of area detection with up to 45 robots, simulating realistic robot-to-robot (r2r) communication speeds such as the 0.25 Mbps speed of the Digi XBee 3 Zigbee 3.0. In the simulations, RAG enables real-time planning, up to three orders of magnitude faster than competitive near-optimal algorithms, while also achieving superior mean coverage performance. To enable the simulations, we extend the high-fidelity and photo-realistic simulator AirSim by integrating a scalable collaborative autonomy pipeline to tens of robots and simulating r2r communication delays. Our code is available at https://github.com/UM-iRaL/Resource-Aware-Coordination-AirSim.

Communication- and Computation-Efficient Distributed Submodular Optimization in Robot Mesh Networks

TL;DR

This work tackles scalable, near-optimal distributed submodular optimization in robot mesh networks under realistic communication constraints. It introduces Resource-Aware distributed Greedy (RAG), which limits coordination to neighbor information and achieves decision-time scaling, a major improvement over cubically scaling baselines. The authors provide a priori and a posteriori guarantees that connect neighborhood topology and decentralization metrics (coin_f,i and ) to performance, with bounds that tighten as networks become more centralized. They extend AirSim to simulate realistic r2r delays and demonstrate real-time planning with up to 45 robots and up to 3 orders of magnitude speedups while achieving superior mean road-coverage, validating both theory and practical impact. The work includes an open-source AirSim-based simulator and establishes a general framework for resource-aware distributed optimization applicable across robotics, control, and ML tasks.

Abstract

We provide a communication- and computation-efficient method for distributed submodular optimization in robot mesh networks. Submodularity is a property of diminishing returns that arises in active information gathering such as mapping, surveillance, and target tracking. Our method, Resource-Aware distributed Greedy (RAG), introduces a new distributed optimization paradigm that enables scalable and near-optimal action coordination. To this end, RAG requires each robot to make decisions based only on information received from and about their neighbors. In contrast, the current paradigms allow the relay of information about all robots across the network. As a result, RAG's decision-time scales linearly with the network size, while state-of-the-art near-optimal submodular optimization algorithms scale cubically. We also characterize how the designed mesh-network topology affects RAG's approximation performance. Our analysis implies that sparser networks favor scalability without proportionally compromising approximation performance: while RAG's decision time scales linearly with network size, the gain in approximation performance scales sublinearly. We demonstrate RAG's performance in simulated scenarios of area detection with up to 45 robots, simulating realistic robot-to-robot (r2r) communication speeds such as the 0.25 Mbps speed of the Digi XBee 3 Zigbee 3.0. In the simulations, RAG enables real-time planning, up to three orders of magnitude faster than competitive near-optimal algorithms, while also achieving superior mean coverage performance. To enable the simulations, we extend the high-fidelity and photo-realistic simulator AirSim by integrating a scalable collaborative autonomy pipeline to tens of robots and simulating r2r communication delays. Our code is available at https://github.com/UM-iRaL/Resource-Aware-Coordination-AirSim.
Paper Structure (34 sections, 9 theorems, 31 equations, 18 figures, 1 table, 1 algorithm)

This paper contains 34 sections, 9 theorems, 31 equations, 18 figures, 1 table, 1 algorithm.

Key Result

Proposition 1

For any $i\in{\cal N}$, ${\smaller \sf coin}\xspace_{f,i}({\cal N}_i)$ is non-increasing in ${\cal N}_i$. Its least and maximum values, attained for ${\cal N}_i={\cal N}\setminus\{i\}$ and ${\cal N}_i=\emptyset$, respectively, are as follows:

Figures (18)

  • Figure 2: Pipeline of Collaborative Mobile Autonomy. The robots sequentially perform over a mesh network: (a) Network Self-Configuration Step: Given the observed environment and state of the robots, the robots decide with which other robots to communicate with, subject to their onboard bandwidth constraints; and (b) Action Coordination Step: The robots jointly plan actions ---how to move and sense the environment--- upon coordinating over the established communication network. (c) Action Execution Step: The robots execute their selected actions and perceive the environment. In this paper, our focus is on Action Coordination over tasks that take the form of submodular optimization. We present a communication- and computation-efficient distributed algorithm that scales linearly with the network size, in contrast to the cubic time complexity of the competitive near-optimal algorithms. Along with our algorithmic contribution, we provide a rigorous analysis of how each agent's communication neighborhood affects the near-optimality of the optimization. The analysis implies that establishing sparser neighborhoods favors scalability without proportionally compromising approximation performance.
  • Figure 3: Simulator pipeline. We provide a high-fidelity simulator that extends AirSim shah2018airsim to the multi-robot setting by integrating the autonomy pipeline of Fig. \ref{['fig:pipeline']} and simulating r2r communication delays among other communication constraints. The illustrated pipeline is customized for the action coordination algorithm provided herein. The pipeline can be modified to other algorithms as desired.
  • Figure 5: Multi-Robot Network for Area Coverage. (a) A scenario with $5$ robots, their communication network, and a limited square area that the robots are tasked to cover; (b) Illustration of robot $1$'s non-neighbors ${\cal N}_1^c$, ${\smaller \sf coin}\xspace_{f,1}({\cal N}_1)$, and worst-case ${\smaller \sf coin}\xspace_{f,1}$${\smaller \sf coin}\xspace_{f,1}({\cal N}_1)$; (c) Computable upper bound of ${\smaller \sf coin}\xspace_{f,i}$ as a function of robot $i$'s communication range per the analysis in \ref{['ex:coin-bound']}.
  • Figure 7: Comparative Analysis of Coverage Performance with 15 robots for $100$ Mbps data rate. The reported times include ROS1 delays of up to 0.18 sec per action coordination step. Particularly, in Figs. \ref{['fig:combined-coverage-analysis-15robots-100Mbps']}--\ref{['fig:combined-coverage-analysis-45robots-0p25Mbps']}, all coverage data are normalized by the mean results of the corresponding RAG-7nn instances, and the shared area and cross-hairs represent 1 standard deviation for y-axis in (a) and both axes in (b).
  • Figure 8: Comparative Analysis of Coverage Performance with 15 robots for $0.25$ Mbps data rate. The reported times include ROS1 delays of up to 0.81 sec per action coordination step.
  • ...and 13 more figures

Theorems & Definitions (23)

  • Definition 1: Normalized and Non-Decreasing Submodular Set Function fisher1978analysis
  • Definition 2: 2nd-order Submodular Set Function crama1989characterizationfoldes2005submodularity
  • Remark 1: Generality
  • Remark 2: Directed, Possibly Disconnected Communication Topology
  • Definition 3: Curvature conforti1984submodular
  • Definition 4: Centralization of Information
  • Remark 3: Relation to Curvature conforti1984submodular
  • Remark 4: Relation to Pairwise Redundancy corah2018distributed
  • Proposition 1: Monotonicity
  • Example 1: Computable Upper Bound: Example of Area Coverage
  • ...and 13 more