Professional Documents
Culture Documents
3, AUGUST 2002
Abstract—This paper presents a multiperiod electricity auction Imaginary part of the admittance of line [per
market tool that explicitly takes into account transmission conges- unit].
tion and losses as well as intertemporal operating constraints such Fixed cost of the th unit [in dollars per hour].
as start-up costs, ramp rates, and minimum up and down times that
may be included in any generating unit’s composite bid. This ap- Shut–down cost of the th unit [in dollars].
proach, which requires only existing mixed-integer linear solvers, Start-up cost of the th unit [in dollars].
provides the market operator with a valuable tool for scheduling Real part of the admittance of line [per unit].
participants in a competitive market where transparency, fairness, Number of blocks of the linearization of losses.
and confidentiality of participants’ data are of paramount concern. Lower bound on the power output of the th producer
Indeed, under this framework, only network data are of public do-
main; producers are not required to reveal corporate data, and [in megawatts].
they have more flexibility in specifying the structure of their com- Upper bound on the power output of the th producer
posite bid. This paper demonstrates and illustrates, through nu- [in megawatts].
merical studies using test systems, that an efficient and fair com- Maximum capacity of the line [in megawatts].
petitive electricity market can be implemented, taking into account Ramp-down limit of the th unit [in megawatts per
network constraints and losses.
hour].
Index Terms—Congestion management, mixed-integer linear Ramp-up limit of the th unit [in megawatts per
programming, nodal pricing, pool-based electricity market, social
welfare maximization. hour]:
Shut-down ramp limit of the th unit [in megawatts
per hour].
NOMENCLATURE Start-up ramp limit of the th unit [in megawatts per
The main mathematical symbols used throughout this paper hour].
are classified below for quick reference. Scheduling time period [in hours] (here, 24 h).
Constants: Minimum downtime of unit [in hours].
Time period the th unit has been online at the be- Minimum uptime of unit [in hours].
ginning of the operation horizon [in hours]. Variables:
Slope of the th segment (or block) of the linearized Voltage angle at node in hour (in radians).
voltage angle difference relative to the nodes and Variable used in the linearization of the power loss
. in line in hours ; it represents the th angle
Time period the th unit has been offline at the be- block relative to the nodes and in hour [rad].
ginning of the operation horizon [in hours]. Value of power consumed corresponding to the th
Upper bound on the piecewise angle blocks [in block of the th load in hour [in megawatts].
radians]. Total power consumed by the th load in hour [in
Offered price of the th linear block of the energy megawatts].
produced by the th producer in hour [in dollars Value of power output corresponding to the th
per megawatt-hour]. block of the th unit in hour [in megawatts].
Offered price of the th linear block of the energy Total power produced by the th unit in hour [in
demanded by the th load in hour [in dollars per megawatts].
megawatt-hour]. Power injection at node in hour [in megawatts].
Power flow in line at node in hour [in
Manuscript received November 28, 2001. This work was supported by the megawatts].
Natural Sciences and Engineering Council, Ottawa, ON, Canada, and the Fonds
pour la Formation de Chercheurs et d’Aide à la Recherche, Québec, Canada. Power loss in line in hour [in megawatts].
The work was partly supported by the Ministry of Science and Technology of Binary variable: if the th unit is online in
Spain through CICYT Project DPI2000-0654. hour ; if not.
A. L. Motto and F. D. Galiana are with the Department of Electrical and
Computer Engineering at McGill University, Montreal, QC H3A 2A7 Canada Binary variable: if the value of the th
(e-mail: alexis.motto@mail.mcgill.ca; galiana@ece.mcgill.ca). block of angle for the line is equal to its max-
A. J. Conejo and J. M. Arroyo are with the Department of Electrical Engi- imum value, ; if not.
neering at the University of Castilla-La Mancha, Ciudad Real, Spain (e-mail:
Antonio.Conejo@uclm.es; JoseManuel.Arroyo@uclm.es). Binary variable: if the th unit is started
Publisher Item Identifier 10.1109/TPWRS.2002.800909. up at the beginning of hour ; if not.
Binary variable: if the th unit is shut down rithm that is much less transparent than the merit order method.
at the beginning of hour ; if not. Nonetheless, the considerable improvement in computer archi-
Sets: tecture and mathematical programming has enabled some im-
Set of blocks of energy bid demanded by the th portant steps toward a comprehensive solution of this problem
consumer in hour using various techniques, among others, augmented Lagrangian
Set of transmission lines. [8], Benders’ decomposition [9], and linear programming [10].
Set of blocks of energy bid offered by the th unit in In this paper, we propose a multiperiod electricity auction
hour . market tool based solely on mixed-integer programming, which
Set of indices of the participating generating units. takes into account transmission congestion and losses as well as
Set of indices of the participating consumers. intertemporal operating constraints such as start-up costs, ramp
Mapping of the set of loads into the set of buses. rates, as well as minimum up and down times. Under this frame-
Mapping of the set of generators into the set of work, participants have more flexibility in regards to what they
buses. wish to include in their composite bid structures. This work
Set of indices of the network buses (or nodes) complements the work in [10] from several points, among the
set of indices of time periods. following:
i) a mathematical argument is given to substantiate why
I. INTRODUCTION and how the proposed market-clearing procedure will
“naturally” favor loss reduction (see Proposition in
(4)
(5)
(6)
(7)
(8)
(9) Fig. 1. Modeling a piecewise linear per-branch loss function.
(16)
(17)
(12) (18)
MOTTO et al.: NETWORK-CONSTRAINED MULTIPERIOD AUCTION FOR A POOL-BASED ELECTRICITY MARKET 649
Using the above linear expressions, the real power flow in of the linear approximation of the power loss function need not
the line computed at bus , and at bus , be stored because a simple expression of the slope of the blocks
, can be cast as follows: of angles for all lines can be used, that is
(28)
(19)
Although the linear expressions of the power flow in each
line are necessary, it is not sufficient to enable the use of a
mixed-integer linear programming solver in solving a network-
constrained auction for pool-based electricity market models. A
(20) linear substitute for the “ ” function in (3) must be found,
which may be done by the following equivalence of constraints:
In the same vein, the power injected into a node ,
can be written as
(21)
(29)
Replacing with its piecewise linear expression, which entails replacing (3) with two sets of constraints, thereby
(15), and using a second–order approximation for increasing the number of rows of the resulting linear program.
produces Alternatively, (3) can be recast without increasing the number
of rows as
(30)
(22)
To complete the piecewise linearization of the power flows which follows from (19) and (20) and the fact that system losses
and line losses, the following set of constraints may be needed are non-negative, and is nonpositive. Thus, we only have
to enforce adjacency of the angle blocks. However, it will be to eliminate the “absolute value” function introduced in (30).
shown that they are not necessary if the nodal angle differences Using (13) and reshuffling produces
are sufficiently small or, in practice, if they are within the range
of normal operation
(31)
(23)
(24) The above constraints state that the power flow in line ,
computed at the sending and receiving nodes, must be less than
(25) the maximum capacity of the line. It should be noted that no
(26) integer variable is required in the equivalent set of constraints,
which means, on the algorithmic side of things, that no addi-
(27) tional node is generated using a branch-cut solution approach
[17].
Constraints (23) and (24) set the upper limit of the contribu- We will now show that the adjacency of the angle blocks does
tion of each angle block to the total angle difference between not need to be enforced explicitly. In other words, we claim that
nodes and . This contribution is non-negative, which is ex- the constraints (23)–(27) can be reduced to the following:
pressed in (26), and bounded above by , the “length” of each
segment of angle (24). Adjacency may be enforced by a set of (32)
binary variables , through the logic
in (23)–(25). For example, if , then (25) ensure (33)
that , while (23) and (24) ensure that
. Finally, constraints (27) state This is another significant result, as it supports the consid-
that the variables are binary. eration of network congestion and losses in electricity auction
It should be noted that although we have used a uniform dis- markets without the need for integer variables other than those
cretization of the domain of the angle, a more general nonuni- required to model the intertemporal constraints of generating
form linearization could be used so that each block has a desired units. The following result will be useful.
length. On the algorithmic side of things, though, this would Lemma (Strict Local Convexity of System Losses): The
require more memory to store the different length segments in vector function of system losses, with elements , for all
contrast to the single segment length . Moreover, the slopes , is locally, strictly convex in a neighborhood of 0.
650 IEEE TRANSACTIONS ON POWER SYSTEMS, VOL. 17, NO. 3, AUGUST 2002
TABLE I
PIECEWISE LINEAR INCREMENTAL COST OF #6 OIL UNIT
participants’ corporate data, which are desirable under competi- [2] J. J. González and P. Basagoiti, “Spanish power exchange market and in-
tion where privacy and equity are of paramount concern. Exten- formation system. Design concepts, and operating experience,” in Proc.
IEEE PICA, May 1999, pp. 245–252.
sive numerical studies have been conducted, and some results [3] K. Xie, Y.-H. Song, J. Stonham, E. Yu, and G. Liu, “Decomposition
have been reported, which may have a broad scope of interest model and interior point methods for optimal spot pricing of electricity
including market designers, engineers, and economists seeking in deregulation environments,” IEEE Trans. Power Syst., vol. 15, pp.
39–50, Feb. 2000.
for a better understanding of the workings of a competitive elec- [4] G. B. Sheblé, Computational Auction Mechanisms for Restructured
tricity market. Power Industry Operation. Norwell, MA: Kluwer, 1999.
[5] D. Kirschen, R. Allan, and G. Strbac, “Contributions of individual gen-
erators to loads and flows,” IEEE Trans. Power Syst., vol. 12, pp. 52–60,
Feb. 1997.
APPENDIX [6] A. G. Expósito, J. M. R. Santos, T. G. García, and E. A. R. Velasco, “Fair
allocation of transmission power losses,” IEEE Trans. Power Syst., vol.
LINEAR EXPRESSIONS FOR MINIMUM UP 15, pp. 184–188, Feb. 2000.
AND DOWN TIME CONSTRAINTS [7] A. J. Conejo, F. D. Galiana, and I. Kockar, “Z-Bus loss allocation,” IEEE
Trans. Power Syst., vol. 16, pp. 105–110, Feb. 2001.
[8] S. J. Wang, S. M. Shahidehpour, D. S. Kirschen, S. Mokhtari, and G.
D. Irisarri, “Short-term generation scheduling with transmission and en-
vironmental constraints using augmented Lagrangian relaxation,” IEEE
Trans. Power Syst., vol. 10, pp. 1294–1301, Aug. 1995.
(A1) [9] N. Alguacil and A. J. Conejo, “Multiperiod optimal power flow using
Benders decomposition,” IEEE Trans. Power Syst., vol. 15, pp. 196–201,
Feb. 1999.
[10] T. Alvey, D. Goodwin, X. Ma, and D. Strelffert, “A security-constrained
bid-clearing system for the New Zealand wholesale electricity market,”
IEEE Trans. Power Syst., vol. 13, pp. 340–346, May 1998.
[11] A. Brooke, D. Kendrick, A. Meeraus, and R. Raman, “GAMS: A user’s
(A2) guide,” GAMS Development Corp., Washington, DC, 1998.
[12] “The IEEE Reliability Test System-1996,” IEEE Trans. Power Syst.,
vol. 14, pp. 1010–1020, Aug. 1999.
[13] T. S. Dillon, K. W. Edwin, H. D. Kochs, and R. J. Tand, “Integer pro-
gramming approach to the problem of optimal unit commitment with
probabilistic reserve determination,,” IEEE Trans. Power Apparat. Syst.,
(A3) vol. PAS–97, pp. 2154–2166, Nov./Dec. 1978.
[14] J. M. Arroyo and A. J. Conejo, “Optimal response of a thermal unit
to an electricity spot market,” IEEE Trans. Power Syst., vol. 15, pp.
(A4) 1098–1104, Aug. 2000.
[15] P. S. Martín, “Mejoras en la eficacia computacional de modelos proba-
bilistas de explotación generación/red a medio plazo,” Doctoral disser-
tation (in Spanish), Univ. Pontificia de Comillas, Madrid, Spain, 1998.
[16] E. Castillo, A. J. Conejo, P. Pedregal, R. García, and N. Alguacil,
Building and Solving Mathematical Programming Models in Engi-
neering and Science. New York: Wiley , 2001.
(A5) [17] G. L. Nemhauser and L. A. Wolsey, Integer and Combinatorial Opti-
mization. New York: Wiley, 1988.
[18] D. P. Bertsekas, Nonlinear Programming. Belmont, MA: Athena Sci-
entific, 1999.
[19] R. Billinton and W. Li, Reliability Assessment of Electric Power Systems
Using Monte Carlo Methods: New York: Plenum, 1994.
(A6)
where , and
.
Equations (A1) enforce the minimum up-time constraints for Alexis L. Motto (S’99) received the Dipl.Ing. degree from Ecole Supérieure
Interafricaine de l’Electricité in 1993, the Master of applied computer science
every unit that has been online at hour 0 for a time period not degree from Ecole Polytechnique, Montreal, QC, Canada, in 1996, and the Ph.D.
exceeding their minimum up-time. Constraints (A2) enforce the degree from McGill University, Montreal, in 2001.
minimum up-time logic for all sets of consecutive hours of size He is currently a Postdoctoral Research Fellow at McGill University. His re-
search interests are in the fields of mathematical optimization, systems control,
. Constraints (A3) enforce the minimum up time logic for and computer science, with applications to equilibrium modeling in energy and
the last h, that is, if unit is started up in one of communication systems.
these hours, it must remain online until the end of the operation
horizon. Constraints (A4)–(A6), which enforce the minimum
down time logic, are derived from (A1)–(A3) by substitution
of , , , and with , , , and ,
respectively. Francisco D. Galiana (F’91) received the B.Eng. (Hon.) degree from McGill
University, Montreal, QC, Canada, in 1966 and the S.M. and Ph.D. at the Mass-
achusetts Institute of Technology (MIT), Cambridge, MA, in 1968 and 1971,
respectively.
REFERENCES He spent some years at the Brown Boveri Research Center and held a faculty
position at the University of Michigan, Ann Arbor, MI. He joined the Electrical
[1] R. Green and D. Newbery, “Competition in the British electricity spot Engineering Department of McGill University in 1977, where he is currently a
market,” J. Political Econ., vol. 100, no. 5, pp. 929–953, Oct. 1992. Full Professor.
MOTTO et al.: NETWORK-CONSTRAINED MULTIPERIOD AUCTION FOR A POOL-BASED ELECTRICITY MARKET 653
Antonio J. Conejo (SM’98) received the B.S. degree from the Universidad José M. Arroyo (S’96–M’01) received the Ingeniero Industrial degree from
P. Comillas, Madrid, Spain, in 1983, the M.S. degree from Massachusetts Insti- the Universidad de Málaga, Málaga, Spain in 1995 and the Ph.D. degree in
tute of Technology, Cambridge, in 1987, and the Ph.D. degree from the Royal In- power–system operations and planning from the Universidad de Castilla-La
stitute of Technology, Stockholm, Sweden in 1990, all in electrical engineering. Mancha, Ciudad Real, Spain, in 2000.
He is currently a Full Professor at the Universidad de Castilla-La Mancha, He is currently Assistant Professor of electrical engineering at the Univer-
Ciudad Real, Spain. His present research interests include control, operations, sidad de Castilla-La Mancha. His present research interests include operations,
planning, and economics of electric energy systems, as well as optimization planning, and economics of electric energy systems, as well as optimization and
theory and its applications. parallel computation.