4 citations · 11 across the 9 of their papers we have counts for
5 papers · 1 filter
Compact Optimality Verification for Optimization Proxies
Wenbo Chen, Haoruo Zhao, Mathieu Tanneau +1
Recent years have witnessed increasing interest in optimization proxies, i.e., machine learning models that approximate the input-output mapping of parametric optimization problems…
Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
Haoruo Zhao, Hassan Hijazi, Haydn Jones +3
Neural network verification aims at providing formal guarantees on the output of trained neural networks, to ensure their robustness against adversarial examples and enable their d…
On the Viability of Stochastic Economic Dispatch for Real-Time Energy Market Clearing
Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
Over the past decade, the rapid adoption of intermittent renewable energy sources (RES), especially wind and solar generation, has posed challenges in managing real-time uncertaint…
Risk-Aware Control and Optimization for High-Renewable Power Grids
Neil Barry, Minas Chatzos, Wenbo Chen +10
The transition of the electrical power grid from fossil fuels to renewable sources of energy raises fundamental challenges to the market-clearing algorithms that drive its operatio…
A Linear Outer Approximation of Line Losses for DC-based Optimal Power Flow Problems
Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
This paper proposes a novel and simple linear model to capture line losses for use in linearized DC models, such as optimal power flow (DC-OPF) and security-constrained economic di…