Department of Computer Science Old Dominion University

Slides:



Advertisements
Similar presentations
Agent-based sensor-mission assignment for tasks sharing assets Thao Le Timothy J Norman WambertoVasconcelos
Advertisements

1 A class of Generalized Stochastic Petri Nets for the performance Evaluation of Mulitprocessor Systems By M. Almone, G. Conte Presented by Yinglei Song.
Adaptive Sampling in Distributed Streaming Environment Ankur Jain 2/4/03.
CHAPTER 6 Statistical Analysis of Experimental Data
July 3, Department of Computer and Information Science (IDA) Linköpings universitet, Sweden Minimal sufficient statistic.
5.7 Impulse Functions In some applications, it is necessary to deal with phenomena of an impulsive nature—for example, voltages or forces of large magnitude.
Speed and Direction Prediction- based localization for Mobile Wireless Sensor Networks Imane BENKHELIFA and Samira MOUSSAOUI Computer Science Department.
ORDINARY DIFFERENTIAL EQUATION (ODE) LAPLACE TRANSFORM.
Mutual Exclusion in Wireless Sensor and Actor Networks IEEE SECON 2006 Ramanuja Vedantham, Zhenyun Zhuang and Raghupathy Sivakumar Presented.
Prepared by Mrs. Azduwin Binti Khasri
MURI: Integrated Fusion, Performance Prediction, and Sensor Management for Automatic Target Exploitation 1 Dynamic Sensor Resource Management for ATE MURI.
© The McGraw-Hill Companies, 2005 TECHNOLOGICAL PROGRESS AND GROWTH: THE GENERAL SOLOW MODEL Chapter 5 – second lecture Introducing Advanced Macroeconomics:
Using Polynomial Approximation as Compression and Aggregation Technique in Wireless Sensor Networks Bouabdellah KECHAR Oran University.
Secure In-Network Aggregation for Wireless Sensor Networks
Fourier Analysis of Signals and Systems
Information Theory for Mobile Ad-Hoc Networks (ITMANET): The FLoWS Project Competitive Scheduling in Wireless Networks with Correlated Channel State Ozan.
Node Reclamation and Replacement for Long-lived Sensor Networks Bin Tong, Wensheng Zhang, and Chuang Wang Department of Computer Science, Iowa State University.
MA354 An Introduction to Math Models (more or less corresponding to 1.0 in your book)
Ch 10.6: Other Heat Conduction Problems
Polynomials Properties Functions Find xDefinitions
Advanced Algorithms Analysis and Design By Dr. Nazir Ahmad Zafar Dr Nazir A. Zafar Advanced Algorithms Analysis and Design.
Theory of Computational Complexity M1 Takao Inoshita Iwama & Ito Lab Graduate School of Informatics, Kyoto University.
Minimum spanning tree diameter estimation in random sensor networks in fractal dimension Students: Arthur Romm Daniel Kozlov Supervisor: Dr.Zvi Lotker.
1 IAS, Princeton ASCR, Prague. The Problem How to solve it by hand ? Use the polynomial-ring axioms ! associativity, commutativity, distributivity, 0/1-elements.
Satisfaction Games in Graphical Multi-resource Allocation
Mathematical Models of Control Systems
Cryptographic Protocols Secret sharing, Threshold Security
Laplace Transforms Chapter 3 Standard notation in dynamics and control
Chapter 10 Limits and the Derivative
Linear Programming Topics General optimization model
Availability Availability - A(t)
12. Principles of Parameter Estimation
Random Testing: Theoretical Results and Practical Implications IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2012 Andrea Arcuri, Member, IEEE, Muhammad.
Stefan Mihalas Ernst Niebur Krieger Mind/Brain Institute and
Computing and Compressive Sensing in Wireless Sensor Networks
7 INVERSE FUNCTIONS.
SOUTHERN TAIWAN UNIVERSITY ELECTRICAL ENGINEERING DEPARTMENT
Computability and Complexity
David K. Y. Yau Department of Computer Science Purdue University
16th International World Wide Web Conference Speeding up Adaptation of Web Service Compositions Using Expiration Times John Harney, Prashant Doshi LSDIS.
Differential Equations
Copyright © Cengage Learning. All rights reserved.
Initiating the Interaction Analyzing an Area of Interest
Linear Programming Topics General optimization model
Infer: A Bayesian Inference Approach towards Energy Efficient Data Collection in Dense Sensor Networks. G. Hartl and B.Li In Proc. of ICDCS Natalia.
CAE: A Collusion Attack against Privacy-preserving Data Aggregation Schemes Wei Yang University of Science and Technology of China (USTC) Contact Me.
Linear Programming Topics General optimization model
Effective Social Network Quarantine with Minimal Isolation Costs
Quantum One.
Advanced Macroeconomics:
Linear Programming Topics General optimization model
Internet of Things A Process Calculus Approach
CSEP590 – Model Checking and Automated Verification
Elastic Task Model For Adaptive Rate Control
Initiating the Interaction Analyzing an Area of Interest
Group Selection Design Pattern
§1-3 Solution of a Dynamical Equation
Javad Ghaderi, Tianxiong Ji and R. Srikant
Speaker : Lee Heon-Jong
Automatic Test Generation for N-way Combinatorial Testing
12. Principles of Parameter Estimation
Adaptive Traffic Control
Laplace Transforms Important analytical method for solving linear ordinary differential equations. - Application to nonlinear ODEs? Must linearize first.
Cryptographic Protocols Secret Sharing, Threshold Security
Laplace Transforms Important analytical method for solving linear ordinary differential equations. - Application to nonlinear ODEs? Must linearize first.
Chapter 5 Integration Section R Review.
Chapter 2 Limits and the Derivative
Section 4 The Definite Integral
THE LAPLACE TRANSFORM LEARNING GOALS Definition
Chap 4: Exponential Smoothing
Presentation transcript:

