3 papers
cs.LG2024
Achieving the Tightest Relaxation of Sigmoids for Formal Verification
Samuel Chevalier, Duncan Starkenburg, Krishnamurthy Dvijotham
In the field of formal verification, Neural Networks (NNs) are typically reformulated into equivalent mathematical programs which are optimized over. To overcome the inherent non-c…
eess.SY2024
Enhancing Scalability of Optimal Kron-based Reduction of Networks (Opti-KRON) via Decomposition with Community Detection
Omid Mokhtari, Samuel Chevalier, Mads Almassalkhi
Electrical networks contain thousands of interconnected nodes and edges, which leads to computational challenges in some power system studies. To address these challenges, we conte…
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…