overview slides - SEAS - University of Pennsylvania

advertisement
ESE 680 Lecture 1 01/09/2007
ESE 680 Special topics in ESE
Distributed Dynamical Systems
Ali Jadbabaie
Department of Electrical and Systems Engineering
and GRASP Laboratory
University of Pennsylvania
365 GRW jadbabai@seas.upenn.edu
http://www.seas.upenn.edu/~jadbabai/ESE680/ese680.html
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
What is this course about?
This research seminar deals with tools, methods, and algorithms for analysis and
design of distributed dynamical systems. The object of study in this research
seminar are large collection of dynamical systems that are spatially
interconnected to form a collective task or achieve a global behavior using local
interactions.
Over the past decade such systems have been studied in disciplines as diverse
as statistical physics, computer graphics, robotics, and control theory. The
purpose of this course is to build a mathematical foundation for study of such
systems by exploring the interplay of control theory, distributed optimization,
dynamical systems, graph theory, and algebraic topology. Basic knowledge of
linear systems (ESE 500), linear algebra (Math 412 or equivalent), and
optimization (ESE 504 or equivalent) and some familiarity with nonlinear systems
(ESE 617 or equivalent) is required.
Topic covered include distributed coordination, consensus and gossip algorithms
over networks with applications to multi-vehicle systems and sensor networks,
coverage problems, congestion control over the internet, effects of network
topology on performance, small-world and power-law networks, power law
graphs, synchronization phenomena in natural and engineered systems, and
Google's page-rank algorithm. There is no text book for this course. Assignments
include reading and presenting papers and presenting a final project.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Course Info
This is a RESEARCH SEMINAR
Requires a lot of INDEPENDENT, critical reading of
literature
You are expected to actively PARTICIPATE in
discussions
A LOT of reading is required and you need to be
able to present papers
There are very few didactic lectures
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Networked dynamical systems
Nonlinear/uncertain
hybrid/stochastic etc.
Complexity
of
dynamics
Single
Agent
Complex
networked
systems
Optimal control of
spatially distributed systems
Flocking
Synchronization
Multi-agent
Consensus/
systems
Coverage
Complexity
of interconnection
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Networked dynamical systems
Nonlinear/uncertain
hybrid/stochastic etc.
Complexity
of
dynamics
Single
Agent
Complex
networked
systems
Flocking/synchronization
consensus
Multi-agent
systems
Complexity
of interconnection
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Networked dynamical systems
State dimensionality
System size
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Statistical Physics and
emergence of collective behavior
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Overview
Nonlinear/uncertain
hybrid/stochastic etc.
?
Single
Agent
?
Complexity
of
dynamics
Complex
networked
systems
Flocking/synchronization
consensus
Multi-agent
systems
Complexity
of interconnection
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Multi-agent setting: Vicsek’s kinematic model
• How can a group of moving agents collectively decide on
direction, based on nearest neighbor interaction?
r
neighbors of
agent i
agent i
How does global behavior emerge from local interactions?
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Distributed consensus algorithm for
kinematic agents
= speed
= heading
MAIN QUESTION :
Under what conditions do all headings
converge to the same value and agents reach a consensus on where to go?
For small angles
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Multi-agent Representations: Proximity Graphs
We use graphs to model neighboring relations
V: A set of vertices indexed by the set of
mobile agents.
E: A set of edges the represent the
neighboring relations.
W: A set of weights over the set of edges.
Agent i’s neighborhood
The neighboring relation is represented by a fixed graph
G, or a collection of graphs G1, G2,…Gm
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
The Laplacian of the graph
1
B is the (n x e)
incidence matrix of
graph G.
2
4
3
The graph Laplacian (n x n) encodes structural properties of the graph
W is diagonal
Some properties of the Laplacian:
It is positive semi-definite
The multiplicity of the zero eigenvalue is the number of connected
components
The kernel (for connected graph) is the span of vector of ones,
First nonzero eigenvalue is called algebraic connectivity.
Its corresponding eigenvector, called the Fiedler vector. Its sign paper
encodes a lot of information about “bottlenecks” and “cutpoints”
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Graphs modeling interconnections
We use graphs to represent
neighboring relations
vertices:
edges:
4
3
5
2
6
switching signal ,
finite set of indices corresponding to all
graphs over n vertices.
1
adjacency matrix
Valence matrix
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Conditions for reaching consensus
Theorem (Tsitsiklis’84, Jadbabaie et al. 2003): If there is a
sequence of bounded, non-overlapping time intervals Tk, such
that over any interval of length Tk, the network of agents is
“jointly connected ”, then all agents will reach consensus on their
velocity vectors.
This happens to be both necessary and sufficient for
exponential coordination, boundedness of intervals not
required for asymptotic coordination. (see Moreau ’04)
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Flocking, artificial life, and
computer graphics
Reynolds [Reynolds 87] named the autonomous
systems that behave like members of animal groups
boids (bird + oids)
He developed a descriptive model for flocking
behavior based on the combined action of
alignment and cohesion-separation forces
alignment: steer towards the average heading of flockmates
separation: steer to avoid crowding flockmates
cohesion: steer towards the average position of flockmates
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Distributed coordination with dynamic
models:
Double integrator model
Neighbors of i distance
dependent:
Cohesion/Separation
Alignment
For dynamic models, Proximity graph Connectivity implies
emergence of Collective motion (Tanner, Jadbabaie, Pappas)
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Synchronization
Fireflies Flashing
From D. Attenborough “Trials of Life – Talking to strangers”
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Kuramoto Model
di
K N
 i   sin( j  i )
