2 papers
quant-ph2024
A hybrid Quantum-Classical Algorithm for Mixed-Integer Optimization in Power Systems
Petros Ellinas, Samuel Chevalier, Spyros Chatzivasileiadis
Mixed Integer Linear Programming (MILP) can be considered the backbone of the modern power system optimization process, with a large application spectrum, from Unit Commitment and…
eess.SY2024
Correctness Verification of Neural Networks Approximating Differential Equations
Petros Ellinas, Rahul Nellikath, Ignasi Ventura +2
Verification of Neural Networks (NNs) that approximate the solution of Partial Differential Equations (PDEs) is a major milestone towards enhancing their trustworthiness and accele…