massimo franceschetti university of california at berkeley
DESCRIPTION
Phase transitions an engineering perspective. MASSIMO FRANCESCHETTI University of California at Berkeley. Phase transition effect. when small changes in certain parameters of a system result in dramatic shifts in some globally observed behavior of the system. Example. - PowerPoint PPT PresentationTRANSCRIPT
MASSIMO FRANCESCHETTIUniversity of California at Berkeley
Phase transitions an engineering perspective
when small changes in certain parameters of a system result in dramatic shifts in some globally observed behavior of the system.
Phase transition effect
Gilbert (1961)
Mathematics Physics
Percolation theoryRandom graphs
Random Coverage ProcessesContinuum Percolation
Models of the internetImpurity ConductionFerromagnetism…
Universality, Ken Wilson Nobel prize
Grimmett (1989)Bollobas (1985)
Hall (1985)Meester and Roy (1996)
Broadbent and Hammersley (1957) Erdös and Rényi (1959)
Phase transitions in random graphs
Large scale networks of embedded devices
• Ad-Hoc networks• Sensor networks
Where are the phase transitions?
Uniform random distribution of points of density λ
One disc per pointStudies the formation of an unbounded connected component
First modelContinuum percolation, Gilbert (1961)
N Unit area
Penrose (1997) Penrose Pisztora (1996)
Xue Kumar (2003)
Gilbert (1961) [Meester, Roy book (1996)]
Haggstrom Meester (1996)
Dousse Baccelli Thiran (2003)
Booth, Bruck, Franceschetti, Meester (2003)
2Density of points in
N
nNr
)(log~2
Nr
1~2
Nneighborsnearest log~
Continuum Percolation
Nearest neighbors percolation
Percolation with interference
Clustered networks
More wireless models
1
Connectionprobability
d
Continuum percolationContinuum percolation
2r
Our modelOur model
d
1
Connectionprobability
Connectivity model
Squishing and Squashing
Connectionprobability
x
) ()( xpgpxgs
)(xg
2
)())((x
xgxgENC
))(())(( xgsENCxgENC
2
)(0x
xg
Theorem
))(())(( xgsxg cc
For all
“longer links are trading off for the unreliability of the connection”
“it is easier to reach connectivity in an unreliable network”
Shifting and Squeezing
Connectionprobability
x
)(
0
1
)()(
))(()(yhs
s
y
dxxxgxdxxgss
xhgxgss
)(xg
2
)())((x
xgxgENC
))(())(( xgssENCxgENC
)(xgss
Theorem
For all , there exists a finite , such that gss r*(x) percolates, for all )(1 * gc rr * *
It is possible to decrease the percolation threshold by taking a sufficiently large shift !
For all 2
)(0x
xg
CNP
Squishing and squashing Shifting and squeezing
What have we proven?
(sporadic) long links help the percolation process
CNP
Among all convex shapes the hardest to percolate is centrally symmetricJonasson (2001)
Is the disc the hardest shape to percolate overall?
What about non-circular shapes?
CNP
To the engineer: above 4.51 we are fine!To the theoretician: can we prove “disc is hardest” conjecture?
can we exploit long links for routing?
Bottom line
Kleinberg (2000) Franceschetti & Meester (2003)
Routing in a small world
• Nodes on the grid• Fixed number of contacts• Probability scales with distance
• Nodes on the plane• Random number contacts in a given region • Density scales with distance
each node has only local information of the network connectivity
Routing in a small world
Connections of z are PPP of density
-delivery occurs when msg is delivered within to target
S
T
• Goal: given observations find the best estimate (minimum variance) for the state
• But may not arrive at each time step when traveling over a sensor network
Intermittent observations
Problem formulation
• Discrete time LTI system
• and are Gaussian random variables with zero mean and covariance matrices Q and R positive definite.
Loss of observation
• Discrete time LTI system
Let it have a “huge variance” when the observation does not arrive
Loss of observation
• The arrival of the observation at time t is a binary random variable
• Redefine the noise as:
Kalman Filter with losses
Derive Kalman equations using a “dummy” observation when
then take the limit for t=0
Results on mean error covariance Pt
ci
cPt
ctt
PtMPE
PPE
||max
11
0condition initialany and 1for ][
0condition initial some and 0for ][lim
0
0
0
Special cases
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10
10
20
30
40
50
60
70
80
90
100S
,
V
c
C is invertible, or A has a single unstable eigenvalue
Conclusion• Phase transitions are a fundamental effect in
engineering systems with randomness• There is plenty of formal work to be done
For papers:
“Navigation in small world networks, a continuum scale-free model”Franceschetti and Meester
Preprint ‘03
“Percolation in wireless multi-hop networks”, Franceschetti, Booth, Cook, Meester, Bruck
ISIT ’03 and Submitted to IEEE Trans. Info Theory
“Covering algorithm continuum percolation and the geometry of wireless networks”Booth, Bruck, Franceschetti, Meester
Annals of Applied Probability, 13(2), May 2003.
“Kalman Filtering with intermittent observations”Sinopoli, Schenato, Franceschetti, Poolla, Sastry
CDC ’03 and Submitted to IEEE Trans. Automatic Control