<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>An Investigation of a Bilevel Energy Market Model</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Nadezhda V. Dresvyanskaya</string-name>
          <email>nadyadresvyanskaya@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Melentiev Energy System Institute SB RAS</institution>
          ,
          <addr-line>Lermontov st., 130, Irkutsk, Russia, 664033</addr-line>
        </aff>
      </contrib-group>
      <fpage>563</fpage>
      <lpage>573</lpage>
      <abstract>
        <p>The two-level model of interaction between power producers (GC) and System Operator (SO) is considered. The upper level corresponds to GC which try to increase their pro t by distortion information about the characteristics operating costs of their power plants. The lower level corresponds to SO which solves the generation scheduling problem on the basis of technical parameters of the power plants provided by the producers. SO is aimed at minimizing total production costs in Electric Power System (EPS). Two formulations of this model are considered. In the rst case the bounds on generation and capacities of lines are considered insigni cant. For this case we study properties of the objective function of the upper level and investigate the existence of the Nash equilibrium. In the second case we will take into account additional bounds on the power generation and power ows. In this case the standard replacement of the lower level problem by the Karush-Kuhn-Tucker (KKT) optimality conditions is proposed. In this paper, we present a simple numerical example to validate the proposed approach and demonstrate its main features.</p>
      </abstract>
      <kwd-group>
        <kwd>Electricity market</kwd>
        <kwd>bilevel optimization</kwd>
        <kwd>Nash equilibrium</kwd>
        <kwd>noncooperative game</kwd>
        <kwd>mixed-integer quadratic programming</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>A lot of investigations are devoted to research of the electricity market. Today an
actual task is study of interaction between System Operator and power producers [1].
Producers in the electricity market are Generation Companies (GC).</p>
      <p>Power producers provide their costs to the System Operator in the market
conditions. SO solves a generation scheduling problem, minimizing total costs of electricity
generation and calculating the nodal prices (dual variables) on the basis of technical
parameters of the power plants provided by the producers. To increase their pro t power
producers deliberately distort real values of some technical parameters of the power
plants thereby implicitly in uencing the prices. This interaction between SO and GC
can be modeled using a two-level mathematical programming problems [2, 3]. Earlier
the bilevel programming technique was used for modeling the heat energy market [4].
Copyright c by the paper's authors. Copying permitted for private and academic purposes.
In: A. Kononov et al. (eds.): DOOR 2016, Vladivostok, Russia, published at http://ceur-ws.org</p>
      <p>The two-level model of interaction between System Operator and producers is
considered in this paper. The upper level corresponds to the pro t maximization of
Generation Companies with true costs functions. The lower level of the problem corresponds
to SO e orts to schedule generation and calculate local marginal prices (LMP) on
the basis of total production costs minimization. On the upper level there are several
GC, each seeks to maximize its own pro ts, therefore on the upper level there is the
equilibrium search problem.</p>
      <p>In the considered model the limits on generation and capacities of lines are
considered insigni cant. For this case we research properties of the objective function of the
upper level and prove the existence of the Nash equilibrium.</p>
      <p>This paper presents a numerical example demonstrating the applicability of the
proposed approach to the solution of the considered problem.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Problem formulation</title>
      <p>The Electric Power System (EPS), consisting of n nodes and m lines is considered [1,
5]. We assume that the rst k (k &lt; n) nodes are power producers and the others (n k)
are consumers. Each power producer operates one power plant.</p>
      <p>The network topology is given by the incidence n m matrix A with entries
aij =
&gt;8 1; if line j enters node i,
&lt;</p>
      <p>0; if line j is not connected to node i,
&gt;
: 1; if line j leaves node i.</p>
      <p>The power ows must satisfy Kirchho 's rst law</p>
      <p>Ax = b;
where xj is power ow on the line j, bi 0 is power generation for i = 1; k and power
demand (in this case bi 0) for i = k + 1; n. Note that matrix A has the following
property: if T A = 0, then 1 = 2 = : : : = n.</p>
      <p>In this paper the demand is inelastic, i.e. bi = const, i = k + 1; n.</p>
      <p>Generation of power producers is determined by quadratic costs function
