Skip to main content

Showing 1–18 of 18 results for author: Tanneau, M

Searching in archive math. Search in all archives.
.
  1. arXiv:2405.21023  [pdf, other

    math.OC cs.AI

    Compact Optimality Verification for Optimization Proxies

    Authors: Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: Recent years have witnessed increasing interest in optimization proxies, i.e., machine learning models that approximate the input-output map** of parametric optimization problems and return near-optimal feasible solutions. Following recent work by (Nellikkath & Chatzivasileiadis, 2021), this paper reconsiders the optimality verification problem for optimization proxies, i.e., the determination o… ▽ More

    Submitted 31 May, 2024; originally announced May 2024.

    Comments: International Conference on Machine Learning 2024

  2. arXiv:2402.03086  [pdf, other

    math.OC cs.LG

    Dual Lagrangian Learning for Conic Optimization

    Authors: Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: This paper presents Dual Lagrangian Learning (DLL), a principled learning methodology for dual conic optimization proxies. DLL leverages conic duality and the representation power of ML models to provide high-duality, dual-feasible solutions, and therefore valid Lagrangian dual bounds, for linear and nonlinear conic optimization problems. The paper introduces a systematic dual completion procedure… ▽ More

    Submitted 24 May, 2024; v1 submitted 5 February, 2024; originally announced February 2024.

  3. arXiv:2402.02596  [pdf, other

    cs.LG math.OC

    Dual Interior-Point Optimization Learning

    Authors: Michael Klamkin, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: This paper introduces Dual Interior Point Learning (DIPL) and Dual Supergradient Learning (DSL) to learn dual feasible solutions to parametric linear programs with bounded variables, which are pervasive across many industries. DIPL mimics a novel dual interior point algorithm while DSL mimics classical dual supergradient ascent. DIPL and DSL ensure dual feasibility by predicting dual variables ass… ▽ More

    Submitted 4 February, 2024; originally announced February 2024.

  4. arXiv:2401.05280  [pdf, other

    math.OC

    Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification

    Authors: Haoruo Zhao, Hassan Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: 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 deployment in safety-critical applications. This paper introduces a new approach to neural network verification using a novel mixed-integer programming rolling-horizon decomposition method. The algorithm leverages the lay… ▽ More

    Submitted 29 March, 2024; v1 submitted 10 January, 2024; originally announced January 2024.

  5. arXiv:2310.04605  [pdf, other

    cs.LG math.OC

    Learning Optimal Power Flow Value Functions with Input-Convex Neural Networks

    Authors: Andrew Rosemberg, Mathieu Tanneau, Bruno Fanzeres, Joaquim Garcia, Pascal Van Hentenryck

    Abstract: The Optimal Power Flow (OPF) problem is integral to the functioning of power systems, aiming to optimize generation dispatch while adhering to technical and operational constraints. These constraints are far from straightforward; they involve intricate, non-convex considerations related to Alternating Current (AC) power flow, which are essential for the safety and practicality of electrical grids.… ▽ More

    Submitted 6 October, 2023; originally announced October 2023.

    Comments: 7 pages

    MSC Class: 49M20

  6. arXiv:2310.02969  [pdf, other

    cs.LG math.OC

    Dual Conic Proxies for AC Optimal Power Flow

    Authors: Guancheng Qiu, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: In recent years, there has been significant interest in the development of machine learning-based optimization proxies for AC Optimal Power Flow (AC-OPF). Although significant progress has been achieved in predicting high-quality primal solutions, no existing learning-based approach can provide valid dual bounds for AC-OPF. This paper addresses this gap by training optimization proxies for a conve… ▽ More

    Submitted 26 March, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

    Comments: accepted to PSCC 2024

  7. arXiv:2310.00709  [pdf, other

    math.OC

    Real-Time Risk Analysis with Optimization Proxies

    Authors: Wenbo Chen, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: The increasing penetration of renewable generation and distributed energy resources requires new operating practices for power systems, wherein risk is explicitly quantified and managed. However, traditional risk-assessment frameworks are not fast enough for real-time operations, because they require numerous simulations, each of which requires solving multiple economic dispatch problems sequentia… ▽ More

    Submitted 4 October, 2023; v1 submitted 1 October, 2023; originally announced October 2023.

    Comments: 7 pages

  8. arXiv:2308.06386  [pdf, other

    math.OC

    On the Benefits of Stochastic Economic Dispatch in Real-Time Electricity Markets

    Authors: Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: Independent system operators (ISOs) in the US clear their real-time electricity market every five minutes, optimizing energy and reserve dispatches to minimize operating costs while meeting technical and regulatory constraints. Currently, many real-time markets are cleared by solving a single-period, deterministic, security-constrained economic dispatch (SCED). Nevertheless, given the growing pene… ▽ More

    Submitted 11 August, 2023; originally announced August 2023.

  9. arXiv:2304.11726  [pdf, other

    math.OC cs.LG

    End-to-End Feasible Optimization Proxies for Large-Scale Economic Dispatch

    Authors: Wenbo Chen, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: The paper proposes a novel End-to-End Learning and Repair (E2ELR) architecture for training optimization proxies for economic dispatch problems. E2ELR combines deep neural networks with closed-form, differentiable repair layers, thereby integrating learning and feasibility in an end-to-end fashion. E2ELR is also trained with self-supervised learning, removing the need for labeled data and the solv… ▽ More

    Submitted 18 August, 2023; v1 submitted 23 April, 2023; originally announced April 2023.

  10. arXiv:2211.15755  [pdf, other

    cs.LG math.OC

    Confidence-Aware Graph Neural Networks for Learning Reliability Assessment Commitments

    Authors: Seonho Park, Wenbo Chen, Dahye Han, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: Reliability Assessment Commitment (RAC) Optimization is increasingly important in grid operations due to larger shares of renewable generations in the generation mix and increased prediction errors. Independent System Operators (ISOs) also aim at using finer time granularities, longer time horizons, and possibly stochastic formulations for additional economic and reliability benefits. The goal of… ▽ More

    Submitted 10 June, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

    Comments: Submitted to IEEE Transactions on Power Systems

  11. arXiv:2208.07497  [pdf, other

    cs.LG cs.AI eess.SY math.OC

    Bucketized Active Sampling for Learning ACOPF

    Authors: Michael Klamkin, Mathieu Tanneau, Terrence W. K. Mak, Pascal Van Hentenryck

    Abstract: This paper considers optimization proxies for Optimal Power Flow (OPF), i.e., machine-learning models that approximate the input/output relationship of OPF. Recent work has focused on showing that such proxies can be of high fidelity. However, their training requires significant data, each instance necessitating the (offline) solving of an OPF for a sample of the input distribution. To meet the re… ▽ More

    Submitted 2 October, 2023; v1 submitted 15 August, 2022; originally announced August 2022.

  12. arXiv:2204.00950  [pdf, other

    math.OC cs.LG

    Risk-Aware Control and Optimization for High-Renewable Power Grids

    Authors: Neil Barry, Minas Chatzos, Wenbo Chen, Dahye Han, Chaofan Huang, Roshan Joseph, Michael Klamkin, Seonho Park, Mathieu Tanneau, Pascal Van Hentenryck, Shangkun Wang, Hanyu Zhang, Haoruo Zhao

    Abstract: 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 operations. Indeed, the increased stochasticity in load and the volatility of renewable energy sources have led to significant increases in prediction errors, affecting the reliability and efficiency of existing deterministic op… ▽ More

    Submitted 2 April, 2022; originally announced April 2022.

  13. arXiv:2112.13469  [pdf, other

    cs.LG eess.SY math.OC

    Learning Optimization Proxies for Large-Scale Security-Constrained Economic Dispatch

    Authors: Wenbo Chen, Seonho Park, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: The Security-Constrained Economic Dispatch (SCED) is a fundamental optimization model for Transmission System Operators (TSO) to clear real-time energy markets while ensuring reliable operations of power grids. In a context of growing operational uncertainty, due to increased penetration of renewable generators and distributed energy resources, operators must continuously monitor risk in real-time… ▽ More

    Submitted 26 December, 2021; originally announced December 2021.

    Comments: The paper is the extension version of the paper submitted to PSCC2022

  14. arXiv:2112.10975  [pdf, other

    math.OC

    A Linear Outer Approximation of Line Losses for DC-based Optimal Power Flow Problems

    Authors: Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: 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 dispatch (SCED). The \textit{Line Loss Outer Approximation} (LLOA) model implements an outer approximation of the line losses lazily and typically terminates in a small number of iterations. Experiments on large-scale powe… ▽ More

    Submitted 23 December, 2021; v1 submitted 20 December, 2021; originally announced December 2021.

  15. arXiv:2110.13772  [pdf, other

    cs.LG math.OC

    Data-Driven Time Series Reconstruction for Modern Power Systems Research

    Authors: Minas Chatzos, Mathieu Tanneau, Pascal Van Hentenryck

    Abstract: A critical aspect of power systems research is the availability of suitable data, access to which is limited by privacy concerns and the sensitive nature of energy infrastructure. This lack of data, in turn, hinders the development of modern research avenues such as machine learning approaches or stochastic formulations. To overcome this challenge, this paper proposes a systematic, data-driven fra… ▽ More

    Submitted 26 October, 2021; originally announced October 2021.

  16. Design and implementation of a modular interior-point solver for linear optimization

    Authors: Miguel F. Anjos, Andrea Lodi, Mathieu Tanneau

    Abstract: This paper introduces the algorithmic design and implementation of Tulip, an open-source interior-point solver for linear optimization. It implements a regularized homogeneous interior-point algorithm with multiple centrality corrections, and therefore handles unbounded and infeasible problems. The solver is written in Julia, thus allowing for a flexible and efficient implementation: Tulip's algor… ▽ More

    Submitted 23 June, 2020; v1 submitted 15 June, 2020; originally announced June 2020.

  17. arXiv:1912.03166  [pdf, other

    math.OC

    Disjunctive cuts in Mixed-Integer Conic Optimization

    Authors: Andrea Lodi, Mathieu Tanneau, Juan Pablo Vielma

    Abstract: This paper studies disjunctive cutting planes in Mixed-Integer Conic Programming. Building on conic duality, we formulate a cut-generating conic program for separating disjunctive cuts, and investigate the impact of the normalization condition on its resolution. In particular, we show that a careful selection of normalization guarantees its solvability and conic strong duality. Then, we highlight… ▽ More

    Submitted 4 September, 2020; v1 submitted 6 December, 2019; originally announced December 2019.

  18. arXiv:1910.07600  [pdf, other

    cs.LG math.OC stat.ML

    Learning chordal extensions

    Authors: Defeng Liu, Andrea Lodi, Mathieu Tanneau

    Abstract: A highly influential ingredient of many techniques designed to exploit sparsity in numerical optimization is the so-called chordal extension of a graph representation of the optimization problem. The definitive relation between chordal extension and the performance of the optimization algorithm that uses the extension is not a mathematically understood task. For this reason, we follow the current… ▽ More

    Submitted 16 October, 2019; originally announced October 2019.

    Comments: Submitted to Journal of Global Optimization