Multi-Robot Collision Avoidance under Uncertainty with Probabilistic Safety Barrier Certificates
arXiv:1912.09957
Abstract
Safety in terms of collision avoidance for multi-robot systems is a difficult challenge under uncertainty, non-determinism and lack of complete information. This paper aims to propose a collision avoidance method that accounts for both measurement uncertainty and motion uncertainty. In particular, we propose Probabilistic Safety Barrier Certificates (PrSBC) using Control Barrier Functions to define the space of admissible control actions that are probabilistically safe with formally provable theoretical guarantee. By formulating the chance constrained safety set into deterministic control constraints with PrSBC, the method entails minimally modifying an existing controller to determine an alternative safe controller via quadratic programming constrained to PrSBC constraints. The key advantage of the approach is that no assumptions about the form of uncertainty are required other than finite support, also enabling worst-case guarantees. We demonstrate effectiveness of the approach through experiments on realistic simulation environments.
arXiv commentNeurIPS 2020
References in corpus (1)
Cited by in corpus (10)
- Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function
- Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions
- Safe Learning-based Gradient-free Model Predictive Control Based on Cross-entropy Method
- Decentralized Control of Quadrotor Swarms with End-to-end Deep Reinforcement Learning
- Adversarial Attacks on Optimization based Planners
- Identification and Avoidance of Static and Dynamic Obstacles on Point Cloud for UAVs Navigation
- Risk-Sensitive Sequential Action Control with Multi-Modal Human Trajectory Forecasting for Safe Crowd-Robot Interaction
- Online Connectivity-aware Dynamic Deployment for Heterogeneous Multi-Robot Systems
- DeCOM: Decomposed Policy for Constrained Cooperative Multi-Agent Reinforcement Learning
- Fast Collision Probability Estimation Based on Finite-Dimensional Monte Carlo Method