Stochastic Event Capture Using Mobile Sensors Subject to a...

44
Stochastic Event Capture Using Mobile Sensors Subject to a Quality Metric Nabhendra Bisnik, Alhussein A. Abouzeid, and Volkan Isler Rensselaer Polytechnic Institute (RPI) Troy, NY 1

Transcript of Stochastic Event Capture Using Mobile Sensors Subject to a...

Page 1: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Stochastic Event Capture Using Mobile Sensors Subject to a Quality Metric

Nabhendra Bisnik, Alhussein A. Abouzeid, and Volkan IslerRensselaer Polytechnic Institute (RPI)

Troy, NY

1

Page 2: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Mobile Sensors

2

Advances in robotics and sensor technology has enabled deploymentof smart mobile sensorsAdvantages of mobile sensors:

An adversary has to always guessAll points can be eventually coveredSensors may settle in “good” positionsMove around obstructionsNumber of sensors required may bereduced

Page 3: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Does Mobility Always Increase Coverage?

The answer is no!!It depends on the phenomena Stationary coverage is binary, while mobile

coverage is fuzzyFor random mobility, probabilistic notion of

coverageMobility useful in covering events that last

over a large time periodsMay not be useful for covering events that are

short lived3

Page 4: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

The Event Capture ProblemEvents appear and disappear at

certain points called Points of Interest (PoI)

The event dynamics at each PoI is known

An event is captured if a sensor visits the PoI when the event is present

Quality of coverage (QoC) metricsFraction of events captured

Probability that an event is lost

0 1

4

Page 5: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Our ContributionsAnalytical study of how quality of coverage scales

with parameters such as velocity, number of sensors and event dynamicsAlgorithms for Bound Event Loss Probability

(BELP) ProblemMinimum Velocity BELP (MV-BELP): What is the minimum velocity with which a sensor may satisfy the required QoCMinimum Sensor BELP (MS-BELP): If v fixed what is the minimum number of sensors required

The problems can be optimally solved for special cases, general problem NP-hard

5

Page 6: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Applications of our WorkHabitat Monitoring: PoIs – points

frequented by animals, Event –arrival of an animal

Surveillance: PoIs – vulnerable points, Event – arrival of adversary

Hybrid Sensor Network: PoIs –stationary sensors, Event – arrival of data

Supply Chain: PoI – Factories, Event – Arrival of new batch

6

Page 7: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Talk OutlineAnalytical results: When is mobility useful?BELP ProblemAlgorithms for MV-BELP problem

Restricted motion caseUnrestricted motion case

Algorithms for MS-BELP problemRestricted motion caseUnrestricted motion case

Summary and Future Works7

Page 8: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Talk OutlineAnalytical results: When is mobility useful?BELP ProblemAlgorithms for MV-BELP problem

Restricted motion caseUnrestricted motion case

Algorithms for MS-BELP problemRestricted motion caseUnrestricted motion case

Summary and Future Works8

Page 9: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

A Mobile Coverage Scenarion PoIs have to be covered using

a mobile sensor

Events arrive at rate λ and depart at rate µ

Velocity of mobile sensor is vand sensing range is r

The mobile sensor moves along a closed curve of length D to cover the PoIs

We evaluate the fraction of events captured

r

9

Page 10: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Fraction of Events Captured

Critical Velocities

If the velocity of the sensor less than the critical velocity, the coverage worse than that achieved by a stationary sensor

10

Page 11: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Multiple Sensors Case

As the number of mobile sensors increase, the critical velocities required for improvements in coverage initially decreases, then starts to increase

11

Page 12: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Variable Velocity CaseIntuitively it might be useful to slow down while visiting the PoIs and move at

highest possible velocity when no PoIs are visible

That is, move with velocity vmax when no PoIs are visible, move with vc · vmaxwhen a PoI is visible

Slowing down during a visit, in order to spend more fraction of time observingthe PoIs does not help either

The solution therefore is to choose “good” paths to move along 12

Page 13: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Talk OutlineAnalytical results: When is mobility useful?BELP ProblemAlgorithms for MV-BELP problem

Restricted motion caseUnrestricted motion case

Algorithms for MS-BELP problemRestricted motion caseUnrestricted motion case

Summary and Future Works13

Page 14: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

BELP Problem

14

