Wireless Distributed Sensor Challenge Problem: Demo of Physical Modelling Approach

advertisement
Wireless Distributed Sensor
Challenge Problem: Demo of
Physical Modelling Approach
Bart Selman, Carla Gomes, Scott Kirkpatrick,
Ramon Bejar, Bhaskar Krishnamachari,
Johannes Schneider
Intelligent Information Systems Institute, Cornell
University & Hebrew University
Autonomous Negotiating Teams
C&D Meeting, June 27, 2002
Vanderbilt University, Nashville TN
Outline
Overview of our approach
 Movie conventions
 Computational cost (can be small)
 Phase diagram
Connections with distributed agents
 We demonstrate results of varying amounts of renegotiation
Enhancements and restrictions
 Reduce sector changes
 Scale to larger sensor arrays
Overview of Approach
We develop heuristics more powerful
than greedy, not compromising speed
Goal:
 Principled, controlled, hardness-aware systems
IISI, Cornell University
ANTs Challenge Problem
Multiple doppler radar sensors track moving
targets
Energy limited sensors
Constrained, fallible
communications
Distributed computation
Real time requirements
Physical model (and annealing)
Represent acquisition and tracking goals in terms of a
system objective function
Define such that each sensor, with info from its 1-hop
neighbors, can determine which target to track
“Energy” per target depends on # of sensors tracking
More on annealing
Target Cluster (TC) is >2 1-hop sensors
tracking the same target – enough to
triangulate and reach a decision on response.
Classic technique – Metropolis method
simulates asynchronous sensor decision,
thermal annealing allows broader search
(with uphill moves) than greedy, under
control of annealing schedule.
Moving targets, tracking and acquisition
100 sensors, t targets (t=5-30) incident on the array,
curving at random. Movies of 100 frames for each of
several values of (sensors in range)/target and (1hop neighbors)/sensor. Sensors on a regular lattice,
with small irregularities. Between each frame a
“bounce,” or partial anneal using only a low
temperature, is performed to preserve features of the
previous solution as targets move.
Physical Model as Distributed Agents
To compare with agent-based approaches:





Our sensors are independent agents
At each time step, each chooses a target to track, based on
the energy function, and informs its neighbors.
At T=0, sensors optimize locally
T>0 is like renegotiation with reduced constraints, except
that “uphill moves” may occur at any point in the search, not
only when stuck.
As targets move, sensor re-allocation is done using “heat
bumps” – low T is restricted renegotiation, higher T allows
more extensive search for alternatives.
Moving Targets -- Movies
Conventions:
Targets
(blue pts)
Target range
(green circles)
Sensors (crosses)
 Sectors
active in a TC
are shown
Target Clusters
(red lines)
Fraction of
targets covered
(thermometer)
Introduce reduced connectivity
2.8 ngbrs/sensor
6.16 ngbrs/sensor
Analysis of physical model results
When t targets arrive at once, perfect tracking can
take time to be achieved.
Target is considered “tracked” when a TC of 3+
sensors keeps it in view continuously.
We analyze each movie for longest continuous period
of coverage of each target, report minimum and
average over all targets.
Analyzing the movies
Summary frames:
easy case (10 targets)
hard case (30 targets)
color code: red (1 TC), green (2 TCs), blue (3 TCs), purple (4TCs) , …
Additional summary information:
Total time tracked, max continuous time tracked
Computation can be speeded up
>100x without loss of quality
Determine Phase Boundary
Results with moving targets
Target visibility range and targets/sensor bounds seen:
Movies to show:
Results of pure agent, agents with
renegotiation, and “annealing”
operating points



CR10 = 4 ngbrs on average
15 targets incident on the array
Cases: T0, T0.3, T3.0
15 targets, no renegotiation
15 targets, T=0.3 in iterations
15 Targets, T=3.0 in iterations
15 targets, no renegotiation
15 targets, T = 0.3 renegotiation
15 targets, T = 3.0
Results of renegotiation
Harder cases see bigger improvement, but effect of small amounts hard to control.
Control of sector assignment
Previous movies allowed sensor to sample all
sectors while choosing target. Now we make
that choice only at the outset of time step.
Problem is harder. We lose about 8% average
coverage, hold same continuous coverage.
An intermediate approach is desireable.
Phase boundary (or threshold of dif ficulty)
moves in.
Finding the phase boundary
Finding the phase boundary
Comparing coverage, 10 targets, CR10
Sectors fixed
Sectors varying
Comparing coverage, 10 targets, CR10
Varying sectors
Fixed sectors
How much can search be speeded up?
Conservative setting (100x) uses <10 msec/sensor/time step (850
MHz Pentium)
Further 10-100x reductions possible except near phase bndry.
As the problems get bigger…
Physical model effort, in principle, scales linearly, not
exponentially, as number of sensors managed grows.
In our model, biggest cost is the communications
cost of keeping cluster information (TC’s) current in a
well-connected model with few targets present. As
the problem gets uglier, this cost decreases because
TC’s get smaller!
Example – series of simulations with 400 sensors, 40120 targets incoming. One movie can be seen at
http://www.cs.huji.ac.il/~kirk/darpa/film.gif .
How often must sectors change?
Note that varying sectors change less often, and give better solution.
Fraction of sensors covering targets
Once targets spread, nearly all sensors contribute.
Fraction of sensors covering targets
Fixing sectors reduces available sensors ~12%.
Average # of TCs per target tracked
Not wasteful, >1 TC’s helps handoff as targets move.
Average # of sensors tracking a target
Excessive coverage of some targets. Can sensors
be freed up to improve detection, save power?
Ways to further improve big array
performance:
Explore restricted # of sector changes in a time step.
Reallocate sensors from overtracked targets, e.g. by
tuning the potential for high densities.
Introduce target-identity memory to reduce need for
continuous tracking. Create a derived MRF object,
like edge detection in image processing.
IISI, Cornell University
Summary
Graph-based physical models capture
the ANTs challenge domain
Results on the tradeoffs between:
Computation, Communication, Radar range,
and Performance are captured in phase
diagram.
Techniques handle realistic constraints, fast
enough for use in real distributed system.
IISI, Cornell University
The End
Download