Abstract:In this article, we develop an algorithm for resilient path planning, where a team of robots must navigate in a resilient formation such that they achieve $F$-resilience, meaning they can coordinate in the presence of up to $F$ adversaries. Resilient formations are those having high connectivity often achieved by driving robots close together. Unfortunately, the objective of maintaining resilience can often times conflict with achieving collision and obstacle avoidance. We seek to provide safe navigation while maintaining resilience by employing a local controller that uses control barrier functions (CBFs). CBF-based formulations are amenable to satisfying multiple objectives, but can be prone to deadlock if any of the objectives conflict with each other. Furthermore, it is difficult to know a priori where this may occur in a given environment. To this end, we 1) characterize when the environment will force a tradeoff between safe navigation and resilience, and 2) develop an algorithm that derives a new representation of the environment in which areas where resilience cannot be provably guaranteed are blocked off. This algorithm can be used to plan a path through an environment that always provably admits a resilient formation. If the algorithm cannot find such a path, an alternative CBF is proposed where resilience can be treated as a soft constraint. For this case, a nested form of the CBF is executed and a critical gain is derived that provably prioritizes navigation over resilience while resilience is not attainable. Finally, in addition to simulation results, we run hardware experiments with six GoPiGo differential-drive robots that achieve $F$-resilient consensus while navigating through a cluttered environment, to showcase the applicability of our methods in the presence of adversaries.

Resilience of Multi-robot Systems to Physical Masquerade Attacks

Resilient Consensus with Mobile Detectors Against Malicious Attacks

Intelligent Physical Attack Against Mobile Robots With Obstacle-Avoidance

Multi-Agent Path Planning Under Observation Schedule Constraints

Resilient and Adaptive Replanning for Multi-Robot Target Tracking with Sensing and Communication Danger Zones

Multirobot Adversarial Resilience Using Control Barrier Functions

Enhancing Security in Multi-Robot Systems through Co-Observation Planning, Reachability Analysis, and Network Flow

Multi-Robot Target Tracking with Sensing and Communication Danger Zones

Privacy-Preserving Adaptive Resilient Consensus for Multi-Agent Systems under Cyber Attacks

On the Resilience of Multi-Agent Systems with Malicious Agents

Attacks on Formation Control for Multiagent Systems

Multi-Robot Adversarial Patrolling: Facing a Full-Knowledge Opponent

Address Behaviour Vulnerabilities in the Next Generation of Autonomous Robots

Multi-Agent Trajectory Optimization Against Plan-Deviation Attacks Using Co-Observations and Reachability Constraints

Defense for Displacement Attacks on Distributed Formation Control Systems

Adaptive Resilient Formation for Multi-agent Systems Subject to Cyber Attacks

Distributed Control of Multi-Robot Systems in the Presence of Deception and Denial of Service Attacks

A Secure Dynamic Event-Triggered Mechanism for Resilient Control of Multi-Agent Systems Under Sensor and Actuator Attacks

CDA: Covert Deception Attacks in Multi-Agent Resource Scheduling

Multi-Robot Coordination and Planning in Uncertain and Adversarial Environments

Resilient Active Target Tracking with Multiple Robots