{"id":"arxiv/2609.30819","url":"https://arxiv.org/abs/2609.30819","tags":["cs.LG","math.OC"],"score":0,"title":"Learning Provable Neural Network Observer for Uncertain Dynamical Systems","domain":"cs.LG","source":"arxiv","authors":["Zhangyi Wang","Jiaxu Liu","Song Chen","Chao Xu","Shengze Cai"],"reviews":0,"subject":"cs.LG","summary":"In many safety-critical applications, control of uncertain dynamical systems relies on observers that estimate states and external disturbances. Neural network observers can improve estimation accuracy, but certifying their Lyapunov stability via Linear Matrix Inequality (LMI) constraints leads to large-scale semidefinite programs (SDPs) that are difficult to solve for large networks. To overcome this scalability bottleneck, we propose a novel two-stage training framework for provably stable neural network observers. Our approach decouples the optimization into a point-guided Lyapunov…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}