ci(bi) =</p>
      <p>ibi2 + ibi + i; i = 1; k;
where i &gt; 0, i &gt; 0, i &gt; 0.</p>
      <p>System Operator solves the convex quadratic programming problem
k k
X ci(bi) = X
i=1 i=1
ibi2 + ibi + i ! (x;bm1;:i:n:;bk);</p>
      <p>Ax = b:</p>
      <p>
        Constraints (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) are always consistent, the objective function in (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) is strictly convex.
This provides unique solution in variables b1; : : : ; bk.
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
      </p>
      <p>
        In (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) the total production costs in the EPS is considered. Solving this problem,
SO determines the Lagrange multipliers associated with the constraints (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ), which act
as nodal equilibrium prices, and determines the amounts of generation for each power
producer. Further on the basis of these data power producers de ne their own pro t.
      </p>
      <p>Such pricing system is aimed only to meet the demand with minimum costs and
completely ignores the interests of producers. GC are aimed at maximizing their pro ts
in market conditions. The minimum total production costs in the EPS is not the
objective for them.</p>
      <p>
        In this situation power producers deliberately distort real values of some technical
parameters of the power plants. This means that parameter values i, i, i in (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ),
reported to the SO, can be deliberately changed by power producers and may di er
from the true values ^i, ^i, ^i for the purpose of maximizing the pro t with prices and
amounts of generation, determined after the solution of the problem (
        <xref ref-type="bibr" rid="ref2">2</xref>
        )-(
        <xref ref-type="bibr" rid="ref3">3</xref>
        ).
      </p>
      <p>In this paper it is assumed that i = ^i; = ^i, i.e. we study the impact of
parameters i on GC pro t. The problem of existence and nding the Nash equilibrium
between GC is investigated. Therefore variable parameters i are used in problem
formulation of SO, and for calculating producer's costs we use true values ^i.
3</p>
      <p>
        Search for the Nash equilibrium
To solve the problem (
        <xref ref-type="bibr" rid="ref2">2</xref>
        )-(
        <xref ref-type="bibr" rid="ref3">3</xref>
        ), in which i = ^i; = ^i and vector = ( 1; : : : ; k)T is
external parameter, we use the method of Lagrange multipliers. The Lagrange function
has the form
      </p>
      <p>L(b; x; ) =
k
X ^ibi2 + ibi + ^i +
i=1</p>
      <p>T (Ax
b):
Calculate the partial derivatives and equal them to zero:
Lx = AT
= 0;</p>
      <p>Lx =
:</p>
      <p>
        Using the property of matrix incidence A, from (
        <xref ref-type="bibr" rid="ref5">5</xref>
        ) we obtain, that all prices i are
equal to the same price, which we denote by p,
      </p>
      <sec id="sec-2-1">
        <title>Thus, from (4) and (6) we have</title>
        <p>1 =
2 = : : : =</p>
        <p>n = p:
2 ^ibi + i = p:</p>
        <p>
          Note that the value of 2 ^ibi + i is the value of marginal costs of power producer
i, because c0i(bi) = 2 ^ibi + i. Therefore in optimal solution all power producers facing
the same level of marginal costs, which is equal to the established price.
(
          <xref ref-type="bibr" rid="ref4">4</xref>
          )
(
          <xref ref-type="bibr" rid="ref5">5</xref>
          )
(
          <xref ref-type="bibr" rid="ref6">6</xref>
          )
(
          <xref ref-type="bibr" rid="ref7">7</xref>
          )
        </p>
        <p>Thus in the model all calculations are performed assuming a uniform price
determined by GC's current costs.</p>
        <p>Now we describe the pro t for power producer i as a function of the zero marginal
costs i = c0i(0). We assume, that in practice the impact of parameter i on pro t is
more signi cant.</p>
        <p>
          As noted above the main aim of power producer is to maximize pro t
