539 research outputs found
Optimal management of bio-based energy supply chains under parametric uncertainty through a data-driven decision-support framework
This paper addresses the optimal management of a multi-objective bio-based energy supply chain network subjected to multiple sources of uncertainty. The complexity to obtain an optimal solution using traditional uncertainty management methods dramatically increases with the number of uncertain factors considered. Such a complexity produces that, if tractable, the problem is solved after a large computational effort. Therefore, in this work a data-driven decision-making framework is proposed to address this issue. Such a framework exploits machine learning techniques to efficiently approximate the optimal management decisions considering a set of uncertain parameters that continuously influence the process behavior as an input. A design of computer experiments technique is used in order to combine these parameters and produce a matrix of representative information. These data are used to optimize the deterministic multi-objective bio-based energy network problem through conventional optimization methods, leading to a detailed (but elementary) map of the optimal management decisions based on the uncertain parameters. Afterwards, the detailed data-driven relations are described/identified using an Ordinary Kriging meta-model. The result exhibits a very high accuracy of the parametric meta-models for predicting the optimal decision variables in comparison with the traditional stochastic approach. Besides, and more importantly, a dramatic reduction of the computational effort required to obtain these optimal values in response to the change of the uncertain parameters is achieved. Thus the use of the proposed data-driven decision tool promotes a time-effective optimal decision making, which represents a step forward to use data-driven strategy in large-scale/complex industrial problems.Peer ReviewedPostprint (published version
Model predictive control techniques for hybrid systems
This paper describes the main issues encountered when applying model predictive control to hybrid processes. Hybrid model predictive control (HMPC) is a research field non-fully developed with many open challenges. The paper describes some of the techniques proposed by the research community to overcome the main problems encountered. Issues related to the stability and the solution of the optimization problem are also discussed. The paper ends by describing the results of a benchmark exercise in which several HMPC schemes were applied to a solar air conditioning plant.Ministerio de Eduación y Ciencia DPI2007-66718-C04-01Ministerio de Eduación y Ciencia DPI2008-0581
Explicit Model Predictive Control of Hybrid Systems using Multi-parametric Mixed Integer Polynomial Programming
Hybrid systems are dynamical systems characterized by the simultaneous presence of discrete and continuous variables. Model-based control of such systems is computationally demanding. To this effect, explicit controllers which provide control inputs as a set of functions of the state variables have been derived, using multiparametric programming mainly for the linear systems. Hybrid polynomial systems are considered resulting in a Mixed Integer Polynomial Programming problem. Treating the initial state of the system as a set of bounded parameters, the problem is reformulated as a multiparametric Mixed Integer Polynomial optimization (mp-MIPOPT) problem. A novel algorithm for mp-MIPOPT problems is proposed and the exact explicit control law for polynomial hybrid systems is computed. The key idea is the computation of the analytical solution of the optimality conditions while the binary variables are treated as relaxed parameters. Finally, using symbolic calculations exact nonconvex critical regions are compute
Optimality-based bound contraction with multiparametric disaggregation for the global optimization of mixed-integer bilinear problems
We address nonconvex mixed-integer bilinear problems where the main challenge is the computation of a tight upper bound for the objective function to be maximized. This can be obtained by using the recently developed concept of multiparametric disaggregation following the solution of a mixed-integer linear relaxation of the bilinear problem. Besides showing that it can provide tighter bounds than a commercial global optimization solver within a given computational time, we propose to also take advantage of the relaxed formulation for contracting the variables domain and further reduce the optimality gap. Through the solution of a real-life case study from a hydroelectric power system, we show that this can be an efficient approach depending on the problem size. The relaxed formulation from multiparametric formulation is provided for a generic numeric representation system featuring a base between 2 (binary) and 10 (decimal)
Multi-parametric mixed integer linear programming under global uncertainty
Major application areas of the process systems engineering, such as hybrid control, scheduling and synthesis can be formulated as mixed integer linear programming (MILP) problems and are naturally susceptible to uncertainty. Multi-parametric programming theory forms an active field of research and has proven to provide invaluable tools for decision making under uncertainty. While uncertainty in the right-hand side (RHS) and in the objective function's coefficients (OFC) have been thoroughly studied in the literature, the case of left-hand side (LHS) uncertainty has attracted significantly less attention mainly because of the computational implications that arise in such a problem. In the present work, we propose a novel algorithm for the analytical solution of multi-parametric MILP (mp-MILP) problems under global uncertainty, i.e. RHS, OFC and LHS. The exact explicit solutions and the corresponding regions of the parametric space are computed while a number of case studies illustrates the merits of the proposed algorithm
Design of of model-based controllers via parametric programming
Imperial Users onl
Multi-parametric Analysis for Mixed Integer Linear Programming: An Application to Transmission Planning and Congestion Control
Enhancing existing transmission lines is a useful tool to combat transmission
congestion and guarantee transmission security with increasing demand and
boosting the renewable energy source. This study concerns the selection of
lines whose capacity should be expanded and by how much from the perspective of
independent system operator (ISO) to minimize the system cost with the
consideration of transmission line constraints and electricity generation and
demand balance conditions, and incorporating ramp-up and startup ramp rates,
shutdown ramp rates, ramp-down rate limits and minimum up and minimum down
times. For that purpose, we develop the ISO unit commitment and economic
dispatch model and show it as a right-hand side uncertainty multiple parametric
analysis for the mixed integer linear programming (MILP) problem. We first
relax the binary variable to continuous variables and employ the Lagrange
method and Karush-Kuhn-Tucker conditions to obtain optimal solutions (optimal
decision variables and objective function) and critical regions associated with
active and inactive constraints. Further, we extend the traditional branch and
bound method for the large-scale MILP problem by determining the upper bound of
the problem at each node, then comparing the difference between the upper and
lower bounds and reaching the approximate optimal solution within the decision
makers' tolerated error range. In additional, the objective function's first
derivative on the parameters of each line is used to inform the selection of
lines to ease congestion and maximize social welfare. Finally, the amount of
capacity upgrade will be chosen by balancing the cost-reduction rate of the
objective function on parameters and the cost of the line upgrade. Our findings
are supported by numerical simulation and provide transmission line planners
with decision-making guidance
Robust Model Predictive Control for Signal Temporal Logic Synthesis
Most automated systems operate in uncertain or adversarial conditions, and have to be capable of reliably reacting to changes in the environment. The focus of this paper is on automatically synthesizing reactive controllers for cyber-physical systems subject to signal temporal logic (STL) specifications. We build on recent work that encodes STL specifications as mixed integer linear constraints on the variables of a discrete-time model of the system and environment dynamics. To obtain a reactive controller, we present solutions to the worst-case model predictive control (MPC) problem using a suite of mixed integer linear programming techniques. We demonstrate the comparative effectiveness of several existing worst-case MPC techniques, when applied to the problem of control subject to temporal logic specifications; our empirical results emphasize the need to develop specialized solutions for this domain
A novel dual-decomposition method for non-convex mixed integer quadratically constrained quadratic problems
In this paper, we propose the novel p-branch-and-bound method for solving
two-stage stochastic programming problems whose deterministic equivalents are
represented by non-convex mixed-integer quadratically constrained quadratic
programming (MIQCQP) models. The precision of the solution generated by the
p-branch-and-bound method can be arbitrarily adjusted by altering the value of
the precision factor p. The proposed method combines two key techniques. The
first one, named p-Lagrangian decomposition, generates a mixed-integer
relaxation of a dual problem with a separable structure for a primal non-convex
MIQCQP problem. The second one is a version of the classical dual decomposition
approach that is applied to solve the Lagrangian dual problem and ensures that
integrality and non-anticipativity conditions are met in the optimal solution.
The p-branch-and-bound method's efficiency has been tested on randomly
generated instances and demonstrated superior performance over commercial
solver Gurobi. This paper also presents a comparative analysis of the
p-branch-and-bound method efficiency considering two alternative solution
methods for the dual problems as a subroutine. These are the proximal bundle
method and Frank-Wolfe progressive hedging. The latter algorithm relies on the
interpolation of linearisation steps similar to those taken in the Frank-Wolfe
method as an inner loop in the classic progressive hedging.Comment: 19 pages, 5 table
- …