{"id":"arxiv/2603.19545","url":"https://arxiv.org/abs/2603.19545","tags":["eess.SY","cs.LG","math.OC"],"score":0,"title":"Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations","domain":"eess.SY","source":"arxiv","authors":["Jun Liu"],"reviews":0,"subject":"eess.SY","summary":"Many core problems in nonlinear systems analysis and control can be recast as solving partial differential equations (PDEs) such as Lyapunov and Hamilton-Jacobi-Bellman (HJB) equations. Physics-informed neural networks (PINNs) have emerged as a promising mesh-free approach for approximating their solutions, but in most existing works there is no rigorous guarantee that a small PDE residual implies a small solution error. This paper develops verifiable error bounds for approximate solutions of Lyapunov and HJB equations, with particular emphasis on PINN-based approximations. For both the…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-03-20","reactions":{}}