Cover Image

Recurrent Control Barrier Functions: A Path Towards Nonparametric Safety Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Jixian, Mallada, Enrique
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safety-Critical Control via Recurrent Tracking Functions
by: Liu, Jixian, et al.
Published: (2025)

Symplectic Inductive Bias for Data-Driven Target Reachability in Hamiltonian Systems
by: Ouyang, Zhuo, et al.
Published: (2026)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

Data-driven Practical Stabilization of Nonlinear Systems via Chain Policies: Sample Complexity and Incremental Learning
by: Siegelmann, Roy, et al.
Published: (2025)

Verification and Synthesis of Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

Control Barrier Functions for Shared Control and Vehicle Safety
by: Dallas, James, et al.
Published: (2025)

Designing Barrier Functions for Graceful Safety Control
by: Moon, Yejin, et al.
Published: (2026)

A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions
by: Clark, Andrew
Published: (2022)

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
by: Dai, Hongkai, et al.
Published: (2024)

Verification and Synthesis Methods for High-Order Control Barrier Functions
by: Pond, Ellie, et al.
Published: (2025)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
by: Liu, Shuo, et al.
Published: (2025)

Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes
by: Aali, Mohammad, et al.
Published: (2024)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
by: Wang, Yujie, et al.
Published: (2025)

Learning Control Barrier Functions with Deterministic Safety Guarantees
by: Strong, Amy K., et al.
Published: (2025)

Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control
by: Liu, Shuo, et al.
Published: (2025)

Passivity-Preserving Safety-Critical Control using Control Barrier Functions
by: Califano, Federico
Published: (2023)

Invertibility of Discrete-Time Linear Systems with Sparse Inputs
by: Poe, Kyle, et al.
Published: (2024)

Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
by: Shakhesi, Erfan, et al.
Published: (2024)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

Safety Under State Uncertainty: Robustifying Control Barrier Functions
by: Nanayakkara, Rahal, et al.
Published: (2025)

Rectified Control Barrier Functions for High-Order Safety Constraints
by: Ong, Pio, et al.
Published: (2024)

Navigating Polytopes with Safety: A Control Barrier Function Approach
by: Molnar, Tamas G.
Published: (2025)

From Bundles to Backstepping: Geometric Control Barrier Functions for Safety-Critical Control on Manifolds
by: de Sa, Massimiliano, et al.
Published: (2025)

Data-driven Acceleration of MPC with Guarantees
by: Castellano, Agustin, et al.
Published: (2025)

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
by: Zhang, Hongchao, et al.
Published: (2026)

Where to Put Safety? Control Barrier Function Placement in Networked Control Systems
by: Beger, Severin, et al.
Published: (2026)

Learning Reachability of Energy Storage Arbitrage
by: Tapia, Tomás, et al.
Published: (2025)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation
by: Mestres, Pol, et al.
Published: (2025)

Composite Adaptive Control Barrier Functions for Safety-Critical Systems with Parametric Uncertainty
by: Kamaldar, Mohammadreza
Published: (2026)

Set-Based Control Barrier Functions for Scalable Safety Filter Design
by: Wabersich, Kim P., et al.
Published: (2025)

Disturbance Observer-Parameterized Control Barrier Function with Adaptive Safety Bounds
by: Yang, Ziqi, et al.
Published: (2024)

A Unified Stability Analysis of Safety-Critical Control using Multiple Control Barrier Functions
by: Reis, Matheus F., et al.
Published: (2025)

Learning-based Prescribed-Time Safety for Control of Unknown Systems with Control Barrier Functions
by: Huang, Tzu-Yuan, et al.
Published: (2024)

Exact-Time Safety Recovery using Time-Varying Control Barrier Functions with Optimal Barrier Tracking
by: Chen, Yingqing, et al.
Published: (2026)

Functional Uncertainty Classes, Nonparametric Adaptive Contro Functional Uncertainty Classes for Nonparametric Adaptive Control: the Curse of Dimensionality
by: Wang, Haoran, et al.
Published: (2025)

TTCBF: A Truncated Taylor Control Barrier Function for High-Order Safety Constraints
by: Xu, Jianye, et al.
Published: (2026)