Elsevier

Computer Networks

Volume 70, 9 September 2014, Pages 210-224
Computer Networks

Should I stay or should I go? Maximizing lifetime with relays

https://doi.org/10.1016/j.comnet.2014.05.015Get rights and content

Abstract

As sensor mobility becomes more and more universal, Wireless Sensor Network (WSN) configurations that utilize such mobility will become the norm. We consider the problem of maximizing the lifetime of a wireless connection between a transmitter and a receiver using mobile relays. Initially, all relays are positioned arbitrarily on the line between the transmitter and the receiver and have arbitrary battery capacities. Energy is consumed in proportion to the distance traveled for mobility and in proportion to an exponential function of the distance over which information is sent for communication. Relays can move to different locations as long as they have the energy to do so. The objective is to find positions (which define transmission ranges) for the nodes that maximize the lifetime of the network. We study two models. The first is more restrictive, and corresponds to the case where relays are allowed to be set once at time zero (single deployment), while the second model corresponds to the case where relays can be adjusted multiple times (multiple deployments). We show how to compute an optimal solution for the case of no movement cost for both models. We consider a discrete version of the single deployment model, in which relays must be deployed on grid points. We provide two algorithms for this case: a dynamic programming algorithm and a binary search algorithm on potential lifetimes. We prove that both algorithms are FPTASs for the non-discrete problem, if batteries are not too small. We then show that if the initial positions of all relays are at either end of the transmission interval, then there exists a dominant order for the relays and the algorithms may be applied with this order to achieve an optimal solution in the discrete problem or an FPTAS for the non-discrete problem, if batteries are not too small. Based on these algorithms and on additional ideas we develop a number of heuristics for the multiple deployments model. We evaluate them using simulations and compare them with the lower bound of relays not moving at all and the upper bound of cost-free movement. Our simulations – across a range of mobility and transmission costs, sensible starting locations and battery capacities – demonstrate the benefit of moving over remaining at initial locations even for single deployment.

Introduction

Keeping the network alive for as long as possible is one of the main goals in any Wireless Sensor Network (WSN). This paper uses recent advances in node mobility (see El-Moukaddem et al. [1] and the references therein) to maximize the lifetime of a WSN using mobile-relay-based algorithms that move mobile relays to optimal locations along the line between a transmitter and a receiver.

Several papers address the problem of optimal placement of relays between a source and a destination to optimize other objective functions. Appuswamy et al. [2] optimize the capacity of the implied logical channel between the source and the destination under some interference model. This paper allows only grid placements of relays with the same, non-adjustable transmission range and does not consider movement cost.

Goldenberg et al. [3] prove that, for equal battery levels, the optimal locations for the relays on the line are equidistant apart and present an algorithm for moving nodes to their optimal locations using information from 1-hop neighbors only. They prove that their algorithm preserves the connections between all the relays.

Jiang et al. [4] develop a number of algorithms to speed up the rate of convergence and, hence, minimize the number of iterations required to move each of the nodes to their optimal locations. We extend the above works by taking into consideration the remaining battery life in each node and the effect that different mobility costs will have on the optimal locations of the nodes.

El-Moukaddem et al. [1] consider using mobile relays to enhance the lifetimes of existing network routes between static nodes in a 2D plane. Each relay can assist a single link between two nodes. They include realistic costs for movement and transmission and take into consideration the battery power remaining in each of the nodes.

In this paper we study the problem of maximizing the lifetime of a wireless connection between a stationary transmitter and a stationary receiver using mobile relays that are initially positioned arbitrarily on the line between the transmitter and the receiver and have arbitrary battery levels. For example, the relays may be initially located at the transmitter that deploys them to assist it with a transmission. We consider several variants of the problem depending on the deployment method. In many applications [3], [4], [5], relays are allowed to move only at time zero in order to decrease the amount of communication overhead between relays. It may also be the case that relays are initially deployed using an external agent, and cannot move by themselves. We refer to this model as the single deployment model. In the multiple deployment setting relays can move at any point in time.

Our contribution. We consider two network models, the first model corresponds to the case where relays are allowed to be set once, while the second model corresponds to the case where relays can be adjusted multiple times. In the first model relays can be deployed only at time 0 in an order preserving manner. The lifetime of the system is determined by the weakest link, namely by the lifetime of the relay whose battery is depleted first. This notion of Lifetime of First Death was consider by El-Moukaddem et al. [1]. We represent this problem as a non-linear program. The second model allows multiple deployments. Relays readjust their transmission ranges after a deployment. In this case we wish to maximize the length of time the transmitter can communicate with the receiver, that is the Transmission Lifetime.

We show how to compute relay locations for both models when there is no cost for movement. It turns out that for this case there exists a solution which is optimal with respect to both models, namely there exists an optimal single deployment order preserving strategy that maximizes both notions of lifetime.

For non-zero movement cost, we develop some structure for the optimal solution. In particular, we show that there is no justification for movement unless a relay dies, implying that a single deployment suffices when maximizing lifetime of first death. We also show that in any optimal solution the transmitter must be the last node to die.

