:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Clark, Andrew
Format:	Preprint
Published:	2022
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2209.00081
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2024)

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

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

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

Safe Control for Nonlinear Systems Under Faults and Attacks Via Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2022)

Stochastic Neural Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2025)

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

Recurrent Control Barrier Functions: A Path Towards Nonparametric Safety Verification
by: Liu, Jixian, et al.
Published: (2025)

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

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

Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions
by: Henrion, Didier, et al.
Published: (2024)

Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
by: Zhang, Hongchao, et al.
Published: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

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

Safe Control Synthesis Using Environmentally Robust Control Barrier Functions
by: Hamdipoor, Vahid, et al.
Published: (2023)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
by: Wiltz, Adrian, et al.
Published: (2025)

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
by: Wiltz, Adrian, et al.
Published: (2025)

Matrix Control Barrier Functions
by: Ong, Pio, et al.
Published: (2025)

Control Barrier Function Synthesis for Nonlinear Systems with Dual Relative Degree
by: Bahati, Gilbert, et al.
Published: (2025)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
by: Yang, Shuo, et al.
Published: (2023)

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

A Control Barrier Function-Constrained Model Predictive Control Framework for Safe Reinforcement Learning
by: Kaypak, Ali Umut, et al.
Published: (2026)

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
by: Shakhesi, Erfan, et al.
Published: (2025)

A Spectral Perspective on Stochastic Control Barrier Functions
by: Jang, Inkyu, et al.
Published: (2026)

Topological Obstructions to the Existence of Control Barrier Functions
by: de Sa, Massimiliano, et al.
Published: (2026)

On Uniformly Time-Varying Control Barrier Functions
by: Wiltz, Adrian, et al.
Published: (2025)

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

Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
by: Tayal, Manan, et al.
Published: (2024)

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
by: Singh, Aditya, et al.
Published: (2025)

Survey Paper on Control Barrier Functions
by: Panja, Promit
Published: (2024)

Safe Feedback Optimization through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2026)

Uniform Feasibility For Smoothed Backup Control Barrier Functions
by: Alan, Anil, et al.
Published: (2025)

Stabilization of Nonlinear Systems through Control Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)

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

Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
by: Hirsch, Dylan, et al.
Published: (2025)

Synthesis and Deployment of Maximal Robust Control Barrier Functions through Adversarial Reinforcement Learning
by: Oh, Donggeon David, et al.
Published: (2026)

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

Piecewise Control Barrier Functions for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2025)