p ( )bi ( )
^ibi ( )2
^ibi ( )
^i ! max;
i
where p ( ) and bi ( ) are the corresponding to a given parameter vector optimal
values of the dual and primal variables, obtained after solving the problem (
          <xref ref-type="bibr" rid="ref2">2</xref>
          )-(
          <xref ref-type="bibr" rid="ref3">3</xref>
          ).
        </p>
        <p>
          Pro t functions of power producers
i( ) = p ( )bi ( )
^ibi ( )2 + ^ibi ( ) + ^i ; i = 1; k;
(
          <xref ref-type="bibr" rid="ref8">8</xref>
          )
we rewrite in a form suitable for the further analysis.
        </p>
        <p>
          From (
          <xref ref-type="bibr" rid="ref7">7</xref>
          ) we obtain
(2 ^ibi + i)bi
^ibi2
^ibi
^i = ^ibi2 + ibi
^ibi
^i;
where ^i is real zero costs of power producer i.
        </p>
        <p>
          Since A is matrix incidence, then, summing all the equations of the system (
          <xref ref-type="bibr" rid="ref3">3</xref>
          ), we
obtain the equation
or
and
where bT is total power demand.
        </p>
        <p>
          From (
          <xref ref-type="bibr" rid="ref7">7</xref>
          ) and (
          <xref ref-type="bibr" rid="ref9">9</xref>
          ) we derive
0 =
n
X bi
i=1
b1 + b2 + : : : + bk = jbk+1j + : : : + jbnj = bT ;
q( ) = Kq q2 + q( );
q = 1; k;
Note that increase parameter i involves increase p ( ).
        </p>
        <p>
          Analytical expression of pro t functions as functions of parameters
substitution of expressions (
          <xref ref-type="bibr" rid="ref10">10</xref>
          ) and (11) in (
          <xref ref-type="bibr" rid="ref8">8</xref>
          ) and has the form
turns out
(
          <xref ref-type="bibr" rid="ref9">9</xref>
          )
(
          <xref ref-type="bibr" rid="ref10">10</xref>
          )
(11)
where q( ) = q( 1; : : : ; k) is a ne function relatively to q, Kq is constant, de ned
below. As will be seen from further analysis, there is no need to explicitly write the
view functions q( ), moreover, this functions have a bulky appearance.
        </p>
        <p>Let us make some remarks. We obtained analytical problem solution for SO (the
lower level problem) and substituted this solution in objective functions of the upper
level problems thus excluded the lower level problem from further consideration. As a
result, we received non-cooperative k-person game with pro t functions (12). It should
be noted that the pro t of power producer q depends not only on its own zero marginal
costs, but also zero marginal costs other power producers. Besides, the increase of
its own costs (parameter q) will reduce its own production, and thus, will lead to
production increase of other power producers.</p>
        <p>It is known that some games allow the reduction to optimization problem [6]. Such
games are called potential and nding Nash equilibrium for them is signi cantly
facilitated. The majority of practically interesting games are not potential and this is an
obstacle to develop computational procedures, guaranteed determine the equilibrium
point.</p>
        <p>Lemma 1 ([7]). The non-cooperative k-person game with pro t functions (12) is not
potential.</p>
        <p>Proof. The proof of this lemma can be found in [7].</p>
        <p>We prove existence of the Nash equilibrium in this game.</p>
        <p>Lemma 2 ([7]). The values Kq &lt; 0 8q = 1; k.</p>
        <p>Proof. By simple mathematical reformulation we get</p>
        <p>Kq =
bq + q
(13)</p>
        <p>1 " 1
2 ^q
^q
#
1 :</p>
        <p>Substitute the found partial derivatives in (13) and equate the received expression
to zero.</p>
        <p>As a result, nding the equilibrium is reduced to the solution system of linear
equations of the following form:</p>
        <p>q ^q 2 = ^q ^q 2</p>
        <p>In vector-matrix form equation (14) can be written as follows:
Denote</p>
        <p>k 1
= P
i=1 ^i</p>
        <p>, then
where
k
X
i=1 ^i</p>
        <p>i
