Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach
Not on the map. Why?
Abstract (arXiv)
This paper studies the design of controllers that guarantee stability and safety of nonlinear control affine systems with parametric uncertainty in both the drift and control vector fields. To this end, we introduce novel classes of robust control barrier functions (RCBF) and robust control Lyapunov functions (RCLF) that facilitate the synthesis of safety-critical controllers in the presence of parametric uncertainty using quadratic programming. Since the initial bounds on the system uncertainty may be highly conservative, we present a data-driven approach to reducing such bounds using input-output data collected online. In particular, we leverage an integral set-membership identification algorithm that iteratively shrinks the set of possible system parameters online and guarantees stability and safety during learning. The efficacy of the developed approach is illustrated on two numerical examples.
Key facts. Cited by 6 papers in the map (data through 14 Oct 2026). First posted on arXiv 11 Aug 2022.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2024: 3; 2025: 1; 2026: 2.
6 papers.
- 2024Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddingscited by 9
- 2024Learning Control Barrier Functions and their application in Reinforcement Learning: A Surveycited by 8
- 2026Synthesis and Deployment of Maximal Robust Control Barrier Functions through Adversarial Reinforcement Learningcited by 5
- 2024Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verificationcited by 3
- 2025BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systemscited by 0
- 2026Kernel-Based Learning of Safety Barrierscited by 0
- 2026Synthesis and Deployment of Maximal Robust Control Barrier Functions through Adversarial Reinforcement Learning14 Apr 2026
- 2026Kernel-Based Learning of Safety Barriers17 Jan 2026
- 2025BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems12 Nov 2025
- 2024Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification15 Jul 2024
- 2024Learning Control Barrier Functions and their application in Reinforcement Learning: A Survey22 Apr 2024
- 2024Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings15 Mar 2024