pith. sign in

Ruikun Zhou

Identifiers

  • name variant Ruikun Zhou 0.60 · backfill

Papers (16)

  1. Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls eess.SY · 2026 · author #1
  2. Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation eess.SY · 2025 · author #3
  3. Stability of Jordan Recurrent Neural Network Estimator math.OC · 2025 · author #2
  4. Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems eess.SY · 2024 · author #1
  5. Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator eess.SY · 2024 · author #2
  6. Formally Verified Physics-Informed Neural Control Lyapunov Functions eess.SY · 2024 · author #3
  7. Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems eess.SY · 2024 · author #2
  8. A Model-Free Kullback-Leibler Divergence Filter for Anomaly Detection in Noisy Data Series eess.SP · 2024 · author #1
  9. Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm math.DS · 2024 · author #2
  10. LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction eess.SY · 2024 · author #4
  11. Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems eess.SY · 2024 · author #4
  12. Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification math.OC · 2023 · author #4
  13. Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence math.DS · 2023 · author #2
  14. Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications math.OC · 2023 · author #2
  15. Towards Learning and Verifying Maximal Neural Lyapunov Functions math.OC · 2023 · author #4
  16. Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees eess.SY · 2022 · author #1

Mentions

  • 2502.04551 #2 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2506.13961 #3 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2312.09131 #4 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2412.02807 #1 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2412.01085 #2 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2403.15688 #2 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2409.20528 #3 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2409.08382 #2 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2311.15119 #2 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2405.03047 #1 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2310.02869 #2 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2403.10013 #4 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2403.10007 #4 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2206.01913 #1 · arxiv_oai · confidence 0.70 Ruikun Zhou
  • 2606.12768 #1 · arxiv_oai · confidence 0.70 Ruikun Zhou

Frequent Coauthors