Ruikun Zhou
Orcid: 0000-0001-7265-0617
According to our database1,
Ruikun Zhou
authored at least 15 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
0
5
10
6
2
5
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Control. Syst. Lett., 2024
CoRR, 2024
Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator.
CoRR, 2024
Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems.
CoRR, 2024
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
CoRR, 2024
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Proceedings of the American Control Conference, 2024
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems.
Proceedings of the American Control Conference, 2024
2023
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification.
CoRR, 2023
Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications.
CoRR, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
2022
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022