Lemma 3 ([7]). If k &gt; 1 then matrix D 1 exists and all its elements are negative.
Proof. The complete proof can be found in [7].</p>
        <p>Lemma 4 ([7]). The elements of the vector r are negative.</p>
        <p>Theorem 1. If k &gt; 1 then the solution of the system (15) exists and is unique, the
components of the vector are positive and
=
12 6666BBBB ^...1 . . . ... CCC +</p>
        <p>C
0</p>
        <p>1
1 AC
^k</p>
        <p>1
2 ^q
^q
Proof. The proof follows from the two last lemmas.</p>
        <p>The existence of the Nash equilibrium under assumption of bounded parameters i
variation was proved above. As follows from this theorem, there is no need to set upper
bounds on i. It is possible even to admit also the negative values of these parameters,
still the equilibrium is achieved at the interior point of non-negative orthant, which
corresponds to the practical interpretation of i.
4</p>
        <p>The two-level problem formulation with constraints on the
power generation and power ows
In this section we will take into account additional bounds on x and b. Consider rst the
problem with one power producer. Without loss of generality, assume that the power
producer is in node 1. The problem of the System Operator
^1b12 + 1b1 + ^1 ! (mx;ibn);</p>
        <p>A1x = d1</p>
        <p>b1;
Aix = di; i = 2; n;
b1 = bT =
n
X di:
i=1
where A is the incidence matrix, Ai are the rows of matrix A, d is demand. It's obvious
that
Thus the optimization is carried out only in the variable x. From the optimality
conditions obtain
1 = 2 ^1bT + 1 =
2 =
3 = : : : =
n:
The power producer's pro t subject to (16)-(17)
1b1
( ^1(b1)2 + ^1b1 + ^1) = (2 ^1bT + 1)bT
( ^1b2T + ^1bT + ^1)
is linear, increasing relative to 1 function. Therefore under the constraints
pro t reaches its maximum at the right end of the segment: 1 = 1.
Let us pass now to the general statement. The problem of the System Operator
0 6 1 6</p>
        <p>1
n
X( ^ibi2 + ibi + ^i) ! (mx;ibn);
i=1</p>
        <p>Ax = d</p>
        <p>b;
x 6 x 6 x;
0 6 b 6 b:
(16)
(17)
(18)
(19)
(20)</p>
      </sec>
      <sec id="sec-2-2">
        <title>The Lagrange function</title>
        <p>The optimality conditions represent the stationarity conditions, conditions of
complementary slackness, constraints on the sign of the dual variables corresponding to
inequality constraints:
iais
s1 +</p>
        <p>s2 = 0; s = 1; m;
xj ) = 0; j2(xj</p>
        <p>xj ) = 0; j = 1; m;
i bi = 0; i2(bi
1</p>
        <p>bi) = 0; i = 1; n;
j1 &gt; 0; j2 &gt; 0; j = 1; m;
i1 &gt; 0; i2 &gt; 0; i = 1; n;
(22)
(23)
(24)
(25)
(26)
(27)
supplemented by the conditions (19)-(21).</p>
        <p>If in some nodes there are no power producers then we set i = i = 0 and bi = 0
for these nodes.</p>
        <p>Now interaction between GC and SO is formulated as the bilevel problem with GC
at the rst level and SO at the second. We replace the lower level by the system of
necessary optimality conditions (19)-(27) obtaining the one-level nonconvex problem.</p>
        <p>It is known [9, 10] that the nonlinear constraints of the form</p>
        <p>wv = 0; w &gt; 0; v &gt; 0
can be rewritten in the form of linear constraints by introducing an additional Boolean
variable # as follows:
w 6 M #; v 6 M (1</p>
        <p>#); w &gt; 0; v &gt; 0:
Let M be a su ciently large constant. In the example below M = 106. Introduce the
following Boolean variables: j1, j2, i3, i4 . Then the constraints (24)-(27) are equivalent</p>
        <p>The results of numerical example demonstrate the e ect achieved by power
producers due to distortion information about the characteristics operating costs of their
power plants. Producers increase the level of market prices by changing i. The prices
increase provide producers the opportunity to obtain additional pro t.
6</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Conclusion</title>
      <p>The electricity market model of interaction between power producers (GC) and System
