





























Abstract: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 Lyapunov and HJB PDEs, we show that a verifiable residual bound yields relative error bounds with respect to the true solutions as well as computable a posteriori estimates in terms of the approximate solutions. For the HJB equation, this also yields certified upper and lower bounds on the optimal value function on compact sublevel sets and quantifies the optimality gap of the induced feedback policy. We further show that one-sided residual bounds already imply that the approximation itself defines a valid Lyapunov or control Lyapunov function. We illustrate the results with numerical examples.
| Comments: | The paper will appear in the IEEE Control Systems Letters |
| Subjects: | Systems and Control (eess.SY); Machine Learning (cs.LG); Optimization and Control (math.OC) |
| Cite as: | arXiv:2603.19545 [eess.SY] |
| (or arXiv:2603.19545v2 [eess.SY] for this version) | |
| https://doi.org/10.48550/arXiv.2603.19545 arXiv-issued DOI via DataCite |
From: Jun Liu [view email]
[v1]
Fri, 20 Mar 2026 00:58:51 UTC (186 KB)
[v2]
Wed, 20 May 2026 02:45:33 UTC (187 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。