Cover Image

A Converse Control Lyapunov Theorem for Joint Safety and Stability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Quartz, Thanin, Fitzsimmons, Maxwell, Liu, Jun
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control Systems 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)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
by: Liu, Jun, et al.
Published: (2025)

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

Manifold-Guided Lyapunov Control with Diffusion Models
by: Mukherjee, Amartya, et al.
Published: (2024)

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

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

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

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, et al.
Published: (2024)

Converse Theorems for Certificates of Safety and Stability
by: Mestres, Pol, et al.
Published: (2024)

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

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

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
by: Quartz, Thanin, et al.
Published: (2024)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

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

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
by: Meng, Yiming, et al.
Published: (2024)

On an Abstraction of Lyapunov and Lagrange Stability
by: Bin, Michelangelo, et al.
Published: (2025)

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)

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

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

Unified Lyapunov Method for ISS of PDEs: A Tutorial on Constructing Generalized Lyapunov Functionals for Parabolic and Hyperbolic Equations
by: Zheng, Jun, 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)

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

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
by: Meijer, T. J., et al.
Published: (2023)

A Concise Lyapunov Analysis of Nesterov's Accelerated Gradient Method
by: Liu, Jun
Published: (2025)

Latent Representations for Control Design with Provable Stability and Safety Guarantees
by: Lutkus, Paul, et al.
Published: (2025)

Converse Lyapunov Results for Switched Systems with Lower and Upper Bounds on Switching Intervals
by: Della Rossa, Matteo
Published: (2024)

Reinforcement Learning for Distributed Transient Frequency Control with Stability and Safety Guarantees
by: Yuan, Zhenyi, et al.
Published: (2022)

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

Stability of Lyapunov redesign trajectory tracking control with unbounded perturbations -- A tube-based stability analysis
by: Tietze, Niclas, 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)

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

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

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

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

Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
by: Liu, Jun
Published: (2026)

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

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

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
by: Liu, Shuo, et al.
Published: (2023)

Stability Margins of CBF-QP Safety Filters: Analysis and Synthesis
by: Mousavi, Shima Sadat, et al.
Published: (2026)