Safe Multi-Agent Interaction through Robust Control Barrier Functions with Learned Uncertainties
arXiv:2004.05273
Abstract
Robots operating in real world settings must navigate and maintain safety while interacting with many heterogeneous agents and obstacles. Multi-Agent Control Barrier Functions (CBF) have emerged as a computationally efficient tool to guarantee safety in multi-agent environments, but they assume perfect knowledge of both the robot dynamics and other agents' dynamics. While knowledge of the robot's dynamics might be reasonably well known, the heterogeneity of agents in real-world environments means there will always be considerable uncertainty in our prediction of other agents' dynamics. This work aims to learn high-confidence bounds for these dynamic uncertainties using Matrix-Variate Gaussian Process models, and incorporates them into a robust multi-agent CBF framework. We transform the resulting min-max robust CBF into a quadratic program, which can be efficiently solved in real time. We verify via simulation results that the nominal multi-agent CBF is often violated during agent interactions, whereas our robust formulation maintains safety with a much higher probability and adapts to learned uncertainties
References in corpus (6)
- Safe Model-based Reinforcement Learning with Stability Guarantees
- Safety Barrier Certificates for Heterogeneous Multi-Robot Systems
- Bayesian Learning-Based Adaptive Control for Safety Critical Systems
- Structured and Efficient Variational Deep Learning with Matrix Gaussian Posteriors
- MAMPS: Safe Multi-Agent Reinforcement Learning via Model Predictive Shielding
- Uniform Error Bounds for Gaussian Process Regression with Application to Safe Control
Cited by in corpus (7)
- Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
- ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
- Learning-based attacks in Cyber-Physical Systems: Exploration, Detection, and Control Cost trade-offs
- Provably Correct Training of Neural Network Controllers Using Reachability Analysis
- Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty
- Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
- Safe Learning of Uncertain Environments