Professional Documents
Culture Documents
Textbook Foundations of Network Optimization and Games Terry L Friesz Ebook All Chapter PDF
Textbook Foundations of Network Optimization and Games Terry L Friesz Ebook All Chapter PDF
https://textbookfull.com/product/foundations-of-network-
optimization-and-games-1st-edition-terry-l-friesz/
https://textbookfull.com/product/foundations-of-chemical-
reaction-network-theory-martin-feinberg/
https://textbookfull.com/product/social-network-analysis-in-
second-language-research-1st-edition-kennedy-terry/
https://textbookfull.com/product/artificial-intelligence-
foundations-of-computational-agents-david-l-poole/
Service Network Design of Bike Sharing Systems Analysis
and Optimization 1st Edition Patrick Vogel (Auth.)
https://textbookfull.com/product/service-network-design-of-bike-
sharing-systems-analysis-and-optimization-1st-edition-patrick-
vogel-auth/
https://textbookfull.com/product/cambridge-international-as-a-
level-economics-revision-guide-terry-l-cook/
https://textbookfull.com/product/the-emotional-foundations-of-
personality-a-neurobiological-and-evolutionary-approach-kenneth-
l-davis/
https://textbookfull.com/product/data-deduplication-for-data-
optimization-for-storage-and-network-systems-1st-edition-daehee-
kim/
https://textbookfull.com/product/pyomo-optimization-modeling-in-
python-3rd-edition-m-l-bynum/
Complex Networks and Dynamic Systems 3
Terry L. Friesz
David Bernstein
Foundations
of Network
Optimization
and Games
Complex Networks and Dynamic Systems
Volume 3
Series Editor
Terry L. Friesz
Pennsylvania State University
University Park, PA, USA
Foundations of Network
Optimization and Games
123
Terry L. Friesz David Bernstein
Department of Industrial Department of Computer Science
and Manufacturing Engineering James Madison University
Pennsylvania State University Harrisonburg, VA, USA
University Park, PA, USA
Springer Science+Business Media LLC New York is part of Springer Science+Business Media (www.
springer.com)
Preface
v
Contents
Contents vii
List of Figures xi
1 Introduction 1
1.1 Fundamental Notions . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Transportation Networks . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Telecommunication Networks . . . . . . . . . . . . . . . . . . . 9
1.4 Electric Power Networks . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Water Resource Networks . . . . . . . . . . . . . . . . . . . . . 16
1.6 The Way Ahead . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.7 References and Additional Reading . . . . . . . . . . . . . . . . 21
Index 499
List of Figures
xiii
1
Introduction
I t is quite common these days to hear laments about the quality of both the
world’s public and private infrastructure. In some developing countries, the
infrastructure needed for economic vitality is said not to exist at all. In many
developed countries, public infrastructure is said to be crumbling. In almost
every country and geographical region, there is at least one economic sector
for which investments in private infrastructure are not keeping pace with tech-
nological progress. These lamentations mean that some or all of the relevant
transportation, telecommunications, energy distribution, and water resource
networks are inadequate for the tasks at hand. As a result, a great many hard
scientists, social scientists, and engineers have begun to study infrastructure
networks in a systematic way.
As a participant in the evolving discourse on infrastructure networks, this
book presents a class of mathematical models and computational methods that
inform scholarly inquiry pertinent to infrastructure network engineering from
the perspectives of microeconomic theory and game theory with a heavy dose of
computational methods. The class of models and methods emphasized herein
has been referred to both as network economics and as network engineering.
Regardless of the appellation employed, the branch of scholarly inquiry consid-
ered herein is concerned with the formulation of both descriptive and prescrip-
tive mathematical models of infrastructure as network optimization problems
and network games. Network economics and network engineering are also con-
cerned with the theoretical properties of the principal infrastructure network
models studied, especially the properties of existence and uniqueness of solu-
tions; it is also concerned with algorithms for finding infrastructure network
flows, prices, and designs.
Because both physical and conceptual networks are studied in a variety of
different fields, it is fairly difficult to trace the history of network economics and
network engineering. Nonetheless, it is clear that important results have been
developed by researchers in both methodology-driven (e.g., operations research,
mathematics) and problem-driven (e.g., transportation, telecommunications)
disciplines.
typically denoted as: G (N , A), where A is a set of arcs and N is a set of nodes
associated with those arcs. Every network model begins with the articulation
of such a graph describing the nature of the connections among the arcs and
nodes.
We will have much cause to discuss and to mathematically describe paths,
also known as routes, on the graphs used to model infrastructure networks.
Simply put, a path is a sequence of consecutive arcs directed in a fashion that
allows flow from a specified origin to a specified destination to occur. We enc-
ourage the reader to reflect on the fact that a network may have substantially
more paths than arcs, an important fact that we discuss in detail in later
chapters. Suffice it to say for the time being that this tendency of networks
to have extremely large numbers of paths has a profound impact on the dev-
elopment of numerical algorithms for solving certain types of infrastructure
network models.
In the next section we begin the presentation of an overview of some rela-
tively advanced optimization problems and mathematical games that illustrate
the types of models that the reader of this book, whether student or researcher,
will be able to apply, enhance, and solve by the time he/she reaches the last
page. Some of the models presented in summary form in this chapter are con-
sidered in substantial detail in subsequent chapters, along with other models
not noted here.
we denote by Pij . Finally, c(h) will be the vector of all path costs. That is,
c(h) = (cp (h) : p ∈ P). Then, h is a Wardropian user equilibrium if and only if:
⎫
hp > 0, p ∈ Pij =⇒ cp (h) = min{cr (h) : r ∈ Pij } ∀ (i, j) ∈ W ⎪⎪
⎪
⎪
⎪
⎪
⎬
hp = Qij ∀ (i, j) ∈ W (1.1)
p∈Pij ⎪
⎪
⎪
⎪
⎪
⎪
⎭
hp > 0 ∀p ∈ P
Now let the set of all feasible path flows be presently denoted as
⎧ ⎫
⎨ ⎬
Ω= h: hp = Qij ∀ (i, j) ∈ W, hp > 0 ∀p ∈ P (1.2)
⎩ ⎭
p∈Pij
We will subsequently learn that this problem may be profitably stated as the
following variational inequality problem:
⎫
find h∗ ∈ Ω ⎬
(1.3)
⎭
[c(h∗ )] (h − h∗ ) ≥ 0
T
such that ∀h ∈ Ω
Formulation (1.1) is an example of a nonextremal static network equilibrium
problem that will be discussed in considerable detail in Chap. 8 of this book.
1 if a ∈ p
δap = (1.4)
0 if a ∈
/p
5 1.2. Transportation Networks
for the case of fixed travel demands, where I is the set of arcs being considered
for insertion into the network. This minimization is meant to be accomplished
in light of the following constraints:
where B is the total budget for arc additions, βa ∈ 1++ is the cost of
constructing arc a ∈ I, and ya is a binary decision variable obeying
1 if arc a ∈ I is constructed
ya =
0 otherwise
M Qij ∀ (i, j) ∈ W,
so that when arc a ∈ I is not constructed its flow has the upper bound
of zero, and when constructed its flow has effectively no upper bound;
h = Φ (c, Q)
That is, the complete equilibrium network design model, for the circumstances
we have described, takes the following form:
⎫
min ca (f ) fa ⎪
⎪
⎪
⎪
a∈A∪I ⎪
⎪
subject to ⎪
⎪
⎪
⎪
∀a ∈ A ⎪
⎪
fa = δap hp ⎪
⎪
⎪
⎪
p∈P ⎪
⎪
⎪
⎪
⎪
⎪
h∈Ω ⎪
⎪
⎬
(1.5)
h = Φ (c, T ) ⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎪
βa y a ≤ B ⎪
⎪
⎪
⎪
a∈I ⎪
⎪
⎪
⎪
⎪
⎪
fa ≤ M ya ∀a ∈ I ⎪
⎪
⎪
⎪
⎪
⎪
⎭
ya = (0, 1) ∀a ∈ I
The advent of technology that allows near real time dissemination of informa-
tion and instructions to individual vehicles operating over the transportation
network has made it clear to both traffic engineers and theorists that models
must be constructed that allow transient traffic states to be managed and ex-
ploited to achieve minimum congestion. Any such model must contain either
an explicit or an implicit description of the traffic dynamics, by which is meant
a description of how traffic flows and perceptions of travel cost evolve over time.
Let us consider abstract traffic dynamics of the following form for the network
of interest:
dh
= H (h,u,v, t) (1.6)
dt
du
= G (h,u,v, t) (1.7)
dt
7 1.2. Transportation Networks
where
and H (., ., .) and G (., ., .) are vector operators. Although not explicitly stated,
all components of the vectors h, u, and v vary with time.
For computation, it is convenient to employ discrete time instead of con-
tinuous time. To do so, we introduce the interperiod time step
t f − t0
Δ= ≈ dt
N −1
where t0 is the initial time, tf is the terminal time, N is a positive integer
equal to the number of time steps employed to describe the dynamic process of
interest, and dt refers to an infinitesimal increment of time that Δ is meant to
approximate. That is, continuous time is replaced by the discrete time steps
τ0 = t0
τ1 = τ0 + Δ
τ2 = τ1 + Δ
..
.
τN −1 = τN −2 + Δ
τN = tf
where hτi ∈ |P| for all i ∈ [0, N ]. Similar discrete-time variables and notation
are easily formed for u and v. Since (1.8) is rather tedious to write repeatedly,
we use the less complicated shorthand
⎛ ⎞
h0
⎜ h1 ⎟
⎜ ⎟
⎜ ... ⎟ (1.9)
⎜ ⎟
⎝ hN −1 ⎠
hN
1. Introduction 8
Similarly, the information variables obey regulatory, fiscal, and budgetary con-
straints, as well as physical constraints imposed by the information technology
itself, such as bandwidth, range, and the like. These control constraints are
represented abstractly as
v ∈ Λ(t) (1.13)
This completes the statement of the dynamics and our attention now turns to
specifying the criterion for our traffic control system.
It is reasonable, if traffic demand is elastic, to select maximization of net
economic surplus as the criterion. That is, we seek to maximize the difference
between consumers’ surplus1 and congestion costs. Net surplus for our problem
setting is
tf u0
max J = exp (−rt) Qij (y,v, t) dyij dt (1.14)
t0 (i,j)∈W u
where
and
u0
Qij (y, v) dyij
(i,j)∈W 0
is a line integral.
We may construct a discrete-time approximation of (1.14); that approxi-
mation is
⎡ ⎤
N −1 u0
J= exp(−rt) ⎣ Qij,t (yt ,vt ) dyij,t ⎦ Δ
t=0 (i,j)∈W u
subject to
⎫
ht+1 = ht + Ht (ht , ut , vt ) · Δt ∈ [0, N − 1]⎪
⎪
⎪
⎪
⎪
⎪
ut+1 = ut + Gt (ht , ut , vt ) · Δt ∈ [0, N − 1]⎪
⎬
(1.16)
(ht , ut ) ∈ Γt ⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎭
vt ∈ Λt
Sets, functions, and variables with t as a subscript, in the above, are the
discrete-time counterparts of the corresponding continuous-time entities de-
fined previously. Later, we will learn numerical methods for this and similar
models.
where hp is the number of messages sent along path p and δap has the same def-
inition (1.4) given in our previous discussion of transportation network models.
We shall find in Chap. 8 that a mathematically similar transportation network
model is known as the system optimal traffic assignment model.
By penalizing demand, this model controls flow entering the network as well as
determines the optimal routing of demands. As such, (6.193) is a combined flow
routing and flow control model. Note that (1.19) is not a telecommunications
analog of the equilibrium network design model used in transportation since
message packets do not have the autonomy of automobile drivers in selecting
their own routes; as a consequence, flow control does not have the bilevel struc-
ture of equilibrium network design and is, as a consequence, computationally
much more tractable.
where N , a positive integer, is the number of time steps used to describe the
dynamic process of interest. Thus, the sequence of time-steps t = 0, 1, . . . , N −1
will reach tf when starting at t0 .
where πit is the price of power per MWatt-hour at node i ∈ N and sfit is the
flow of power sold at the same node during period t. Therefore, the expression
⎛ ⎞
g
πit ⎝ sit ⎠ · sfit · Δ
i∈N g∈F
f
where qjt is the rate at which generator unit j ∈ G (i, f ), located at
node i ∈ Nf , produces power. Generation cost typically has a fixed
component and a variable component. For example, generation cost may
be quadratic and take the form
1 2
Vjtf qjt
f
= μfj + μ̃fj · qjt
f
+ μ̂fj · qjt
f
2
where μfj , μ̃fj , μ̂fj ∈ 1++ for all f ∈ F and all j ∈ G (i, f ) are exogenous
parameters.
(2) Ramping cost obtained from a generation unit’s rotor fatigue, impacting
rotor life span. Ramping cost is negligible if the magnitude of power
change is less than some elastic range; that is, there is a range in which
the generation rate can be adjusted that causes minimal wear on the
rotors and is thus considered cost-free. Therefore, in general, we may use
the function
1 2
f
Φfjt rjt
f
= γjf max 0, rjt f
− ξj
2
13 1.4. Electric Power Networks
where γjf − and γjf + are the cost coefficients during ramp-up and ramp-
down, respectively; naturally, ξjf + and ξjf − are the respective ramp-up
and ramp-down elastic thresholds.
(3) Wheeling fee wit paid to the so-called independent service operator (ISO)
for transmitting 1 MW-h of power from its hub, through which all power
flows, to market i in period t. The wheeling fee is set by the ISO to
enforce market clearing (supply of power equal to demand for power).
In light of the above, we may express the profits of each power-generating firm
f ∈ F as
⎧ ⎛ ⎞
−1 ⎨
N
Jf sf , q f ; s−f = πit ⎝ sgit ⎠ · sfit
⎩
t=0 i∈N g∈F
− Vjf qjt
f
+ Φfj rjt
f
i∈Nf j∈G(i,f )
⎛ ⎞⎫
⎬
− wit · ⎝sfit − f ⎠
qjt ·Δ (1.20)
⎭
i∈N j∈G(i,f )
(1) Each firm must balance sales and generation for all time periods, since
we do not here consider the storage of electricity; therefore
f f
sit = qjt ∀t ∈ [0, N − 1] (1.21)
i∈N i∈Nf j∈G(i,f )
(2) The sales of power at every market must be nonnegative in each time
period; thus
sfit ≥ 0 ∀i ∈ Nf , t ∈ [0, N − 1] (1.22)
(3) The output level of each generating unit is bounded from above and below
for each time period; thus
f
0 ≤ qjt ≤ CAPjf ∀i ∈ Nf , j ∈ G (i, f ) , t ∈ [0, N − 1] (1.23)
where CAPjf ∈ 1++ is the relevant upper bound on output from gen-
erator j ∈ G (i, f ). Each such bound is a physical characteristic of the
corresponding generator.
(4) Total sales by all the firms at a particular market is bounded from above
by a regulatory authority. This feature is represented by the following
constraint that holds for each node and each time period:
f
sit ≤ σi ∀i ∈ N , t ∈ [0, N − 1] (1.24)
f ∈F
(5) The ramping rate for every generation unit is bounded from above and
below, which again expresses a physical characteristic of the unit; conse-
quently, we write
where Rjf + ∈ 1++ and Rjf − ∈ 1++ are, respectively, the upper and lower
bounds on the ramping rate of generation unit j ∈ G (i, f ).
We may now state the set of feasible solutions for each firm f ∈ F as
! f "
s
Ωf (s−f ) = : (1.21), (1.22), (1.23), (1.24), and (1.25) hold
qf
Note that the set of feasible solutions for each firm depends on the power flows
sold by its competitors.
15 1.4. Electric Power Networks
where yit denotes an actual power flow from a specific hub to node i ∈ N for
period t ∈ [0, N − 1]. The ISO’s linear program for period t ∈ [0, N − 1] is
max J0 = yit wit (1.27)
i∈N
subject to
P T DFia · yit ≤ Ta ∀a ∈ A (1.28)
i∈N
where A is the arc set of the electric power network, the Ta are transmission
capacities for each arc a ∈ A, and the P T DFia are power transmission dis-
tribution factors (PTDFs) that determine the flow on each arc a ∈ A as the
result of a unit MW injection at the hub node and a unit withdrawal at node
i ∈ N . The PTDFs allow us to employ a linearized DC approximation for
which every P T DFia , where i ∈ N , is considered constant and unaffected by
the transmission line loads. The DC approximation employed here means that
the principle of superposition applies to arc and path flows, thereby dramati-
cally simplifying the model. In the ISO formulation presented above, we ignore
transmission loss, although such could be introduced without any complication
other than increased notational detail.
To clear the market, the transmission flows y must balance the net sales at
each node (market); thus
⎛ ⎞
yit = ⎝sfit − f ⎠
qjt ∀i ∈ N , t ∈ [0, N − 1] (1.29)
f ∈F j∈G(i,f )
Another random document with
no related content on Scribd:
Alarici quondam Vesegotharum Regis objicientes exemplum, veriti
Regis suis[78] fortunam, quia ille post fractam Romam diu non
supervixerat, sed protinus rebus excessit[79] humanis. Igitur dum
ejus animus ancipiti negotio inter ire, & non ire fluctuaret, secumque
deliberans tardaret, placita[80] ei legatio à Roma advenit. Nam Leo
Papa per se ad eum accedit in Acroventu Mambolejo,[81] ubi Mincius
amnis commeantium frequentatione transitur. Qui mox[82] deposito
exercitus furore, & rediens quà venerat, idest, ultra Danubium,
promissa pace discessit: illud prae omnibus denuncians, atque
interminando discernens,[83] graviora se in Italiam illaturum, nisi ad
se Honoriam Valentiniani Principis germanam, filiam Placidiae
Augustae, cum portione sibi regalium opum debita mitteret.[84]
Ferebatur enim quia haec Honoria, dum propter aulae decus, ac[85]
castitatem teneretur nutu fratris inclusa, clandestino[86] eunucho
misso Attilam invitasset, ut contra fratris potentiam ejus patrociniis
uteretur: prorsus indignum facinus, ut licentiam libidinis malo publico
compararet.
FOOTNOTES:
[77] A. ut apparet.
[78] A. sui.
[79] A. excesserit.
[80] A. placida.
[81] Garet. alias agro Venetum Ambulejo. ita Ambros.
[82] A. Qui mox deposuit exercitatus furorem, & rediens quo
venerat &c.
[83] A. decernens.
[84] A. mitterent.
[85] A. ad castitatem.
[86] A. clam.
IV
EX VITA MS. SANCTI ANIANI EPISCOPI AURELIANENSIS
FOOTNOTES:
1.D. The copyright laws of the place where you are located also
govern what you can do with this work. Copyright laws in most
countries are in a constant state of change. If you are outside
the United States, check the laws of your country in addition to
the terms of this agreement before downloading, copying,
displaying, performing, distributing or creating derivative works
based on this work or any other Project Gutenberg™ work. The
Foundation makes no representations concerning the copyright
status of any work in any country other than the United States.
1.E.6. You may convert to and distribute this work in any binary,
compressed, marked up, nonproprietary or proprietary form,
including any word processing or hypertext form. However, if
you provide access to or distribute copies of a Project
Gutenberg™ work in a format other than “Plain Vanilla ASCII” or
other format used in the official version posted on the official
Project Gutenberg™ website (www.gutenberg.org), you must, at
no additional cost, fee or expense to the user, provide a copy, a
means of exporting a copy, or a means of obtaining a copy upon
request, of the work in its original “Plain Vanilla ASCII” or other
form. Any alternate format must include the full Project
Gutenberg™ License as specified in paragraph 1.E.1.
• You pay a royalty fee of 20% of the gross profits you derive from
the use of Project Gutenberg™ works calculated using the
method you already use to calculate your applicable taxes. The
fee is owed to the owner of the Project Gutenberg™ trademark,
but he has agreed to donate royalties under this paragraph to
the Project Gutenberg Literary Archive Foundation. Royalty
payments must be paid within 60 days following each date on
which you prepare (or are legally required to prepare) your
periodic tax returns. Royalty payments should be clearly marked
as such and sent to the Project Gutenberg Literary Archive
Foundation at the address specified in Section 4, “Information
about donations to the Project Gutenberg Literary Archive
Foundation.”
• You comply with all other terms of this agreement for free
distribution of Project Gutenberg™ works.
1.F.
Most people start at our website which has the main PG search
facility: www.gutenberg.org.