Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees. - Ruikun Zhou; Thanin Quartz; Hans De Sterck; Jun Liu 015 (NeurIPS, 2022)

Towards Learning and Verifying Maximal Neural Lyapunov Functions. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (CDC, 2023)

Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications. - Amartya Mukherjee; Ruikun Zhou; Jun Liu 015 (CoRR, 2023)

LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees. - Jun Liu 015; Yiming Meng; Ruikun Zhou (ADHS, 2024)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (ACC, 2024)

Zubov-Koopman Learning of Maximal Lyapunov Functions. - Yiming Meng; Ruikun Zhou; Jun Liu 015 (ACC, 2024)

Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm. - Yiming Meng; Ruikun Zhou; Melkior Ornik; Jun Liu 015 (CDC, 2024)

TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (HSCC, 2024)

Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (HSCC, 2024)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. - Yiming Meng; Ruikun Zhou; Amartya Mukherjee; Maxwell Fitzsimmons; Christopher Song; Jun Liu 015 (ICML, 2024)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (CoRR, 2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems. - Thanin Quartz; Ruikun Zhou; Hans De Sterck; Jun Liu 015 (CoRR, 2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems. - Ruikun Zhou; Yiming Meng; Zhexuan Zeng; Jun Liu 015 (CoRR, 2024)

Physics-Informed Extreme Learning Machine Lyapunov Functions. - Ruikun Zhou; Maxwell Fitzsimmons; Yiming Meng; Jun Liu 015 (IEEE Control. Syst. Lett., 2024)

Formally Verified Physics-Informed Neural Control Lyapunov Functions. - Jun Liu 015; Maxwell Fitzsimmons; Ruikun Zhou; Yiming Meng (ACC, 2025)

Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator. - Zhexuan Zeng; Ruikun Zhou; Yiming Meng; Jun Liu 015 (L4DC, 2025)

Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification. - Jun Liu 015; Yiming Meng; Maxwell Fitzsimmons; Ruikun Zhou (Autom., 2025)

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation. - Mohamed Serry; Haoyu Li; Ruikun Zhou; Huan Zhang; Jun Liu 015 (CoRR, 2025)