Ruikun Zhou

Orcid: 0000-0001-7265-0617

According to our database1, Ruikun Zhou authored at least 15 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2022
2023
2024
0
5
10
6
2
5
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Physics-Informed Extreme Learning Machine Lyapunov Functions.
IEEE Control. Syst. Lett., 2024

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems.
CoRR, 2024

Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator.
CoRR, 2024

Formally Verified Physics-Informed Neural Control Lyapunov Functions.
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

Zubov-Koopman Learning of Maximal Lyapunov Functions.
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

Towards Learning and Verifying Maximal Neural Lyapunov Functions.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022


  Loading...