Pith. sign in

REVIEW 1 cited by

Evaluating Error Bound for Physics-Informed Neural Networks on Linear Dynamical Systems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2207.01114 v1 pith:UKI2JWLH submitted 2022-07-03 cs.NE cs.NAmath.NA

classification cs.NEcs.NAmath.NA
keywords errorlinearboundsdifferentialevaluatingmethodnetworksneural
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

There have been extensive studies on solving differential equations using physics-informed neural networks. While this method has proven advantageous in many cases, a major criticism lies in its lack of analytical error bounds. Therefore, it is less credible than its traditional counterparts, such as the finite difference method. This paper shows that one can mathematically derive explicit error bounds for physics-informed neural networks trained on a class of linear systems of differential equations. More importantly, evaluating such error bounds only requires evaluating the differential equation residual infinity norm over the domain of interest. Our work shows a link between network residuals, which is known and used as loss function, and the absolute error of solution, which is generally unknown. Our approach is semi-phenomonological and independent of knowledge of the actual solution or the complexity or architecture of the network. Using the method of manufactured solution on linear ODEs and system of linear ODEs, we empirically verify the error evaluation algorithm and demonstrate that the actual error strictly lies within our derived bound.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Exact and approximate error bounds for physics-informed neural networks

    cs.LG 2024-11 conditional novelty 6.0 of 10

    For nonlinear first-order ODEs, the total error of a PINN solution can be bounded from the residual and the equation structure, exactly for Riccati equations and approximately in general.

Pith tools