Imagen de Portada

Verification and Synthesis Methods for High-Order Control Barrier Functions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pond, Ellie, Hale, Matthew
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Technical Report: A Totally Asynchronous Nesterov's Accelerated Gradient Method for Convex Optimization
por: Pond, Ellie, et al.
Publicado: (2024)

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

A Distributed Asynchronous Generalized Momentum Algorithm Without Delay Bounds
por: Pond, Ellie, et al.
Publicado: (2025)

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

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

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

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

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

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

High-Order Matrix Control Barrier Functions: Well-Posedness and Feasibility via Matrix Relative Degree
por: Gessow, Samuel G., et al.
Publicado: (2026)

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

High-Order Control Barrier Functions: Insights and a Truncated Taylor-Based Formulation
por: Xu, Jianye, et al.
Publicado: (2025)

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

High Order Control Lyapunov Function - Control Barrier Function - Quadratic Programming Based Autonomous Driving Controller for Bicyclist Safety
por: Chen, Haochong, et al.
Publicado: (2025)

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

Safe Sliding Mode Control for Marine Vessels Using High-Order Control Barrier Functions and Fast Projection
por: Syntakas, Spyridon, et al.
Publicado: (2025)

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

Collision Avoidance for Convex Primitives via Differentiable Optimization Based High-Order Control Barrier Functions
por: Wei, Shiqing, et al.
Publicado: (2024)

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

Constant-Sum High-Order Barrier Functions for Safety Between Parallel Boundaries
por: Kim, Kwang Hak, et al.
Publicado: (2025)

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

Contact-Aware Safety in Soft Robots Using High-Order Control Barrier and Lyapunov Functions
por: Wong, Kiwan, et al.
Publicado: (2025)

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

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

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
por: Cao, Zhipeng, et al.
Publicado: (2025)

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

Fixed time convergence guarantees for Higher Order Control Barrier Functions
por: K, Janani S, et al.
Publicado: (2025)

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

Matrix Control Barrier Functions
por: Ong, Pio, et al.
Publicado: (2025)

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

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

Differentially Private Reward Functions in Policy Synthesis for Markov Decision Processes
por: Benvenuti, Alexander, et al.
Publicado: (2023)

Safety Filter Design for Articulated Frame Steering Vehicles In the Presence of Actuator Dynamics Using High-Order Control Barrier Functions
por: Toulkani, Naeim Ebrahimi, et al.
Publicado: (2024)

Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
por: Cohen, Max H., et al.
Publicado: (2024)

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

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

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

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

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

Sensor-Based Safety-Critical Control Using an Incremental Control Barrier Function Formulation via Reduced-Order Approximate Models
por: Autenrieb, Johannes, et al.
Publicado: (2024)