Cover Image

Correctness Verification of Neural Networks Approximating Differential Equations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ellinas, Petros, Nellikath, Rahul, Ventura, Ignasi, Stiasny, Jochen, Chatzivasileiadis, Spyros
Format:	Preprint
Published:	2024
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

Physics-Informed Neural Networks: a Plug and Play Integration into Power System Dynamic Simulations
by: Nadal, Ignasi Ventura, et al.
Published: (2024)

Error estimation for physics-informed neural networks with implicit Runge-Kutta methods
by: Stiasny, Jochen, et al.
Published: (2024)

Verification and Validation of Physics-Informed Surrogate Component Models for Dynamic Power-System Simulation
by: Ellinas, Petros, et al.
Published: (2026)

PINNSim: A Simulator for Power System Dynamics based on Physics-Informed Neural Networks
by: Stiasny, Jochen, et al.
Published: (2023)

Toolbox for Developing Physics Informed Neural Networks for Power Systems Components
by: Karampinis, Ioannis, et al.
Published: (2025)

Physics-Informed Neural Networks in Power System Dynamics: Improving Simulation Accuracy
by: Nadal, Ignasi Ventura, et al.
Published: (2025)

Global Performance Guarantees for Neural Network Models of AC Power Flow
by: Chevalier, Samuel, et al.
Published: (2022)

A hybrid Quantum-Classical Algorithm for Mixed-Integer Optimization in Power Systems
by: Ellinas, Petros, et al.
Published: (2024)

Neural Networks for AC Optimal Power Flow: Improving Worst-Case Guarantees during Training
by: Giraud, Bastien, et al.
Published: (2025)

Neural Operators for Power Systems: A Physics-Informed Framework for Modeling Power System Components
by: Karampinis, Ioannis, et al.
Published: (2025)

Scalable Physics-Informed Neural Networks for Accelerating Electromagnetic Transient Stability Assessment
by: Nadal, Ignasi Ventura, et al.
Published: (2025)

Residual Power Flow for Neural Solvers
by: Stiasny, Jochen, et al.
Published: (2026)

Graph Neural Networks for Fast Contingency Analysis of Power Systems
by: Nakiganda, Agnes M., et al.
Published: (2023)

Trustworthiness Layer for Foundation Models in Power Systems: Application to N-k Contingency Screening
by: Alcántara, Antonio, et al.
Published: (2026)

Bayesian Physics-informed Neural Networks for System Identification of Inverter-dominated Power Systems
by: Stock, Simon, et al.
Published: (2024)

Optimal Design of Volt/VAR Control Rules of Inverters using Deep Learning
by: Gupta, Sarthak, et al.
Published: (2022)

Learning Stable and Passive Neural Differential Equations
by: Cheng, Jing, et al.
Published: (2024)

Network-Aware Flexibility Requests for Distribution-Level Flexibility Markets
by: Prat, Eléa, et al.
Published: (2021)

A Simultaneous Approach for Training Neural Differential-Algebraic Systems of Equations
by: Lueg, Laurens R., et al.
Published: (2025)

Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks
by: Neary, Cyrus, et al.
Published: (2024)

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

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

Equivalent and Compact Representations of Neural Network Controllers With Decision Trees
by: Chang, Kevin, et al.
Published: (2023)

Parameter-Adaptive Approximate MPC: Tuning Neural-Network Controllers without Retraining
by: Hose, Henrik, et al.
Published: (2024)

Incremental Correction in Dynamic Systems Modelled with Neural Networks for Constraint Satisfaction
by: Cho, Namhoon, et al.
Published: (2022)

Learning and Current Prediction of PMSM Drive via Differential Neural Networks
by: Mei, Wenjie, et al.
Published: (2024)

Digital Twin for Real-Time Security Assessment and Flexibility Activation in the Bornholm Distribution System
by: Sundhu, Anosh Arshad, et al.
Published: (2026)

Universal Approximation Power of Deep Residual Neural Networks via Nonlinear Control Theory
by: Tabuada, Paulo, et al.
Published: (2020)

Analytical Verification of Performance of Deep Neural Network Based Time-Synchronized Distribution System State Estimation
by: Azimian, Behrouz, et al.
Published: (2023)

Stable and Safe Human-aligned Reinforcement Learning through Neural Ordinary Differential Equations
by: Zhao, Liqun, et al.
Published: (2024)

Stochastic Quantum Power Flow for Risk Assessment in Power Systems
by: Sævarsson, Brynjar, et al.
Published: (2023)

Gradient Flow Equations for Deep Linear Neural Networks: A Survey from a Network Perspective
by: Wendin, Joel, et al.
Published: (2025)

Certified Neural Approximations of Nonlinear Dynamics
by: Mathiesen, Frederik Baymler, et al.
Published: (2025)

Cheap Thrills: Effective Amortized Optimization Using Inexpensive Labels
by: Nguyen, Khai, et al.
Published: (2026)

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

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
by: Chen, Shaoru, et al.
Published: (2024)

Sensitivity Quantification for Distribution System State Estimation
by: Mamudi, Betül, et al.
Published: (2026)

On Data-Driven Koopman Representations of Nonlinear Delay Differential Equations
by: Rajkumar, Santosh Mohan, et al.
Published: (2026)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
by: Cai, Feiyang, et al.
Published: (2024)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)