Resilient Active Target Tracking with Multiple Robots

TL;DR

This paper introduces a scalable, resilient multi-robot target tracking algorithm that guarantees near-optimal performance even under multiple robot failures or attacks, addressing a key challenge in practical deployments.

Contribution

The paper presents the first scalable approximation algorithm for resilient multi-target tracking that is valid for any number of failures and provides provable performance bounds.

Findings

Algorithm achieves maximal resiliency against failures.

Runs in the same time as non-resilient algorithms.

Demonstrated effectiveness through simulations and sensitivity analysis.

Abstract

The problem of target tracking with multiple robots consists of actively planning the motion of the robots to track the targets. A major challenge for practical deployments is to make the robots resilient to failures. In particular, robots may be attacked in adversarial scenarios, or their sensors may fail or get occluded. In this paper, we introduce planning algorithms for multi-target tracking that are resilient to such failures. In general, resilient target tracking is computationally hard. Contrary to the case where there are no failures, no scalable approximation algorithms are known for resilient target tracking when the targets are indistinguishable, or unknown in number, or with unknown motion model. In this paper we provide the first such algorithm, that also has the following properties: First, it achieves maximal resiliency, since the algorithm is valid for any number of failures. Second, it is scalable, as our algorithm terminates with the same running time as state-of-the-art algorithms for (non-resilient) target tracking. Third, it provides provable approximation bounds on the tracking performance, since our algorithm guarantees a solution that is guaranteed to be close to the optimal. We quantify our algorithm's approximation performance using a novel notion of curvature for monotone set functions subject to matroid constraints. Finally, we demonstrate the efficacy of our algorithm through MATLAB and Gazebo simulations, and a sensitivity analysis; we focus on scenarios that involve a known number of distinguishable targets.