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

ArXiv (abs)PDF HTML

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

6 / 6 papers shown

Title
Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems Ruikun Zhou Yiming Meng Zhexuan Zeng Jun Liu 110 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 102 2 0 05 Nov 2024
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification Jun Liu Yiming Meng Maxwell Fitzsimmons Rui Zhou 60 17 0 14 Dec 2023
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees Rui Zhou Thanin Quartz H. Sterck Jun Liu 47 50 0 04 Jun 2022
Array Programming with NumPy Charles R. Harris K. Millman S. Walt R. Gommers Pauli Virtanen ... Tyler Reddy Warren Weckesser Hameer Abbasi C. Gohlke T. Oliphant 154 14,959 0 18 Jun 2020
Neural Lyapunov Control Ya-Chien Chang Nima Roohi Sicun Gao 71 305 0 01 May 2020

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.