1 Stochastic Event Capture Using Mobile Sensors Subject to a Quality Metric Nabhendra Bisnik, Alhussein A. Abouzeid, and Volkan Isler Rensselaer Polytechnic.

Slides:



Advertisements
Similar presentations
Truthful Mechanisms for Combinatorial Auctions with Subadditive Bidders Speaker: Shahar Dobzinski Based on joint works with Noam Nisan & Michael Schapira.
Advertisements

Linear Programming. Introduction: Linear Programming deals with the optimization (max. or min.) of a function of variables, known as ‘objective function’,
1 University of Southern California Keep the Adversary Guessing: Agent Security by Policy Randomization Praveen Paruchuri University of Southern California.
Coverage by Directional Sensors Jing Ai and Alhussein A. Abouzeid Dept. of Electrical, Computer and Systems Engineering Rensselaer Polytechnic Institute.
Bidding Protocols for Deploying Mobile Sensors Reporter: Po-Chung Shih Computer Science and Information Engineering Department Fu-Jen Catholic University.
Randomized Sensing in Adversarial Environments Andreas Krause Joint work with Daniel Golovin and Alex Roper International Joint Conference on Artificial.
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
Queuing Network Models for Delay Analysis of Multihop Wireless Ad Hoc Networks Nabhendra Bisnik and Alhussein Abouzeid Rensselaer Polytechnic Institute.
Online Scheduling with Known Arrival Times Nicholas G Hall (Ohio State University) Marc E Posner (Ohio State University) Chris N Potts (University of Southampton)
Delay and Throughput in Random Access Wireless Mesh Networks Nabhendra Bisnik, Alhussein Abouzeid ECSE Department Rensselaer Polytechnic Institute (RPI)
Modeling and Analysis of Random Walk Search Algorithms in P2P Networks Nabhendra Bisnik, Alhussein Abouzeid ECSE, Rensselaer Polytechnic Institute.
Parallel Scheduling of Complex DAGs under Uncertainty Grzegorz Malewicz.
Generated Waypoint Efficiency: The efficiency considered here is defined as follows: As can be seen from the graph, for the obstruction radius values (200,
Hidden Markov Models Fundamentals and applications to bioinformatics.
Planning under Uncertainty
The Cat and The Mouse -- The Case of Mobile Sensors and Targets David K. Y. Yau Lab for Advanced Network Systems Dept of Computer Science Purdue University.
Distributed Algorithms for Secure Multipath Routing
Neeraj Jaggi ASSISTANT PROFESSOR DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE WICHITA STATE UNIVERSITY 1 Rechargeable Sensor Activation under Temporally.
Dynamic Power Management for Systems with Multiple Power Saving States Sandy Irani, Sandeep Shukla, Rajesh Gupta.
Mobility Improves Coverage of Sensor Networks Benyuan Liu*, Peter Brass, Olivier Dousse, Philippe Nain, Don Towsley * Department of Computer Science University.
Placement of Integration Points in Multi-hop Community Networks Ranveer Chandra (Cornell University) Lili Qiu, Kamal Jain and Mohammad Mahdian (Microsoft.
Deployment Strategies for Differentiated Detection in Wireless Sensor Network Jingbin Zhang, Ting Yan, and Sang H. Son University of Virginia From SECON.
Cache Placement in Sensor Networks Under Update Cost Constraint Bin Tang, Samir Das and Himanshu Gupta Department of Computer Science Stony Brook University.
Zoë Abrams, Ashish Goel, Serge Plotkin Stanford University Set K-Cover Algorithms for Energy Efficient Monitoring in Wireless Sensor Networks.
Job Scheduling Lecture 19: March 19. Job Scheduling: Unrelated Multiple Machines There are n jobs, each job has: a processing time p(i,j) (the time to.
Online Data Gathering for Maximizing Network Lifetime in Sensor Networks IEEE transactions on Mobile Computing Weifa Liang, YuZhen Liu.
1 Efficient Placement and Dispatch of Sensors in a Wireless Sensor Network Prof. Yu-Chee Tseng Department of Computer Science National Chiao-Tung University.
Maximum Network lifetime in Wireless Sensor Networks with Adjustable Sensing Ranges Mihaela Cardei, Jie Wu, Mingming Lu, and Mohammad O. Pervaiz Department.
Distributed Constraint Optimization * some slides courtesy of P. Modi
Delay Efficient Sleep Scheduling in Wireless Sensor Networks Gang Lu, Narayanan Sadagopan, Bhaskar Krishnamachari, Anish Goel Presented by Boangoat(Bea)
Collaborative Filtering Matrix Factorization Approach
Speed and Direction Prediction- based localization for Mobile Wireless Sensor Networks Imane BENKHELIFA and Samira MOUSSAOUI Computer Science Department.
Flow Models and Optimal Routing. How can we evaluate the performance of a routing algorithm –quantify how well they do –use arrival rates at nodes and.
Time-Series Analysis and Forecasting – Part V To read at home.
Vilalta&Eick: Informed Search Informed Search and Exploration Search Strategies Heuristic Functions Local Search Algorithms Vilalta&Eick: Informed Search.
Internet Traffic Engineering by Optimizing OSPF Weights Bernard Fortz (Universit é Libre de Bruxelles) Mikkel Thorup (AT&T Labs-Research) Presented by.
Stochastic sleep scheduling (SSS) for large scale wireless sensor networks Yaxiong Zhao Jie Wu Computer and Information Sciences Temple University.
Stochastic Algorithms Some of the fastest known algorithms for certain tasks rely on chance Stochastic/Randomized Algorithms Two common variations – Monte.
L14. Fair networks and topology design D. Moltchanov, TUT, Spring 2008 D. Moltchanov, TUT, Spring 2015.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Energy-Aware Scheduling with Quality of Surveillance Guarantee in Wireless Sensor Networks Jaehoon Jeong, Sarah Sharafkandi and David H.C. Du Dept. of.
Markov Decision Processes1 Definitions; Stationary policies; Value improvement algorithm, Policy improvement algorithm, and linear programming for discounted.
Maximum Network Lifetime in Wireless Sensor Networks with Adjustable Sensing Ranges Cardei, M.; Jie Wu; Mingming Lu; Pervaiz, M.O.; Wireless And Mobile.
Many random walks are faster than one Noga AlonTel Aviv University Chen AvinBen Gurion University Michal KouckyCzech Academy of Sciences Gady KozmaWeizmann.
Heuristic Optimization Methods Greedy algorithms, Approximation algorithms, and GRASP.
1 Short Term Scheduling. 2  Planning horizon is short  Multiple unique jobs (tasks) with varying processing times and due dates  Multiple unique jobs.
Resource Mapping and Scheduling for Heterogeneous Network Processor Systems Liang Yang, Tushar Gohad, Pavel Ghosh, Devesh Sinha, Arunabha Sen and Andrea.
Probabilistic Coverage in Wireless Sensor Networks Authors : Nadeem Ahmed, Salil S. Kanhere, Sanjay Jha Presenter : Hyeon, Seung-Il.
A Passive Approach to Sensor Network Localization Rahul Biswas and Sebastian Thrun International Conference on Intelligent Robots and Systems 2004 Presented.
Linear Program Set Cover. Given a universe U of n elements, a collection of subsets of U, S = {S 1,…, S k }, and a cost function c: S → Q +. Find a minimum.
Maximizing Lifetime per Unit Cost in Wireless Sensor Networks
Flow in Network. Graph, oriented graph, network A graph G =(V, E) is specified by a non empty set of nodes V and a set of edges E such that each edge.
Efficient Resource Allocation for Wireless Multicast De-Nian Yang, Member, IEEE Ming-Syan Chen, Fellow, IEEE IEEE Transactions on Mobile Computing, April.
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
Management Science 461 Lecture 3 – Covering Models September 23, 2008.
Load Balanced Link Reversal Routing in Mobile Wireless Ad Hoc Networks Nabhendra Bisnik, Alhussein Abouzeid ECSE Department RPI Costas Busch CSCI Department.
Toward Reliable and Efficient Reporting in Wireless Sensor Networks Authors: Fatma Bouabdallah Nizar Bouabdallah Raouf Boutaba.
Models of Greedy Algorithms for Graph Problems Sashka Davis, UCSD Russell Impagliazzo, UCSD SIAM SODA 2004.
1 Power Efficient Monitoring Management in Sensor Networks A.Zelikovsky Georgia State joint work with P. BermanPennstate G. Calinescu Illinois IT C. Shah.
Zijian Wang, Eyuphan Bulut, and Boleslaw K. Szymanski Center for Pervasive Computing and Networking and Department of Computer Science Rensselaer Polytechnic.
I owa S tate U niversity Laboratory for Advanced Networks (LAN) Coverage and Connectivity Control of Wireless Sensor Networks under Mobility Qiang QiuAhmed.
Tuesday, March 19 The Network Simplex Method for Solving the Minimum Cost Flow Problem Handouts: Lecture Notes Warning: there is a lot to the network.
A MapReduced Based Hybrid Genetic Algorithm Using Island Approach for Solving Large Scale Time Dependent Vehicle Routing Problem Rohit Kondekar BT08CSE053.
Linear Programming Many problems take the form of maximizing or minimizing an objective, given limited resources and competing constraints. specify the.
6.5 Stochastic Prog. and Benders’ decomposition
Linear Programming.
Effective Social Network Quarantine with Minimal Isolation Costs
Collaborative Filtering Matrix Factorization Approach
ADVISOR : Professor Yeong-Sung Lin STUDENT : Hung-Shi Wang
Maximum Lifetime of Sensor Networks with Adjustable Sensing Range
Presentation transcript:

1 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

2  Advances in robotics and sensor technology has enabled deployment of smart mobile sensors  Advantages of mobile sensors:  An adversary has to always guess  All points can be eventually covered  Sensors may settle in “good” positions  Move around obstructions  Number of sensors required may be reduced Mobile Sensors

3 Does Mobility Always Increase Coverage?  The answer is no!!  It depends on the phenomena  Stationary coverage is binary, while mobile coverage is fuzzy  For random mobility, probabilistic notion of coverage  Mobility useful in covering events that last over a large time periods  May not be useful for covering events that are short lived

4 The Event Capture Problem 01  Events 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) metrics  Fraction of events captured  Probability that an event is lost

5 Our Contributions  Analytical study of how quality of coverage scales with parameters such as velocity, number of sensors and event dynamics  Algorithms for Bound Event Loss Probability (BELP) Problem  Minimum Velocity BELP (MV-BELP): What is the minimum velocity with which a sensor may satisfy the required QoC  Minimum 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

6 Applications of our Work  Habitat 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

7 Talk Outline  Analytical results: When is mobility useful?  BELP Problem  Algorithms for MV-BELP problem  Restricted motion case  Unrestricted motion case  Algorithms for MS-BELP problem  Restricted motion case  Unrestricted motion case  Summary and Future Works

8 Talk Outline  Analytical results: When is mobility useful?  BELP Problem  Algorithms for MV-BELP problem  Restricted motion case  Unrestricted motion case  Algorithms for MS-BELP problem  Restricted motion case  Unrestricted motion case  Summary and Future Works

9 A Mobile Coverage Scenario  n PoIs have to be covered using a mobile sensor  Events arrive at rate  and depart at rate   Velocity of mobile sensor is v and 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

10 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

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

12 Variable Velocity Case Slowing down during a visit, in order to spend more fraction of time observing the PoIs does not help either  Intuitively 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 v max when no PoIs are visible, move with v c · v max when a PoI is visible The solution therefore is to choose “good” paths to move along

13 Talk Outline  Analytical results: When is mobility useful?  BELP Problem  Algorithms for MV-BELP problem  Restricted motion case  Unrestricted motion case  Algorithms for MS-BELP problem  Restricted motion case  Unrestricted motion case  Summary and Future Works

14 BELP Problem  Bounded event loss probability (BELP) problem: Given a set of PoIs and the event dynamics, plan the motion of sensors such that  Two optimization goals  Single sensor, minimize velocity (MV-BELP)  Fix velocity, minimize number of sensors (MS-BELP)

15 Probability of Event Loss  Probability 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

16 Talk Outline  Analytical results: When is mobility useful?  BELP Problem  Algorithms for MV-BELP problem  Restricted motion case  Unrestricted motion case  Algorithms for MS-BELP problem  Restricted motion case  Unrestricted motion case  Summary and Future Works

17 Restricted Motion  The sensors are restricted to move along a line or a closed curve, along which all the PoIs are located  Such scenario may arise in cases such as  The PoIs are located on road side  Trusted paths are created so that sensors do not get lost or stuck  Restriction of motion to a given path simplifies the BELP problem

18 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

19 MV-BELP: Unrestricted Motion  Heuristic algorithm 1.Calculate TSPN path for the set of PoIs 2.Set,  If is the optimal velocity the where and f(n) is approximation ratio of the TSPN algorithm  If T min = T max, then

20 Talk Outline  Analytical results: When is mobility useful?  BELP Problem  Algorithms for MV-BELP problem  Restricted motion case  Unrestricted motion case  Algorithms for MS-BELP problem  Restricted motion case  Unrestricted motion case  Summary and Future Works

21 MS-BELP: Restricted Motion  We propose a greedy heuristic algorithm for line case  Use n+1 iteration of line algorithm to solve the closed curve case  The greedy heuristic algorithm is within a factor two of the optimal While all sensors not assigned Assign the left-most unassigned PoI to a new sensor For all unassigned PoIs If QoC at the PoI can be satisfied while satisfying QoC at all PoIs in the cover set Add PoI to the cover set of the current sensor

22 MS-BELP: Restricted Motion Greedy algorithm for MS-BELP on a line Location Critical time

23 MS-BELP: Restricted Motion Greedy algorithm for MS-BELP on a line Location Critical time

24 MS-BELP: Restricted Motion Greedy algorithm for MS-BELP on a line Location Critical time

25 MS-BELP: Restricted Motion Greedy algorithm for MS-BELP on a line Location Critical time

26 MS-BELP: Restricted Motion Greedy algorithm for MS-BELP on a line Location Critical time

27 Sub-Optimality of the Greedy Algorithm Here the OPT uses 2 sensors, while the greedy algorithm uses 3 sensors Sensor assignment by the greedy algorithm (v = 10m/s) The optimal sensor assignment (v = 10m/s) Location Critical time Location Critical time

28 MS-BELP: Unrestricted Motion  Heuristic algorithm 1. Calculate TSPN path for the set of PoIs 2. Use greedy algorithm for closed curve to solve MS-BELP over the TSPN path  If is the optimal number of sensors, then  The performance ratio also depends on location of the PoIs

29 Talk Outline  Analytical results: When is mobility useful?  BELP Problem  Algorithms for MV-BELP problem  Restricted motion case  Unrestricted motion case  Algorithms for MS-BELP problem  Restricted motion case  Unrestricted motion case  Summary and Future Works

30 Summary  Characterized 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

31 Future Work  Develop 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

32 Thank You

33 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

34 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:

35 MV-BELP on a Curve  Mobile sensor is restricted to move along a simple closed curve joining all PoIs If 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

36 MV-BELP on a Curve  Mobile sensor is restricted to move along a simple closed curve joining all PoIs Minimum velocity required for to and fro motion between PoI and its neighbor:

37 MV-BELP on a Curve  Mobile sensor is restricted to move along a simple closed curve joining all PoIs Minimum velocity required for to and fro motion between PoI and its neighbor:

38 Variable Velocity Case Slowing down during a visit, in order to spend more fraction of time observing the PoIs does not help either The solution therefore is to choose “good” paths to move along

39  The PoIs have states 0 and 1  State 1 corresponds to event to be “captured”  The time spent in each state is exponentially distributed with means and The Event Model 01 The states of PoIs may be represented as a Markov chain Time The state vs. time plot

40 Analysis Each 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

41 Since expected duration of one cycle is expected number of cycles in time equals Suppose that the sensor starts observing a PoI when its state is 1, then Time Where C(t) = number of 1 => 0 => 1 cycles in time t So expected number of distinct events captured, given state of the point was one when the sensor arrived equals

42 Now suppose that the sensor starts observing a PoI when its state is 0, then Time t’ 1 st Term: Probability that state flips from 0 to 1 at t’, t < t’ < t+2r/v 2 nd Term: Expected number events captured between t’ and t+2r/v given state at t’ is 1, already known

43 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 Now that and are known can be determined Therefore the fraction of events captured by the sensor equals

44 Variable Velocity Case  Suppose the sensor can move at all velocities between 0 and  How should sensor adjust its speed during the journey  Move with when no PoI visible  With what speed to move when it sees a PoI  Too small => miss events at other PoIs  Too large => miss potential events at this PoI  What is the optimal speed to move with during a visit?