Showing eess.SYShow all
2 papers · 1 filter
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…
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…