We provide two algorithms which are optimal for the discrete problem (relays must be deployed on grid points) of maximizing the lifetime of first death. The first algorithm is a dynamic programming algorithm, while the second conducts a binary search on lifetimes for the optimum. For the case where the batteries are not too small, we show that both algorithms are FPTASs for the general problem, as their running times are polynomial in the size of the input and in 1/ε and their solutions are within a factor of (1+ε) from the optimal for a given . It turns out that the dynamic programming algorithm has better worst-case running time on grid points, but the binary search algorithm can have better worst-case running time for the general problem. We then show that if all relays are initially located at the base stations (the endpoints of the transmission interval), then there is an ordering which is dominant, and thus we may solve the discrete version of this instance optimally and give an FPTAS if batteries are not too small by ordering with such an order and applying the dynamic programming or binary search algorithms. We note that this section is based on a section in [6] where sensors are initially placed at the endpoints and must cover the unit interval.

We experimentally test whether multiple deployments can assist in maximizing transmission lifetime. We find that just a single deployment is necessary in maximizing transmission lifetime. We develop heuristics for maximizing transmission lifetime based on this result and based on our theoretical findings and show that they are well-performing in simulation.

Related work. The numerous uses of mobility in WSNs are discussed in Francesco et al. [7] along with the challenges that arise when mobile nodes are introduced to a network such as maintaining connectivity. Along with mobile relays, other uses of mobility include mobile sinks and data MULEs.

Controlled sink mobility is considered by Basagni et al. [8], while predictable sink mobility is considered by Chakrabarti et al. [9], Chandra et al. [10] and Mhatre et al. [11]. Another approach considered in the literature is allowing the sink to move randomly as in Juang et al. [12] and Kim et al. [13].

Data MULEs were introduced by Shah et al. [14] and are further explored by Jain et al. [15].

Song et al. [16] build a prototype mobile node to demonstrate that mobile nodes are feasible. Kansal et al. [17] proposes using controlled mobility to optimize the power usage of a WSN and discusses a number of potential network features, for example tracks, that would make adding controlled mobility cost effective. Bar-Noy et al. [6] considered covering a line barrier with mobile sensors with either fixed or adjustable radii.

Paper organization. Formal descriptions of the problem, deployment methods, and network lifetimes are in given in Section 2. The case where movement is free of cost is analyzed in Section 3. Section 4 gives some structural results. Section 5 considers the discrete MaxFD. Section 6 provides FPTASs for MaxFD when batteries are large. Section 7 presents results of MaxFD when relays are initial located at either base station. We present some heuristics for maximizing transmission lifetime in Section 8. Our simulations are given in Section 9. Finally, Section 10 gives a conclusion and discusses areas for future research.

Section snippets

Model and preliminaries

In this section we define the models and introduce the notation which will be used throughout the paper.

A transmitter would like to transmit information to a receiver. To aid in the transmission of information, n mobile relays are distributed on the line of communication between the transmitter and the receiver (as in Fig. 1). Each relay has the task of passing along the information and thus maintaining the chain of communication. The distance between the transmitter and the receiver is denoted

MaxTL and MaxFD without friction

In this section we consider the no friction case, namely the case where a=0. Goldenberg et al. [3] consider the case where there is no friction and all nodes have equal battery power. They show that the energy cost function P(d(t)) is a non-decreasing convex function, and that the optimal positions of the relay nodes must lie entirely on the line between the source and the destination and must be evenly spaced along the line.

We can extend this result to the case of non-equal battery powers. We

MaxTL without swapping

In this section, we consider MaxTL with friction. We provide some structure for this case by giving necessary conditions for any optimal solution.

First, we note that Theorem 2 does not hold in the non-zero friction case. Consider the case where we have one relay located at 0.25 with B0=B1=1 and D=1. Also, assume that a=4. This means that going from 0.25 to 0.5 depletes the relay. However, located at [0.25, 0.5) the relay dies before the transmitter.

We prove that in an optimal solution, relays

MaxFD on grid points

In this section we consider a discrete version of MaxFD, called MaxFD-Grid, in which relays are deployed on grid points. More specifically, we assume that the final locations y1,,yn of the relays must be one of the points {jD/m:0jm}, where m is a pre-determined integer. That is, we partition the interval [0,D] into m sub-intervals each of length σ=D/m and restrict the final locations from being in the interior of any sub-interval.

We provide two approaches to solve the problem: a dynamic

MaxFD with large batteries

In this section we show that the algorithms that were given in Section 5 may be used to obtain FPTASs for the special case of MaxFD in which BiaD(1+1n), for every i. Our approach is based on the following argument. Given any ε>0, we show that if BiaD(1+1n), for every i, there exists a grid density for which the discrete optimal lifetime of first death is within a factor of (1+ε) from the optimal lifetime of first death.

We start the section by exploring the connection between MaxFD-Grid and Max

