Ruikun Zhou

29 papers A* 2C 3Journal 15Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator.
L4DC
Zhexuan Zeng, Ruikun Zhou, Yiming Meng, Jun Liu
2025 C conf
Formally Verified Physics-Informed Neural Control Lyapunov Functions.
ACC
Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng
2025 — conf
Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems.
CDC
Ruikun Zhou, Yiming Meng, Zhexuan Zeng, Jun Liu
2025 J jnl
Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence.
IEEE Trans. Autom. Control.
Yiming Meng, Ruikun Zhou, Jun Liu
2025 J jnl
Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification.
Autom.
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2025 — conf
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation.
CDC
Mohamed Serry, Haoyu Li, Ruikun Zhou, Huan Zhang, Jun Liu
2025 J jnl
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation.
CoRR
Mohamed Serry, Haoyu Li, Ruikun Zhou, Huan Zhang, Jun Liu
2025 — conf
Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems.
CDC
Thanin Quartz, Ruikun Zhou, Hans De Sterck, Jun Liu
2024 C conf
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.
ACC
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 J jnl
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.
CoRR
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 J jnl
Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator.
CoRR
Zhexuan Zeng, Ruikun Zhou, Yiming Meng, Jun Liu
2024 J jnl
Formally Verified Physics-Informed Neural Control Lyapunov Functions.
CoRR
Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng
2024 — conf
Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm.
CDC
Yiming Meng, Ruikun Zhou, Melkior Ornik, Jun Liu
2024 J jnl
Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems.
CoRR
Ruikun Zhou, Yiming Meng, Zhexuan Zeng, Jun Liu
2024 — conf
LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees.
ADHS
Jun Liu, Yiming Meng, Ruikun Zhou
2024 J jnl
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
CoRR
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 J jnl
Physics-Informed Extreme Learning Machine Lyapunov Functions.
IEEE Control. Syst. Lett.
Ruikun Zhou, Maxwell Fitzsimmons, Yiming Meng, Jun Liu
2024 A* conf
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.
ICML
Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
2024 J jnl
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.
CoRR
Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu
2024 — conf
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees.
HSCC
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 J jnl
Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems.
CoRR
Thanin Quartz, Ruikun Zhou, Hans De Sterck, Jun Liu
2024 — conf
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
HSCC
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2024 C conf
Zubov-Koopman Learning of Maximal Lyapunov Functions.
ACC
Yiming Meng, Ruikun Zhou, Jun Liu
2023 J jnl
Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications.
CoRR
Amartya Mukherjee, Ruikun Zhou, Jun Liu
2023 J jnl
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification.
CoRR
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023 — conf
Towards Learning and Verifying Maximal Neural Lyapunov Functions.
CDC
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2023 J jnl
Towards Learning and Verifying Maximal Neural Lyapunov Functions.
CoRR
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou
2022 A* conf
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees.
NeurIPS
Ruikun Zhou, Thanin Quartz, Hans De Sterck, Jun Liu
2022 J jnl
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees.
CoRR
Ruikun Zhou, Thanin Quartz, Hans De Sterck, Jun Liu