Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
Not on the map. Why?
Abstract (arXiv)
Safety and stability are common requirements for robotic control systems; however, designing safe, stable controllers remains difficult for nonlinear and uncertain models. We develop a model-based learning approach to synthesize robust feedback controllers with safety and stability guarantees. We take inspiration from robust convex optimization and Lyapunov theory to define robust control Lyapunov barrier functions that generalize despite model uncertainty. We demonstrate our approach in simulation on problems including car trajectory tracking, nonlinear control with obstacle avoidance, satellite rendezvous with safety constraints, and flight control with a learned ground effect model. Simulation results show that our approach yields controllers that match or exceed the capabilities of robust MPC while reducing computational costs by an order of magnitude.
Key facts. Cited by 91 papers in the map (data through 7 Oct 2026). First posted on arXiv 14 Sep 2021.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 2; 2022: 14; 2023: 23; 2024: 26; 2025: 19; 2026: 7.
91 papers.
Sort:
By area:
- 2023The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systemscited by 77
- 2022Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environmentscited by 54
- 2022Reachability Constrained Reinforcement Learningcited by 52
- 2022Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guaranteescited by 39
- 2023Empowering Autonomous Driving with Large Language Models: A Safety Perspectivecited by 34
- 2023Physics-Informed Machine Learning for Modeling and Control of Dynamical Systemscited by 28
- 2022Safe Control Under Input Limits with Neural Control Barrier Functionscited by 27
- 2024Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulationcited by 23
- 2022Safety Certification for Stochastic Systems via Neural Barrier Functionscited by 22
- 2023A Survey on Physics Informed Reinforcement Learning: Review and Open Problemscited by 22
- 2025Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attackscited by 20
- 2021Learning Robust Output Control Barrier Functions from Safe Expert Demonstrationscited by 19
38 more
- 2021Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximationcited by 16
- 2022Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificatecited by 16
- 2023AutoCost: Evolving Intrinsic Cost for Zero-violation Reinforcement Learningcited by 16
- 2023In-Distribution Barrier Functions: Self-Supervised Policy Filters that Avoid Out-of-Distribution Statescited by 15
- 2024Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificatescited by 15
- 2023Exact Verification of ReLU Neural Control Barrier Functionscited by 14
- 2024Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagationcited by 12
- 2025A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systemscited by 12
- 2022Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specificationscited by 11
- 2022Joint Differentiable Optimization and Verification for Certified Reinforcement Learningcited by 11
- 2023Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approachcited by 11
- 2022Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrationscited by 10
- 2023Online Control Barrier Functions for Decentralized Multi-Agent Navigationcited by 10
- 2023Reinforcement Learning for Safe Robot Control using Control Lyapunov Barrier Functionscited by 9
- 2023State-Wise Safe Reinforcement Learning With Pixel Observationscited by 9
- 2022Learning Differentiable Safety-Critical Control using Control Barrier Functions for Generalization to Novel Environmentscited by 8
- 2022Differentiable Safe Controller Design through Control Barrier Functionscited by 8
- 2022Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigationcited by 8
- 2023Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidancecited by 8
- 2023Task-Oriented Koopman-Based Control with Contrastive Encodercited by 8
- 2024Provably Safe Neural Network Controllers via Differential Dynamic Logiccited by 7
- 2024Human-AI Safety: A Descendant of Generative AI and Control Systems Safetycited by 7
- 2024Verified Safe Reinforcement Learning for Neural Network Dynamic Modelscited by 7
- 2025Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Controlcited by 7
- 2026Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPUcited by 7
- 2024Adversarially Robust Out-of-Distribution Detection Using Lyapunov-Stabilized Embeddingscited by 6
- 2024Neural Model Checkingcited by 6
- 2025Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansioncited by 6
- 2023Learning Control-Oriented Dynamical Structure from Datacited by 5
- 2024MAGICS: Adversarial RL with Minimax Actors Guided by Implicit Critic Stackelberg for Convergent Neural Synthesis of Robot Safetycited by 5
- 2024RAIL: Reachability-Aided Imitation Learning for Safe Policy Executioncited by 5
- 2025V-OCBF: Learning Safety Filters from Offline Data via Value-Guided Offline Control Barrier Functionscited by 5
- 2024Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuationcited by 4
- 2024Safe and Reliable Training of Learning-Based Aerospace Controllerscited by 4
- 2024Neural Continuous-Time Supermartingale Certificatescited by 4
- 2025CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functionscited by 4
- 2025Learning Conservative Neural Control Barrier Functions from Offline Datacited by 4
- 2022Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Modelscited by 3
50 most cited of 91 All 91 (JSON)
- 2026ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints29 Jun 2026
- 2026Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial26 May 2026
- 2026Learned Lyapunov Shielding for Adaptive Control7 May 2026
- 2026Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU8 Apr 2026
- 2026Reinforcement Learning for Control with Probabilistic Stability Guarantee: A Finite-Sample Approach9 Feb 2026
- 2026Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates5 Feb 2026
- 2026Conformal Reachability for Safe Control in Unknown Environments3 Feb 2026
- 2025V-OCBF: Learning Safety Filters from Offline Data via Value-Guided Offline Control Barrier Functions11 Dec 2025
- 2025From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails15 Oct 2025
- 2025Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization24 Sep 2025
- 2025A Fast Initialization Method for Neural Network Controllers: A Case Study of Image-based Visual Servoing Control for the multicopter Interception23 Sep 2025
- 2025Formal Verification of Neural Certificates Done Dynamically16 Jul 2025
38 more
- 2025Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion2 Jun 2025
- 2025Enhancing AI System Resiliency: Formulation and Guarantee for LSTM Resilience Based on Control Theory23 May 2025
- 2025Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions16 May 2025
- 2025Learning Conservative Neural Control Barrier Functions from Offline Data1 May 2025
- 2025Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks3 Apr 2025
- 2025Safe Human Robot Navigation in Warehouse Scenario27 Mar 2025
- 2025Neural Lyapunov Function Approximation with Self-Supervised Reinforcement Learning19 Mar 2025
- 2025CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions18 Mar 2025
- 2025Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees28 Feb 2025
- 2025Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks28 Feb 2025
- 2025Estimating Control Barriers from Offline Data21 Feb 2025
- 2025A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems16 Feb 2025
- 2025Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control5 Feb 2025
- 2025From Uncertain to Safe: Conformal Adaptation of Diffusion Models for Safe PDE Control4 Feb 2025
- 2024Neural Continuous-Time Supermartingale Certificates23 Dec 2024
- 2024Neural Control and Certificate Repair via Runtime Monitoring17 Dec 2024
- 2024Learning Ensembles of Vision-based Safety Control Filters2 Dec 2024
- 2024Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control27 Nov 2024
- 2024Safe PDE Boundary Control with Neural Operators23 Nov 2024
- 2024Dynamic Tube MPC: Learning Tube Dynamics with Massively Parallel Simulation for Robust Safety in Practice22 Nov 2024
- 2024Neural Model Checking31 Oct 2024
- 2024Domain Adaptive Safety Filters via Deep Operator Learning18 Oct 2024
- 2024Adversarially Robust Out-of-Distribution Detection Using Lyapunov-Stabilized Embeddings14 Oct 2024
- 2024Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation4 Oct 2024
- 2024Deep Reinforcement Learning for Reach-Avoid-Stay Problems3 Oct 2024
- 2024RAIL: Reachability-Aided Imitation Learning for Safe Policy Execution28 Sep 2024
- 2024MAGICS: Adversarial RL with Minimax Actors Guided by Implicit Critic Stackelberg for Convergent Neural Synthesis of Robot Safety20 Sep 2024
- 2024Handling Long-Term Safety and Uncertainty in Safe Reinforcement Learning18 Sep 2024
- 2024(Un)supervised Learning of Maximal Lyapunov Functions30 Aug 2024
- 2024Safe and Reliable Training of Learning-Based Aerospace Controllers9 Jul 2024
- 2024Verified Safe Reinforcement Learning for Neural Network Dynamic Models25 May 2024
- 2024Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates22 May 2024
- 2024Human-AI Safety: A Descendant of Generative AI and Control Systems Safety16 May 2024
- 2024Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation11 Apr 2024
- 2024Distributionally Robust Policy and Lyapunov-Certificate Learning3 Apr 2024
- 2024Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks28 Feb 2024
- 2024Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments26 Feb 2024
- 2024Provably Safe Neural Network Controllers via Differential Dynamic Logic16 Feb 2024
50 newest of 91 All 91 (JSON)
- 2022Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrationscited by 10
- 2024RAIL: Reachability-Aided Imitation Learning for Safe Policy Executioncited by 5
- 2025V-OCBF: Learning Safety Filters from Offline Data via Value-Guided Offline Control Barrier Functionscited by 5
- 2025Learning Conservative Neural Control Barrier Functions from Offline Datacited by 4
- 2025V-OCBF: Learning Safety Filters from Offline Data via Value-Guided Offline Control Barrier Functions11 Dec 2025
- 2025Learning Conservative Neural Control Barrier Functions from Offline Data1 May 2025
- 2024RAIL: Reachability-Aided Imitation Learning for Safe Policy Execution28 Sep 2024
- 2022Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations9 Jun 2022
- 2023The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systemscited by 77
- 2022Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environmentscited by 54
- 2022Reachability Constrained Reinforcement Learningcited by 52
- 2022Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guaranteescited by 39
- 2023Physics-Informed Machine Learning for Modeling and Control of Dynamical Systemscited by 28
- 2022Safe Control Under Input Limits with Neural Control Barrier Functionscited by 27
- 2024Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulationcited by 23
- 2022Safety Certification for Stochastic Systems via Neural Barrier Functionscited by 22
- 2023A Survey on Physics Informed Reinforcement Learning: Review and Open Problemscited by 22
- 2021Learning Robust Output Control Barrier Functions from Safe Expert Demonstrationscited by 19
- 2021Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximationcited by 16
- 2022Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificatecited by 16
12 most cited of 83 All 83 (JSON)
- 2026ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints29 Jun 2026
- 2026Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial26 May 2026
- 2026Learned Lyapunov Shielding for Adaptive Control7 May 2026
- 2026Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU8 Apr 2026
- 2026Reinforcement Learning for Control with Probabilistic Stability Guarantee: A Finite-Sample Approach9 Feb 2026
- 2026Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates5 Feb 2026
- 2026Conformal Reachability for Safe Control in Unknown Environments3 Feb 2026
- 2025Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization24 Sep 2025
- 2025A Fast Initialization Method for Neural Network Controllers: A Case Study of Image-based Visual Servoing Control for the multicopter Interception23 Sep 2025
- 2025Formal Verification of Neural Certificates Done Dynamically16 Jul 2025
- 2025Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion2 Jun 2025
- 2025Enhancing AI System Resiliency: Formulation and Guarantee for LSTM Resilience Based on Control Theory23 May 2025
12 newest of 83 All 83 (JSON)