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

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

15 March 2024

Jun Liu

Maxwell Fitzsimmons

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

4 / 4 papers shown

Title
Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems Ruikun Zhou Yiming Meng Zhexuan Zeng Jun Liu 80 0 0 03 Dec 2024
Transformer-Based Fault-Tolerant Control for Fixed-Wing UAVs Using Knowledge Distillation and In-Context Adaptation Francisco Giral Ignacio Gómez Ricardo Vinuesa S. L. Clainche 32 2 0 05 Nov 2024
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification Jun Liu Yiming Meng Maxwell Fitzsimmons Rui Zhou 31 16 0 14 Dec 2023
Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximation Nathan Gaby Fumin Zhang X. Ye PINN 40 39 0 27 Sep 2021