Collaborative Mobile Charging and Coverage

Transcription

1 Collaborative Mobile Charging and Coverage Jie Wu Computer and Information Sciences Temple University

2 Road Map 1. Need for Basic Research 2. Mobile Charging: State of the Art 3. Collaborative Charging & Coverage 4. Conclusions

3 1. Need for Basic Research John F. Kennedy progress in technology depends on progress in theory The vitality of a scientific community springs from its passion to answer science s most fundamental questions. Ronald Reagan although basic research does not begin with a particular practical goal, it ends up being one of most practical things government does.

4 Mao vs. Hardy l Z. Mao (Serve the People) Knowledge begins with practice. Theoretical knowledge acquired through practice must then return to practice. l G. H. Hardy (A Mathematician's Apology) The real mathematics of the real mathematicians is almost wholly useless. It is not possible to justify the life of any genuine professional mathematician on the ground of the utility of his work.

5 Implications l Politicians (when they become politically weak) Start new revolutions (and young people become followers) l Mathematicians (when they become old) Start writing books (and young people prove theorems) l Professors (when they become seniors) Give presentations (and students write papers)

6 Picasso & Matisse l Know how to make appropriate abstractions ask the right questions Le Rêve (the Dream) l Many CS students use excessive amounts of math to explain simple things l The Art of Living, Time, Sept. 23, 2013 Senior people can be creative without worry the utility of their work

7 My Two Cents l How to select a research problem Simple definition Elegant solution Room for imagination

8 Energy: A Special Utility l Limited lifetime of battery-powered WSNs l Possible solutions Energy conservation l Cannot compensate for energy depletion Energy harvesting (or scavenging) l Unstable, unpredictable, uncontrollable Sensor reclamation l Costly, impractical (deep ocean, bridge surface ) (WSNs: Wireless Sensor Networks)

9 2. Mobile Charging: State of the Art l The enabling technology Wireless energy transfer (Kurs 07) Wireless Power Consortium l Mobile chargers (MC) MC moves from one location to another for wireless charging Extended from mobile sink in WSNs and ferry in DTNs Energy consumption l The movement of MC l The energy charging process (DTNs: Delay Tolerant Networks)

10 Combinatorics and Graph Models l Traveling-Salesmen Problem (TSP) A minimum cost tour of n cities: the salesman travels from an origin city, visits each city exactly one time, then returns to the origin l Covering Salesman Problem (CSP, Ohio State 89) The least cost tour of a subset of cities such that every city not on the tour is within some predetermined covering distance l Extended CSP Connected dominating set (FAU 99) Qi-ferry (UDelaware 13)

11 Mobile Sinks and Chargers l Local trees Data collections at all roots Periodic charging to all sensors l Base station (BS) l Objectives Long vocation at BS (VT 11-13) Energy efficiency with deadline (Stony Brook 13)

12 3. Collaborative Coverage & Charging l Most existing methods An MC is fast enough to charge all sensors in a cycle An MC has sufficient energy to replenish an entire WSN (and return to BS) l Collaborative approach using multiple MCs Problem 1: MCs with unrestricted capacity but limitations on speed Problem 2: MCs with limited capacity and speed, and have to return to BS

13 Problem Description l Problem 1: Determine the minimum number of MCs (unrestricted capacity but limitations on speed) to cover a line/ring of sensors with uniform/non-uniform recharge frequencies l A toy example A circle track with circumference 3.75 densely covered with sensors with recharge frequency f=1 Sensors with f=2 at 0 and 0.5 A sensor with f=4 at 0.25 l What are the minimum number of MCs and the optimal trajectory planning of these MCs? (MC s max speed is 1.)

14 Possible Solutions l Assigning cars for sensors with f>1 (a) fixed and (b) moving (a) l Combining odd and even car circulations (c) (b) (c)

15 Optimal Solution (uniform frequency) l M 1 : There are C 1 MCs moving continuously around the circle l M 2 : There are C 2 MCs moving inside the fixed interval of length ½ so that all sensors are covered l Combined method: It is either M 1 or M 2, so C = min {C 1, C 2 }

16 Properties l Theorem 1: The combined method is optimal in terms of the minimum number of MCs used l Scheduling Find an appropriate breakpoint to convert a circle to a line; M 2 in the optimal solution is then followed A linear solution is used to determine the breakpoint

17 Linear Solution l Directed Interval Graph Each directed link points from the start to the end of an interval (i.e., the first sensor beyond distance 0.5) l The number of intervals in two solutions differ by one l Each sensor has one outgoing and multiple incoming links l The process stops when a path with fewer or more intervals is found or all sensors (with their outgoing links) are examined

18 Solution to the Toy Example l 5 cars only, including a stop at 0.25 for ¼ time unit l Challenges: time-space scheduling, plus speed selection

19 Greedy Solution (non-uniform frequency) l Coverage of sensors with non-uniform frequencies serve(x 1,...,x n ; f 1,...,f n ): When n 0, generate an MC that goes back and forth as far as possible at full speed (covering x 1,, x i-1 ); serve(x i,...,x n ; f i,...,f n ) l Theorem 2: The greedy solution is within a factor of 2 of the optimal solution

20 The Ant Problem: An Inspiration l Ant Problem, Comm. of ACM, March 2013 Ant Alice and her friends always march at 1 cm/sec in whichever direction they are facing, and reverse directions when they collide Alice stays in the middle of 25 ants on a 1 meter-long stick How long must we wait before we are sure Alice has fallen off the stick? Exchange hats when two ants collide

21 Proof of Theorem 2 Two cars never meet or pass each other Partition the line into 2k-1 sub-regions based on different car coverage (k is the optimal number of cars) Each sub-region can be served by one car at full speed One extra car is used when a circle is broken to a line 2(x-a) f x and 2(b-x) f x

22 Imagination l Hilbert curve for k-d Mapping from 2-D to 1-D for preserving distance locality l Charging time: converting to distance l Limited capacity: using cooperative charging BS to MC MC to MC

23 Charging a Line (with limited capacity) l Charge battery capacity: 80J l Charger cost: 3J per unit traveling distance l Sensor battery capacity: 2J l One MC cannot charge more than 10 consecutive sensors

24 Problem Description l Problem 2 (IEEE MASS 12): Given k MCs with limited capacity, determine the furthest sensor they can recharge while still being able to go back to the BS l WSN l MC N sensors, unit distance apart, along a line Battery capacity for each sensor : b Energy consumption rate for each sensor: r Battery capacity: B Energy consumption rate due to travelling: c

25 Motivation Example (1) B=80J, b=2j, c=3j/m, K=3 MCs l Scheme I: (equal-charge) each MC charges all sensors b/k J (Joule) l Conclusion: covers 12 sensors, and max distance is < B/2c (as each MC needs a round-trip traveling cost)

26 Motivational Example (2) l Scheme II: (one-to-one) each sensor is charged by one MC l Conclusion: covers 13 sensors, and max distance is still < B/2c (as the last MC still needs a round-trip traveling cost) l Scheme II reaches further than Scheme I

27 Motivational Example (3) l Scheme III: (collaborative-one-to-one-charge) each MC transfers some energy to other MCs at rendezvous points l Conclusion: covers 17 sensors, and max distance is < B/c (Last MC still needs a return trip without any charge)

28 Details on Scheme III l MC i charges battery to all sensors between L i+1 and L i l MC i (1 i K) transfers energy to MC i-1, MC i-2, MC 1 to their full capacity at L i l Each MC i has just enough energy to return to the BS

29 Bananas and a Hungry Camel l A farmer grows 3,000 bananas to sell at market 1,000 miles away. He can get there only by means of a camel. This camel can carry a maximum of 1,000 bananas at a time, but needs to eat a banana to refuel for every mile that he walks What is the maximum number of bananas that the farmer can get to market?

30 Motivational Example (4): GlobalCoverage B = 80J, b=2j, c=3j/m, K=3 MCs l Push : limit as few chargers as possible to go forward l Wait : efficient use of battery room through two charges l Conclusion: covers 19 sensors, and max distance is with unlimited number of MCs

31 Details on Push-and-Wait l MC i charges battery to all sensors between L i+1 and L i l MC i (1 i K) transfers energy to MC i-1, MC 1 to their full capacity at L i l MC i waits at L i, while all other MCs keep moving forward l After MC i, MC i-1, MC 1 return to L i, MC i evenly balances energy among them (including itself) l Each Mc i, MC i-1, MC 1 has just enough energy to return to L i+1

32 Another Solution l Each MC moves and charges (is charged) between two adjacent rendezvous points l Imagination: MC i of LocalCoverage simulates MC i, MC i-1,, MC 1 of GlobalCoverage

33 Properties l Theorem 3 (Optimality): GlobalCoverage has the maximum ratio of payload energy to overhead energy l Theorem 4 (Infinite Coverage): GlobalCoverage can cover an infinite line Summation of segment length (L i L i+1 )

34 Imagination: Extensions l Simple extensions (while keeping optimality) Non-uniform distance between adjacent sensors l Same algorithm Smaller recharge cycle (than MC round-trip time) l Pipeline extension l Complex extensions Non-uniform frequency for recharging Two- or higher-dimensional space

35 Imagination: Applications l Robotics Flying robots Google WiFi Balloon l Tesla Moters Tesla Roadster: all-electric Supercharger networks

36 4. Conclusions l Wireless energy transfer l Collaborative mobile charging & coverage: Unlimited capacity vs. limited capacity (with BS) Charging type: BS-to-MC, MC-to-MC, and MC-to-Sensor l Other extensions Charging efficiency, MCs as mobile sinks for BS l Simplicity + Elegance + Imagination = Beauty