Cover Image

Verifiable Error Bounds for Physics-Informed Neural KKL Observers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Berin-Costain, Hannah, Wang, Harry, Morris, Kirsten, Liu, Jun
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

KKL Observer Synthesis for Nonlinear Systems via Physics-Informed Learning
by: Niazi, M. Umar B., et al.
Published: (2025)

Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
by: Liu, Jun
Published: (2026)

HyperKKL: Learning KKL Observers for Non-Autonomous Nonlinear Systems via Hypernetwork-Based Input Conditioning
by: Shaaban, Yahia Salaheldin, et al.
Published: (2026)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

HyperKKL: Enabling Non-Autonomous State Estimation through Dynamic Weight Conditioning
by: Shaaban, Yahia Salaheldin, et al.
Published: (2026)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
by: Kong, Chun-Wei, et al.
Published: (2024)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, et al.
Published: (2024)

CLT-Optimal Parameter Error Bounds for Linear System Identification
by: Zhou, Yichen, et al.
Published: (2026)

Bayesian Physics Informed Neural Networks for Reliable Transformer Prognostics
by: Ramirez, Ibai, et al.
Published: (2025)

Physics-Informed Graph Neural Network for Dynamic Reconfiguration of Power Systems
by: Authier, Jules, et al.
Published: (2023)

Physics-Informed Neural Networks for Accelerating Power System State Estimation
by: Falas, Solon, et al.
Published: (2023)

Physics-Informed Heterogeneous Graph Neural Networks for DC Blocker Placement
by: Jin, Hongwei, et al.
Published: (2024)

Uniform Error Bounds for Gaussian Process Regression with Application to Safe Control
by: Lederer, Armin, et al.
Published: (2019)

A Unified KKL-based Interval Observer for Nonlinear Discrete-time Systems
by: Dinh, Thach Ngoc, et al.
Published: (2024)

Data-Driven Adaptive PID Control Based on Physics-Informed Neural Networks
by: Ito, Junsei, et al.
Published: (2025)

Optimal Sensor Placement in Power Transformers Using Physics-Informed Neural Networks
by: Li, Sirui, et al.
Published: (2025)

Robust Power System State Estimation using Physics-Informed Neural Networks
by: Falas, Solon, et al.
Published: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

Automatic dimensionality reduction of Twin-in-the-Loop Observers
by: Delcaro, Giacomo, et al.
Published: (2024)

Physics-Informed Machine Learning for Pouch Cell Temperature Estimation
by: Liu, Zheng
Published: (2026)

A Deep State-Space Model Compression Method using Upper Bound on Output Error
by: Sakamoto, Hiroki, et al.
Published: (2025)

Physics-Informed Deep B-Spline Networks
by: Wang, Zhuoyuan, et al.
Published: (2025)

Improved Scalable Lipschitz Bounds for Deep Neural Networks
by: Syed, Usman, et al.
Published: (2025)

Runtime-Certified Bounded-Error Quantized Attention
by: Calver, Dean
Published: (2026)

Imitation Learning of MPC with Neural Networks: Error Guarantees and Sparsification
by: Alsmeier, Hendrik, et al.
Published: (2025)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

An Interpretable Power System Transient Stability Assessment Method with Expert Guiding Neural-Regression-Tree
by: Wang, Hanxuan, et al.
Published: (2024)

Generalizable Physics-Informed Learning for Stochastic Safety-Critical Systems
by: Wang, Zhuoyuan, et al.
Published: (2024)

Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
by: Wang, Zhuoyuan, et al.
Published: (2024)

Uncertainty Modelling and Robust Observer Synthesis using the Koopman Operator
by: Dahdah, Steven, et al.
Published: (2024)

Nonuniqueness and Convergence to Equivalent Solutions in Observer-based Inverse Reinforcement Learning
by: Town, Jared, et al.
Published: (2022)

Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification
by: Entesari, Taha, et al.
Published: (2026)

Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
by: Sharifi, Sina, et al.
Published: (2024)

A Digital Twin for Diesel Engines: Operator-infused Physics-Informed Neural Networks with Transfer Learning for Engine Health Monitoring
by: Nath, Kamaljyoti, et al.
Published: (2024)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
by: Li, Haoyu, et al.
Published: (2026)

Learning Transferable Friction Models and LuGre Identification Via Physics-Informed Neural Networks
by: Ozmen, Asutay, et al.
Published: (2025)

SOLIS: Physics-Informed Learning of Interpretable Neural Surrogates for Nonlinear Systems
by: Mansur, Murat Furkan, et al.
Published: (2026)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

Learning Verifiable Control Policies Using Relaxed Verification
by: Chaudhury, Puja, et al.
Published: (2025)