Department of Computer Science Old Dominion University Strategies for Sensor Data Aggregation in Support of Emergency Response X. Wang A. Walden M. Weigle S. Olariu Department of Computer Science Old Dominion University October 7, 2014

Table of Contents 2 Information Discounting 4 Type 1 Operators Outline 2 Information Discounting Aggregating Time-discounted Information 4 Type 1 Operators Aggregation Strategies for Type 1 Operators 3 5 A Fixed Aggregation Strategy An Adaptive Aggregation Strategy 6 Simulation 7 Conclusions and Future Work

Table of Contents 2 Information Discounting 4 Type 1 Operators Outline 2 Information Discounting Aggregating Time-discounted Information 4 Type 1 Operators Aggregation Strategies for Type 1 Operators 3 5 A Fixed Aggregation Strategy An Adaptive Aggregation Strategy 6 Simulation 7 Conclusions and Future Work

Key Problem in Emergency Response In emergency situations such as fire, how to aggregate the information collected by sets of sensors in a timely and efficient manner?

Challenges in Emergency Response The perceived value of the data collected by the sensors decays often quite rapidly; Aggregation takes time and the longer they wait, the lower the value of the aggregated information; A determination needs to be made in a timely manner; A false alarm is prohibitively expensive and involves huge overheads.

Our Solution Aggregation usually increases the value of information; We provide a formal look at various novel aggregation strategies; Our model suggests natural thresholding strategies for aggregating the information collected by sets of sensors; Extensive simulations have confirmed the theoretical predictions of our model.

Table of Contents 2 Information Discounting 4 Type 1 Operators Outline 2 Information Discounting Aggregating Time-discounted Information 4 Type 1 Operators Aggregation Strategies for Type 1 Operators 3 5 A Fixed Aggregation Strategy An Adaptive Aggregation Strategy 6 Simulation 7 Conclusions and Future Work

Information Value Discounting Information is a good that has value; The value of information is hard to assess; Measuring the value of the aggregated information remains challenging; The value of information is subject to rapid deterioration over time.

General Time-discounted Functions Mathematical Description: Assumptions: The phenomena we discuss occur in continuous time; The value of information is taken to be a real in [0, ∞); The value of information decreases with time;  X (t) ≥ 0 t ≥ 0 0 ≤ r ≤ t X (t) = X (r )g (t, r ) X (t) ≤ X (r ) where g : R+ ∪ {0} × R+ ∪ {0} → [0, 1] is referred to as a discount function.

