Ruikun Zhou

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 12

Top Topics

Nonlinear Systems

Lyapunov Function

Stability Analysis

Top Venues

IEEE Control. Syst. Lett.

Publications

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. HSCC (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. CoRR (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. CoRR (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. HSCC (2024)
Ruikun Zhou, Maxwell Fitzsimmons, Yiming Meng, Jun Liu
Physics-Informed Extreme Learning Machine Lyapunov Functions. IEEE Control. Syst. Lett. 8 (2024)
Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. CoRR (2024)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Towards Learning and Verifying Maximal Neural Lyapunov Functions. CDC (2023)
Amartya Mukherjee, Ruikun Zhou, Jun Liu
Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications. CoRR (2023)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification. CoRR (2023)
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
Towards Learning and Verifying Maximal Neural Lyapunov Functions. CoRR (2023)
Ruikun Zhou, Thanin Quartz, Hans De Sterck, Jun Liu
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees. NeurIPS (2022)
Ruikun Zhou, Thanin Quartz, Hans De Sterck, Jun Liu
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees. CoRR (2022)