3 papers
math.AP2025
Local uniqueness and non-degeneracy of blowup solutions for regular Liouville systems
Zetao Cheng, Haoyu Li, Lei Zhang
We study the following Liouville system defined on a compact Riemann surface , \begin{equation} -Δu_i=\sum_{j=1}^n a_{ij}ρ_j\Big(\frac{h_j e^{u_j}}{\int_Ωh_j e^{u_j}}-1\Big)\mbo…
eess.SY2025
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
Mohamed Serry, Haoyu Li, Ruikun Zhou +2
Analysis of nonlinear autonomous systems typically involves estimating domains of attraction, which have been a topic of extensive research interest for decades. Despite that, accu…
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…