Professional Documents
Culture Documents
Abstract
Robust optimization (RO) tackles data uncertainty by finding an optimal solution that
is protected against any realization of the uncertain parameter(s). To control the level
of conservatism in RO, one can use set a budget of uncertainty that limits the amount of
uncertainty to be considered in the model. However, in specific problems where the uncertain
parameter appears in the right-hand side of a constraint, this approach may produce non-
intuitive results. In this paper, we present cases where robust optimal solutions may be
insensitive to an increase in the budget of uncertainty by more than a certain threshold.
We refer to this phenomenon as “ineffective budgets” and propose a new tractable two-stage
robust optimization approach that reformulates the conventional setting in order to account
for the budget of uncertainty in problems with RHS uncertainty. In the first stage, we
identify the subset of the uncertainty set which would result in an ineffective budget. In the
second stage, we provide a reformulation that eliminates the ineffective part of the budget
of uncertainty, and hence, provides meaningful insights on the trade-off between robustness
and economy in such problems. We motivate the proposed model and demonstrate its
applicability using a power dispatch optimization problem with wind power uncertainty.
The numerical results confirm the merits of the proposed approach from various aspects
such as the effectiveness of the budget of uncertainty, robustness, and cost efficiency and
reliability against randomly-simulated scenarios.
Keywords: Robust optimization, Budget of uncertainty, Right-hand-side uncertainty,
Effective budget, Wind uncertainty, Power dispatch optimization
∗
Corresponding author
Email addresses: m23dehgh@uwaterloo.ca (Milad Dehghani Filabadi),
houra.mahmoudzadeh@uwaterloo.ca (Houra Mahmoudzadeh)
1. Introduction
2
a higher level of uncertainty. Ultimately, a full budget refers to complete protection against
uncertainty, which is equivalent to the traditional worst-case approach.
Accounting for the budget of uncertainty in problems with column-wise RHS uncertainty
is more challenging. In this paper, we propose a reformulation of the conventional budget-of-
uncertainty approach proposed by Bertsimas and Sim (2004), showing that the conventional
approach may not produce intuitively-expected results for problems with uncertainty in the
RHS. The intuition behind this issue is as follows: We often expect to see a change in
the level of conservatism of the solution by changing the budget of uncertainty; thus, the
higher the budget, the more conservative the solution is expected to become. However,
this behavior may not be explicitly observed in robust problems with RHS uncertainty.
That is, increasing the budget of uncertainty, and hence, allowing deviation of the value of
the RHS parameters from their nominal value by more than a certain threshold, may not
have any further effect on the robust optimal solution, simply because the corresponding
robust constraint would become redundant. Therefore, any consideration of the budget
of uncertainty beyond such threshold would be “ineffective” and the robust solution would
remain unchanged regardless of the higher level of uncertainty (budget) considered. In this
paper, we refer to this phenomenon as “ineffective budgets” and propose a new approach to
reformulate the conventional budget-of-uncertainty approach for such settings. The specific
contributions of this paper are as follows:
The rest of this paper is organized as follows: Section 2 motivates the problem using
power dispatch optimization under wind uncertainty. In Section 3, the proposed two-stage
robust optimization model is presented and discussed in details. Section 4 provides numerical
results and analyses. Finally, concluding remarks are presented in Section 5.
3
2. Motivation: Power Dispatch under Wind Uncertainty
4
motivation behind our proposed approach and will be elaborated on in more details in the
numerical results in Section 4.
In this section, we first describe a basic robust optimization problem with budget of
uncertainty in mathematical terms and explain the challenges with having RHS uncertainty
to more clearly motivate the methodology. We then present the proposed approach by
defining “admissible” and “effective” uncertainty sets and develop a two-stage robust model
for dealing with RHS uncertainty.
Throughout the rest of this paper, all inequalities are element-wise. We use bold numbers
0 and 1 to denote vectors of all zeros and all ones, respectively. We use operator ⊙ to denote
the Hadamard Product (Horn, 1990) for element-wise multiplication of vectors with equal
dimensions.
Parameter Γi can take any value within [0, |Ji |] where Ji is the set of coefficients that are
subject to uncertainty in row i. In particular, a zero budget, i.e., Γi = 0, corresponds to
the deterministic problem where the uncertain parameters do not deviate from the nominal
values. If Γi increases, the solution becomes more conservative against uncertainty and
results in a worse value of the objective function. On the other hand, a full budget, i.e.,
Γi = |Ji |, refers to the satisfaction of constraint i under all scenarios of the uncertainty set,
which is equivalent with traditional RO approaches with over-conservative solutions.
5
However, RHS uncertainty cannot be directly tackled using this approach for several
reasons. First, we cannot use the duality approach for reformulating the worst-case scenario
of the column-wise uncertain linear program into a row-wise one while preserving equivalence
Minoux (2008). Second, when budget of uncertainty is considered, the approach by Soyster
(1973) is also not applicable, since the worst-case of each constraint cannot be considered
independently from other constraints. Lastly, the regular row-wise budget-of-uncertainty
approach cannot always adjust the level of conservatism in these problems. To elaborate
on the latter point, consider formulation [M] with an uncertain RHS, i.e., ỹ ∈ U , where
U = [y, y]:
s.t. Ax + By ≤ g, (2b)
y ≤ ỹ, ∀ỹ ∈ U (2c)
x, y ≥ 0. (2d)
Problem [M] corresponds to an optimization problem with two resources. The objective
function consists of linear cost of using resource 1, i.e., c′1 x and the penalty for under-
utilizing resource 2 compared to the maximum of y, i.e., c′2 (y − y). The decision variables
x and y are vectors of size m × 1, and c2 ≥ c1 element-wise.
In problem [M], the objective function maximizes the amount of resource 2 used while
considering the uncertainty in its available amount in the RHS of constraint (2c). Con-
straint (2b) captures the limitations of the system, i.e., equality and inequality constraints,
on both x and y, where matrices A and B are of size n × m, and g is a vector of parameters
of size n × 1. Formulation [M] represents a model with RHS uncertainty on the amount of
available resources, which can be used for various real-world applications such as the SCED
problem. In SCED, the vectors x and y correspond to the power generation of conventional
generators and wind power plants, respectively. Thus, c2 (y) corresponds to the penalty of
the wind power curtailment while considering the uncertainty of available wind power in the
RHS of constraint (2c). We later provide complete details of the specific SCED problem in
Appendix A. However, for ease of mathematical notations, in the rest of this section, we will
develop the proposed methodology with the general form introduced in Formulation [M].
Assumption 1. In formulation [M], B ≥ 0, i.e., all elements of the matrix B are non-
negative.
6
We note that Assumption 1 is a practically-relevant assumption since By ≥ 0 in con-
straint (2b) corresponds to the system capacity used by resource y (for inequality constraints)
or the contribution of resource y in satisfying a demand (for equality constraints). Further-
more, the case of B = 0 corresponds to the upper/lower limit of vector x, depending on the
sign of the coefficients in the A matrix.
Assumption 2 ensures that the objective function is attempting to minimize x and maxi-
mize y as much as possible. In practice, these costs vectors represent monetary values which
are inherently non-negative.
As mentioned earlier, it is easy to apply the Soyster’s approach to Problem [M], but it
would lead to an over-conservative solution since it simply considers the worst-case value
for each constraint independently. Instead, we incorporate the budget of uncertainty in
Problem [M] to control the degree of conservatism. We directly use the budget of uncertainty
approach of Bertsimas and Sim (2004) for the uncertain RHS of Problem [M] and later
discuss how this approach can be modified to better address problems with RHS uncertainty.
Consider the uncertainty set U B with budget Γ as follows:
n m
X o
B m
U = ỹ ∈ R : ỹ = ŷ + z ⊙ (y − ŷ), zi ≤ Γ, 0≤z≤1 , (3)
i=1
where ŷ is the nominal value of the uncertain parameter, z captures the scaled deviation
from the nominal value, and Γ is the budget of uncertainty – a parameter that planners can
set to control the level of conservatism. Without loss of generality, we only allow positive
deviations from the nominal value. Incorporating U B in formulation [M], we obtain a new
problem [MB (Γ)] which is a robust model considering a budget of uncertainty of Γ:
s.t Ax + By ≤ g, (4b)
y ≤ ŷ + z ⊙ (y − ŷ), (4c)
Xm
zi ≤ Γ, (4d)
i=1
0 ≤ z ≤ 1, (4e)
x, y ≥ 0. (4f)
7
Note that in problem [MB (Γ)], setting Γ to zero would make [MB (Γ)] equivalent to a
nominal problem with no uncertainty. On the other hand, setting Γ to its maximum possible
value, m, would recover the traditional robust model [M].
In what follows, we motivate a proposed modification to the budget of uncertainty ap-
proach formulated in model [MB (Γ)]. To this end, Remark 1 first introduces a lower limit
for variable x, and next, Proposition 1 shows that in problem [MB (Γ)], constraint (4c) can
be redundant after a certain threshold of Γ.
Remark 1. For any x that is a feasible solution of formulation [MB (Γ)], there exists a lower
bound xℓ ≥ 0 on variable x such that x ≥ xℓ ≥ 0, regardless of the budget of uncertainty Γ.
Proof. Since the objective function is minimizing x, the lower bound on x is enforced by
either x ≥ 0 or Ax + By ≤ g, depending on the sign of the elements of the matrix A.
That is, ∃ xℓ , such that x ≥ xℓ ≥ 0 for any feasible solution of [MB (Γ)] for any budget of
uncertainty Γ.
Proposition 1. Problems [MB (Γℓ )] and [MB (Γ0 )] with optimal solutions (xℓ , yℓ , zℓ ) and
(x0 , y0 , z0 ), respectively, have the same optimal solutions x0 = xℓ and y0 = yℓ for Γ0 ≥ Γℓ
if
Pm ℓ ℓ
(i) i=1 zi = Γ
(ii) Axℓ + Byℓ = g
Proposition 1 shows that it is possible that problem [MB (Γ)] would become insensitive to
increasing the budget of uncertainty after a certain threshold Γℓ since constraints (4c) would
become redundant and constraint (4b) would be binding. Therefore, the available budget
may not be entirely utilized as the budget increases from Γℓ to Γ0 . We denote this value of
Γ0 − Γℓ as the “ineffective” budget of uncertainty. This observation in practical setting is the
mathematical motivation for the proposed approach. In what follows, we present a two-stage
methodology for identifying and eliminating ineffective budgets of uncertainty. We note that
the proposed two-stage approach is not to be confused with the literature of two-stage robust
8
Cap
y
s Unutilized Interval
ŷ Admissible Interval
ŝ
y s
Figure 1: Comparison between the initial uncertainty set [y, y], the admissible interval [s, s], and
the effective interval [ŝ, s].
optimization where some variables are determined at the first stage and some are decided
at the second stage after the uncertain parameters are realized. Our two-stage approach
consists of (1) identifying subsets of the uncertainty set that include ineffective budgets of
uncertainty, and (2) reformulating the problem to incorporate effective budgets only.
The rest of this section is organized as follows. In Section 3.2, we first introduce the
concepts of admissible and effective uncertainty sets by taking the feasibility constraints
into account in a traditional robust model with no budget. Then in Section 3.3, we identify
an effective budget of uncertainty which will be used for finding optimal solutions. Finally,
in Section 3.4, we summarize our two-stage robust optimization approach.
s ≤ y, (5a)
s ≤ y, (5b)
where s = y means that the RHS can be fully utilized and the entire uncertainty set is
admissible. Proposition 2 demonstrates how to identify whether a given interval [s, s] is
entirely admissible. Remark 2 further explains how to find the largest possible such interval
that is as close as possible to the uncertainty set U = [y, y].
Proposition 2. A solution y ∈ [s, s] satisfies constraint (2b) of formulation [M] under any
scenario of the uncertainty set if s and s meet the following conditions:
Ax + Bs + α ≤ g, (6a)
α ≥ B(s − s), (6b)
α ≥ 0. (6c)
where
β(r) = Bs + max B r ⊙ (s − s) , (8a)
r
s.t. 0 ≤ r ≤ 1. (8b)
Considering α as the dual vector for constraint (8b) and replacing the dual of problem (8)
into (7), we can recover formulation (6).
Remark 2. The following optimization problem finds the largest admissible interval [s, s]
10
that has the smallest distance from the uncertainty set U = [y, y].
s.t. Ax + Bs + α ≤ g, (9b)
α ≥ B(s − s), (9c)
s ≤ y, (9d)
s ≤ y, (9e)
s ≤ s, (9f)
x, s, s, α ≥ 0. (9g)
Proof. As shown in Proposition 2, constraints (9b), (9c), and α ≥ 0 in (9g) identify whether
a given interval [s, s] is admissible. Constraints (9d) and (9e) demonstrate that the admissible
interval may lay outside of the uncertainty set since the RHS parameters might not be fully
utilized. Constraints (9f) ensures that the admissible interval has an upper limit greater or
equal to its lower limit. Given that the objective function (9a) minimizes the gap between
[y, y] and [s, s] (vector 1 is an all-one column with proper dimensions), formulation (9)
always obtains the largest possible admissible interval that has the smallest distance from
the initial uncertainty set.
Proposition 3. The admissible interval [s, s] can always be categorized as one of the fol-
lowing four cases:
a) s = y and s = y
b) s = y and ŷ ≤ s < y
c) s = y and y < s < ŷ
d) s = s ≤ y
Proof. For any feasible solution of problem (9), ∃ α ≥ 0, such that α ≥ B(s − s). By
assumption, B ≥ 0. Let us separate the case of B = 0 and B > 0:
(i) If B = 0, constraint (9c) would become redundant since B(s − s) = 0. Constraint
(9b) is also independent from s since Bs = 0. Thus, due to the minimization objective
function, constraints (9d) and (9e) are binding at optimality, and the admissible interval
always corresponds to case (a), where s = y and s = y.
(ii) If, on the other hand, B > 0, we again separate the cases in which α > 0 or α = 0.
First, for α > 0, it is obvious that s > s. Thus, replacing (9c) in (9b), we can conclude that
Ax + Bs < g always holds for any value of s ∈ [0, y]. Due to the minimization objective
11
function in (9a), s = y at optimality. Depending on the value of α, by substitution, we
observe from (9b) and (9c) that:
Now consider formulation [MA ] where the uncertainty set U = [y, y] of problem [M] is
substituted with the admissible uncertainty set [s, s] denoted by U A :
s.t. Ax + By ≤ g, (10b)
y ≤ s̃, ∀s̃ ∈ U A = [s, s] (10c)
x, y ≥ 0. (10d)
The following proposition shows the equivalency of problems [M] and [MA ].
Proposition 4. Problems [M] and [MA ] have the exact same feasible region.
Proof. Let X and XA be the feasible sets of [M] and [MA ], respectively. To conclude that
the two feasible sets are equal, it is sufficient to show that any feasible solution in X is also
feasible for XA and vice-versa.
First, let xA , yA ∈ XA , where yA ≤ s̃ ∈ [s, s]. Since [s, s] falls into one of the cases
of Proposition 3, it satisfies the conditions of Proposition 2. Thus, xA , yA ∈ X as well.
Similarly, let x, y ∈ X, where y ≤ ỹ ∈ [y, y]. We observe that for values of z corresponding
to ỹ ∈ (s, y], constraint (4c) becomes redundant. Thus, y ≤ s and it demonstrates that
x, y ∈ XA as well.
12
From Proposition 4, we can conclude that instead of incorporating a budget of uncertainty in
problem [M] with partially-ineffective uncertainty set, we can incorporate the budget of un-
certainty in problem [MA ] without changing the feasible region. The admissible uncertainty
set of problem [MA ] can be formulated as follows.
n o
UA = s̃ ∈ Rm : s̃ = ŝ + z+ ⊙ (s − ŝ) + z− ⊙ (s − ŝ), 0 ≤ z+ , z− ≤ 1 , (11)
where ŝ is the middle point of the interval [s, s], and z+ and z− denote positive and negative
scaled deviations from ŝ, respectively. We next show that the worst-case scenario of the
admissible uncertainty set always occurs within ŝ, s, called the “effective” uncertainty set.
Proof. Using the definition of U A , we note that [s, s] = [s, ŝ] ∪ [ŝ, s]. Thus, we can re-write
the worst-case of constraint (7) by considering β(z+ , z− ) instead of β(r), where:
β(z+ , z− ) = Bŝ + max
+ −
B z+ ⊙ (s − ŝ) + z− ⊙ (s − ŝ) , (12a)
z ,z
s.t. 0 ≤ z+ ≤ 1, (12b)
0 ≤ z− ≤ 1. (12c)
Considering dual vectors η and ζ for constraints (12b) and (12c), respectively, the dual
formulation of problem (12) is:
13
y s
s
ŷ ŝ Unutilized Interval
ŝ
s
ŝ Admissible Interval
y s s s
s=s ŝ
0
(a) (b) (c) (d)
Figure 2: Comparison of the initial uncertainty set U = [y, y], the admissible uncertainty set
U A = [s, s], and the effective uncertainty set U E = [ŝ, s] for the four possible cases of Proposition 3.
s.t. 0 ≤ r ≤ 1, (14b)
Proposition 5 showed the equivalency of the uncertainty sets [s, s] and [ŝ, s] in terms of their
worst-case scenarios. We denote U E as the effective uncertainty set [ŝ, s] where:
n o
E m
U := s̃ ∈ R : s̃ = ŝ + r ⊙ (s − ŝ), 0 ≤ r ≤ 1. . (15)
Therefore, we can use the effective uncertainty set U E = [ŝ, s] in formulation [MA ].
So far, we introduced the admissible and effective uncertainty sets, for which the problem
feasibility is guaranteed, and showed that U E can be used instead of U without affecting
the solution. In the following section, we identify an effective budget of uncertainty to be
incorporated in the problem using the definitions made so far.
14
section, we propose a new definition of effective budget of uncertainty on the set U E which
has the following properties:
• For Γ = 0 and Γ = m (zero budget and full budget, respectively), it generates the
same solutions as the conventional budget approach.
• For other values of 0 < Γ < m, depending on the corresponding case from Proposi-
tion 3, it accounts for the ineffective budgets meaning that it explicitly controls the
level of conservatism with an increase in the budget.
Before presenting the new definition of budget, let us first present an intuition behind
what is expected. Recall that the conventional approach with uncertainty set U B and zero
uncertainty (Γ = 0) allows variable y to take values up to ŷ as long as it satisfies all
constraints, and therefore corresponds to solution y = s in cases (c) and (d) since s < ŷ.
To generate the same solution in U E , a one-directional positive deviation r from the new
nominal value ŝ is required since y ≤ ŝ + r ⊙ (s − ŝ). Otherwise, zero uncertainty in U E
would result in y = ŝ (as r = 0), which is different than the solution of the conventional
approach with no uncertainty. Thus, to keep the properties of the conventional approach,
we should allow such deviations in the proposed approach but should not take them into
account in the budget of uncertainty constraint for cases (c) and (d).
Similarly, in case (b), when s̃ < ŷ, for any value of Γ, the conventional approach corre-
sponds to y = ŷ. Consider Figure 3 which elaborates on case (b) and compares the uncertain
parameters in U E and U B based on their scaled deviations. The shaded regions in Figure 3
show the areas within which the budget of uncertainty of the conventional approach does not
impact the solutions. Hence, only the scaled deviations in U B corresponding to line segment
A′ C are effective; therefore, a complete scaled deviation (1) should correspond to point C,
since any further budget would not change the solution. In order to keep the properties of
the conventional budget approach, both the scaled deviations and the total budget should
be adjusted to correspond to the new length of the uncertainty set as well as the one-sided
nature of it.
Based on the properties discussed above, in what follows, we formally present an effective
uncertainty set U EB with an effective budget ΓE in Definition 1. Proposition 3 then describes
the linear mapping between Γ and ΓE and elaborates on the properties of the proposed
budget.
15
y
B
Uncertain parameter s
C Ineffective deviation
B′ UB
UE
U EB
A′
ŷ
A
ŝ
0 1
Scaled deviation
ΓE and is defined as
n
EB
U = s̃ ∈ Rm : s̃ = ŝ + r ⊙ (s − ŝ), (16a)
m
X
e i ri ≤ Γ E , (16b)
i=1
o
v ≤ r ≤ 1. (16c)
where vectors v, e and the new budget ΓE are parameters calculated based on existing infor-
mation as follows
1
h= 1 − sgn(ŷ − s) , (17a)
2
s − ŝ
e=h⊙( ), (17b)
y − ŷ
ŷ − ŝ
v =h⊙( ), (17c)
s − ŝ
m
E
X si − ŝi
Γ =Γ+ vi ( ). (17d)
i=1
y i − ŷi
Proposition 6. The effective uncertainty set U EB only considers deviations within U E into
the effective budget ΓE .
Note that v and r are scaled deviations based on the length of (s − ŝ), while Γ is a scaled
parameter based on the magnitude of (y − ŷ). To normalize the scaled deviations, the factor
s−ŝ
y−ŷ
is multiplied by v and r. Doing so, formulations (16) and (17) can be recovered.
Proof. It is sufficient to note that all functions mapping Γ to ΓE in Definition 1 are linear.
Finally, we note that the range of values that Γ and ΓE can take are different from each other.
Recall that in the conventional budget approach, Γ takes a value within [0, m]. (Bertsimas
and Sim, 2004). In the proposed approach, h P however, the effective
i budget is defined as
m m m Pm
ΓE = Γ + i=1 vi , and therefore, ΓE ∈
P P
i=1 vi , i=1 vi + m . The term i=1 vi ≥ 0
is constant and is only non-zero when the uncertain parameter corresponds to the effective
interval of case (b). Particularly, Γ = 0 in the conventional approach would generate the
same solution as ΓE = m
P
i=1 vi in the proposed approach (point A of Figure 3). On the
′
other hand, when the entire uncertainty set is admissible, (i.e., case (a)), for each i, we
conclude that: ei = 1, vi = 0, ŝi = ŷi , si = y i , and hence ΓE = Γ and the proposed approach
becomes the same as the conventional budget approach.
s.t Ax + By ≤ g, (19b)
y ≤ s̃ (19c)
s̃ = ŝ + r ⊙ (s − ŝ), (19d)
Xm
e i ri ≤ Γ E , (19e)
i=1
v ≤ r ≤ 1, (19f)
x, y ≥ 0. (19g)
The proposed two-stage approach provides insights on the price of robustness in problems
with uncertain parameters in the RHS of constraints. From a managerial point of view,
the trade-off between the robustness and objective function value can explicitly be observed
since changing the uncertainty budget would change the objective function. This would
allow for a more intuitive way for decision makers to determine the level of conservatism of
the robust solutions and hence, the value of the budget of uncertainty in the robust model.
4. Numerical Results
In this section, we examine the performance of the proposed robust model on an exam-
ple of the previously-described SCED problem with wind uncertainty. The SCED problem
can be presented in the form of model [M] where vectors x and y correspond to the power
generation of conventional generators and wind turbines, respectively. The objective func-
tion aims to minimize to the total operational cost, i.e., the generation cost of conventional
generators, plus a penalty cost associated with non-utilized wind power, under the worst-
case scenario of wind availability over a given time horizon. Constraint (2b) captures the
supply-demand balance equations and operational limits (e.g., limits of transmission lines,
generators, and reserve requirements) of the power system. Finally, the uncertainty associ-
ated with available wind power can be presented in the RHS of constraint (2c), where the
utilized wind power is less than or equal to the available amount of wind power.
We use an IEEE reliability test system (RTS) with multiple wind farms to perform
18
3,500
3,000
2,000
1,500
1 3 5 7 9 11 13 15 17 19 21 23
Time period (1 Hour)
numerical testing of our methodology. Detailed data of the test system can be found in
Grigg et al. (1999). The hourly load (demand) is shown in Figure 4. We consider a total
of four wind farms in the system, two with wind profile #1 and another two with wind
profile #2. These wind profiles and their corresponding uncertainty sets on the available
wind power are shown in Figure 5.
We solve a day-ahead optimization model for the SCED problem with a 24-hour time
horizon. The budget of uncertainty is defined for each one-hour time period across all
wind farms. A number of power dispatch studies in the literature neglect the impacts
of the unutilized wind power − which is called wind power curtailment − in the optimal
solution and assume that the nominal wind power can be fully utilized regardless of how
volatile and large the wind power is (Wu et al., 2014). We call this approach the “naive
approach” where instead of optimizing over y, we assume y = ŷ is given. For comparison,
we will use three variants of modeling the SCED optimization problem with wind power
curtailment in this section: (i) the deterministic model, which does not account for wind
uncertainty, (ii) the conventional robust model, which considers wind uncertainty but does
not account for effective budgets, and (iii) the proposed two-stage robust model with effective
budgets. Detailed formulations of these three models for the SCED problem are provided
in Appendix A. For further details on the robust formulation of the SCED problem, the
reader is referred to Dehghani Filabadi (2019).
In the rest of this section, we first perform day-ahead analyses where the uncertainty set
on the available wind power for the next 24 hours is used to solve the SCED problem before
knowing the actual realization of the uncertain parameter. We explicitly show all potential
cases of the admissible interval, demonstrate the performance of the proposed approach in
terms of the effectiveness of the budget of uncertainty, and study the trade-off between
19
350
Power output (MW)
Figure 5: Nominal value (predicted), upper limit, and lower limits of wind power
operational cost and budget of uncertainty. Next, to verify the reliability and cost efficiency
of the day-ahead solutions of the proposed approach, we compare the solutions of each
approach with a “prescient” solution in which we assume we have the perfect information of
real-time wind power availability when planning.
20
Upper limit of wind power Lower limit of wind power Admissible interval
Robust solution: Γt = 4 Robust solution: Γt = 0 (Deterministic) Naive solution
Power output (MW)
400 400
250 250
100 100
1 3 5 7 9 11 13 15 17 19 21 23 1 3 5 7 9 11 13 15 17 19 21 23
Time period (1 Hour) Time period (1 Hour)
350 350
Power output (MW)
250 250
150 150
50 50
1 3 5 7 9 11 13 15 17 19 21 23 1 3 5 7 9 11 13 15 17 19 21 23
Time period (1 Hour) Time period (1 Hour)
Figure 6: Wind power output comparison between the proposed robust, deterministic, and naive
approaches. Shaded regions correspond to the wind power admissible intervals.
4.2. Performance of The Proposed Approach versus The Conventional Budget Approach
In this section, we compare the effectiveness of the proposed robust approach with that
of the conventional approach when we modify the budget of uncertainty. Recall that the
budget of uncertainty is defined per time period. Here, we focus on comparing results for a
sample time period (time period t = 17), but we note that similar observations can be made
for other time periods as well. Figure 7 shows the wind power utilization versus the budget of
uncertainty for the sample time period. Overall, Figure 7 shows that the proposed approach
results in larger wind power utilization compared to the conventional approach and controls
the trade-off between the budget of uncertainty and wind power utilization, as intuitively
21
Utilized wind power (MW)
Proposed approach
1,530 Conventional approach
1,480
1,430
1,380
1,330
0 0.5 1 1.5 2 2.5 3 3.5 4
Γ17
Figure 7: Comparison of the effectiveness between the proposed approach and the conventional
approach in terms of wind power utilization during time period 17.
expected. In what follows, we explain the detailed reasoning behind this behaviour for
t = 17.
For Γ17 ∈ [0, 1], we observe that both the conventional and proposed approaches result in
the same wind power utilization, and an increase in the budget of uncertainty leads to higher
wind power utilization. Here, the conventional approach uses the first unit of the budget
for deviations of the uncertain parameter from the nominal value in wind farm A, whose
initial uncertainty set corresponds to case (a) during time 17 and can be entirely utilized.
Thus, the uncertain parameters are within the admissible interval for both approaches, and
larger budgets of uncertainty correspond to more wind power utilization without causing
infeasibility.
For Γ17 ∈ (1, 1.35], the uncertain parameter of the conventional approach corresponds
to the admissible interval of wind farm B and results in the same solution as the proposed
approach. On the other hand, for Γ17 ∈ (1.35, 2], the conventional approach leads to an
ineffective budget that cannot be further utilized in wind farm B, and changing the budget
does not impact the robust solution. In this case, the uncertain parameters corresponding
to the available wind power lie outside of the admissible interval and cannot be utilized.
In contrast, the proposed robust approach leads to a higher wind power utilization since
it allocates the budget of uncertainty only where it can be used. This means that the
proposed approach would allocate the budget to a different wind farm for which the uncertain
parameter is admissible.
For Γ17 ∈ (2, 2.47] an increase in the budget of uncertainty results in higher wind power
utilization in both approaches since the uncertain parameter corresponding to the power
22
output of both wind farms are within the admissible interval of wind farm C. However, the
total utilized wind power in the conventional approach is less than that of the proposed
approach due to previous units of budget being ineffectively used in wind farms A and B.
Similar arguments can be made for Γ17 ∈ (2.47, 3], Γ17 ∈ (3, 3.59], and Γ17 ∈ (3.59, 4].
Finally, for Γ17 = 4 (full budget), both approaches lead to the same overly-conservative
solution, where the uncertain parameters have maximum deviations from their nominal
values in all wind farms.
850
830
810
0 0.5 1 1.5 2 2.5 3 3.5 4
Γt
Figure 8: Total cost (objective function value) under various budgets of uncertainty.
and Γt = 4 (full budget), both robust approaches are equivalent since they both correspond
to the deterministic and worst-case solutions, respectively.
|yActual − ŷ|
z=
y − ŷ
from the nominal value for each period. This process is repeated until there are 100 scenarios
Pm
(for each time interval) where we have i=1 zi ≤ Γt , for values of Γt =1, 2, 3, and 4.
Note that for each time period, a scenario is a collection of randomized values for yActual
of different wind farms such that the total deviations from the nominal values fits the
budget constraint. For each scenario, we solve the deterministic SCED problem with ỹ =
yActual and calculate the absolute difference between the total cost of the day-ahead and
prescient solutions, denoted as ∆C, for each of the three approaches. Figure 9 compares the
performance of the three approaches in terms of ∆C which shows the sensitivity of day-ahead
solutions to simulated realizations of wind power and provides a basis to compare which
24
45 45 45
Average
35 35 35
∆C (×$103 )
∆C (×$103 )
∆C (×$103 )
25 25 25
15 15 15
5 5 5
1 2 3 4 1 2 3 4 1 2 3 4
Γt Γt Γt
(a) Deterministic approach (b) Conventional approach (c) Proposed approach
Figure 9: The sensitivity of day-ahead solutions to the prescient solution with perfect realizations
of wind power in real-time.
model gives a better estimate of the prescient solution. We can observe that the deterministic
approach corresponds to the largest ∆C values since this approach does not take wind
power uncertainty into account, and the day-ahead scheduled (expected) cost is much lower
than the prescient (actual) cost. On the other hand, the conventional and proposed robust
approaches corresponds to smaller ∆C values as they account for uncertainty, and hence
their day-ahead solutions are closer to the prescient solutions.
The proposed robust approach has the smallest ∆C since it allocates the uncertainty
budget to wind farms that can utilize the power and hence, generally results in lower ∆C
which indicates the proposed approach correspond to a robust solution closer to the prescient
solution. Particularly, for Γt = 1, the average ∆C for the proposed robust approach is
approximately 25% and 40% less than those of the conventional robust and deterministic
approaches, respectively. This is a desirable outcome since it helps planners to have a much
better estimate of the actual costs when performing day-ahead planning.
5. Conclusion
26
The Deterministic Model
The deterministic model considers the predicted wind power and assumes the prediction
27
is perfect. It then finds the power dispatches based on the predicted wind power output,
since the deterministic model does not account for wind uncertainty. The mathematical
formulation of the deterministic SCED problem is as follows:
XX X X
min Cg pg,t + σk Ŵk,t − pW
k,t
, (A.1)
t∈T i∈N g∈Gi k∈Ki
X X X X
s.t: pg,t + pW
k,t = Di,t , ∀t ∈ T (A.2)
i∈N g∈Gi k∈Ki i∈N
X X X
Ff ≤ Gf,i pg,t + pW
k,t − Di,t
≤ Ff, ∀f ∈ F, ∀t ∈ T (A.3)
i∈N g∈Gi k∈Ki
XX
+
rg,t ≥ Rtu , ∀t ∈ T (A.4)
i∈N g∈Gi
XX
−
rg,t ≥ Rtd , ∀t ∈ T (A.5)
i∈N g∈Gi
+
0 ≤ rg,t ≤ min P g − pg,t , Ug .∆t , ∀g ∈ Gi , i ∈ N , t ∈ T (A.6)
−
0 ≤ rg,t ≤ min pg,t − P g , Dg .∆t , ∀g ∈ Gi , i ∈ N , t ∈ T (A.7)
P g ≤ pg,t ≤ P g , ∀g ∈ Gi , i ∈ N , t ∈ T (A.9)
0 ≤ pW
k,t ≤ Ŵk,t . ∀k ∈ Ki , i ∈ N .t ∈ T (A.10)
The objective function (A.1) minimizes the total operational cost consisting of generation
cost of conventional generators and wind power curtailment cost. Constraint (A.2) ensures
the power balance between generation and load. In constraint (A.3), the power flows limits
are considered. The requirements for upward and downward spinning reserve are considered
in constraints (A.4) and (A.5), respectively. Constraints (A.6) and (A.7) address the capacity
of upward and downward reserves of each conventional generator. Constraint (A.8) ensures
that the dynamic changes in power outputs are limited with respect to the ramping rate of
conventional generators. The generation limits of conventional generators and wind farms
are shown in (A.9) and (A.10), respectively.
28
2016)
XX X X
min Cg pg,t + max σk W̃k,t − pW
k,t
, (A.11)
W̃k,t
t∈T i∈N g∈Gi k∈Ki
where the inner maximization finds the wind power curtailment under the worst-case sce-
nario, and then the optimal solution is obtained under the worst-case scenario. In the
conventional robust model, constraint (A.12) corresponds to the wind power dispatch limit,
and constraints (A.13)-(A.15) correspond to a polyhedral uncertainty set incorporating the
budget of uncertainty Γt in the model.
0 ≤ pW
k,t ≤ W̃k,t , ∀k ∈ Ki , i ∈ N , t ∈ T (A.12)
+
W̃k,t = Ŵk,t + zk,t (W k,t − Ŵk,t ) + z − (W k,t − Ŵk,t ), ∀k ∈ Ki , i ∈ N I , t ∈ T (A.13)
X X
− +
(zk,t + zk,t ) ≤ Γt , ∀t ∈ T (A.14)
i∈NaI k∈Ki
+
0 ≤ zk,t ≤ 1, ∀k ∈ Ki , i ∈ N I , t ∈ T (A.15)
−
0 ≤ zk,t ≤ 1. ∀k ∈ Ki , i ∈ N I , t ∈ T (A.16)
Using Duality Theorems, a linear reformulation of the conventional roust model is ob-
tained as follows where ξ and µ are dual vectors corresponding to (A.14) and (A.15). Note
that the constraint corresponding to (A.16) is removed as it becomes redundant, shown in
Proposition 5:
XX X X
min Cg pg,t + σk (Ŵk,t + µk,t + Γt ξt − pW
k,t ) ,
(A.17)
t∈T i∈N g∈Gi k∈Ki
µ, ξ ≥ 0 (A.19)
In the context of robust optimization, one would like to account for the robust feasibility of
constraints (the worst case scenario in terms of constraint feasibility) and also needs to take
the worst case scenario penalty cost into account, which are not necessarily synchronized
in the traditional approach presented above. However, the proposed approach tackles this
issue as described.
The Proposed Robust Model
The proposed robust model considers effective budgets of uncertainty and uses the proposed
29
two-stage approach.
Stage (I): The auxiliary optimization problem (A.20) is used to find the largest admissible
wind power interval [sk,t , sk,t ]:
X X X
min (W k,t − sk,t ) + (W k,t − sk,t ) (A.20a)
t∈T i∈N I k∈Ki
X X X X X
s.t. GIf,i pg,t − Di,t + sk,t + αk,f,t ≤ F f , (A.20b)
i∈N I g∈Gi k∈Ki i∈N I k∈Ki
∀k ∈ Ki , i ∈ N I , f ∈ F, t ∈ T
∀k ∈ Ki , i ∈ N I , f ∈ F, t ∈ T
α, ζ, η, β, r+ , r− , s, s, p ≥ 0, (A.20l)
where vectors α, ζ, η, β are auxiliary variables use in the robust counterpart reformulation.
Given the admissible interval [sk,t , sk,t ], the effective uncertainty set [ŝk,t , sk,t ] is obtained.
Stage (II):Given the optimal solution of Stage I, the effective budget of uncertainty ΓE is
obtained and incorporated in the Stage II formulation as follows:
X X X X
min Cg pg,t + σk (ŝk,t + µk,t − vk,t λk,t + ΓE ξ
t t − p W
k,t ) (A.21)
t∈T i∈N
I g∈Gi k∈Ki
30
s.t. µk,t − λk,t + ek,t ξt ≥ (sk,t − ŝk,t ), ∀k ∈ Ki , i ∈ N I , t ∈ T (A.22)
pW
k,t ≤ s̃k,t , (A.23)
µ, λ, ξ ≥ 0, (A.27)
where parameters ek,t , vk,t , and ΓEt are calculated based on Section 3.3.
References
Ang, M., Lim, Y. F., and Sim, M. (2012). Robust storage assignment in unit-load warehouses. Management
Science, 58(11):2114–2130.
Atamtürk, A. and Zhang, M. (2007). Two-stage robust network flow and design under demand uncertainty.
Operations Research, 55(4):662–673.
Ben-Tal, A., El Ghaoui, L., and Nemirovski, A. (2009). Robust optimization, volume 28. Princeton University
Press.
Ben-Tal, A. and Nemirovski, A. (1998). Robust convex optimization. Mathematics of operations research,
23(4):769–805.
Ben-Tal, A. and Nemirovski, A. (2002). Robust optimization–methodology and applications. Mathematical
Programming, 92(3):453–480.
Bertsimas, D., Brown, D. B., and Caramanis, C. (2011). Theory and applications of robust optimization.
SIAM review, 53(3):464–501.
Bertsimas, D. and Sim, M. (2003). Robust discrete optimization and network flows. Mathematical program-
ming, 98(1-3):49–71.
Bertsimas, D. and Sim, M. (2004). The price of robustness. Operations research, 52(1):35–53.
Billinton, R. and Bollinger, K. E. (1968). Transmission system reliability evaluation using Markov processes.
IEEE Transactions on power apparatus and systems, .(2):538–547.
Chan, T. C., Mahmoudzadeh, H., and Purdie, T. G. (2014). A robust-CVaR optimization approach with
application to breast cancer therapy. European Journal of Operational Research, 238(3):876–885.
Dehghani Filabadi, M. (2019). Robust optimization for SCED in AC-HVDC power systems. Master’s thesis,
University of Waterloo.
El Ghaoui, L. and Lebret, H. (1997). Robust solutions to least-squares problems with uncertain data. SIAM
Journal on matrix analysis and applications, 18(4):1035–1064.
Falk, J. E. (1976). Exact solutions of inexact linear programs. Operations Research, 24(4):783–787.
Frank, S. and Rebennack, S. (2016). An introduction to optimal power flow: Theory, formulation, and
examples. IIE Transactions, 48(12):1172–1197.
31
Gabrel, V., Murat, C., and Thiele, A. (2014). Recent advances in robust optimization: An overview.
European journal of operational research, 235(3):471–483.
Grigg, C., Wong, P., Albrecht, P., Allan, R., Bhavaraju, M., Billinton, R., Chen, Q., Fong, C., Haddad, S.,
Kuruganty, S., et al. (1999). The ieee reliability test system-1996. a report prepared by the reliability test
system task force of the application of probability methods subcommittee. IEEE Transactions on power
systems, 14(3):1010–1020.
Hassanzadeh, F., Nemati, H., and Sun, M. (2014). Robust optimization for interactive multiobjective
programming with imprecise information applied to R&D project portfolio selection. European Journal
of Operational Research, 238(1):41–53.
Horn, R. A. (1990). The hadamard product. In Proc. Symp. Appl. Math, volume 40, pages 87–169.
Li, Z., Wu, W., Shahidehpour, M., and Zhang, B. (2016). Adaptive robust tie-line scheduling consider-
ing wind power uncertainty for interconnected power systems. IEEE Transactions on Power Systems,
31(4):2701–2713.
Li, Z., Wu, W., Zhang, B., and Wang, B. (2015). Robust look-ahead power dispatch with adjustable
conservativeness accommodating significant wind power integration. IEEE Transactions on Sustainable
Energy, 6(3):781–790.
Lopez, A., Roberts, B., Heimiller, D., Blair, N., and Porro, G. (2012). US renewable energy technical
potentials: a GIS-based analysis. Technical report, NREL.
Lorca, A. and Sun, X. A. (2015). Adaptive robust optimization with dynamic uncertainty sets for multi-
period economic dispatch under significant wind. IEEE Transactions on Power Systems, 30(4):1702–1713.
Minoux, M. (2008). Robust linear programming with right-hand-side uncertainty, duality and applications.
In Encyclopedia of Optimization, pages 3317–3327. Springer.
Minoux, M. (2012). Two-stage robust LP with ellipsoidal right-hand side uncertainty is NP-hard. Optimiza-
tion Letters, 6(7):1463–1475.
Ouorou, A. (2016). Robust models for linear programming with uncertain right hand side. Networks,
68(3):200–211.
Singh, C. (1982). Convex programming with set-inclusive constraints and its applications to generalized
linear and fractional programming. Journal of Optimization Theory and Applications, 38(1):33–42.
Soyster, A. L. (1973). Convex programming with set-inclusive constraints and applications to inexact linear
programming. Operations research, 21(5):1154–1157.
Wu, W., Chen, J., Zhang, B., and Sun, H. (2014). A robust wind power optimization method for look-ahead
power dispatch. IEEE Transactions on Sustainable Energy, 5(2):507–515.
32