sensor health state estimation for target tracking with...

45
Introduction - Motivation - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block Diagram - Localization - Smoothing - Sensor State Estimation Simulation Results - Simulation Setup - Evaluation Conclusions Sensor Health State Estimation for Target Tracking with Binary Sensor Networks Christos Laoudias, Michalis Michaelides and Christos Panayiotou KIOS Research Center for Intelligent Systems and Networks Department of Electrical and Computer Engineering University of Cyprus, Nicosia, Cyprus Supported by the Cyprus Research Promotion Foundation under Grant TΠE/OPIZO/0609(BE)/06 IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Upload: others

Post on 25-Mar-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Sensor Health State Estimation for TargetTracking with Binary Sensor Networks

Christos Laoudias, Michalis Michaelides and Christos Panayiotou

KIOS Research Center for Intelligent Systems and NetworksDepartment of Electrical and Computer Engineering

University of Cyprus, Nicosia, Cyprus

ΕΝΤΥΠΟ ΥΠΟΒΟΛΗΣ ΕΝΔΙΑΜΕΣΗΣ ΕΚΘΕΣΗΣ ΠΡΟΟΔΟΥ ΕΡΕΥΝΗΤΙΚΟΥ ΕΡΓΟΥ ΤΗΣ ΔΕΣΜΗΣ

2009-2010

INTERIM PROGRESS REPORT FORM FOR RESEARCH PROJECTS FUNDED BY DESMI 2009-

2010

ΤΙΤΛΟΣ ΕΡΓΟΥ

PROJECT TITLE Fault tolerant detection, localization and tracking of multiple events using Wireless Sensor Networks (WSN)

ΑΝΑΔΟΧΟΣ ΦΟΡΕΑΣ

HOST ORGANISATION University of Cyprus

ΣΥΝΤΟΝΙΣΤΗΣ ΕΡΓΟΥ

PROJECT COORDINATOR Christos Panayiotou

1

Supported by the Cyprus Research Promotion Foundation under Grant TΠE/OPIZO/0609(BE)/06

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 2: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Outline

Introduction

Fault Model

Tracking Architecture

Simulation Results

Conclusions

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 3: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Motivation of our work

I Binary sensor networks

I Popular for demanding and safety critical applications,e.g. large area monitoring, target tracking

I Living with faults

I Sensing can be tampered (accidentally or deliberately)and detection/estimation suffers from faulty sensors

I Tracking accuracy can be severely degraded

I Faulty sensors should NOT be used

I Localization algorithms typically use all sensor readingsregardless of the actual sensor’s state

I Sensor states are usually unavailable or extremely hardto obtain in real WSN applications

I Sensor Health State Estimation: Intelligently select(at least mostly) healthy sensors for target tracking

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 4: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Motivation of our work

I Binary sensor networks

I Popular for demanding and safety critical applications,e.g. large area monitoring, target tracking

I Living with faults

I Sensing can be tampered (accidentally or deliberately)and detection/estimation suffers from faulty sensors

I Tracking accuracy can be severely degraded

I Faulty sensors should NOT be used

I Localization algorithms typically use all sensor readingsregardless of the actual sensor’s state

I Sensor states are usually unavailable or extremely hardto obtain in real WSN applications

I Sensor Health State Estimation: Intelligently select(at least mostly) healthy sensors for target tracking

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 5: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Motivation of our work

I Binary sensor networks

I Popular for demanding and safety critical applications,e.g. large area monitoring, target tracking

I Living with faults

I Sensing can be tampered (accidentally or deliberately)and detection/estimation suffers from faulty sensors

I Tracking accuracy can be severely degraded

I Faulty sensors should NOT be used

I Localization algorithms typically use all sensor readingsregardless of the actual sensor’s state

I Sensor states are usually unavailable or extremely hardto obtain in real WSN applications

I Sensor Health State Estimation: Intelligently select(at least mostly) healthy sensors for target tracking

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 6: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Binary Sensor Network Model

Assumptions

1. A set of static sensor nodes `n = (xn, yn), n = 1, . . . ,N

2. A source moving at steady speed `s(t) = (xs(t), ys(t))

3. The source emits a continuous omnidirectional signal

zn(t) =c

1 + dn(t)γ+ wn(t),

where dn(t) = ||`n − `s(t)||.

Sensor Alarm Status

An(t) =