dt
N j 1
N : Number of oscillators
i : Natural frequency of oscillator i, i  1, , N.
All-to-all interaction
 i : Phase of oscillator i, i  1, , N.
K : Coupling strength
This is the Kuramoto model
We assume throughout homogeneous coupling.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Kuramoto model & graph topology
2
1
3
6
4
0
1

1
A
0
0

 1
1 1 0 0 1
0 1 0 0 0 
1 0 1 0 0

0 1 0 1 1
0 0 1 0 1

0 0 1 1 0 
5
di
K N
 i   Aij sin( j  i )
dt
N j 1
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
di K N
  Aij sin( j  i )
dt N j 1
Frequency entrainment and
phase locking as long as
graph is connected.
sin( x )
x
Proof same as the multi-agent
coordination case.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
di
K N
 i   Aij sin( j  i )
dt
N j 1
Frequency entrainment possible.
Phase stability, but no phase
locking.
See Jadbabaie, Motee and Baharona, ACC04.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Synchronization of coupled oscillators
Kuramoto model with long-range interaction
Toy model for pacemaker cells in the heart and nervous
system, collective synchronization of pancreatic beta cells,
synchronously flashing fire flies, gait generation for bipedal
robots (Klavins and Koditschek’02).
Benchmark problem in physics
Not very well understood
over arbitrary networks
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Kuramoto model
over arbitrary graphs
Only neighboring oscillators contribute to the sum
B is the incidence matrix
Theorem: For arbitrary connected networks, connectivity
implies local stability of the synchronized state. Rate of
convergence determined by “algebraic connectivity”, the
first non-zero eigenvalue of the graph Laplacian.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Kuramoto model w/ non identical
oscillators
When the frequencies are non zero, there is no fixed point
for small values of coupling.
There is no partial synchronization for fixed values of initial
frequencies for small K.
Theorem: Bounds on the critical value of the coupling can be
determined by maximum deviation of frequencies from the
mean, and algebraic connectivity of the graph.
When  is random,
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Order Parameter,
averaged over timeand 
Average order parameter vs. K for
N= 100,e= 2443
Critical
coupling
Bound on
critical coupling
Coupling strength K
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
K=5
K=1
K=5
K=5
0.8
8
0.6
6
0.4
θi-<ω>t
i- <  > t [rad]
i- <  > t [rad]
θi-<ω>t
4
0.2
0
-0.2
-0.4
-0.6
2
0
-2
-4
-0.8
-6
-1
-1.2
-8
0
1
2
3
4
5
time [s]
6
7
8
9
10
t
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
0
1
2
3
4
5
time [s]
t
6
7
8
9
10
Delayed Kuramoto model
di (t )
K N
 i   Aij sin( j (t   )  i (t ))
dt
N j 1
When delays are homogeneous, one can achieve:
 Uniform rotations, i.e.,
 i (t )  t  i (t ),
under the consistency conditions
Kd i
sin( ).
N
 Phase locking for the linearization, i.e.,
  i 
limt  i (t )  const . if cos     0.
If IDENTICAL OSCILLATORS
need REGULAR GRAPH .
Yeung and Strogatz
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
di (t )
K N
 i   Aij sin( j (t   ij )  i (t ))
dt
N j 1
When delays are heterogeneous, one can achieve:
 Uniform rotations, i.e.,  i (t )  t  i (t ) if
K N
  i   Aij sin( ij )
N j 1
 Phase locked state for the nonlinear system
is as. attracting if cos   ij   0, for all i
j.
So phase locking is possible
EVEN WHEN OSCILLATORS ARE NOT IDENTICAL.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Undelayed
Delayed
0.6
1
0.4
0.2
i+ t [rad]
i- <  > t [rad]
0.5
0
-0.2
0
-0.4
-0.6
-0.8
0
2
4
6
8
10
time [s]
12
14
16
18
20
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
-0.5
0
10
20
30
40
50
time [s]
60
70
80
90
100
When do we get phase locking?
di (t )
K N
 i   Aij sin( j (t   ij )  i (t ))
dt
N j 1
Set  i (t )  t  i (t ) and assume that
K N
  i   Aij sin( ij )
N j 1
so that uniform rotations are possible.
This gives:
di (t ) K N
  Aij sin   ij   j (t   ij )  i (t )  sin( ij )
dt
N j 1
We want to show that phase locking is achievable.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
When do we get phase locking?
di (t ) K N
  Aij sin   ij   j (t   ij )  i (t )  sin( ij )
dt
N j 1
f (x)
f ( x )  sin    x   sin(  )
cos( )  0
x
Crossings at:
x  0, x  2 n   , x  2 n    2
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
When do we get phase locking?
di (t ) K N
  Aij sin   ij   j (t   ij )  i (t )  sin( ij )
