Fast Biconnectivity Restoration in Multi-Robot Systems for Robust Communication Maintenance
Md Ishat-E-Rabban, Guangyao Shi, Pratap Tokekar
TL;DR
From a connected initial network $G(X_0)$ of $n$ robots, the paper addresses Fast Biconnectivity Restoration by restoring to a $2$-connected topology $G(X^*)$ while minimizing the maximum movement $\max_i \|x_i^* - x_i\|$. It couples an exact Quadratically Constrained Program (OPT) with practical two-phase approximations: Graph Topology Optimization (GTO) to select augmentation edges and Movement Minimization (MM) to realize them, via algorithms EA-SCR and EA-OPT, with a QCP MM alternative. The authors introduce a BC-Tree–based augmentation strategy (EA) using MBSA to guarantee a $2$-connected augmentation, and SCR for cascaded relocations to preserve existing edges while achieving the augmented topology. Empirical results show EA-SCR/EA-OPT outperform baseline methods in minmax distance and that OPT provides a higher-fidelity solution at the cost of scalability, demonstrated on synthetic datasets and a persistent monitoring case study. Collectively, the work advances robust, fast restoration of communication in multi-robot teams, balancing optimality, computational efficiency, and practical applicability.
Abstract
Maintaining a robust communication network plays an important role in the success of a multi-robot team jointly performing an optimization task. A key characteristic of a robust multi-robot system is the ability to repair the communication topology itself in the case of robot failure. In this paper, we focus on the Fast Biconnectivity Restoration (FBR) problem, which aims to repair a connected network to make it biconnected as fast as possible, where a biconnected network is a communication topology that cannot be disconnected by removing one node. We develop a Quadratically Constrained Program (QCP) formulation of the FBR problem, which provides a way to optimally solve the problem. We also propose an approximation algorithm for the FBR problem based on graph theory. By conducting empirical studies, we demonstrate that our proposed approximation algorithm performs close to the optimal while significantly outperforming the existing solutions.
