Professional Documents
Culture Documents
Fine-Grained Localization in Sensor and Ad-Hoc Networks
Fine-Grained Localization in Sensor and Ad-Hoc Networks
Fine-Grained Localization in Sensor and Ad-Hoc Networks
Overview
This dissertation provides a theoretical basis for
the localization problem, demonstrating
conditions for its solvability and defining its
computational complexity.
We apply our fundamental results on localization
to identify conditions under which the problem is
efficiently solvable and to develop localization
algorithms for a broader class of networks than
previous approaches could localize.
3
Collaborators (2003-2006)
Brian D.O. Anderson (Australia National University and NICTA)
James Aspnes
P.N. Belhumeur (Columbia University)
Pascal Bihler
Ming Cao
Tolga Eren
Jia Fang
Arvind Krishnamurthy
Jie (Archer) Lin
Wesley Maness
A. Stephen Morse
Brad Rosen
Andreas Savvides
Walter Whiteley (York University)
Y. Richard Yang
Anthony Young
4
Outline
Introduction to Localization
Location-aware computing
Resource selection (server, printer, etc.).
Location aware information services (web-search, advertisement, etc.).
ZebraNet:
Mobile sensor net with intermittent base station.
Records position using GPS every 3 minutes.
Records Sun/shade info.
Detailed movement information (speed, movement signature)
3 minutes each hour.
Future: head up/head down, body temperature, heart rate,
camera.
Goal, full ecosystem monitoring (zebras, hyenas, lions…).
9
Military Applications
Intelligence gathering (troop movements, events of interest).
Detection and localization of chemical, biological, radiological,
nuclear, and explosive materials.
Sniper localization.
Signal jamming over a specific area.
!
10
Manual configuration
Unscalable and sometimes impossible.
Abstraction
Given: Graph GN, {x1,...,xm}, and δ, the edge weight function.
Find: Realization of the graph.
3 1 4 {x1,x2,x3}
2
5 {d14, d24, d25, d35, d45}
3 5
4 2
1
{x4, x5}
Ranging Systems
TDoA – Time Difference of Arrival
Uses ultrasound and radio signals
to determine distance.
Our Contributions
Graph-theoretic conditions for the unique solvability of the localization
problem in the plane.
Proof that the problem is NP-complete even for the idealized case of
unit-disk networks.
Outline
Introduction to Localization
Unique Localizability
Network is uniquely localizable if there is exactly one set
of points {xm+1,…,xn} consistent with GN, {x1,…,xm} and
δ:E to R.
? 3
Continuous Non-Uniqueness
Continuous non-uniqueness:
Can move points from one configuration to another while
respecting constraints.
Excess degrees of freedom present in configuration.
A formation is RIGID if it cannot be continuously deformed.
18
Laman’s condition:
A graph G with 2n-3 edges is rigid in two dimensions
if and only if no subgraph G’ has more than 2n’-3 edges*.
* where n’ is the number of vertices in G’
Laman’s condition is a statement that any rigid graph with n vertices must have a set
of 2n-3 well-distributed edges.
Not enough edges Enough edges but not well distributed Just right
19
6 5
…
6 5 6 5
214 config
configs
1 1
5 4 1 5 4
1
Discontinuous Flex 1
2 2
Ambiguities:
2
2
3 2
3
20
G must be rigid.
G must be 3-connected.
b c b
G must be redundantly rigid:
f d It must remain rigid upon
a
e e removal of any single edge.
a c
d f
A graph has a unique realization in the plane iff it is redundantly
rigid and 3-connected (globally rigid). Hendrickson, ‘94
21
5 Is this localizable?
1 4
4 2
2
1 3 5
22
5 5
1 2 1 2
1 2
6
3 4 3 4 3 4
5
5
1 2
1 2 7
7 6
6 8
…
3 4
3 4
Random network – avg node degree 6. Regularized random network – avg node degree 4.5.
24
5 5
1 2 1 2
1 2
6
3 4 3 4 3 4
5 5
1 2 1 2
7 6 7 6
8 …
3 4 3 4
Light edges are those removed in extension for minimally GR graph but not in trilateration.
25
Trilateration Graphs
A trilateration graph G is one with an trilaterative ordering: an ordering
of the vertices 1,...,n such that the complete graph on the initial 3 vertices
is in G and from every vertex j > 3, there are at least 3 edges to vertices
earlier in the sequence.
Trilateration graphs are globally rigid.
Hand-made trilateration – avg degree 6. Trilateration graph from mobile network – avg degree 9.
26
Example where
G is a path.
27
Example where
G is a cycle.
Minimally GR graph
by extension: Doubled cycles always
have two edges more than
a minimally GR graph, so
they are globally rigid.
Doubled cycle:
28
Theorem:
Let G be a 2-connected graph.
Then G3 is globally rigid in 3D.
29
3D
G3 GR in 3D if G 2-connected.
G4 GR in 3D if G connected.
Outline
Introduction to Localization
Localization
3
5
Decision problem Search problem
4 2
1 1 4 {x1,x2,x3}
1 4 2
{d14, d24, d25, d35, d45}
2 3 5
3 5
This graph has a
Does this have a unique realization.
unique realization? What is it?
This problem is in ???
Rigidity
theory general NP-hard.
{x4,x5}
Yes/No
32
Computational Complexity
Intuitively, reflection possibilities are linked with
computational complexity
Suppose all edge
distances known …and reflection
for small triangles. possibilities are only
sorted out when one
Localization goes
gets to another beacon.
working out from
any beacon.
Triangle reflection
possibilities grow
exponentially….
33
NP-hardness of Realization
Theorem:
Realization of globally rigid weighted graphs that are realizable is NP-hard
Proof sketch:
Assume we have algorithm X that takes as input a realizable globally rigid
weighted graph and outputs its unique realization.
We will find the set-partition of the partitionable set S scaled w.l.o.g so that the
sum of elements in S is less than π/2 by using calls to X.
Suppose we have S={s1,s2,s3,s4} with a set-partition. Construct a graph G along
with its edge weights for X:
Even without Set Partition,
1 we have the edge weights of G:
3 2 di,i+1=2sin(si/2)
s1+s4=s2+s3 that uniquely determine the
s4 realization .
s2
rights = lefts When G is realized, we obtain
4 s1 the picture on the left, from
s3 This is a realizationwhich
of W5we! obtain set partition!
0
35
3 2
0
36
Algorithm:
If initial 3 vertices known, localize
vertices one at a time until all vertices
localized.
Else starting with each triangle in the
graph, proceed as above until all
localized.
O(|V|2) or O(|V|5).
38
Unlocalized mode:
Listen for broadcast.
if broadcast from (x,y) heard,
Determine distance to (x,y).
if three broadcasts heard
Determine position
Switch to localized mode
But how
fast?
40
n
O( )
logn O( log
n
n) O( logn )
O(n) O( log
n
n) O(1)
Running times to complete localization using trilateration for different beacon densities.
41
NP-hardness of Localization
Fine-grained localization is NP-hard due to NP-hardness
of realizing globally rigid graphs.
Outline
Introduction to Localization
Motivation
Being able to precisely localize only trilateration
networks is unsatisfying.
Trilaterationnetworks contain significantly more
constraints than necessary for unique localizability.
Can we localize networks with closer to the minimal
number of constraints?
5 5
1 2 1 2
Red edges unnecessary 7 6 7 6
for unique localizability. 8 8
3 4 3 4
Trilateration graph Globally rigid subgraph
44
Bilateration Graphs
A bilateration graph G is one with a bilateration ordering:
an ordering of the vertices 1,...,n such that the complete
graph on the initial 3 vertices is in G and from every vertex j
> 3, there are at least 2 edges to vertices earlier in the
sequence.
4’ 4’’
45
6’
6’
“Sweep” Algorithm: 5’ 5
2
Fix the position of three vertices. 6
6’
Until no progress made: 0
Finitely localize each vertex connected
to two finitely localized vertices.
Remove possibilities with no consistent
descendants. 4’’’ 1 4
3
3’
4’ 4’’
46
6’
1 5’ 1
4 7 4
7
Shell Sweep on
Random Network
Typical random graph.
Starting nodes randomly
chosen.
Shell sweep uniquely
localizes localizable
portion.
Also non-uniquely
localizes nodes rigidly
connected to localized
region.
49
Performance
on Large
Network
500 node graph with
considerable anisotropy
and 4.5 average degree.
Shell sweep computes
in <5 seconds* with no
intermediate position set
exceeding 128.
Failing Case
Some networks can be Some networks can be Some networks can be Unlocalizable
localized in O(|V|2) time: localized in O(|V|5): localized in exponential
Trilateration graphs with known Trilateration graphs with unknown time:
ordering ordering Doubled biconnected graphs
Globally rigid bilateration graphs
53
Complete Graph
3-connected r3
Sparse 0 Unsolvable
Number of edges Sensing radius in Gn(r) Complexity of
realization
54
Next:
Localization using maps.
Localization using angular order information.
Localization in networks of mobile nodes.
Localization in 3D or on 3D surfaces.
Full system from deployment to localization.
55
Acknowledgements
I would like to thank all my collaborators, without whom this work would not have
been possible.