Abstract
Radio Frequency based Wireless power transfer (RF-WPT) has become increasingly popular in recent years. Its ability to harvest Radio Frequency (RF) energy enables a novel approach to charge low-power wireless devices, resulting in benefits to product design, usability, and reliability in wireless sensor networks (WSN). It is however known that RF-WPT also introduces interference to wireless communications, leading to poor data throughput. The joint routing and charging remains a challenging job in RF energy harvesting networks. In this paper, we take initial steps towards understanding both data routing and charger scheduling in WSNs. We propose a smart interference-aware scheduling to maximize network lifetime and avoid potential data loss caused by charging interference. Then, we theoretically prove the optimality of the proposed design, i.e., \(1 - \frac{\phi }{W}\), where W is an arbitrary positive integer and \(\phi\) is determined by network properties. The evaluation indicates that the proposed design can guarantee 99% optimality and significantly improve network lifetime in WSNs.
Similar content being viewed by others
References
Anastasi, G., Conti, M., Monaldi, E., Passarella, A.: An adaptive data-transfer protocol for sensor networks with data mules. In: 2007 International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2007), 18–21 June 2007, Helsinki, Finland, Proceedings, pp. 1–8. IEEE Computer Society (2007). https://doi.org/10.1109/WOWMOM.2007.4351776
Chen, L., Liu, S., Zhou, Y.C., Cui, T.J.: An optimizable circuit structure for high-efficiency wireless power transfer. IEEE Trans. Ind. Elect. 60(1), 339–349 (2013). https://doi.org/10.1109/TIE.2011.2179275
Dai, H., Liu, Y., Chen, G., Wu, X., He, T.: Safe charging for wireless power transfer. In: 2014 IEEE Conference on Computer Communications, INFOCOM 2014, Toronto, Canada, April 27–May 2, 2014, pp. 1105–1113. IEEE (2014). https://doi.org/10.1109/INFOCOM.2014.6848041
Fu, L., Cheng, P., Gu, Y., Chen, J., He, T.: Minimizing charging delay in wireless rechargeable sensor networks. In: Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14–19, 2013, pp. 2922–2930. IEEE (2013). https://doi.org/10.1109/INFCOM.2013.6567103
Guo, S., Wang, C., Yang, Y.: Mobile data gathering with wireless energy replenishment in rechargeable sensor networks. In: Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14–19, 2013, pp. 1932–1940. IEEE (2013). https://doi.org/10.1109/INFCOM.2013.6566993
He, S., Chen, J., Jiang, F., Yau, D.K.Y., Xing, G., Sun, Y.: Energy provisioning in wireless rechargeable sensor networks. IEEE Trans. Mob. Comput. 12(10), 1931–1942 (2013). https://doi.org/10.1109/TMC.2012.161
IBM ILOG CPLEX Optimizer (2016). http://www-01.ibm.com/software/integration/optimization/cplex-optimizer/
Kellogg, B., Parks, A.N., Gollakota, S., Smith, J.R., Wetherall, D.: Wi-fi backscatter: internet connectivity for rf-powered devices. In: Bustamante, F.E., Hu, Y.C., Krishnamurthy, A., Ratnasamy, S. (eds.) ACM SIGCOMM 2014 Conference, SIGCOMM'14, Chicago, IL, USA, August 17–22, 2014, pp. 607–618. ACM (2014). https://doi.org/10.1145/2619239.2626319
Kurs, A., Karalis, A., Moffatt, R., Joannopoulos, J.D., Fisher, P., Soljacic, M.: Wireless power transfer via strongly coupled magnetic resonances. Science 317(5834), 83–86 (2007)
Lee, S.H., Lorenz, R.D.: Development and validation of model for 95%-efficiency 220-w wireless power transfer over a 30-cm air gap. IEEE Trans. Ind. Appl. 47(6), 2495–2504 (2011)
Li, Z., Liu, Y., Li, M., Wang, J., Cao, Z.: Exploiting ubiquitous data collection for mobile users in wireless sensor networks. IEEE Trans. Parallel Distrib. Syst. 24(2), 312–326 (2013). https://doi.org/10.1109/TPDS.2012.92
Liu, V., Parks, A.N., Talla, V., Gollakota, S., Wetherall, D., Smith, J.R.: Ambient backscatter: wireless communication out of thin air. In: Chiu, D.M., Wang, J., Barford, P., Seshan, S. (eds.) ACM SIGCOMM 2013 Conference, SIGCOMM'13, Hong Kong, China, August 12–16, 2013, pp. 39–50. ACM (2013). https://doi.org/10.1145/2486001.2486015
Naderi, M.Y., Chowdhury, K.R., Basagni, S., Heinzelman, W.B., De, S., Jana, S.: Experimental study of concurrent data and wireless energy transfer for sensor networks. In: IEEE Global Communications Conference, GLOBECOM 2014, Austin, TX, USA, December 8–12, 2014, pp. 2543–2549. IEEE (2014). https://doi.org/10.1109/GLOCOM.2014.7037190
Naderi, M.Y., Chowdhury, K.R., Basagni, S., Heinzelman, W.B., De, S., Jana, S.: Surviving wireless energy interference in rf-harvesting sensor networks: An empirical study. In: Eleventh Annual IEEE International Conference on Sensing, Communication, and Networking Workshops, SECON Workshops 2014 Singapore, June 30–July 3, 2014, pp. 39–44. IEEE (2014). https://doi.org/10.1109/SECONW.2014.6979703
Park, U., Heidemann, J.S.: Data muling with mobile phones for sensornets. In: J. Liu, P. Levis, K. Römer (eds.) Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, SenSys 2011, Seattle, WA, USA, November 1–4, 2011, pp. 162–175. ACM (2011). https://doi.org/10.1145/2070942.2070960
Peng, Y., Li, Z., Zhang, W., Qiao, D.: Prolonging sensor network lifetime through wireless charging. In: Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, November 30–December 3, 2010, pp. 129–139. IEEE Computer Society (2010). https://doi.org/10.1109/RTSS.2010.35
Powercast (2017). http://www.powercastco.com
Qu, Y., Xu, K., Liu, J., Chen, W.: Towards a practical energy conservation mechanism with assistance of resourceful mules. IEEE Internet Things J. 2(2), 145–158 (2015)
Shi, Y., Hou, Y.T.: Some fundamental results on base station movement problem for wireless sensor networks. IEEE/ACM Trans. Netw. 20(4), 1054–1067 (2012). https://doi.org/10.1109/TNET.2011.2171990
Shi, Y., Xie, L., Hou, Y.T., Sherali, H.D.: On renewable sensor networks with wireless energy transfer. In INFOCOM 2011. 30th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 10–15 April 2011, Shanghai, China, pp. 1350–1358. IEEE (2011). https://doi.org/10.1109/INFCOM.2011.5934919
Somasundara, A.A., Kansal, A., Jea, D.D., Estrin, D., Srivastava, M.B.: Controllably mobile infrastructure for low energy embedded networks. IEEE Trans. Mob. Comput. 5(8), 958–973 (2006). https://doi.org/10.1109/TMC.2006.109
Xie, L., Shi, Y., Hou, Y.T., Lou, A.: Wireless power transfer and applications to sensor networks. IEEE Wirel. Commun. Mag. 20(4), (2013). https://doi.org/10.1109/MWC.2013.6590061
Xie, L., Shi, Y., Hou, Y.T., Lou, W., Sherali, H.D., Midkiff, S.F.: Bundling mobile base station and wireless energy transfer: Modeling and optimization. In: Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14–19, 2013, pp. 1636–1644. IEEE (2013). https://doi.org/10.1109/INFCOM.2013.6566960
Yigitel, M.A., Incel, O.D., Ersoy, C.: QoS-aware MAC protocols for wireless sensor networks: A survey. Elsevier Comput. Netw. 55(8), 1982–2004 (2011). https://doi.org/10.1016/j.comnet.2011.02.007
Zhang, S., Qian, Z., Kong, F., Wu, J., Lu, S.: P3: Joint optimization of charger placement and power allocation for wireless power transfer. In: 2015 IEEE Conference on Computer Communications, INFOCOM 2015, Kowloon, Hong Kong, April 26 May 1, 2015, pp. 2344–2352. IEEE (2015). https://doi.org/10.1109/INFOCOM.2015.7218622
Zhu, T., Gu, Y., He, T., Zhang, Z.: eshare: a capacitor- driven energy storage and sharing network for long-term operation. In: J. Beutel, D. Ganesan, J.A. Stankovic (eds.) Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, SenSys 2010, Zurich, Switzerland, November 3–5, 2010, pp. 239–252. ACM (2010). https://doi.org/10.1145/1869983.1870007
Acknowledgements
This work was in part supported by the National Key R&D Program of China with No. 2018YFB0803405, China National Funds for Distinguished Young Scientists with No. 61825204 and Beijing Outstanding Young Scientist Project.
Author information
Authors and Affiliations
Corresponding author
Appendices
Prove of Theorem 1
Proof
Suppose P is the optimal solution of problem (OR-C), which consists of the maximum network lifetime T, the optimal charger’s travel path, sojourn/travel durations \(U(x_l)\) and \(U(y_l)\), data flow functions \(g_{ij}(t)\), \(g_{i0}(t)\), \(g^s_i(t)\) and \(g^r_i(t)\). Based on solution P, we can construct a solution \(P^*\) with lifetime \(T^*\) as follows. First, we keep the charger’s travel path and sojourn/travel durations the same as solution P. Then we show that both of these solutions achieve the same network lifetime:
Next, we construct data flow functions of solution \(P^*\) as described in Sect. 3.2. And we need to show that \(P^*\) is a feasible solution of problem (OR-D). Specifically, we need to prove that solution \(P^*\) meets constraints Eqs. (5), (9)–(15). Here, we focus on constraint Eq. (13) while others are similar and thus omitted to conserve space. The proofs are based on 3 different cases described in Sect. 3.2.
Considering Case 1, for sensor i, we have:
Cases 2 and 3 can be proved in the same way. Since all the constraints of problem (OR-D) are satisfied by solution \(P^*\), \(P^*\) is a feasible solution to problem (OR-D).
Finally, we need to show that \(P^*\) is the optimal solution of problem (OR-D). Suppose \(\overline{P}\) is the optimal solution of problem (OR-D) with the maximum network lifetime \(\overline{T} > T\). Based on \(\overline{P}\), we can construct a solution of problem (OR-C) with lifetime \(\overline{T}\), which contradicts with the fact that T is the maximum network lifetime.
Since we have proved that \(T^* = T\), the optimal solution of problem (OR-D) can achieve the same maximum network lifetime as problem (OR-C), which concludes the proof. \(\square\)
Proof of Theorem 2
The proof of Theorem 2 is based on the following lemmas.
Lemma 1
For a given feasible charger travel path and a sojourn point\(x_l\), we have\(U(\nu _l) \ge \lambda _l U(x_l)\).
Proof
Since both \(g^l_{max}\) and \(g_{max}\) are positive parameters, \(\lambda _l > 0\) holds. If \(U(x_l) = 0\), \(U(\nu _l) \ge \lambda _l U(x_l) = 0\) holds. Here, we emphasize on proving the \(U(x_l) > 0\) case. Based on Eqs. (12), (14) and (15), we can derive:
Hence, \(g_{max} U(\nu _l) \ge g_i U(x_l)\) holds for all sensor \(i \in N_l\). It holds for the sensor with the maximum data generation rate in \(N_l\), thus \(g_{max} U(\nu _l) \ge g^l_{max} U(x_l)\), which concludes the proof. Note that this lemma also holds for the time dependent continuous formulation, we omit the proof to conserve space. \(\square\)
Lemma 2
Considering a data routing with full sensor participation, denote\(\pi _i\)the minimum energy consumption rate required to forward aunit of data from sensorito the sink, and the correspondingrouting path is\(F_i\). Suppose each sensor has a unit of datageneration rate, then, the combination of\(\sum _{i\in N}F_i\)is the minimum energy routing with the minimum total energy consumptionrate\(\sum _{i\in N}\pi _i\).
Proof
It is apparent that \(\sum _{i\in N}F_i\) is a routing scheme of the sensor network. Next, we prove \(\sum _{i\in N}F_i\) is the minimum energy routing using contradictions. Suppose \(M^{*}\) is a routing scheme that consumes less energy than \(\sum _{i\in N}\pi _i\). Thus at least one routing path \(F^{*}_i\) in \(M^{*}\) consumes less energy than \(\pi _i\), which contradicts with the fact that \(F_i\) is the minimum energy routing path. \(\square\)
Now, we begin to prove Theorem 2.
Proof
During \([t_l+U(x_l),t_{l+1}]\), the sensory data generated by sensor i is consisted of two parts: \(g^s_i(x_l)U(x_l)\) and \(g_i U(\nu _l)\). The former is generated and stored during \([t_l,t_l+U(x_l)]\), and the latter is newly generated during \([t_l+U(x_l),t_{l+1}]\). Suppose the minimum energy routing is adopted during \([t_l,t_{l+1}]\), based on Lemma 2, the total energy consumption is:
When \(U(\nu _l) = \lambda _l U(x_l)\), the total energy consumption during \([t_l+U(x_l),t_{l+1}]\) is minimized, which concludes the proof. \(\square\)
Proof of Proposition 1
Proof
The proofs of Relations 2 and 3 are apparent. After we solve problem (MIN-E), \(e_{il} = \varepsilon _{il} U(x_l) + \mu _{il} U(\nu _l)\) can be easily obtained. Here, we focus on Relation 1. We assume that the minimum energy routing during \([t_l, t_{l+1}]\) is unique (the proof of non-unique situation is similar). To prove the proposition, we only need to prove that the total energy consumption \(\sum _{i\in N}e_{il}\) is minimal.
Based on Lemma 2, we can derive \(\sum _{i\in N} \eta _i = \sum _{i\in N}\pi _i g_i\) and
Then, we have:
where \(\sum _{i\in N}\varepsilon _{il} U(x_l)\) is the minimum energy consumption during \([t_l,t_l+U(x_l)]\) and the successive two polynomials together represent the minimum energy routing during \([t_l+U(x_l),t_{l+1}]\), which concludes the proof. \(\square\)
Proof of theorem 3
The proof is based on the following lemmas.
Lemma 3
A feasible solution of problem (LP-T) is also a feasiblesolution of problem (RLX).
Proof
Suppose P is a feasible solution of problem (LP-T) that consists of \(U(x_l)\) and \(U(\nu _l)\). Since energy consumption results \(\eta _i\), \(\varepsilon _{il}\) and \(\mu _{il}\) are all obtained by solving problems (MIN-B) and (MIN-E), and data routing constraints Eqs. (11)–(15) are naturally satisfied by P. Let the charger travel a single TSP path (with each sensor visited once) and constraint Eq. (18) is equivalent to constraint Eq. (16). Therefore, constraints Eqs. (10)–(16) are all satisfied by solution P. Thus P is a feasible solution to problem (RLX), which concludes the proof. \(\square\)
Lemma 4
In terms of problem (RLX), as long as the total sojourndurations\(\sum _{l\in N}U(x_l)\)and\(\sum _{l\in N}U(\nu _l)\)at each sensor’s location remains the same, the network lifetime will remain unchanged regardless of the charger’s travel path.
Proof
Since the energy constraint Eq. (9) is relaxed to Eq. (16) in problem (RLX), the above lemma can be easily proved by analyzing sensor’s energy profiles at each location, which only relates to the duration spent at sojourn/virtual points. We omit the proof here to conserve space. \(\square\)
Lemma 5
Suppose\(P^*\)is an optimal solution of problem (RLX), which consists of\(\varepsilon ^*_{il}\), \(U^*(x_l)\), \(\mu ^*_{il}\), \(U^*(\nu _l)\), \(\eta ^*_i\), \(H^*_i\), \(\tau ^*_i\), \(T^*_0\)and the maximum network lifetime
We can always construct a solution of problem (LP-T) with the network lifetime\(T^{'} \ge T^*\).
Proof
Based on Lemma 4, we can regulate the charger’s travel path to a single TSP path (\(L = N\)), and then problem (RLX) can be solved by CPLEX. The resulted solution is denoted by \(P^*\).
Next, we construct a solution \(\overline{P}\) as follows: we keep the charger’s travel path, sojourn and travel durations unchanged while data routing is altered to the minimum energy routing. Specifically, \(\overline{P}\) consists of \(\varepsilon _{il}\), \(U^*(x_l)\), \(\mu _{il}\), \(U^*(\nu _l)\), \(\eta _i\), \(H_i\), \(\tau _i\), \(T_0\) and \(\overline{T}\) (note that \(\overline{T} = T^*\)). Suppose the total energy consumption of solution \(P^*\) and \(\overline{P}\) during the operational interval are \(\omega ^*\) and \(\omega\), respectively. To prove Lemma 5, we need to prove: (i) \(\omega ^* \ge \omega\); (ii) \(T^*_0 \ge T_0\); (iii) For \(P^*\), Eq. (10) reaches equality.
- (i)
Based on the definition of \(\omega ^*\) and \(\omega\), we have:
$$\begin{aligned} \omega ^* = \sum _{i\in N}\sum _{l\in N} e^*_{il} \quad \hbox {and} \quad \omega = \sum _{i\in N}\sum _{l\in N} e_{il} \end{aligned}$$where
$$\begin{aligned} e^*_{il} = (\varepsilon ^*_{il} + \mu ^*_{il} \lambda _l) U^*(x_l) + [U^*(\nu _l) - \lambda _l U^*(x_l)] \eta ^*_i \end{aligned}$$and
$$\begin{aligned} e_{il} = (\varepsilon _{il} + \mu _{il} \lambda _l) U^*(x_l) + [U^*(\nu _l) - \lambda _l U^*(x_l)] \eta _i \end{aligned}$$Solution \(\overline{P}\) adopts the minimum energy routing during the whole network lifetime. Therefore, for any \(l\in L\), we have \(\sum _{i\in N}\varepsilon _{il} \le \sum _{i\in N}\varepsilon ^*_{il}\), \(\sum _{i\in N}\mu _{il} \le \sum _{i\in N}\mu ^*_{il}\) and \(\sum _{i\in N}\eta _i \le \sum _{i\in N}\eta ^*_i\). Thus, we have
$$\begin{aligned} \omega ^* - \omega&= \sum _{l\in N} \bigg\{ \bigg(\sum _{i\in N}\varepsilon ^*_{il} - \sum _{i\in N}\varepsilon _{il}\bigg) U^*(x_l) \\&+ \bigg(\sum _{i\in N}\mu ^*_{il} - \sum _{i\in N}\mu _{il}\bigg)\lambda _l U^*(x_l) \\&+ \bigg(\sum _{i\in N}\eta ^*_i - \sum _{i\in N}\eta _i\bigg) [U^*(\nu _l) - \lambda _l U^*(x_l)] \} \ge 0 \end{aligned}$$ - (ii)
Based on energy conservation, we have:
$$\begin{aligned} \omega ^* + N e_0 T^*_0 = N h_0 + \varpi _0\sum _{i\in N}\tau ^*_i + \varpi \sum _{i\in N}U^*(x_i) \end{aligned}$$(25)and
$$\begin{aligned} \omega + N e_0 T_0 = N h_0 + \varpi _0\sum _{i\in N}\tau _i + \varpi \sum _{i\in N}U^*(x_i) \end{aligned}$$(26)Let Eq. (25) minus Eq. (26), then we can obtain
$$\begin{aligned} (\varpi _0 - N e_0) \bigg(\sum _{i\in N}\tau ^*_i - \sum _{i\in N}\tau _i\bigg) = \omega ^* - \omega \ge 0 \end{aligned}$$The charging rate during the initial time \(\varpi _0\) is larger than the total energy consumption rate, i.e., \(\varpi _0 - N e_0 > 0\) holds (otherwise, sensor batteries may deplete before the beginning of the operational interval \(T_0\)). Thus we obtain \(\sum _{i\in N}\tau ^*_i \ge \sum _{i\in N}\tau _i\). Based on \(T_0 = t_{TL} + \sum _{i\in N} \tau _i\), we can derive \(T^*_0 \ge T_0\).
- (iii)
This can be explained intuitively. Suppose the equality is not reached, which means that part of the total energy E is unallocated. Then, we can always find a method to reallocate the unallocated energy and obtain a larger T, which contradicts the fact that \(T^*\) is the maximum network lifetime. Thus we have:
$$\begin{aligned} N h_0 + \varpi _0\sum _{i\in N}\tau ^*_i + \varpi \sum _{l\in N}U^*(x_l) = E \end{aligned}$$
The above equation is based on the fact that we are in full charge of energy allocation of the sensor network. To prove Lemma 5, we first need to prove that \(\overline{P}\) is a feasible solution of problem (LP-T). Since \(H_i\) is an intermediate parameter that can be removed by reformulation and \(U^*(\nu _l) \ge \lambda _l U^*(x_l)\) holds, we only need to prove that Eq. (10) is satisfied by \(\overline{P}\). Based on (i) and (ii), we can derive:
Thus \(\overline{P}\) is feasible to problem (LP-T). The above equation also shows that a part of energy is unallocated in solution \(\overline{P}\). Based on (iii), we can always construct a solution of problem (LP-T) with longer network lifetime \(T^{'} \ge \overline{T} = T^*\), which concludes the proof. \(\square\)
Finally, we prove Theorem 3.
Proof
Suppose \(P^*\) is an optimal solution of problem (RLX) with the maximum network lifetime \(T^*\). Based on Lemma 5, we can always construct a solution of problem (LP-T), e.g., \(\overline{P}\), with a network lifetime \(\overline{T} \ge T^*\). Meanwhile, based on Lemma 3, solution \(\overline{P}\) is also feasible to problem (RLX). And the maximum network lifetime of problem (RLX) is \(T^*\). Hence, solution \(\overline{P}\) is also the optimal solution of problem (RLX) with the network lifetime \(\overline{T} = T^*\), which concludes the proof. \(\square\)
Proof of Theorem 4
Proof
As to \(W = 1\), problem (LP-W) equals to problem (LP-T). Here, we emphasize on the \(W > 1\) situation. Let \(U^w(x_l) = W U(x_l)\) and \(U^w(\nu _l) = W U(\nu _l)\), then the objective function of problem (LP-W) becomes
And constraint Eq. (19) is converted to:
where
Similarly, constraint Eq. (20) is converted to:
Then, based on the new objective function Eq. (27) and constraints Eqs. (28), (29), problem (LP-W) can be equivalently transformed to problem (LP-T), which concludes the proof. \(\square\)
Rights and permissions
About this article
Cite this article
Tan, Q., Qu, Y., Xu, K. et al. Interference-aware lifetime maximization with joint routing and charging in wireless sensor networks. CCF Trans. Netw. 2, 188–206 (2019). https://doi.org/10.1007/s42045-019-00025-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s42045-019-00025-7