Ruikun Zhou

3 papers · 2022–2025 · 3 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (3) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (14)

Conferences

ICML (1) L4DC (1) NIPS (1)

Top co-authors

Jun Liu (3) Yiming Meng (2) Maxwell Fitzsimmons (1) Zhexuan Zeng (1) Hans De Sterck (1) Christopher Song (1) Thanin Quartz (1) Amartya Mukherjee (1)

Keywords

lyapunov function (1) nonlinear control (1) dynamical system (1) neural control (1) stability guarantee (1) neural network control (1) satisfiability modulo theories (1)

Papers

Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator L4DC 2025

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

Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees NIPS 2022