Operator (SO) was considered. This model is formulated as two-level mathematical
programming problem. Thus on the upper level GC maximizes its own pro ts due
to the distortion of technical parameters of the power plants, transmitted SO. Two
formulations of this model are considered. In the rst one the bounds on generation
and capacities of lines are considered insigni cant. For this case we prove the existence
of the Nash equilibrium. The equilibrium is unique and is achieved at the interior point
of non-negative orthant. In the second one the model takes into account additional
bounds on the power generation and power ows. For this case the equivalent one-level
mixed-integer quadratic programming problem is proposed.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Nechaev</surname>
            ,
            <given-names>I.A.</given-names>
          </string-name>
          :
          <article-title>Power plant generation scheduling in the wholesale electricity market environment (in Russian)</article-title>
          .
          <source>Izvestiya Akademii Nauk. Energetika</source>
          .
          <volume>6</volume>
          ,
          <issue>71</issue>
          {
          <fpage>84</fpage>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Bard</surname>
            ,
            <given-names>J.F.</given-names>
          </string-name>
          :
          <article-title>Practical bilevel optimization: Algorithms and applications</article-title>
          . Kluwer Academie Publishers, Dordrecht (
          <year>1998</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Dempe</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Foundations of Bilevel Programming</article-title>
          . Kluwer Academie Publishers, Dordrecht (
          <year>2002</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Stennikov</surname>
            ,
            <given-names>V.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Khamisov</surname>
            ,
            <given-names>O.V.</given-names>
          </string-name>
          ,
          <article-title>Pen'kovskii, A.V.: Optimizing the heat market on the basis of a two-level approach</article-title>
          .
          <source>Thermal Engineering</source>
          .
          <volume>58</volume>
          (
          <issue>12</issue>
          ),
          <volume>1043</volume>
          {
          <fpage>1048</fpage>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Palamarchuk</surname>
            ,
            <given-names>S.I.</given-names>
          </string-name>
          :
          <article-title>Bilateral contract scheduling for electricity delivery in the competitive wholesale market (in Russian)</article-title>
          .
          <source>Izvestiya Akademii Nauk. Energetika</source>
          .
          <volume>2</volume>
          ,
          <issue>77</issue>
          {
          <fpage>91</fpage>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Monderer</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shapley</surname>
            ,
            <given-names>L.S.: Potential</given-names>
          </string-name>
          <string-name>
            <surname>Games</surname>
          </string-name>
          .
          <source>Games and Economic Behavior</source>
          .
          <volume>14</volume>
          ,
          <issue>124</issue>
          {
          <fpage>143</fpage>
          (
          <year>1996</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Dresvyanskaya</surname>
            ,
            <given-names>N.V.</given-names>
          </string-name>
          :
          <article-title>The Analysis of the Behavior of Generators in the Two-Level Market Model of Functioning of the EPS (in Russian)</article-title>
          .
          <source>Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Series Mathematics</source>
          .
          <volume>16</volume>
          ,
          <issue>43</issue>
          {
          <fpage>57</fpage>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Nikaido</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Isoda</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          :
          <source>Note on Noncooperative Convex Games. Paci c Journal of Mathematics</source>
          .
          <volume>5</volume>
          (
          <issue>5</issue>
          ),
          <volume>807</volume>
          {
          <fpage>815</fpage>
          (
          <year>1955</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Korbut</surname>
            ,
            <given-names>A.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Finkelstein</surname>
            ,
            <given-names>Y.Yu.</given-names>
          </string-name>
          :
          <article-title>Discrete programming (in Russian)</article-title>
          .
          <source>Nauka</source>
          , Moscow (
          <year>1969</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Audet</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hansen</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jaumard</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Savard</surname>
          </string-name>
          , G.:
          <article-title>Links between linear bilevel and mixed 0- 1 programming problems</article-title>
          .
          <source>Journal of Optimization Theory and Applications</source>
          .
          <volume>93</volume>
          ,
          <issue>273</issue>
          {
          <fpage>300</fpage>
          (
          <year>1997</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>