{0 if zn(t) < T1 if zn(t) ≥ T

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 7: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov ChainModel

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Sensor Fault Model

Stochastic ModelMarkov Chain model with two discretesensor states sn(t) ∈ {F ,H}

πn(t + 1) = CTπn(t)

I Sensor state probabilitiesπn(t) = [πF

n (t) πHn (t)]T ,

πin(t) = P[sn(t) = i ], i ∈ {F ,H}

I C =

[pF ,F pF ,H

pH,F pH,H

]I Steady state probabilities πi

n =limt→∞ P[sn(t) = i ], i ∈ {F ,H}

H F,F Fp,H Hp

,F Hp

,H Fp

Fault Generation

I Diverse fault types

I Different duration, e.g.temporary, permanent

I pH,H = 0.925 andpF ,F = 0.7 gives[πF

n πHn ]T = [0.2 0.8]T

I pF ,F = 1 injectspermanent faults

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 8: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov ChainModel

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Sensor Fault Model

Stochastic ModelMarkov Chain model with two discretesensor states sn(t) ∈ {F ,H}

πn(t + 1) = CTπn(t)

I Sensor state probabilitiesπn(t) = [πF

n (t) πHn (t)]T ,

πin(t) = P[sn(t) = i ], i ∈ {F ,H}

I C =

[pF ,F pF ,H

pH,F pH,H

]I Steady state probabilities πi

n =limt→∞ P[sn(t) = i ], i ∈ {F ,H}

H

F1

F2

F3

F

Fault Generation

I Diverse fault types

I Different duration, e.g.temporary, permanent

I pH,H = 0.925 andpF ,F = 0.7 gives[πF

n πHn ]T = [0.2 0.8]T

I pF ,F = 1 injectspermanent faults

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 9: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov ChainModel

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Types of faults

Reverse Status (RS)

I Sensors report the opposite readings than the expected ones

I Software bugs, compromised sensors, malicious network

Stuck-At-1 (SA1)

I Sensors constantly report the presence of a source

I Board overheating, low battery, wrongly programmedthreshold (i.e., low T ), deployment of small decoy sources

Stuck-At-0 (SA0)

I Sensors fail to detect the source inside their ROCn

I Dropped packets, high threshold T

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 10: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov ChainModel

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Types of faults

Reverse Status (RS)

I Sensors report the opposite readings than the expected ones

I Software bugs, compromised sensors, malicious network

Stuck-At-1 (SA1)

I Sensors constantly report the presence of a source

I Board overheating, low battery, wrongly programmedthreshold (i.e., low T ), deployment of small decoy sources

Stuck-At-0 (SA0)

I Sensors fail to detect the source inside their ROCn

I Dropped packets, high threshold T

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 11: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov ChainModel

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Types of faults

Reverse Status (RS)

I Sensors report the opposite readings than the expected ones

I Software bugs, compromised sensors, malicious network

Stuck-At-1 (SA1)

I Sensors constantly report the presence of a source

I Board overheating, low battery, wrongly programmedthreshold (i.e., low T ), deployment of small decoy sources

Stuck-At-0 (SA0)

I Sensors fail to detect the source inside their ROCn

I Dropped packets, high threshold T

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 12: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Fault Tolerant Target Tracking Architecture

Sensor State

EstimationLocalization Smoothing

ˆns

ftTRACK

ˆsl

ˆse

s%l

nA

Sensor State Estimation component

I sn(t): Estimated health state of each sensor

Localization component

I ˆs(t): estimated target location

I es(t): estimation of the localization error (uncertainty)

Smoothing component

I ˜s(t): final location estimate (more accurate)

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 13: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Overview of SNAP Localization

Subtract on Negative Add on Positive (SNAP) algorithm

I Event detection in binary sensor networks

I Low computational complexity and fault tolerance

Algorithm Steps

1. Grid Formation: The entire area is divided into a grid G withdimensions Rx × Ry and grid resolution g .

2. Region of Coverage (ROC): Given G, the ROCn of a sensor isa neighborhood of grid cells around the sensor node location.

3. Likelihood Matrix L Construction: All sensors add +1(alarmed) or −1 (non-alarmed) to the cells that correspondto their ROC and contributions are added for each cell.

4. Maximization: The maximum value in L matrix, denoted asLmax , points to the estimated source location.

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 14: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Overview of SNAP Localization

Subtract on Negative Add on Positive (SNAP) algorithm

I Event detection in binary sensor networks

I Low computational complexity and fault tolerance

Algorithm Steps

1. Grid Formation: The entire area is divided into a grid G withdimensions Rx × Ry and grid resolution g .

2. Region of Coverage (ROC): Given G, the ROCn of a sensor isa neighborhood of grid cells around the sensor node location.

3. Likelihood Matrix L Construction: All sensors add +1(alarmed) or −1 (non-alarmed) to the cells that correspondto their ROC and contributions are added for each cell.

4. Maximization: The maximum value in L matrix, denoted asLmax , points to the estimated source location.

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 15: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Example Application of SNAP

-1 -1 -1 -1 -2 0 0 0 0 +1

-1 0 0 0 -1 +1 -1 -1 -1 0 -1

-1 -2 -1 -1 -1 -1 +1 -1 -1 -1 0 -1

-1 -1 0 +1 +1 +1 +2 0 -1 -1 0 -1

-1 -1 0 +1 +1 +2 +3 +1 0 0 0 -1

-1 -1 0 +1 0 +1 +1 -1 -2 -1 -1 -1

-1 -1 -1 0 -1 0 0 0 -1

+1 0 0 0 0 -1

-1 -1 -1 -1 -1

-1 -1 -1 -1 -1

Event

I Square ROCn for alarmed and non-alarmed sensors

I Source is correctly localized in the grid cell with Lmax = +3

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 16: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Particle Filter Tracking

Target state and measurement model

X (t) = ΦX (t − 1) + ΓW (t − 1) (1)

Y (t) = MX (t) + U(t), (2)

where X (t) = [xs(t) ys(t) ux(t) uy (t)]T is the target state

Particle Filter Steps

A set of particles {X i (t − 1)}Np

i=1 with weights {ωi (t − 1)}Np

i=1

1. X i (t) = ΦX i (t − 1) + ΓW (t − 1)

2.(

ˆs(t), es(t)

)= SNAP(sn(t),An(t))

3. ωi (t) = ωi (t − 1)p(t), p(t) = 1√2πσ(t)

exp(− (X i (t)− ˆs (t))2

2σ(t)2 )

4. ωi (t) = ωi (t)/∑Np

i=1 ωi (t) and Linear Time Resampling

5. ˜s(t) =

∑Np

i=1 ωi (t)X i (t)

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 17: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

ML Sensor State Estimation

The estimator is based on a Markov Chain model

πn(t + 1) = Cn(t)T πn(t), (3)

where πn(t) = [πFn (t) πH

n (t)]T , πin(t) = P[sn(t) = i ], i ∈ {F ,H}

Cn(t) =

[pF ,Fn (t) pF ,Hn (t)pH,Fn (t) pH,Hn (t)

], (4)

where pi,jn (t) 6= pi,j i , j ∈ {F ,H}.

Binary error signal rn(t)

rn(t) =

1 if dn(t) ≤ RI AND An(t) = 01 if dn(t) > RI AND An(t) = 10 if dn(t) ≤ RI AND An(t) = 10 if dn(t) > RI AND An(t) = 0

(5)

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 18: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

ML Sensor State Estimation

Main IdeaObtain sn(t + 1) by calculating the probability of a sensor being ata specific state given the current error signal, i.e.

πi|qn (t) = P[sn(t) = i |rn(t) = q], i ∈ {F ,H}, q ∈ {0, 1}.

ML Sensor State Estimate

sn(t + 1)|rn(t)=q = arg maxi∈{F ,H}

πi|qn (t), q ∈ {0, 1}. (6)

Using Bayes’ rule

πi|qn (t) =

P[rn(t) = q|sn(t) = i ]πin(t)

P[rn(t) = q](7)

πi|qn (t) =

P[rn(t) = q|sn(t) = i ]πin(t)∑

j∈{F ,H} P[rn(t) = q|sn(t) = j ]πjn(t)

(8)

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 19: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

ML Sensor State Estimation

DefinitionsProbability of a sensor having a wrong output given its state

I phn(t) = P[rn(t) = 1|sn(t) = H]

I pfn(t) = P[rn(t) = 1|sn(t) = F ]

πF |1n (t) =

pfn(t) · πFn (t)

pfn(t) · πFn (t) + phn(t) · πH

n (t)(9)

πH|1n (t) =

phn(t) · πHn (t)

pfn(t) · πFn (t) + phn(t) · πH

n (t)(10)

πF |0n (t) =

(1− pfn(t)) · πFn (t)

(1− pfn(t)) · πFn (t) + (1− phn(t)) · πH

n (t)(11)

πH|0n (t) =

(1− phn(t)) · πHn (t)

(1− pfn(t)) · πFn (t) + (1− phn(t)) · πH

n (t). (12)

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 20: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

ML Sensor State Estimation

In case the sensor output is wrong, i.e. rn(t) = 1

sn(t + 1)|rn(t)=1 =

{H if πH

n (t) >pfn(t)

pfn(t)+ph

n(t)

F otherwise(13)

In case the sensor output is correct, i.e. rn(t) = 0

sn(t + 1)|rn(t)=0 =

{F if πH

n (t) <1−pf

n(t)2−pf

n(t)−phn(t)

H otherwise(14)

I Only πHn (t), phn(t) and pfn(t) need to be computed for

estimating the sensor health state, given that rn(t) is known

I Problem: rn(t) is not available (target location is unknown)

I Solution: rn(t) estimates rn(t) by substituting dn(t) withdn(t), where dn(t) = ||`n − ˜

s(t)||

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 21: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Simple Estimator

Assumption

The error signal rn(t) is always equal to 1 when the sensor isFaulty and always equal to 0 when the sensor is Healthy.

Sensor State EstimateThis means that pfn(t) = 1 and phn(t) = 0, ∀t leading to

sn(t + 1) =

{H if rn(t) = 0F if rn(t) = 1

(15)

I Intuition: If we fully trust the error signal, then the sensorhealth state is reliably estimated by rn(t)

I Problem: Fully trusting the error signal rn(t) is not a goodstrategy

I Solution: Incorporate previous estimations that areencapsulated in the estimated sensor state probabilities

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 22: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Static Estimator

Assumption

The Markov Chain in the Sensor State Estimator has reachedequilibrium.

Sensor State EstimateWe may employ an estimate of the unknown steady stateprobability πH

n to determine the sensor health state as

sn(t + 1)|rn(t)=1 =

{H if πH

n >pfn(t)

pfn(t)+ph

n(t)

F otherwise(16)

sn(t + 1)|rn(t)=0 =

{F if πH

n <1−pf

n(t)2−pf

n(t)−phn(t)

H otherwise(17)

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 23: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Static Estimator

The steady state probabilities are computed with[πFn

πHn

]= CT

n (t)

[πFn

πHn

], (18)

where pi,jn (t) in Cn(t) can be estimated online by

pi,jn (t) =R i,jn (t)∑

k∈{F ,H} Ri,kn (t)

, i , j ∈ {F ,H}, (19)

where R i,jn (t) increases by one if sn(t − 1) = i and sn(t) = j .

Calculation of phn(t) and pfn(t)

phn(t) =(1− Qw (t)

)(1− Qd(t)

)+ Qw (t)Qd(t) (20)

pfn(t) =(1− Qw (t)

)Qd(t) + Qw (t)

(1− Qd(t)

)(21)

Qw (t) = Q(

T−µn(t)σw

), µn(t) = c

1+dn(t)γ, Qd(t) = Q

(RI−dn(t)

σd

).

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 24: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Dynamic Estimator

Main IdeaConsider the error signal not only for estimating the unknownsensor state, but also for updating the estimated sensor stateprobabilities.

[πFn (t + 1)πHn (t + 1)

]= CT

n (t)

[πF |qn (t)

πH|qn (t)

], q ∈ {0, 1} (22)

I Intuition: All previous observations of the error signal areencapsulated in the estimated sensor state probabilities, thusaffecting the future estimation steps.

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 25: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Simulation Setup

Sensor field100× 100 field, N = 600 sensors, single source, staircase pathM = 180

Fault model2-state Markov Chain with varying pi,j , i , j ∈ {F ,H} to generatetemporary and permanent faults

Performance Metrics

I Cumulative state estimation error Es = 1NM

∑Mt=1

∑Nn=1 εn(t)

I εn(t) =

{0 if sn(t) = sn(t)1 if sn(t) 6= sn(t)

I Tracking error ET = 1M

∑Mt=1 ||˜s(t)− `s(t)||

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 26: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Results (Permanent faults)

0.02

0.04

0.06

0.08

0.1

0.12

0.14

0 0.1 0.2 0.3 0.4 0.5

Cum

ulat

ive

Est

imat

ion

Err

or (

ε s)

Percentage of faulty sensors (α)

SimpleStatic

Dynamic

0

5

10

15

20

25

30

0 0.1 0.2 0.3 0.4 0.5

Tra

ckin

g E

rror

Percentage of faulty sensors (α)

SNAP+SPFTI+SPF

ftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

I zn(t) = 50001+dn(t)2 + wn(t), wn ∼ N (0, 1000), T = 50 and

RI = 10

I Reverse Status faults

I Adaptive particle filter with Np = 500 particles

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 27: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Results (Permanent and Temporary faults)

0.02

0.04

0.06

0.08

0.1

0.12

0.14

0.16

0.18

0.2

0 0.1 0.2 0.3 0.4 0.5

Cum

ulat

ive

Est

imat

ion

Err

or (

ε s)

Percentage of faulty sensors (α)

SimpleStatic

Dynamic

0

5

10

15

20

25

30

0 0.1 0.2 0.3 0.4 0.5

Tra

ckin

g E

rror

Percentage of faulty sensors (α)

SNAP+SPFTI+SPF

ftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

I Temporary mixed and permanent Reverse Status faults

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 28: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Concluding Remarks

I Introduced a Markov Chain fault model to generate differenttypes of real faults documented in the literature

I The proposed architecture addresses the joint target trackingand sensor health state estimation problem in binary WSNs

I Maintain a high level of tracking accuracy, even when a largenumber of sensors in the field fail

I Next steps

I Incorporate the correlation of the alarm status An(t) forneighboring sensors into the error signal rn(t)

I Decentralized architecture for multiple target tracking

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 29: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Thank you for your attention

ContactChristos LaoudiasKIOS Research Center for Intelligent Systems and NetworksDepartment of Electrical & Computer EngineeringUniversity of CyprusEmail: [email protected]

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 30: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Extra Slides

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 31: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Regions of Interest

Node nROCn

ROI

RC

RI

Event

Alarmed Node Non-Alarmed Node

Region of Influence (ROI)

Area around the source where a sensor is alarmed with p ≥ 0.5

Region of Coverage (ROCn)

Area around a sensor n where a source (if present) it will bedetected with p ≥ 0.5

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 32: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Erroneous Sensor Behaviour

Node nROCn

ROI

RC

RI

Event

Alarmed Node Non-Alarmed Node

I False Positive and False Negative sensors

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 33: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Erroneous Sensor Behaviour

Node nROCn

ROI

RC

RI

Event

Alarmed Node Non-Alarmed Node

False PositiveFalse Negative

I False Positive and False Negative sensors

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 34: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Interpretation of the Error Signal

0 10 20 30 40 50 60 70 80 90 1000

10

20

30

40

50

60

70

80

90

100

I rn(t) = 1 (sensor output is wrong)

I sensor n is inside the ROI and is non-alarmed orI sensor n is outside the ROI and is alarmed

I rn(t) = 0 (sensor output is correct)

I sensor n is inside the ROI and is alarmed orI sensor n is outside the ROI and is non-alarmed

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 35: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Interpretation of the Error Signal

0 10 20 30 40 50 60 70 80 90 1000

10

20

30

40

50

60

70

80

90

100

I rn(t) = 1 (sensor output is wrong)

I sensor n is inside the ROI and is non-alarmed orI sensor n is outside the ROI and is alarmed

I rn(t) = 0 (sensor output is correct)

I sensor n is inside the ROI and is alarmed orI sensor n is outside the ROI and is non-alarmed

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 36: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Interpretation of the Error Signal

0 10 20 30 40 50 60 70 80 90 1000

10

20

30

40

50

60

70

80

90

100

( )s tl

Sensors

( ) 1nr t =

( ) 1nA t =

I rn(t) = 1 (sensor output is wrong)I sensor n is inside the ROI and is non-alarmed orI sensor n is outside the ROI and is alarmed

I rn(t) = 0 (sensor output is correct)

I sensor n is inside the ROI and is alarmed orI sensor n is outside the ROI and is non-alarmed

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 37: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Interpretation of the Error Signal

0 10 20 30 40 50 60 70 80 90 1000

10

20

30

40

50

60

70

80

90

100

( )s tl

Sensors

( ) 1nr t =

( ) 1nA t =

I rn(t) = 1 (sensor output is wrong)I sensor n is inside the ROI and is non-alarmed orI sensor n is outside the ROI and is alarmed

I rn(t) = 0 (sensor output is correct)I sensor n is inside the ROI and is alarmed orI sensor n is outside the ROI and is non-alarmed

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 38: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

rn(t) vs rn(t)

0 10 20 30 40 50 60 70 80 90 1000

10

20

30

40

50

60

70

80

90

100

( )s tl

Sensors

( ) 1nr t =

( ) 1nA t =

I In this scenario rn(t) 6= rn(t) for 6 sensors

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 39: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

rn(t) vs rn(t)

0 10 20 30 40 50 60 70 80 90 1000

10

20

30

40

50

60

70

80

90

100

( )s t%l

( )s tl

Sensors

( ) 1nr t =%

( ) 1nA t =

I In this scenario rn(t) 6= rn(t) for 6 sensors

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 40: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Results with SNAP (RS faults)

0.02

0.03

0.04

0.05

0.06

0.07

0.08

0.09

0.1

0.11

0.12

0 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4

Cum

ulat

ive

Est

imat

ion

Err

or (

ε s)

Percentage of faulty sensors (α)

SimpleStatic

Dynamic

0

5

10

15

20

25

30

0 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4

Tra

ckin

g E

rror

Percentage of faulty sensors (α)

SNAP+SPFTI+SPF

ftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 41: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Results (RS and SA faults)

0.02

0.04

0.06

0.08

0.1

0.12

0.14

0.16

0.18

0.2

0.22

0.24

0 0.1 0.2 0.3 0.4 0.5

Cum

ulat

ive

Est

imat

ion

Err

or (

ε s)

Percentage of faulty sensors (α)

SimpleStatic

Dynamic

0

5

10

15

20

25

0 0.1 0.2 0.3 0.4 0.5

Tra

ckin

g E

rror

Percentage of faulty sensors (α)

SNAP+SPFTI+SPF

ftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 42: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Results with SNAP (SA faults)

0

5

10

15

20

25

30

0 0.1 0.2 0.3 0.4 0.5

Tra

ckin

g E

rror

Percentage of faulty sensors (α)

SNAP+SPFTI+SPF

ftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

Figure: SA1 faults.

0

5

10

15

20

25

0 0.1 0.2 0.3 0.4 0.5

Tra

ckin

g E

rror

Percentage of faulty sensors (α)

SNAP+SPFTI+SPF

ftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

Figure: SA0 faults.

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 43: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Results with Variable Source Energy

0

5

10

15

20

25

2000 3000 4000 5000 6000 7000 8000 9000 10000

Tra

ckin

g E

rror

Source Energy (c)

SNAP+SPFTI+SPF

ftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

Figure: Temporary RS faults(α = 25%).

0

5

10

15

20

25

30

2000 3000 4000 5000 6000 7000 8000 9000 10000

Tra

ckin

g E

rror

Source Energy (c)

SNAP+SPFTI+SPF

ftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

Figure: Temporary mixed faults(α = 38%).

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 44: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Results with CE (RS faults)

0

0.01

0.02

0.03

0.04

0.05

0.06

0.07

0.08

0 0.02 0.04 0.06 0.08 0.1 0.12

Cum

ulat

ive

Est

imat

ion

Err

or (

ε s)

Percentage of faulty sensors (α)

SimpleStatic

Dynamic

2

3

4

5

6

7

8

9

10

11

0 0.02 0.04 0.06 0.08 0.1 0.12

Tra

ckin

g E

rror

Percentage of faulty sensors (α)

CE+PFftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

I zn(t) = 30001+dn(t)2 +wn(t), wn ∼ N (0, 1), T = 5 and RI = 24.5

I Centroid Estimator ˆs(t) =

(1P

∑Pp=1 xp,

1P

∑Pp=1 yp

)I (xp, yp), p = 1, . . . ,P (P ≤ N) and Ap(t) = 1

I Standard particle filter with Np = 500 particles

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013

Page 45: Sensor Health State Estimation for Target Tracking with ...laoudias/presentations/icc2013b_slides.pdf · - WSN Model Fault Model - Markov Chain Model Tracking Architecture - Block

Introduction

- Motivation

- WSN Model

Fault Model

- Markov Chain Model

TrackingArchitecture

- Block Diagram

- Localization

- Smoothing

- Sensor StateEstimation

Simulation Results

- Simulation Setup

- Evaluation

Conclusions

Results with CE (RS and SA faults)

0

0.01

0.02

0.03

0.04

0.05

0.06

0.07

0.08

0.09

0 0.02 0.04 0.06 0.08 0.1 0.12 0.14

Cum

ulat

ive

Est

imat

ion

Err

or (

ε s)

Percentage of faulty sensors (α)

SimpleStatic

Dynamic

2

3

4

5

6

7

8

9

10

0 0.02 0.04 0.06 0.08 0.1 0.12 0.14

Tra

ckin

g E

rror

Percentage of faulty sensors (α)

CE+PFftTRACK(Simple)ftTRACK(Static)

ftTRACK(Dynamic)

IEEE International Conference on Communications, Budapest, Hungary 12 June 2013