12 papers
Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
Jun Liu
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) equat…
Generalizing Dynamics Modeling More Easily from Representation Perspective
Yiming Wang, Zhengnan Zhang, Genghe Zhang +7
Learning system dynamics from observations is a critical problem in many applications over various real-world complex systems, e.g., climate, ecology, and fluid systems. Recently,…
Verifiable Error Bounds for Physics-Informed Neural KKL Observers
Hannah Berin-Costain, Harry Wang, Kirsten Morris +1
This paper proposes a computable state-estimation error bound for learning-based Kazantzis--Kravaris/Luenberger (KKL) observers. Recent work learns the KKL transformation map with…
Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees
Amartya Mukherjee, Maxwell Fitzsimmons, David C. Del Rey Fernández +1
Uncertainty quantification for partial differential equations is traditionally grounded in discretization theory, where solution error is controlled via mesh/grid refinement. Physi…
Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation
Yiming Meng, Jun Liu
Verifying stability and safety guarantees for nonlinear systems has received considerable attention in recent years. This property serves as a fundamental building block for specif…
Resolvent-Type Data-Driven Learning of Generators for Unknown Continuous-Time Dynamical Systems
Yiming Meng, Ruikun Zhou, Melkior Ornik +1
A semigroup characterization, or equivalently, a characterization by the generator, is a classical technique used to describe continuous-time nonlinear dynamical systems. In the re…