Bounded event loss probability (BELP) problem: Given a set of PoIs and the event dynamics, plan the motion of sensors such that

Two optimization goalsSingle sensor, minimize

velocity (MV-BELP)Fix velocity, minimize numberof sensors (MS-BELP)

Page 15: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Probability of Event LossProbability of event loss depends on event

dynamics and time between two consecutive visits to a PoI

There exists a such that

Thus BELP problem boils down to finding a mobility schedule such that the time between two consecutive visits to PoI i is less than

15

Page 16: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Talk OutlineAnalytical results: When is mobility useful?BELP ProblemAlgorithms for MV-BELP problem

Restricted motion caseUnrestricted motion case

Algorithms for MS-BELP problemRestricted motion caseUnrestricted motion case

Summary and Future Works16

Page 17: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Restricted MotionThe sensors are restricted to move along a

line or a closed curve, along which all the PoIsare locatedSuch scenario may arise in cases such as

The PoIs are located on road sideTrusted paths are created so that sensors do not

get lost or stuckRestriction of motion to a given path simplifies

the BELP problem

17

Page 18: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MV-BELP: Restricted Motion

For line case, optimal velocity is given by

For the closed curved case, optimal velocity obtained by n iteration of the procedure for the linear case

18

Page 19: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MV-BELP: Unrestricted MotionHeuristic algorithm1.Calculate TSPN path for the set of PoIs2.Set ,If is the optimal velocity the

where and f(n) is approximation ratio of the TSPN algorithmIf Tmin = Tmax, then

19

Page 20: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Talk OutlineAnalytical results: When is mobility useful?BELP ProblemAlgorithms for MV-BELP problem

Restricted motion caseUnrestricted motion case

Algorithms for MS-BELP problemRestricted motion caseUnrestricted motion case

Summary and Future Works20

Page 21: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MS-BELP: Restricted Motion

21

We propose a greedy heuristic algorithm for line case

Use n+1 iteration of line algorithm to solve the closed curve caseThe greedy heuristic algorithm is within a

factor two of the optimal

While all sensors not assignedAssign the left-most unassigned PoI to a new sensorFor all unassigned PoIs

If QoC at the PoI can be satisfied whilesatisfying QoC at all PoIs in the cover set

Add PoI to the cover set of the currentsensor

Page 22: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MS-BELP: Restricted Motion

1 2 3 4 5 6 7 8 9

Location

Criticaltime

Greedy algorithm for MS-BELP on a line22

Page 23: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MS-BELP: Restricted MotionLocation

Criticaltime

3 4 5 6 7 8 91 2

Greedy algorithm for MS-BELP on a line23

Page 24: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MS-BELP: Restricted MotionLocation

Criticaltime

6 7 8 91 2 3 4 5

Greedy algorithm for MS-BELP on a line24

Page 25: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MS-BELP: Restricted Motion

25

Location

Criticaltime

6 7 8 91 2 3 4 5

Greedy algorithm for MS-BELP on a line

Page 26: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MS-BELP: Restricted Motion

26

Location

Criticaltime

1 2 3 4 5 6 7 8 9

Greedy algorithm for MS-BELP on a line

Page 27: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Sub-Optimality of the Greedy Algorithm

41 2 3

Location

Criticaltime

Sensor assignment by the greedy algorithm (v = 10m/s)

41 2 3

Location

Criticaltime

The optimal sensor assignment (v = 10m/s)

27

Here the OPT uses 2 sensors, while the greedy algorithmuses 3 sensors

Page 28: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MS-BELP: Unrestricted MotionHeuristic algorithm1. Calculate TSPN path for the set of PoIs2. Use greedy algorithm for closed curve to solve

MS-BELP over the TSPN pathIf is the optimal number of sensors, then

The performance ratio also depends on location of the PoIs

28

Page 29: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Talk OutlineAnalytical results: When is mobility useful?BELP ProblemAlgorithms for MV-BELP problem

Restricted motion caseUnrestricted motion case

Algorithms for MS-BELP problemRestricted motion caseUnrestricted motion case

Summary and Future Works29

Page 30: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

SummaryCharacterized the scenarios where mobility

improves the quality of coverage

Formulate the bounded event loss probability (BELP) problem

For restricted motion cases, we propose optimal and 2-approximate algorithms for MV-BELP and MS-BELP respectively

