:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhong, Yuan, Cheng, Jiaxin, Ye, Hefu, Zhou, Yicong
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2605.09546
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Distributed Matrix Pencil Formulations for Prescribed-Time Leader-Following Consensus of MASs with Unknown Sensor Sensitivity
by: Ye, Hefu, et al.
Published: (2024)

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

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

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

Lyapunov-Based Deep Residual Neural Network (ResNet) Adaptive Control
by: Patil, Omkar Sudhir, et al.
Published: (2024)

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

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

Constructive Lyapunov Functions via Topology-Preserving Neural Networks
by: Oh, Jaehong
Published: (2025)

Distributed Lyapunov Functions for Nonlinear Networks
by: Wang, Yiming, et al.
Published: (2025)

Lyapunov Neural Network with Region of Attraction Search
by: Wang, Zili, et al.
Published: (2024)

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

Koopman-based Estimation of Lyapunov Functions: Theory on a Reproducing Kernel Hilbert Space
by: Tang, Wentao, et al.
Published: (2026)

Region of Attraction Estimate Learning and Verification for Nonlinear Systems using Neural-Network-based Lyapunov Functions
by: Bechihi, Adel, et al.
Published: (2025)

Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function
by: Kim, Dabin, et al.
Published: (2024)

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

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

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)

Adaptive Neural Control with Desired Approximation: An Integral Lyapunov Function Approach
by: Sun, Mingxuan, et al.
Published: (2025)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
by: Feng, Jie, et al.
Published: (2024)

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

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
by: Huang, Yanliang, et al.
Published: (2026)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
by: Basu, Ahan, et al.
Published: (2025)

Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems
by: Abdelraouf, Hassan, et al.
Published: (2024)

Concave Comparison Functions for Accelerating Constrained Lyapunov Decay
by: Fan, Shuyuan, et al.
Published: (2025)

Collaborative Spacecraft Servicing under Partial Feedback using Lyapunov-based Deep Neural Networks
by: Nino, Cristian F., et al.
Published: (2025)

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)

Lyapunov-Based Physics-Informed Deep Neural Networks with Skew Symmetry Considerations
by: Hart, Rebecca G., et al.
Published: (2025)

Lyapunov-Based Graph Neural Networks for Adaptive Control of Multi-Agent Systems
by: Fallin, Brandon C., et al.
Published: (2025)

Lyapunov-Based Deep Neural Networks for Adaptive Control of Stochastic Nonlinear Systems
by: Akbari, Saiedeh, et al.
Published: (2024)

Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis
by: Proskurnikov, Anton V., et al.
Published: (2024)

Safe and Stable Control via Lyapunov-Guided Diffusion Models
by: Cheng, Xiaoyuan, et al.
Published: (2025)

Adaptive Meshing for CPA Lyapunov Function Synthesis
by: Strong, Amy K., et al.
Published: (2025)

(Un)supervised Learning of Maximal Lyapunov Functions
by: Barreau, Matthieu, et al.
Published: (2024)

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

LyLA-Therm: Lyapunov-based Langevin Adaptive Thermodynamic Neural Network Controller
by: Akbari, Saiedeh, et al.
Published: (2025)

No Minima, No Collisions: Combining Modulation and Control Barrier Function Strategies for Feasible Dynamic Collision Avoidance
by: Xue, Yifan, et al.
Published: (2025)

Control Lyapunov Functions for Optimality in Sontag-Type Control
by: Bongard, Joscha F., et al.
Published: (2026)

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

Koopman Operator in the Weighted Function Spaces and its Learning for the Estimation of Lyapunov and Zubov Functions
by: Tang, Wentao
Published: (2024)

Neural Lyapunov Differentiable Predictive Control
by: Mukherjee, Sayak, et al.
Published: (2022)