dt
N j 1
Under appropriate initial conditions, and if
cos( ij )  0 for all i  j , and graph is connected,
phase-locking is achievable.
Same result as in coordination of
multi-agent systems.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Dual decomposition and nonlinear
network flow
Want to globally minimize 1-r2 over the whole network
Let z= sin(BT )
Subject to:
Sum of pair-wise
potentials
Supply at each node
Lagrangian
Kuramoto model is the Subgradient
algorithm for solving the dual
Shor 87, Tsitsiklis ’86
Subgradient algorithm
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Ubiquity of Dual Decompositions
Dual Decomposition is THE key idea that makes the internet
protocols “work” in a distributed asynchronous fashion
What is the connection between flocking, oscillator
synchronization, and the internet?
But, how DO “these internets” work?
Senator Ted Stevens (R-Alaska), (the architect of the 280
million dollar bridge to nowhere:
“ …and again, the Internet is not something you just dump
something on. It's not a big truck. It's a series of tubes. And if you
don't understand those tubes can be filled and if they are filled,
when you put your message in, it gets in line and it's going to be
delayed by anyone that puts into that tube enormous amounts of
material, enormous amounts of material.”
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
The Internet hourglass
Applications
Web
FTP
Mail
News
Video
Audio
ping
napster
Transport protocols
TCP SCTP UDP
ICMP
IP
Ethernet 802.11
Power lines ATM
Optical
Link technologies
Satellite Bluetooth
The Internet hourglass
Applications
Web
FTP
Mail
News
Video
Audio
ping
napster
TCP
IP
Ethernet 802.11
Power lines ATM
Optical
Link technologies
Satellite Bluetooth
The Internet hourglass
Applications
Web
FTP
Mail
News
Video Audio
IP under
everything
ping
napster
TCP
IP
Ethernet 802.11
IP on
Power lines ATM Optical
everything
Link technologies
Satellite Bluetooth
Everything
on IP
Robust and
highly
evolvable
TCP
IP
IP on
everything
“Fragile”
and hard
to change
Emergent or organized?
Both:
• The robustness and evolvability
were largely designed
• The details were (by design) all
a surprise
• There were additional surprises
that could be described as
“emergent phenomena”
Everything
on IP
TCP
IP
IP on
everything
Network protocols.
Files
HTTP
Files
TCP
IP
packets
packets
packets
packets
packets
packets
Links
Sources
Protocol stack
Applications
TCP
IP
Hardware
Modules
Files
packets
packets
packets
packets
packets
TCP
packets
packets
packets
packets
packets
IPpackets
packets
packets
packets
packets
packets
Layerpackets
2 packets
packets
packets
packets
packets
packets
Bits
Animation of the protocols
Files
HTTP
Files
TCP
packets
packets
packets
packets
packets
TCP
packets
Animation of the protocols
Files
HTTP
Files
TCP
packets
packets
packets
packets
packets
TCP
packets
IP
packets
packets
packets
packets
packets
TCP
packets
packets
packets
packets
packets
packets
packets
Animation of the protocols
Files
HTTP
Files
TCP
packets
packets
packets
packets
packets
TCP
packets
packets
packets
packets
packets
IPpackets
packets
IP
packets
packets
packets
packets
packets
TCP
packets
packets
packets
packets
packets
IPpackets
packets
packets
packets
packets
packets
packets
Layer
2 packets
Links
Sources
packets
packets
packets
packets
packets
Bits
TCP
IP
Vertical decomposition
Protocol Stack
Application
IP
Application
Application
Each layer can evolve
TCP
TCP
independently provided:
1. Follow the rules
2. Everyone else does
IP
IP with IP
“good enough”
their layer
Routing
Provisioning
Application
Application
TCP
TCP
IP
Application
IP
IP
TCP
IP
IP
Horizontal decomposition
Each level is decentralized and asynchronous
Routing
Provisioning
Network protocols.
TCP
• End to end = put intelligence at the edge
(and keep the network simple)
• Ack based error correction
• Acknowledge all packets
• Retransmit lost packets
TCP
IP
• End to end = put intelligence at the
edge (and keep the network simple)
• Ack based error correction
• Best effort packet delivery
• Routing
• Soft state
TCP
• End to end = put intelligence at the
edge (and keep the network simple)
• Ack based error correction
Emergence: Congestion collapse (1988)
High trafficcongestion packet drop
TCP retransmitmore congestion  more packet drop
IP
• Best effort packet delivery
• Routing
• Soft state
TCP
• End to end = put intelligence at the
edge (and keep the network simple)
• Ack based error correction
• Ack based congestion control
Emergence: Unstable congestion control
IP
• Best effort packet delivery
• Routing
• Soft state
Congestion Control for the Internet
Aims to avoid congestion collapse
• Congestion collapse appeared in the late 80’s because of the
lack of congestion control
• Intuitive congestion control design alleviated the problem…
• Until a few years ago when it was shown to be unstable!
New designs aim to achieve:
• Optimal sharing of available resources at equilibrium;
• Scalable stability for
• arbitrary topologies (size and connectivity)
• arbitrary links’ capacities
• arbitrary, inhomogeneous round trip times (time delays)
Last property has been proven only for the linearized
system – here we provide a proof for the nonlinear case
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Interconnection Diagram
S sources (Users):
Round Trip time  i , i  1,, S
R Routing Matrix:
 1 if source i uses link l
Rli  
otherwise
0
L links (Routers):
Capacity cl , l  1,, L
yl
xi
(Aggregate Trans. rates)
(Transmission rates)
yl 
S
 R x (t  
li
i
f
il
)
i 1
TCP
(sources)
AQM
(links)
L
qi
qi   Rli pl (t   ilb )
(Aggregate Link Prices)
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
l 1
pl
(Link Prices)
Why a gradient system?
Internet Congestion Control: Optimization Perspective
N
 U ( x ),
max
Utility Maximization
xi  0
i
i 1
N
R
s.t.
i 1
L
S
U ( x
i 1
i
L
i
)   pl (cl  Ril xi ) 
l 1
L
 U i' ( x i )  qi
xi
pl 
1
cl
li
xi  cl , for all l
S
 U ( x
i 1
i
i
)  qi x i
L
   pl cl
l 1
S
L
 cl   Rli xi
pl
i 1

 L 
1



y

c




l
l p
l

p
c

l  pl
l
xi  Ui' 1(qi )
Sub-gradient algorithm yields dynamics of a gradient system
A global problem is made local by dual decomposition
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Nonlinear delayed
i 
S

Rli

pl  
xi e
 i 1 cl


L
Rmi pm t  if,l
m 1
Mi  i
 ib,m



 1

 pl
Theorem: If R is full rank and
xi*
i 
xi
then the (unique) equilibrium is globally (pl  0) stable.
How to prove this? Need a Lyapunov argument.
Papachristodoulou, CDC 2004
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Nonlinear delayed
Theorem: If R is full rank and

i 
R p t  if,l  ib,m 
S

m 1 mi m 
x

R
M

i 
i i
pl    li xi e
 1
xi
 i 1 cl


 pl
then the (unique) equilibrium is globally (pl  0) stable.
L
*
i
   m 1Rmi pm t 

Mi i 
Mi  i
* *
V1   (cl pl  y l pl )  
xi e
 xi* 


l 1
i 1  i 


L
i
S
1 S L L Rli Rmi Ai xi
V2  
2 i 1 l 1 m 1 cl i xi*
0
 if,l
t
 
L
pm2 ( )d d
 ib,m t 
Then V  V1  V2 is a Lyapunov-Krasovskii functional if
xi*
 i  , i .
xi
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Nonlinear delayed
i 
S

Rli

pl  
xi e
 i 1 cl


L
Rmi pm t  if,l
m 1
Mi  i
 ib,m



 1

 pl
Theorem: If R is full rank and
xi*
i 
xi
then the (unique) equilibrium is globally (pl  0) stable.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Vertical decomposition
• Entirely different from the telephone system,
although the parts are essentially identical (VLSI,
Application
Application
Application
copper, and fiber)
• The Internet is much more like biology and
TCPrelies on feedbackTCP
TCP
regulation at every level.
• Only recently has a coherent theory of the
Internet started to emerge and pay off.
IP
IP
IP protocols.
IP
IP
•New theory
and new
Routing
Horizontal
decomposition
Provisioning
The Internet
in the PC
Interface
Application
Operating
System
Interface
Application
TCP
Operating
System
IP
Computer
Computer
Board
Device
Instructions
Logic
Topology
Geometry
Timing
Fabrication
Silicon
Board
Device
Internet
Interface
Application
Application
TCP
TCP
Operating
System
Simplify
IP
IP
Computer
Board
Device
Link
Links
Sources
Routers
packets
Hosts
Files
Routers
Hidden from the user
packets
Hosts
Routers
packets
Hosts
Routers
packets
Hosts
• Best effort IP
• Soft Routers
state
• End to end
Hosts
IP
• Best effort packet delivery
• Routing
• Soft state
Routers
Mesh-like core of fast,
low degree routers
Hosts
High degree
Routersnodes
are at the edges.
Hosts
Emergence
Models:
•
•
•
•
•
Cellular automata
Boolean networks
Lattices
Spin glasses
Graphs
•
•
•
•
Edge-of-chaos
Order for free
Power laws
Self-organized
criticality
• Phase
transitions
• Scale-free
networks
Emergence
Models:
•
•
•
•
•
•
•
•
•
Edge-of-chaos
Order for free
Power laws
Self-organized
criticality
• Phase
transitions
• Scale-free
networks
Cellular automata
Boolean networks
Lattices
Spin glasses
General idea: all of these emergent
Graphs
features are invariant under
random rewiring, provided their
macroscopic features are
preserved (degree, densities, etc)
Emergence
Models:
•
•
•
•
Cellular automata
Boolean networks
Lattices
Spin glasses
•
•
•
•
Edge-of-chaos
Order for free
Power laws
Self-organized
criticality
• Phase
transitions
• Scale-free
networks
• Graphs
• Popular
• Representative
• Wildly wrong
Power Laws and Internet Topology
A few nodes have lots of connections
number of connections
Source: Faloutsos et al (1999)
rank
rank
Most nodes have few connections
Observed scaling in node degree and other statistics:
– Autonomous System (AS) graph
– Router-level graph
How to account for high variability in node degree?
6
5
Frequency
(Huffman)
(Crovella)
4
Cumulative
Data
compression
WWW files
Mbytes
3
Forest fires
1000 km2
2
(Malamud)
1
Los Alamos fire
0
-1
-6
-5
Decimated data
Log (base 10)
-4
-3
-2
-1
0
1
Size of events
2
18 Sep 1998
Forest Fires: An Example of Self-Organized
Critical Behavior
Bruce D. Malamud, Gleb Morein, Donald L. Turcotte
4 data sets
6
Web files
5
Codewords
4
Cumulative
Frequency
-1
3
Fires
2
-1/2
1
0
-1
-6
-5
-4
-3
-2
-1
0
1
Size of events
Log (base 10)
2
6
5
Frequency
(Huffman)
(Crovella)
4
Cumulative
Data
compression
WWW files
Mbytes
3
Forest fires
1000 km2
2
(Malamud)
1
Los Alamos fire
0
-1
-6
-5
Decimated data
Log (base 10)
-4
-3
-2
-1
0
1
Size of events
2
20th Century’s 100 largest disasters worldwide
2
10
Technological ($10B)
Natural ($100B)
1
10
US Power outages
(10M of customers)
0
10
-2
10
-1
10
0
10
20th Century’s 100 largest disasters worldwide
2
10
Technological ($10B)
Natural ($100B)
1
10
US Power outages
(10M of customers)
0
10
-2
10
-1
10
0
10
2
10
Log(Cumulative
frequency)
1
10
= Log(rank)
0
10
-2
10
-1
10
Log(size)
0
10
100
80
Technological ($10B)
rank
60
Natural ($100B)
40
20
0
0
2
4
6
8
size
10
12
14
2
100
10
Log(rank)
1
10
10
3
2
0
1
10
-2
10
-1
0
10
10
Log(size)
20th Century’s 100 largest disasters worldwide
2
10
Technological ($10B)
Natural ($100B)
1
10
US Power outages
(10M of customers)
Slope = -1
(=1)
0
10
-2
10
-1
10
0
10
6
Data
compression
WWW files
Mbytes
5
4
Cumulative
Frequency
-1
3
Forest fires
1000 km2
2
-1/2
1
0
-1
-6
-5
Decimated data
Log (base 10)
-4
-3
-2
-1
0
1
Size of events
2
6
5
4
Cumulative
Frequency
Data
compression
WWW files
Mbytes
exponential
-1
3
Forest fires
1000 km2
2
-1/2
1
0
-1
-6
-5
-4
-3
-2
-1
0
1
Size of events
2
6
Data
compression
WWW files
Mbytes
5
exponential
4
Cumulative
Frequency
3
Forest fires
1000 km2
2
All events are
close in size.
1
0
-1
-6
-5
-4
-3
-2
-1
0
1
Size of events
2
6
5
4
Cumulative
Frequency
Data
compression
WWW files
Mbytes
-1
3
Forest fires
Most2events
1000 km2
are small
1
0
-1/2
But the large
events are huge
-1
-6
-5
-4
-3
-2
-1
0
1
Size of events
2
6
Cumulative
Frequency
5
Most files Data
WWW files are small
compression
4
-1
Mbytes
But most packets
are in huge files
3
Forest fires
2 Most
fires
1000
km2
are small
1
0
-1/2
But most trees are
in huge fires
-1
-6
-5
-4
-3
-2
-1
0
1
Size of events
2
6
5
4
Cumulative
Frequency
Data
compression
WWW files
Robust
Mbytes
-1
3
Forest fires
Most2events
1000 km2
are small
1
0
-1/2
Yet
Fragile
But the large
events are huge
-1
-6
-5
-4
-3
-2
-1
0
1
Size of events
2
Large scale phenomena is
extremely non-Gaussian
• The microscopic world is largely exponential
• The laboratory world is largely Gaussian
because of the central limit theorem
• The large scale phenomena has heavy tails
(fat tails) and power laws
Power Laws in Topology Modeling
• Recent emphasis has been on whether or not
a given topology model/generator can
reproduce the same types of macroscopic
statistics, especially power law-type degree
distributions
• Lots of degree-based models have been
proposed
– All of them are based on random graphs,
usually with some form of preferential
attachment
Models of Internet Topology
• These topology models are merely descriptive
– Measure some feature of interest (connectivity)
– Develop a model that replicates that feature
– Make claims about the similarity between the real
system and the model
– A type of “curve fitting”?
• Unfortunately, by focusing exclusively on node
degree distribution, these models that get the
story wrong
• We seek something that is explanatory
– Consistent with the drivers of topology design and
deployment
– Consistent with the engineering-related details
Heuristically Optimal Network
Mesh-like core of fast,
Coresrouters
low degree
High
degree
Edges
nodes are at
the
edges.
Hosts
Abilene Backbone
Physical Connectivity
(as of December 16, 2003)
Intermountain
GigaPoP
Front Range
GigaPoP
Arizona St.
Oregon
GigaPoP
Internet routerlevel topology
U. Memphis
Indiana GigaPoP
Pacific
Northwest
GigaPoP
U. Louisville
Great Plains
OARNET
StarLight
Iowa St.
MREN
NYSERNet
Kansas
Denver City
UNM
WPI
Indianapolis
Chicago
Seattle
U. Hawaii
GEANT
Sunnyvale
SURFNet
Rutgers
U.
Wash
D.C.
Los Angeles
TransPAC/APAN
MANLAN
Houston
UniNet
North Texas
GigaPoP
Texas Tech
SOX
Miss State
GigaPoP
UT Austin
UT-SW
Med Ctr.
Atlanta
SFGP/
AMPATH
Texas
GigaPo
P
LaNet
Tulane U.
Northern
Crossroads
SINet
New York
ESnet
AMES NGIX
WIDE
WiscREN
NCSA
CENIC
0.1-0.5 Gbps
0.5-1.0 Gbps
1.0-5.0 Gbps
5.0-10.0 Gbps
Merit
OneNet
Qwest Labs
U.
Arizona
Pacific
Wave
Northern Lights
Florida A&M
U. So. Florida
MAGPI
PSC
DARPA
BossNet
UMD NGIX
Mid-Atlantic
Crossroads
Drexel U.
U. Florida
U. Delaware
NCNI/MCNC
2
10
Low degree
mesh-like core
1
identical
power-law
degrees
10
Completely different
networks can have the
same node degrees.
0
10
0
10
1
10
2
10
3
10
2
10
High degree hublike core
Low degree
mesh-like core
1
identical
power-law
degrees
10
Completely different
networks can have the
same node degrees.
0
10
0
10
1
10
2
10
3
10
• Low degree core
• High degree edge routers
• Failure and attack tolerant
High
degree
edge
routers
Rare
Completely
opposite
Space
of
graphs
• High degree hubs
• Failure tolerant
• Attack fragile
Mainstream
“Physics”
view
Likely
• Low degree core
• High degree edge routers
• Failure and attack tolerant
High performance
High
degree
edge
routers
Space
of
graphs
Low performance
Completely
opposite
• High degree hubs
• Failure tolerant
• Attack fragile
Engineering
view
Functional
requirements
• Low degree core
• High degree edge routers
• Failure and attack tolerant
There are few
alternatives that are
functional and satisfy
hardware constraints.
Hardware
constraints
Functional
requirements
Hardware
constraints
• Randomly rewire
• Discard extremely “unlikely.”
Therefore:
• High degree hubs
• Failure tolerance
• Attack fragility
• Low degree core
• High degree edge routers
• Failure and attack tolerant
Our view
High performance
High
degree
edge
routers
Rare
Space
of
graphs
Low performance
Completely
opposite
• High degree hubs
• Failure tolerant
• Attack fragile
Likely
Power laws are ubiquitous,
not just the internet
Low
variability
High
variability
Gaussian
Exponential
Power law
Central Limit
Theorem
(CLT)
Marginalization
(Markov property)
CLT
Marginalization
Maximization
Mixtures
Power laws are unexceptional
Low
variability
High
variability
Gaussian
Exponential
Power law
Central Limit
Theorem
(CLT)
Marginalization
(Markov property)
CLT
Marginalization
Maximization
Mixtures
Demo
2
10
median
1
10
Reality
0
10
-2
10
-1
10
0
10
2
Robust
10
median
1
10
0
10
-2
10
-1
10
0
10
Yet
Fragile
Beyond Graphs in Networked Systems
Main Idea: understanding global properties with local
information: algebraic topology
For certain problems, e.g. coverage, makes sense to go
beyond graphs and pair-wise interactions
Example: Given a set of sensor nodes in a given domain
(possibly bounded by a fence), is every point of the
domain under surveillance by at least one node?
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Coverage Problems
Problem: Given a set of sensor nodes in a
domain (possibly bounded by a fence), is every
point of the domain under surveillance by at
least one node?
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
From Graphs to Simplicial Complexes
Simplicial Complex: A finite
collection of simplices
Simplex: Given V, an
unordered non-repeating
subset
k-simplex: The number of
points is k+1
Faces: All (k-1)-simplices in
the k-simplex
Orientation
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
From Graphs to Simplicial Complexes
Simplicial complex: made up of simplices of
several dimensions
Properties
Whenever a simplex lies in the collection then so does each of
its faces
Whenever two simplices intersect, they do so in a common face.
Valid Examples
Graphs
Triangulations
Invalid examples
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Rips-Vietoris Simplicial Complex
0-simplices : Nodes
1-simplices : Edges
2-simplices: A triangle in the
connectivity graph ~ 2simplex (Fill in with a face)
K-simplices: a complete
subgraph on k+1 vertices
k-simplex in the Rips
complex ~ (k+1) points
within communication range
of each other
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Generalization of r-disk graphs
Rips and Čech Complexes:
Topological vs. Geometric information
A set of points
•
(Rips complex of radius ): k-simplex, if the pairwise
distance between k points are less than .
- Easy to compute in a dsitributed manner.
- However, Does not preserve the topological properties.
•
(Čech complex of radius ): k-simplex, if k coverage
disks of radius overlap
- Hard to compute.
- Preserves the topological properties.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Coverage Problems
Intersection of sensing ~ simplicial
complexes
Communication graphs ~ simplicial
complexes
Holes ~ homology of simplicial complexes
A sensor network has coverage hole if there
is a “robust” hole in the simplicial complexes
induced by the communication graphs [Ghrist
et al.]
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Relevance of Homology
dim H0(X) ~ no of connected components of X
dim H1(X) ~ types of loops in X that surround
‘punctures’
dim Hk(X) ~ no of k+1-dimensional ‘voids’ in X
Available software
Plex (Stanford)
CHomP (Georgia Tech)
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Combinatorial k-Laplacians
Since X is finite we can represent the boundary maps in matrix form
incidence matrix
Moreover, we can get the adjoint
[Eckmann 1945] The Combinatorial k-Laplacian
is given by
Note:
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
k-Laplacian at the Simplex Level
Adjacency of a simplex to other
simplices
Upper adjacency if they share a
higher simplex (e.g. 2 nodes
connected by an edge)
Lower adjacency if they share a
common lower simplex (e.g. two
edges share a node)
‘Local’ formula with
orientations
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
k-Laplacian at the Simplex Level
Adjacency of a simplex to other simplices
Upper adjacency if they share a higher simplex (e.g. 2 nodes connected by
an edge)
Lower adjacency if they share a common lower simplex (e.g. two edges
share a node)
‘Local’ formula with orientations
Hodge theory, 1930’s: Kernel of the Laplacian ~ homologies
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Laplacian Flows
Laplacian flows : a semi-stable dynamical system
(Recall heat equation for k = 0)
[Muhammad-Egerstedt MTNS’06]
System is asymptotically
stable if and only if
rank(Hk(X)) = 0.
A method to detect
‘no holes’ locally
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Laplacian Flows (contd.)
System converges to
the unique harmonic cycle
if rank(Hk(X)) = 1.
A method to detect
‘proximity to hole’ locally
when single hole
When rank(Hk(X)) > 1 :
System converges to the span of harmonic homology cycles
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Example, eigenvectors of L1
Network
2nd homology class
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
1st homology class
‘Fiedler-like’- eigenvector
Consensus in Switching Graphs
Mobility, switching graphs and consensus : switched linear
system
Joint connectedness (Jadbabaie’ 2003)
Theorem : Consensus if and only if there is a sequence of
bounded, non-overlapping time intervals, such that over any
interval, the network of agents is jointly connected.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Coverage in Switching Simplicial
Complexes
Can we repeat similar analysis for switching simplicial complexes?
YES!
Jointly `hole-free’ simplicial complexes
Joint hole-free implies trivial homology
in union complex
Theorem (Muhammad, Jadbabaie ’06): Switched linear system is
globally asymptotically stable if and only if there exists an infinite
sequence of bounded intervals, across each of which the simplicial
complexes encountered are jointly hole-free.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Switching Simplicial Complexes:
Random Switching
Switching times are from a Poisson point process
with rate
The complexes are drawn independently from a
common distribution.
[Salehi, Jadbabaie] The stochastic dynamical system
is globally asymptotically stable if and only if
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Ongoing work: detection of wandering
holes in coverage
Figure courtesy of Rob Ghrist
Given a set of sensors with a disk footprint, add:
an edge when 2 sensors overlap. A face when 3 sensors overlap
Construct the 1st Laplacian L1
Rips complex is “jointly persistently hole free over time”
intersection
of kernels of Laplacians is zero
no wandering hole in Rips
Complex
The dynamical system (which is distributed)
converges to zero
Instead of Spectral Graph theory look at spectral theory of simplicial complexes
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Results on Spatially invariant systems
and distributed control
Mostly over highly symmetric graphs w/ identical
dynamics
Infinite Horizon Quadratic Cost
No constraints on inputs and states
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Structure of optimal control for spatially
distributed systems: spatially invariant case
Model of each subsystem:
xk (t  1) A B xk (t)
Eq.(1) 
  C D 

y
(
t
)
u
(
t
)
 k 
 k
 
Does the optimal control policy have the same spatial structure as plant ?
In other words, is it spatially distributed ?
Finite Horizon Optimal Control problem:
N
min
J
(
x
(
0
),
u
)
N
Finite Horizon Quadratic Cost
u
s.t. Eq. (1)
k
k
umin
 uk (t)  umax
for 0  t  N
for 0  t  Nc
k
k
ymin
 yk (t)  ymax
for 0  t  Nc
k G
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Identical dynamics over
infinite lattices
Fourier Analysis on Lattice:
1D Lattice:
x0
x1
x2



x  (  , x1 , x0 , x1 ,  )
Signals in the spatial domain:
x̂    x1 ei ω  x0  x1 e i ω  
Fourier transform:
For simplicity, replace
Fourier transform:
x1
x2

x̂ 
z  ei ω
x
k G
k
z
k
G : spatial domain
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Translation Invariant Operators
Definition:.
Translation Operator: T (  , | xk , xk 1 ,  )  (  , | xk 1 , xk 2 ,  )
Q is translation invariant operator if
T Q QT
Consider translation invariant operators of this form
Example:
1D Lattice:
Global cost function


xk 2
xk 1
xk
Q( T)   Qk T
xk1
k
xk 2


k G
agent k is coupled to its neighbors through cost function J
J    xk * Q-1xk 1  xk * Q0 xk  xk * Q1xk 1  
 x, Q( T )x
in which
Q( T )  Q-1 T -1  Q0  Q1 T 1
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Decay Property of Translation Invariant Operators
1
Q̂(z)   Qkz 
N(z)
d(z)
k G
Q( T)   Qk T k
k
k G
Fact 1: Analytic continuity implies decay in spatial domain.
Analytic continuity
Fact 2: The decay rate depends on the distance of the
closest pole to the unit circle; the further, Q k
Im(the
z) faster.
Im( z)
S1
S1
Re(z)
Re(z)
No pole on S1
2
No pole in an annulus
around S1
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
1 0
1
k
Coefficients decay
in spatial domain
Back to our problem
k 2
k 1
Model of each subsystem:
Notation:
k
k 1
k 2
x (t  1) A B xk (t)
Eq.(1)  k
  C D 

y
(
t
)
u
(
t
)
 k 
 k
 
x(t)  (  , x k (t) , x k 1 (t) ,  )
u (t)  (  , u k (t) , u k 1 (t) ,  )
uN  (  , u Nk , u Nk 1 ,  )
u Nk  ( u k (0) , u k (1),  , u k (N  1) ) *
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Spatial Locality of Centralized RHC
Finite Horizon Quadratic Cost:
N 1
J(x(0), u )  x(N), P( T )x(N)   x(t), Q( T )x(t)  u(t), R(T )u(t)
N
t 0
P(T) can be obtained from a parameterized family of DAREs:
A* P̂ (z) A  P̂ (z)  A* P̂ (z) B (R̂(z)  B* P̂ (z)B) 1 B* P̂ (z) A  Q̂(z)  0
for all zS1 .
P(T) is spatially decaying:
P( T) 
k
P
T
k
k G
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Pk  c e  β|k|
for some c , β  0
Spatial Locality of the Optimal Solution
Theorem: Given the initial condition x(0), the optimal solutions are :
(1) Affine maps of x(0), i.e., uiN 
(2) Spatially distributed, i.e.,
for some α , β  0.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
K ij
K
jG
2
ij
x j (0)  ci
 α e β| i  j |
Generalization to Arbitrary Graphs
Analytic continuity
Exponential decay in spatial domain
Q ki : coupling between agent k and i
Multiply by ζ
Q ki
where 1  ζ  b



Q  
Q ki



Suppose that Q
is bounded.
Note: SD stands for Spatially Decaying
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
~
Q ki  Q ki ζ dis(k,i)


~ 
~

Q 
Q ki



~
If Q is bounded ,
then we say that Q
is exp onentially spatially
decaying .
Extending analytic continuity
ze
Im
S
1
iω
| z | 1
z~  ζ e iω
1  r  | z~ |  1  r
Multiply by ζ
where 1  r  ζ  1  r
Im
S1
Re
Re
No pole on S1
If
|k |
|
Q
|
ζ
 k 2
Analytic continuity

k G
Q̂(z~) 
No pole in an annulus
~k is bounded
Q
z
 k
k G
on the annulus .
Q is spatially decaying.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Systems with Arbitrary Couplings
over Arbitrary Graphs
Multiply by ψ(dis(k, i))
Q ki
~
Q ki  Q ki ψ(dis(k, i))
Three important class of problems with spatially-varying couplings:
ψ(s)
ψ(s)-1
1 if | s |  d
ψ(s)  
0 if | s| d
with d  0
s
s
s
(1) Systems with nearest
neighbor coupling:
ψ(s)-1
(2) Systems with
exponentially
decaying couplings:
|s|
ψ(s)  ζ
with ζ  1
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
(3) Systems with
algebraically
decaying coupling:
ψ(s)  (1  α | s |)β
with α , β  0
Properties of SD operators
Definition:
Suppose Q is bounded and the coupling  characteri stic
~
function ψ :R   [ 1,  ) is given. If Q is bounded , then
we say that Q is SD.
Theorem: sums, products and inverses of SD operators are SD.
Therefore, if A and B, Q , and R are SD
(1) Solution P of the Lyapunov Equation is SD:
A* P A  P  Q  0
,
A* P  P A  Q  0
(2) Solution of the Algebraic Riccati Equation is SD:
A* P A  P  A* P B (R  B*PB) 1 B* P A  Q  0
(DARE)
A* P  P A  P B R 1 B * P  Q  0
(CARE)
(3) Solutions to finite horizon constrained quadratic
optimization problems are SD.
A. Jadbabaie “ESE 680:Distributed Dynamical systems”
Download