1 citations · 1 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
Real-Time Risk Analysis with Optimization Proxies
Wenbo Chen, Mathieu Tanneau, Pascal Van Hentenryck
The increasing penetration of renewable generation and distributed energy resources requires new operating practices for power systems, wherein risk is explicitly quantified and ma…
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…