Ruikun Zhou

According to our database, Ruikun Zhou authored at least 7 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou

CoRR, 2024

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou

CoRR, 2024

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.

Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu

CoRR, 2024

2023

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification.

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou

CoRR, 2023

Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications.

Amartya Mukherjee, Ruikun Zhou, Jun Liu

CoRR, 2023

Towards Learning and Verifying Maximal Neural Lyapunov Functions.

Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees.

Ruikun Zhou, Thanin Quartz, Hans De Sterck, Jun Liu

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022