MaxFD with deployment from base stations

In this section we consider the MaxFD scenario where relays are initially located at the base stations i.e. located at either 0 or D (x{0,D}n). We show there exist an optimal solution for this instance for discrete MaxFD and an FPTAS as long as Bi>aD(1+1n). We do so by showing that we can order the relays in a particular way (which is a dominant order) and then we can use Lifetime-DP and Lifetime Check with Binary Search on this order for solution.

We first consider the MaxFD instance where all

Heuristics for MaxTL

In this section we develop heuristics for single deployment MaxTL, when a>0. The reason for considering single deployment MaxTL is due to experimental evidence that suggests that any optimal MaxTL solution requires just one deployment, see Section 9.2.

Simulations and results

This section summarizes the results of the comprehensive simulation study that was performed. The simulations were performed using MATLAB 6.5 R13 on a machine running Windows XP 2002 SP3 with an Intel Pentium D CPU 2.8 GHz and 2 GB RAM. For a fixed unit length network with one transmitter and one receiver we varied each of the parameters n,α,a and m, where n is the number of nodes in the network, α is the path loss exponent in the communication model, a is the coefficient of friction and m is the

Conclusion

This work considers the problem of maximizing the transmission lifetime of a network with mobile relays. Two notions of network lifetime are considered: lifetime of first death and transmission lifetime. The scenario where there is no cost of movement is solved optimally for both lifetime of first death and transmission lifetime, and in fact, it is shown that transmission lifetime is equivalent to lifetime of first death for the no cost of movement case. Some structural results are then

Peter Terlecky received a B.E. in Electrical Engineering from The Cooper Union in 2005. He received a M.A. and an M.Phil. in Mathematics from the CUNY Graduate Center in 2011. He received a Ph.D in Mathematics from the CUNY Graduate Center in February 2014. His main research interest is algorithm design in networks.

References (19)

  • R.C. Shah et al.

    Data mules: modeling and analysis of a three-tier architecture for sparse sensor networks

    Ad Hoc Netw.

    (2003)
  • G. Song et al.

    A smart node architecture for adding mobility to wireless sensor networks

    Sensors Actuat. A: Phys.

    (2008)
  • F. El-Moukaddem et al.

    Maximizing data gathering capacity of wireless sensor networks using mobile relays

  • R. Appuswamy et al.

    On relay placement for deterministic line networks

  • D.K. Goldenberg et al.

    Towards mobility as a network control primitive

  • Z. Jiang et al.

    Mobility control for achieving optimal configuration in wireless sensor networks

    Wireless Netw.

    (2010)
  • G. Wang et al.

    Movement-assisted sensor deployment

    IEEE Trans. Mob. Comput.

    (2006)
  • A. Bar-Noy, D. Rawitz, P. Terlecky, Maximizing barrier coverage lifetime with mobile sensors, in: ESA, LNCS, vol. 8125,...
  • M.D. Francesco et al.

    Data collection in wireless sensor networks with mobile elements: a survey

    ACM Trans. Sensor Netw.

    (2011)
There are more references available in the full text version of this article.

Cited by (0)

Peter Terlecky received a B.E. in Electrical Engineering from The Cooper Union in 2005. He received a M.A. and an M.Phil. in Mathematics from the CUNY Graduate Center in 2011. He received a Ph.D in Mathematics from the CUNY Graduate Center in February 2014. His main research interest is algorithm design in networks.

Brian Phelan was born in Ireland in 1982. He received the Bachelors Degree in Mathematical Sciences from Dublin City University (Ireland) in 2004, the Masters Degree in Quantitative Finance from University College Dublin (Ireland) in 2006 and the Masters Degree in Computer Science from City University of New York in 2011. He has worked for J.C. Rathbone Associates since November 2011.

Amotz Bar-Noy received the B.Sc. degree (1981) in Mathematics and Computer Science (summa cum laude) and the Ph.D. degree (1987) in Computer Science, both from the Hebrew University, Israel. Since 2002 he is a Professor with the Computer and Information Science Department of Brooklyn College – CUNY, Brooklyn New York and with the Computer Science Department of the Graduate Center of CUNY, Manhattan New York. His field of expertise belongs to the Theoretical Computer Science community and to the Networking community. The scope of his research is to bridge the gap between these two communities.

Ted Brown received his Ph.D. from NYU in 1971. He is a professor and executive officer of the Ph.D. program of Computer Science at the CUNY Graduate Center and the Executive Director of the CUNY Institute for Software Design and Development. His research interest is in Algorithm Design and Development in particular applied to Sensor Networks.

Dror Rawitz got a B.Sc. degree in Computer Engineering (summa cum laude) from the Technion – Israel Institute of Technology (1996). He received an M.Sc. degree (1999) and a Ph.D. degree (2003) in Computer Science also from the Technion. He is now faculty of engineering at Bar-Ilan University. His main research areas are algorithmic aspects of communication networks and designing approximation and online algorithms.

View full text