| Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees R Zhou, T Quartz, H De Sterck, J Liu Advances in Neural Information Processing Systems 35 (NeurIPS 2022), 2022 | 42 | 2022 |
| Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification J Liu, Y Meng, M Fitzsimmons, R Zhou arXiv preprint arXiv:2312.09131, 2023 | 13 | 2023 |
| Towards Learning and Verifying Maximal Neural Lyapunov Functions J Liu, Y Meng, M Fitzsimmons, R Zhou 2023 IEEE 62nd Conference on Decision and Control (CDC), 2023 | 8 | 2023 |
| Learning regions of attraction in unknown dynamical systems via zubov-koopman lifting: Regularities and convergence Y Meng, R Zhou, J Liu arXiv preprint arXiv:2311.15119, 2023 | 7 | 2023 |
| TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction J Liu, Y Meng, M Fitzsimmons, R Zhou Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024 | 6 | 2024 |
| Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification Y Meng*, R Zhou*, A Mukherjee, M Fitzsimmons, C Song, J Liu The Forty-first International Conference on Machine Learning (ICML 2024), 2024 | 6 | 2024 |
| Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm Y Meng, R Zhou, M Ornik, J Liu arXiv preprint arXiv:2403.15688, 2024 | 2 | 2024 |
| Compositionally verifiable vector neural Lyapunov functions for stability analysis of interconnected nonlinear systems J Liu, Y Meng, M Fitzsimmons, R Zhou arXiv preprint arXiv:2403.10007, 2024 | 2 | 2024 |
| A Model-Free Kullback-Leibler Divergence Filter for Anomaly Detection in Noisy Data Series R Zhou, W Gueaieb, D Spinello Journal of Dynamic Systems, Measurement, and Control, 1-10, 2022 | 1 | 2022 |
| A Kullback-Leibler Divergence Filter for Anomaly Detection in Non-Destructive Pipeline Inspection R Zhou Université d'Ottawa/University of Ottawa, 2020 | 1 | 2020 |
| Zubov-Koopman Learning of Maximal Lyapunov Functions Y Meng, R Zhou, J Liu 2024 American Control Conference (ACC), 4020-4025, 2024 | | 2024 |
| Physics-Informed Extreme Learning Machine Lyapunov Functions R Zhou, M Fitzsimmons, Y Meng, J Liu IEEE Control Systems Letters, 2024 | | 2024 |
| Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees J Liu, Y Meng, M Fitzsimmons, R Zhou Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024 | | 2024 |
| LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees J Liu, Y Meng, R Zhou IFAC-PapersOnLine 58 (11), 201-206, 2024 | | 2024 |
Jun LiuProfessor of Applied Mathematics, University of WaterlooVerified email at uwaterloo.ca
