3 papers
eess.SY2026
Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
Haoyu Li, Xiangru Zhong, Hao Cheng +2
Learning-based methods for synthesizing controllers have gained popularity due to their high expressiveness and strong empirical performance. However, in safety-critical scenarios…
cs.LG2025
Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
Haoyu Li, Xiangru Zhong, Bin Hu +1
Learning-based neural network (NN) control policies have shown impressive empirical performance. However, obtaining stability guarantees and estimates of the region of attraction o…
math.OC2025
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
Haoyu Li, Xiangru Zhong, Bin Hu +1
Contraction metrics are crucial in control theory because they provide a powerful framework for analyzing stability, robustness, and convergence of various dynamical systems. Howev…