A Special Class of Time-discounted Functions This discount function depends on the difference t − r only; The value of information vanishes after a very long time; value Mathematical Description: (X (t) = X (r )δ(t − r ), 0 ≤ r ≤ t δ : R+ ∪ {0} −→ [0, 1] X(r) X(t) r t time

Exponential Time-discounted Funtions No discount at the beginning: X (r ) = X (r )δ(0) implies δ(0) = 1 Functional equation: δ(t − r ) = δ(t − s )δ(s − r ), ∀ 0 ≤ r ≤ s ≤ t Exponential discount function: δ(t − r ) = e−µ(t−r ) ∀ 0 ≤ r ≤ t where µ = − ln δ(1) > 0 Exponentially discounted value of information: X (t) = X (r )e−µ(t−r ), ∀ 0 ≤ r ≤ t

Table of Contents 2 Information Discounting 4 Type 1 Operators Outline 2 Information Discounting Aggregating Time-discounted Information 4 Type 1 Operators Aggregation Strategies for Type 1 Operators 3 5 A Fixed Aggregation Strategy An Adaptive Aggregation Strategy 6 Simulation 7 Conclusions and Future Work

Expected Effect of Aggregation value  X1 (t)♦X2 (t) X2 (t) X1 (t) X1 (t1 ) X2 (t2 ) time t1 t2 t

Algebra of Aggregation Aggregation operator ♦ integrates values of sensor data such as X and Y to get an aggregated value X♦Y . ♦ is an application-dependent operator; ♦ can be extended to an arbitrary number of operands: ♦i =1Xi ≡ X1♦X2♦ · · · ♦Xn; ♦ is assumed to have the following fundamental properties: Commutativity: X♦Y = Y ♦X, ∀X, Y ; Associativity: [X♦Y ] ♦Z = X♦ [Y ♦Z ] , ∀X, Y , Z ; Idempotency: If Y = 0 then X♦Y = X . n

The Interaction between Aggregation and Discounting The aggregated value of X (r ) and Y (s ) at time τ , with 0 ≤ r ≤ t ≤ τ and 0 ≤ s ≤ t ≤ τ , is X (τ )♦Y (τ ): X (τ )♦Y (τ ) = [X (r )δ(τ − r )] ♦ [Y (s )δ(τ − s )] = [X (t)δ(τ − t)] ♦ [Y (t)δ(τ − t)] The discounted value of the aggregated value X (t)♦Y (t) at time τ is: (X (t)♦Y (t)) δ(τ − t)

A Taxonomy of Aggregation Operators Three distinct types of the aggregation operator ♦ (0 ≤ t ≤ τ ): Type 1: if [X (t)♦Y (t)] δ(τ − t)< [X (t)δ(τ − t)] ♦ [Y (t)δ(τ − t)] ; Type 2: if [X (t)♦Y (t)] δ(τ − t)= [X (t)δ(τ − t)] ♦ [Y (t)δ(τ − t)] ; Type 3: if [X (t)♦Y (t)] δ(τ − t)> [X (t)δ(τ − t)] ♦ [Y (t)δ(τ − t)] .

Table of Contents 2 Information Discounting 4 Type 1 Operators Outline 2 Information Discounting Aggregating Time-discounted Information 4 Type 1 Operators Aggregation Strategies for Type 1 Operators 3 5 A Fixed Aggregation Strategy An Adaptive Aggregation Strategy 6 Simulation 7 Conclusions and Future Work

General Properties of Type 1 Operators Lemma Assume an associative Type 1 operator ♦. For all t, τ with max1≤i≤n{ti } ≤ t ≤ τ we have [♦ X (t)] δ(τ − t) < ♦ Xi (τ ). n n i =1 i i =1 Theorem Assuming that the Type 1 aggregation operator ♦ is associative and commutative, the discounted value of the aggregated information at time n t is upper-bounded by ♦ Xi (t), regardless of the order in which the i =1 values were aggregated.

A Special Type 1 Operator Definition X♦Y = X + Y − XY ; X, Y ∈ [0, 1] This operator satisfies the associativity, commutativity and idempotency properties and is a Type 1 operator. Lemma Consider values X1, X2, · · · , Xn in the range [0, 1] acted upon by the operator defined above. Then the aggregated value ♦ Xi has the close n i =1 algebraic form: n n ♦i =1Xi = 1 − Πi =1(1 − Xi )

Table of Contents 2 Information Discounting 4 Type 1 Operators Outline 2 Information Discounting Aggregating Time-discounted Information 4 Type 1 Operators Aggregation Strategies for Type 1 Operators 3 5 A Fixed Aggregation Strategy An Adaptive Aggregation Strategy 6 Simulation 7 Conclusions and Future Work

Aggregation Strategies for Type 1 Operators Scenario: In an emergency n (n ≥ 2) sensors have collected data about an event at times t1, t2, · · · , tn and let t = max{t1, t2, · · · , tn}. Further, let X1(t1), X2(t2), · · · , Xn(tn) be the values of the data collected by the sensors. Problem: How to aggregate these values at current time τ (τ ≥ t) and trigger an alarm? Solution: THRESHOLDING Two Classes of Aggregation Strategies: Aggregation strategy with fixed threshold; Aggregation strategy with adaptive threshold;

ln i =1 ln i =1 Fixed Thresholding Fixed Thresholding Criterion: [♦ Xi (t)] δ(τ − t) > ∆ i =1 Latest Aggregation Time: 1 ♦n Xi (t) µ τ < t + ln i =1 ∆ Time Window for Aggregation: 1 ♦n Xi (t) l µ t, t + ln i =1 ∆

Motivation for Adaptive Thresholding Assume sensor readings about an event were collected and the resulting values X1, X2, · · · are reals in [0, 1] and one of the network actors (e.g., a sensor) is in charge of the aggregation process and an aggregation operator ♦ is employed in conjunction with a threshold ∆ > 0. Theorem √m If Xi1 , Xi2 , · · · , Xim , m > 1, satisfy Xij > 1 − 1 − ∆, j = 1, 2, · · · , m, then ♦ Xi > ∆. m j=1 j

Illustration of Our Adaptive Aggregation Strategy C D t1 X1 (t1 ) B 1 − √1 − ∆ t3 G X2 (t2 ) X3 (t3 ) X4 (t4 ) X5 (t5 ) 1 − √3 1 − ∆ 1 − √4 1 − ∆ E t4 A t2 F t1 t2 t3 t4 t5

Table of Contents 2 Information Discounting 4 Type 1 Operators Outline 2 Information Discounting Aggregating Time-discounted Information 4 Type 1 Operators Aggregation Strategies for Type 1 Operators 3 5 A Fixed Aggregation Strategy An Adaptive Aggregation Strategy 6 Simulation 7 Conclusions and Future Work

Emergency Scenario A fire just broke out on a ship instrumented by a set of relevant sensors.

Emergency Model Temperature distribution: linear model with a plateau temperature of 1000( and an ambient temperature of 20(; Fire propagation: dot source model with an isotropic spreading speed of 1m/s ; The fire source location is randomly generated.

Sensor Network Configuration The temperature sensors are deployed in a rectangular lattice of size 3 × 2 in a plane with every side of 3m ; The sensors are asynchronous; Sensor sampling period: 2s ; Threshold to trigger an alarm: 0.99.

Application-dependent Aggregation Operator Value of Information: (0.9 Ti ∈ K Xi = Pr[Ti ∈ K|F ] = 0 Ti ∈/ K K = [100(, 1000(] is the critical temperature range. Exponential Discount Rate: Value discount constant µ = 1.25 × 10−3s−1 Aggregation Operator: Xi ♦Xj = Pr[{Ti ∈ K} ∪ {Tj ∈ K}|F ] = Xi + Xj − Xi Xj

Renewal and Decay of Value of Temperature — 6 Sensors Decay and Renewal of Value of Temperature 1000 800 600 Temperature B Temperature C 1 0.8 0.6 Temperature F Temperature E Temperature A 400 Value C Temperature D 0.4 Value B Value F Value E 200 Value A 0.2 Value D Temperature/°C Value 0 2 4 6 Time/s 8 10 12 14 16

Renewal and Decay of Value of Temperature — 1 Sensor

Result for Fixed Thresholding Fixed Aggregation of 3 Sensors’ Values 1 0.99 0.8 0.6 Value Value C Value B Value F Value E Value A Value D Aggregation Threshold 0.5 0.4 0.2 2 4 6 8 Time/s 10 12 14 16

Result for Adaptive Thresholding 1 Addaptive Aggregation of Sensors’ Values 0.99 0.8 0.6 Value Value C Value B Value F Value E Value A Value D Aggregation Threshold 0.5 0.4 0.2 2 4 6 8 Time/s 10 12 14 16

Comparison of Two Strategies

Table of Contents 2 Information Discounting 4 Type 1 Operators Outline 2 Information Discounting Aggregating Time-discounted Information 4 Type 1 Operators Aggregation Strategies for Type 1 Operators 3 5 A Fixed Aggregation Strategy An Adaptive Aggregation Strategy 6 Simulation 7 Conclusions and Future Work

Conclusions Offered a formal model for the valuation of time-discounted information; Provided a formal way of looking at aggregation of information; Found that the aggregated value does not depend on the order in which aggregation of individual values take place; Suggested natural thresholding strategies for the aggregation of the information in support of emergency response.

Future Works How to aggregate data across various types of sensors in a cooperative fashion? How about discounting regimens other than exponential discounting? Step function? Linear function? Polynomial function? How to retask the sensors as the mission dynamics evolve?

THANK YOU Work supported by NSF grant CNS-1116238

Questions?