Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2403.10013
Cited By
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
International Conference on Hybrid Systems: Computation and Control (HSCC), 2024
15 March 2024
Jun Liu
Yiming Meng
Maxwell Fitzsimmons
Rui Zhou
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction"
4 / 4 papers shown
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
Mohamed Serry
Xue Yang
Ruikun Zhou
H. Zhang
Jun Liu
205
3
0
16 Jun 2025
Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
Ruikun Zhou
Yiming Meng
Zhexuan Zeng
Jun Liu
393
2
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
530
3
0
05 Nov 2024
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
Jun Liu
Yiming Meng
Maxwell Fitzsimmons
Rui Zhou
456
45
0
14 Dec 2023
1
Page 1 of 1
