Cover Image

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dai, Hongkai, Jiang, Chuanrui, Zhang, Hongchao, Clark, Andrew
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Compatibility of Multiple Control Barrier Functions for Constrained Nonlinear Systems
by: Cohen, Max H., et al.
Published: (2025)

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

Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)

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

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

Corridor-based Adaptive Control Barrier and Lyapunov Functions for Safe Mobile Robot Navigation
by: Mohammad, Nicholas, et al.
Published: (2025)

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

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
by: Yang, Lujie, et al.
Published: (2024)

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

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

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

Stability of Control Lyapunov Function Guided Reinforcement Learning
by: Olkin, Zachary, et al.
Published: (2026)

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

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

Safe Returning FaSTrack with Robust Control Lyapunov-Value Functions
by: Gong, Zheng, et al.
Published: (2024)

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

Addressing Relative Degree Issues in Control Barrier Function Synthesis with Physics-Informed Neural Networks
by: Brunke, Lukas, et al.
Published: (2025)

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

Predicted-Flow Control Barrier Functions for Real-Time Safe Optimal Control
by: Safari, Amirsaeid, et al.
Published: (2026)

Safety Guardrails in the Sky: Realizing Control Barrier Functions on the VISTA F-16 Jet
by: Singletary, Andrew W., et al.
Published: (2026)

Modular Design of Strict Control Lyapunov Functions for Global Stabilization of the Unicycle in Polar Coordinates
by: Todorovski, Velimir, et al.
Published: (2025)

SafeFlow: Safe Robot Motion Planning with Flow Matching via Control Barrier Functions
by: Dai, Xiaobing, et al.
Published: (2025)

Risk-Aware Robot Control in Dynamic Environments Using Belief Control Barrier Functions
by: Han, Shaohang, et al.
Published: (2025)

Safety-Critical Control for Robotic Manipulators using Collision Cone Control Barrier Functions
by: Almeida, Lucas
Published: (2025)

Unifying Complementarity Constraints and Control Barrier Functions for Safe Whole-Body Robot Control
by: Muchacho, Rafael I. Cabral, et al.
Published: (2025)

Safe Autonomous Environmental Contact for Soft Robots using Control Barrier Functions
by: Dickson, Akua K., et al.
Published: (2025)

Deep Equivariant Multi-Agent Control Barrier Functions
by: Bousias, Nikolaos, et al.
Published: (2025)

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
by: Black, Mitchell, et al.
Published: (2024)

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

Safe Multi-agent Satellite Servicing with Control Barrier Functions
by: Parikh, Deep, et al.
Published: (2025)

Zero-Shot, Safe and Time-Efficient UAV Navigation via Potential-Based Reward Shaping, Control Lyapunov and Barrier Functions
by: Naeem, Ashik Abrar, et al.
Published: (2026)

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

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
by: Cohen, Max H., et al.
Published: (2024)

Barrier-Riccati Synthesis for Nonlinear Safe Control with Expanded Region of Attraction
by: Almubarak, Hassan, et al.
Published: (2025)

Capability-Aware Heterogeneous Control Barrier Functions for Decentralized Multi-Robot Safe Navigation
by: Kim, Joonkyung, et al.
Published: (2026)

Geometry-Aware Control Barrier Functions for Collision Avoidance via Bernstein Polynomial Approximations
by: Jo, Siwon, et al.
Published: (2026)