For unrestricted motion cases, we propose heuristic algorithms and bound their performance with respect to the optimal

30

Page 31: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Future WorkDevelop approximate algorithms whose

performance ratio is constant or depends on number of PoIs only

Take communication requirements into accounts and develop path planning algorithms that satisfy communication constraints as well

31

Page 32: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Thank You

32

Page 33: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MV-BELP on a Curve

Mobile sensor is restricted to move along a simple closed curve joining all PoIs

Two Options

Sensor circles around the curve

Sensor moves to and fro between two neighboring nodes (n such cases)

In all n+1 cases

Minimum velocity for each case can be calculated 33

Page 34: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MV-BELP on a Curve

Mobile sensor is restricted to move along a simple closed curve joining all PoIs

If sensor circles around, minimum velocity required:

34

Page 35: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MV-BELP on a CurveMobile sensor is restricted to move along

a simple closed curve joining all PoIsIf sensor moves to and fro

between PoI 1 and PoI 6:

1. Open up the curve into linear topology with 1 at one end and 6 at other

2. Use the line algorithm to find minimum velocity

35

Page 36: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MV-BELP on a CurveMobile sensor is restricted to move along

a simple closed curve joining all PoIsMinimum velocity required for to and fro motion between PoI and its neighbor:

36

Page 37: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

MV-BELP on a CurveMobile sensor is restricted to move along

a simple closed curve joining all PoIs

Minimum velocity required for to and fro motion between PoIand its neighbor:

37

Page 38: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Variable Velocity Case

38

Slowing down during a visit, in order to spend more fraction of time observingthe PoIs does not help either

The solution therefore is to choose “good” paths to move along

Page 39: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

39

The PoIs have states 0 and 1State 1 corresponds to event to be “captured”The time spent in each state is exponentially distributed with means

and

The Event Model

1/λ 1/ µ

λ

0 1

µ

The states of PoIsmay be represented as a Markov chain

Time

The state vs. time plot

Page 40: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

AnalysisEach time the sensor “visits” a PoI it observes the point for time 2r/v

= Total number of distinct events detected in a visit to PoI i

= state of PoI i at time t

40

Page 41: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Suppose that the sensor starts observing a PoI when its state is 1, then

Where C(t) = number of 1 => 0 => 1 cycles in timet

2 2( , ) 1 ( )ir rN t t Cv v

+ = +

Since expected duration of one cycle is expected number of cycles in time equals

1 1λ µ+

Time

τ

So expected number of distinct events captured, given state of the point was one when the sensor arrived equals

41

2( )2 2 2[ ( , ) | ( ) 1] 1 [ ( )] 1D r

vi i

r r rE N t t S t e E Cv v v

µ λµλ µ

−−

+ = = − + = ++

Page 42: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Now suppose that the sensor starts observing a PoI when its state is 0, then

Timet’

1st Term: Probability that state flips from 0 to 1 at t’, t < t’ < t+2r/v

2nd Term: Expected number events captured between t’ and t+2r/v given state at t’ is 1, already known

42

Page 43: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

2[ ( , )]irE N t tv

+

2[ ( , ) | ( ) 0]i irE N t t S tv

+ =2[ ( , ) | ( ) 1]i irE N t t S tv

+ =Now that and are known can be determined

Let be a large time duration, be the number of events captured by the sensor and be the total number of events that occur, then

TN∞

'TN∞

T∞

' 2[ ( , )]T ivT rN k E N t tD v∞

∞= ⋅ ⋅ +

1 1TT TN k kλµ

λ µλ µ∞

∞ ∞= ⋅ = ⋅++

Therefore the fraction of events captured by the sensor equals

43

' ( ) 2[ ( , )]Ti

T

N v rE N t tN D v

λ µλµ

+= +

Page 44: Stochastic Event Capture Using Mobile Sensors Subject to a ...ecse.rpi.edu/homepages/abouzeid/mobicom06-pres.pdfMobile Sensors 2 Advances in robotics and sensor technology has enabled

Variable Velocity Case

44

Suppose the sensor can move at all velocities between 0 and How should sensor adjust its speed during

the journeyMove with when no PoI visibleWith what speed to move when it sees a PoI

Too small => miss events at other PoIsToo large => miss potential events at this PoI

What is the optimal speed to move with during a visit?