Picture for Spyros Chatzivasileiadis

Spyros Chatzivasileiadis

Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow

Add code
May 09, 2024
Viaarxiv icon

Correctness Verification of Neural Networks Approximating Differential Equations

Add code
Feb 12, 2024
Viaarxiv icon

Error estimation for physics-informed neural networks with implicit Runge-Kutta methods

Add code
Jan 10, 2024
Viaarxiv icon

GPU-Accelerated Verification of Machine Learning Models for Power Systems

Add code
Jun 18, 2023
Viaarxiv icon

Enriching Neural Network Training Dataset to Improve Worst-Case Performance Guarantees

Add code
Mar 23, 2023
Viaarxiv icon

Physics Informed Neural Networks for Phase Locked Loop Transient Stability Assessment

Add code
Mar 21, 2023
Viaarxiv icon

Solving Differential-Algebraic Equations in Power Systems Dynamics with Neural Networks and Spatial Decomposition

Add code
Mar 17, 2023
Viaarxiv icon

Physics-Informed Neural Networks for Time-Domain Simulations: Accuracy, Computational Cost, and Flexibility

Add code
Mar 15, 2023
Viaarxiv icon

Scalable Optimal Design of Incremental Volt/VAR Control using Deep Neural Networks

Add code
Jan 04, 2023
Viaarxiv icon

Minimizing Worst-Case Violations of Neural Networks

Add code
Dec 21, 2022
Viaarxiv icon