110 research outputs found
A Two-Level Approach to Large Mixed-Integer Programs with Application to Cogeneration in Energy-Efficient Buildings
We study a two-stage mixed-integer linear program (MILP) with more than 1
million binary variables in the second stage. We develop a two-level approach
by constructing a semi-coarse model (coarsened with respect to variables) and a
coarse model (coarsened with respect to both variables and constraints). We
coarsen binary variables by selecting a small number of pre-specified daily
on/off profiles. We aggregate constraints by partitioning them into groups and
summing over each group. With an appropriate choice of coarsened profiles, the
semi-coarse model is guaranteed to find a feasible solution of the original
problem and hence provides an upper bound on the optimal solution. We show that
solving a sequence of coarse models converges to the same upper bound with
proven finite steps. This is achieved by adding violated constraints to coarse
models until all constraints in the semi-coarse model are satisfied. We
demonstrate the effectiveness of our approach in cogeneration for buildings.
The coarsened models allow us to obtain good approximate solutions at a
fraction of the time required by solving the original problem. Extensive
numerical experiments show that the two-level approach scales to large problems
that are beyond the capacity of state-of-the-art commercial MILP solvers
A Framework for Generalized Benders' Decomposition and Its Application to Multilevel Optimization
We describe a framework for reformulating and solving optimization problems
that generalizes the well-known framework originally introduced by Benders. We
discuss details of the application of the procedures to several classes of
optimization problems that fall under the umbrella of multilevel/multistage
mixed integer linear optimization problems. The application of this abstract
framework to this broad class of problems provides new insights and a broader
interpretation of the core ideas, especially as they relate to duality and the
value functions of optimization problems that arise in this context
Bilevel optimisation with embedded neural networks: Application to scheduling and control integration
Scheduling problems requires to explicitly account for control considerations
in their optimisation. The literature proposes two traditional ways to solve
this integrated problem: hierarchical and monolithic. The monolithic approach
ignores the control level's objective and incorporates it as a constraint into
the upper level at the cost of suboptimality. The hierarchical approach
requires solving a mathematically complex bilevel problem with the scheduling
acting as the leader and control as the follower. The linking variables between
both levels belong to a small subset of scheduling and control decision
variables. For this subset of variables, data-driven surrogate models have been
used to learn follower responses to different leader decisions. In this work,
we propose to use ReLU neural networks for the control level. Consequently, the
bilevel problem is collapsed into a single-level MILP that is still able to
account for the control level's objective. This single-level MILP reformulation
is compared with the monolithic approach and benchmarked against embedding a
nonlinear expression of the neural networks into the optimisation. Moreover, a
neural network is used to predict control level feasibility. The case studies
involve batch reactor and sequential batch process scheduling problems. The
proposed methodology finds optimal solutions while largely outperforming both
approaches in terms of computational time. Additionally, due to well-developed
MILP solvers, adding ReLU neural networks in a MILP form marginally impacts the
computational time. The solution's error due to prediction accuracy is
correlated with the neural network training error. Overall, we expose how - by
using an existing big-M reformulation and being careful about integrating
machine learning and optimisation pipelines - we can more efficiently solve the
bilevel scheduling-control problem with high accuracy.Comment: 18 page
Multi-parametric programming : novel theory and algorithmic developments
Imperial Users onl
Disjunctive Inequalities: Applications and Extensions
A general optimization problem can be expressed in the form min{cx: x ∈ S}, (1) where x ∈ R n is the vector of decision variables, c ∈ R n is a linear objective function and S ⊂ R n is the set of feasible solutions of (1). Because S is generall
Learning Active Constraints to Efficiently Solve Linear Bilevel Problems
Bilevel programming can be used to formulate many engineering and economics
problems. However, common reformulations of bilevel problems to mixed-integer
linear programs (through the use of Karush-Kuhn-Tucker conditions) make solving
such problems hard, which impedes their implementation in real-life. In this
paper, we significantly improve solution speed and tractability by introducing
decision trees to learn the active constraints of the lower-level problem,
while avoiding to introduce binaries and big-M constants. The application of
machine learning reduces the online solving time, and becomes particularly
beneficial when the same problem has to be solved multiple times. We apply our
approach to power systems problems, and especially to the strategic bidding of
generators in electricity markets, where generators solve the same problem many
times for varying load demand or renewable production. Three methods are
developed and applied to the problem of a strategic generator, with a DCOPF in
the lower-level. We show that for networks of varying sizes, the computational
burden is significantly reduced, while we also manage to find solutions for
strategic bidding problems that were previously intractable.Comment: 11 pages, 5 figure
On the Relationship Between the Value Function and the Efficient Frontier of a Mixed Integer Linear Optimization Problem
In this paper, we investigate the connection between the efficient frontier
(EF) of a general multiobjective mixed integer linear optimization problem
(MILP) and the so-called restricted value function (RVF) of a closely related
single-objective MILP. We demonstrate that the EF of the multiobjective MILP is
comprised of points on the boundary of the epigraph of the RVF so that any
description of the EF suffices to describe the RVF and vice versa. In the first
part of the paper, we describe the mathematical structure of the RVF, including
characterizing the set of points at which it is differentiable, the gradients
at such points, and the subdifferential at all nondifferentiable points.
Because of the close relationship of the RVF to the EF, we observe that methods
for constructing so-called value functions and methods for constructing the EF
of a multiobjective optimization problem, each of which have been developed in
separate communities, are effectively interchangeable. By exploiting this
relationship, we propose a generalized cutting plane algorithm for constructing
the EF of a multiobjective MILP based on a generalization of an existing
algorithm for constructing the classical value function. We prove that the
algorithm is finite under a standard boundedness assumption and comes with a
performance guarantee if terminated early
A New General-Purpose Algorithm for Mixed-Integer Bilevel Linear Programs
International audienceBilevel optimization problems are very challenging optimization models arising in many important practical contexts, including pricing mechanisms in the energy sector, airline and telecommunication industry, transportation networks, critical infrastructure defense, and machine learning. In this paper, we consider bilevel programs with continuous and discrete variables at both levels, with linear objectives and constraints (continuous upper level variables, if any, must not appear in the lower level problem). We propose a general-purpose branch-and-cut exact solution method based on several new classes of valid inequalities, which also exploits a very effective bilevel-specific preprocessing procedure. An extensive computational study is presented to evaluate the performance of various solution methods on a common testbed of more than 800 instances from the literature and 60 randomly generated instances. Our new algorithm consistently outperforms (often by a large margin) alternative state-of-the-art methods from the literature, including methods exploiting problem-specific information for special instance classes. In particular, it solves to optimality more than 300 previously unsolved instances from the literature. To foster research on this challenging topic, our solver is made publicly available online
- …