Buchumschlag

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Jun, Meng, Yiming, Fitzsimmons, Maxwell, Zhou, Ruikun
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control Machine Learning Optimization and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formally Verified Physics-Informed Neural Control Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2024)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2023)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
von: Liu, Jun, et al.
Veröffentlicht: (2023)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
von: Liu, Jun, et al.
Veröffentlicht: (2024)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
von: Meng, Yiming, et al.
Veröffentlicht: (2024)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2025)

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

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

A Converse Control Lyapunov Theorem for Joint Safety and Stability
von: Quartz, Thanin, et al.
Veröffentlicht: (2025)

Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems
von: Su, Yun, et al.
Veröffentlicht: (2025)

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

Converse Barrier Functions via Lyapunov Functions
von: Liu, Jun
Veröffentlicht: (2020)

(Un)supervised Learning of Maximal Lyapunov Functions
von: Barreau, Matthieu, et al.
Veröffentlicht: (2024)

A Concise Lyapunov Analysis of Nesterov's Accelerated Gradient Method
von: Liu, Jun
Veröffentlicht: (2025)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
von: Liu, Jun
Veröffentlicht: (2025)

Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications
von: Mukherjee, Amartya, et al.
Veröffentlicht: (2023)

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

Stability of Jordan Recurrent Neural Network Estimator
von: Kaur, Avneet, et al.
Veröffentlicht: (2025)

Unified Lyapunov Method for ISS of PDEs: A Tutorial on Constructing Generalized Lyapunov Functionals for Parabolic and Hyperbolic Equations
von: Zheng, Jun, et al.
Veröffentlicht: (2026)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
von: Long, Kehan, et al.
Veröffentlicht: (2025)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
von: Serry, Mohamed, et al.
Veröffentlicht: (2024)

Analog Data-Driven Theory and Estimation of the Region of Attraction Using Sampled-Data
von: Shenoy, Karthik, et al.
Veröffentlicht: (2024)

Distributionally Robust Policy and Lyapunov-Certificate Learning
von: Long, Kehan, et al.
Veröffentlicht: (2024)

MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control
von: Lu, Yiwen, et al.
Veröffentlicht: (2023)

Lyapunov Function Consistent Adaptive Network Signal Control with Back Pressure and Reinforcement Learning
von: Ma, Chaolun, et al.
Veröffentlicht: (2022)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
von: Zhou, Ruikun, et al.
Veröffentlicht: (2024)

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
von: Serry, Mohamed, et al.
Veröffentlicht: (2025)

Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning
von: Davydov, Alexander
Veröffentlicht: (2025)

Concave Comparison Functions for Accelerating Constrained Lyapunov Decay
von: Fan, Shuyuan, et al.
Veröffentlicht: (2025)

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
von: Gong, Zheng, et al.
Veröffentlicht: (2024)

Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing
von: Houska, Boris, et al.
Veröffentlicht: (2025)

Lyapunov Neural Network with Region of Attraction Search
von: Wang, Zili, et al.
Veröffentlicht: (2024)

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
von: Zhao, Pan
Veröffentlicht: (2025)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
von: Tahir, Adam M
Veröffentlicht: (2025)

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

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
von: Li, Haoyu, et al.
Veröffentlicht: (2026)

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
von: Yang, Lujie, et al.
Veröffentlicht: (2024)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
von: Hu, Hanjiang, et al.
Veröffentlicht: (2024)

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

On an Abstraction of Lyapunov and Lagrange Stability
von: Bin, Michelangelo, et al.
Veröffentlicht: (2025)