Copertina

A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Clark, Andrew
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

Stochastic Neural Control Barrier Functions
di: Zhang, Hongchao, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

Matrix Control Barrier Functions
di: Ong, Pio, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

Survey Paper on Control Barrier Functions
di: Panja, Promit
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

On the Properties of Optimal-Decay Control Barrier Functions
di: Ong, Pio, et al.
Pubblicazione: (2025)

Robust Control Barrier Functions with Uncertainty Estimation
di: Daş, Ersin, et al.
Pubblicazione: (2023)