Cover Image

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls

Fuente: arXiv

Saved in:

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

Similar Items

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
by: Liu, Jun, et al.
Published: (2025)

Converse Barrier Functions via Lyapunov Functions
by: Liu, Jun
Published: (2020)

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

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
by: Liu, Jun, 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)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
by: Quartz, Thanin, 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)

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition
by: Wang, Han, et al.
Published: (2024)

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

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

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

Optimal Control Barrier Functions: Maximizing the Action Space Subject to Control Bounds
by: Beaver, Logan E.
Published: (2024)

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
by: Zhao, Pan
Published: (2025)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
by: Tahir, Adam M
Published: (2025)

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

Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints
by: Wang, Han, et al.
Published: (2024)

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

Optimal Control with Lyapunov Stability Guarantees for Space Applications
by: Abhijeet, et al.
Published: (2025)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

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

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

Stability Preserving Safe Control of a Bicopter
by: Delgado, Jhon Manuel Portella, et al.
Published: (2025)

Neural-NPV Control: Learning Parameter-Dependent Controllers and Lyapunov Functions with Neural Networks
by: Niloy, MD Abul Kashem, et al.
Published: (2026)

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
by: Gong, Zheng, et al.
Published: (2024)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
by: Castañeda, Fernando, et al.
Published: (2022)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
by: Ajeyemi, Damola, et al.
Published: (2025)

Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing
by: Houska, Boris, et al.
Published: (2025)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
by: Wang, Han, et al.
Published: (2023)

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

A Control Lyapunov Function Approach to Event-Triggered Parameterized Control for Discrete-Time Linear Systems
by: Rajan, Anusree, et al.
Published: (2024)

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

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

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
by: Kumar, Saurabh, et al.
Published: (2025)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
by: Liu, Jun, et al.
Published: (2023)

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2024)

A Lyapunov Characterization of Robust D-Stability with Application to Decentralized Integral Control of LTI Systems
by: Casasanta, John-Paolo, et al.
Published: (2026)

Dynamic Quantum-Assisted Co-Design of Control Tuning and Lyapunov Stability Synthesis for Nonlinear Systems
by: Hasanzadeh, Milad, et al.
Published: (2026)

High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees
by: Izadi, Maedeh, et al.
Published: (2024)