Rechargeable UAV Trajectory Optimization for Real-Time Persistent Data Collection of
Large-Scale Sensor Networks

Abstract

Unmanned aerial vehicles (UAVs) have received plenty of attention due to their high flexibility and enhanced communication ability, nonetheless, the limited onboard energy restricts UAVs’ application on persistent data collection missions in large areas. In this paper, we propose a rechargeable UAV-assisted periodic data collection scheme, where a UAV is dispatched to periodically collect data from sensor nodes (SNs) in the mission area and charged by a wireless charging platform. Specifically, the periodic data collection completion time is minimized by optimizing the UAV trajectory to reach the optimal balance among the collection time, flight time, and recharging time. The formulated problem is non-convex and difficult to solve directly. To tackle this problem, we divide the main problem into two sub-problems and address them by leveraging successive convex approximation (SCA), bisection search, and heuristic methods. Then, we propose a periodic trajectory optimization algorithm to iteratively solve the two sub-problems to minimize the completion time. Furthermore, to deal with the dynamics of SNs, we propose a low-complexity trajectory adjustment strategy, where the trajectory can be maintained or adjusted locally at the SNs change, which significantly mitigates the computation cost of re-optimization. The simulation results show the superiority and robustness of the proposed scheme and the completion time is on average 39% and 33% lower than the two benchmarks, respectively.

I Introduction

The intelligent connection of everything is one of the key technologies in the future 6G network. To realize the intelligence of wireless networks, efficient data collection from widely deployed smart sensor nodes (SNs) is the basis for the development and application of the intelligent Internet-of-Things (IoT) [2]. However, data communication from IoT devices to ground base stations may be unreliable and sometimes even unavailable due to limited transmission power of SNs, poor channel quality caused by environmental obstacles, or destroyed infrastructures caused by natural disasters [3]. In this context, driven by the advantages of high flexibility and enhanced communication ability, unmanned aerial vehicles (UAVs) are emerging facilities for efficient communication and sensing to perform data collection [4], [5]. UAVs configured with wireless connectivity and sensing platforms can be effectively applied in many different scenarios, such as environmental monitoring, disaster rescuing, and military reconnaissance [6], [7], [8]. The UAV can serve as an aerial mobile base station and provide high-speed data transmission by flying to SNs to establish high-quality links, which can achieve reliable and fast data collection in wireless sensor networks (WSNs) [9]. However, with the continuous expansion of the 6G network scale, the massive data generated in WSNs has put forward high persistence and real-time requirements for UAV-enabled data collection.

Existing UAV-assisted data collection works mainly focus on mission performance optimization, such as energy efficiency maximization [10], Age of Information (AoI) minimization [11], and completion time minimization [12], etc. For example, the authors in [11] studied a UAV path planning problem by jointly considering the access sequence of SNs and data collection mode. Then a solution based on dynamic programming was proposed to determine the optimal access sequence of SNs and minimize the average of AoI. In [12], the authors considered the time constraint of the sensory data. They proposed a convex optimization and heuristic-based algorithm to optimize the UAV trajectory and then minimize the completion time. However, these studies all operate under the assumption that the UAV has enough energy to complete the mission in one flight. In practice, the endurance of UAVs is generally limited due to the battery constraint (e.g. 30 minutes for a typical rotary-wing UAV [13]), which limits UAVs to only temporary and small-scale missions. Without recharging capabilities, UAVs face challenges in being applied to data collection in increasing large-scale networks [14]. Furthermore, sensory data is generated periodically and needs to be collected persistently [15], which renders it important to charge UAVs such that enabling UAVs to have a longer endurance and a wider working range, thereby enabling persistent data collection applications in large areas. Therefore, energy supplement is essential in UAV-enable applications, which results in the completion time not only determined by the flight time and data collection time, but also the UAV recharging time. In addition, the status of SNs may change as the time span increases during continuous acquisition tasks, for example, new SNs could be deployed to extend the monitoring range [16], or the original SNs will fail due to energy exhaustion [17]. If the trajectory is not adjusted in the face of SNs change, the UAV will either be unable to collect the data of new SNs or increase unnecessary flights to failed SNs, on the other hand, re-planning the global trajectory will bring large computational costs and time consumption. Therefore, it is crucial to design an efficient trajectory adjustment method to handle the network dynamics.

To ensure persistent data collection, the near-field inductive wireless charging platform can be deployed for UAV recharging due to the advantages of high efficiency and automation, and in this case, the data collection mission includes several parts: flying to SNs, collecting data, and flying to the charging platform for recharging. To reduce the mission completion time, several conflicting objectives need to be balanced: Firstly, to reduce the overall time, the UAV can fly faster and collect more SNs at once, but it will increase the energy consumption and recharging time. Conversely, to reduce energy consumption and save charging time, it will inevitably bring longer flight time, since the UAV will fly at a slower speed in order to save energy. Secondly, to reduce the data collection time, the UAV will fly closer to SNs so as to enjoy better channel quality. However, this will incur higher completion time, since longer flying distance is required for the UAV to fly closer to each SN. Thirdly, to reduce the flight time, the SNs subset collected by the UAV during each flight and the data collection sequence need to be carefully planned so as to obtain shorter flight distance. Therefore, it is highly complex to obtain the optimal trajectory to achieve these balances. Due to the above problems, it is inefficient to directly recalculate the solution of the new problem once the SNs change. However, it is worth noting that, typically, only a small number of SNs undergo change, so the optimized trajectory for original setups holds promise for rapid trajectory adjustments amidst dynamic changes, thus reducing the computational cost of re-optimizing the trajectory.

With the above consideration, we propose a rechargeable UAV-assisted periodic data collection scheme, where a rechargeable UAV is dispatched to periodically collect data from SNs in the mission area and provided with energy supplement by a wireless charging platform. Different from typical one-flight UAV-enabled systems, our proposed scheme balances UAV flight, data collection, and charging for persistent data collection. To improve the timeliness of data, a periodic data collection completion time minimization problem is formulated. Specifically, the completion time is minimized by optimizing the UAV trajectory, the SNs subset selection during each flight, and the data collection sequence. This optimization ensures that the UAV can be recharged before energy depletion and that each SN can upload a targeted amount of data. However, solving this optimization problem is highly non-trivial since it is non-convex and involves integer variables closely coupled with the UAV trajectory. To address this issue, we propose a periodic trajectory optimization algorithm based on convex optimization and bisection method to minimize the completion time efficiently. Then, aiming at the dynamics of SNs in the persistent tasks, we propose a low-complexity trajectory adjustment strategy based on the historical optimized trajectory, which reduces the computational cost of re-trajectory planning, and improves the adaptability and rapid response ability of dynamic scenarios. The main contributions are summarized as follows:

• We propose a rechargeable UAV-assisted periodic data collection scheme, and formulate a periodic data collection completion time minimization problem by optimizing the UAV trajectory, the SNs subset selection, and the data collection sequence.

• To tackle the formulated problem, we decompose it into the UAV data collection trajectory sub-problem and the SN clustering and visiting order sub-problem. For the UAV data collection trajectory sub-problem, it is converted into a convex problem. Then a successive convex approximation (SCA)-based algorithm is proposed to obtain a Karush-Kuhn-Tucker (KKT) solution.

• The SN clustering and visiting order sub-problem is transformed into an asymmetric vehicle routing problem, and the completion time is proved non-decreasing with the charging times. Then we propose a bisection and heuristic-based algorithm to solve it. Besides, the lower bound of charging times is derived to reduce the solution space. Finally, the completion time is minimized by alternately solving the two sub-problems.

• To deal with the dynamics of SNs, we propose a low-complexity trajectory adjustment strategy that can obtain a suboptimal trajectory while greatly reducing the computational cost. The trajectory can be maintained or adjusted locally at the SNs change without re-optimization.

The rest of the paper is organized as follows. Section II discusses the related works. In Section III, the system model and problem formulation are presented. In Section IV, the periodic trajectory optimization algorithm is developed. In Section V, the solutions in dynamic scenarios are analyzed. In Section VI, simulation results are presented. Section VII concludes this paper.

II Related Works

To address the energy shortage problem of UAVs for persistent data collection missions, the UAV charging technology has become a critical issue in practical applications. Depending on the way of energy replenishment, the UAV battery recharging methods can be divided into two categories: 1) electromagnetic field (EMF)-based and 2) non-electromagnetic field (non-EMF)-based recharging. In EMF-based UAV recharging, the energy can be transmitted via a magnetic or electric field [18]. For example, in [19], a wireless charging platform based on magnetic induction is designed, which can provide sufficient energy for the UAV automatically and the charging efficiency can reach more than 90%. In non-EMF-based UAV recharging, the UAV can be recharged through non-EMF energy sources like laser beams [20] or electromagnetic waves [21]. The authors in [22] used an 850 nm laser source with an emission power of 600 W for UAV charging. However, the laser beams and electromagnetic waves charging require a line-of-sight path from the energy source to the UAV, which may be hard to guarantee due to the obstruction of buildings or obstacles in the mission area. On the other hand, due to the advantages of high efficiency and stability, the EMF-based UAV recharging technology is more feasible in practical applications.

Combined with UAV energy replenishment, UAV-assisted wireless communication networks have been further studied [23] [24]. In [25], the authors proposed a cooperative trajectory planning scheme, where a truck carrying backup batteries moves along with the UAV for data collection. The mission area is first divided into multiple subregions to decide the UAV hovering position, and then the trajectories of the UAV and truck are formulated as a coordinated traveling salesman problem (TSP), which is solved by a three-step trajectory planning algorithm heuristically. In [26], inspired by the aerial refueling scheme, the mission UAVs can be recharged by charging UAVs on the fly. To minimize the mission time, the deep reinforcement learning (DRL) based algorithm is proposed to schedule the flying path and charging process of charging UAVs. In [27], the authors considered the UAV-assisted IoT network where a single UAV is powered by solar energy and charging stations for providing communication services. The action-confined on-policy and off-policy reinforcement learning approaches are proposed to optimize the UAV’s trajectory by jointly considering the average data rate, the total energy consumption, and the fairness of coverage for the IoT devices. It can be found that most of the above works mainly focus on UAV charging mechanisms in the wireless network. However, the rechargeable UAV-assisted real-time persistent data collection of large-scale sensor networks is under investigation. Considering the UAV collecting data within the SN communication coverage during flight, rather than adhering to a binary flying status, introduces various technical complexities in UAV trajectory optimization. In addition, in the face of SNs change, solving the formulated complex optimization problem repeatedly will bring huge computational cost and time consumption, especially in large-scale networks.

Therefore, an inductive wireless charging platform is deployed for UAV charging due to the advantages of high efficiency and automation, based on this, we propose the rechargeable UAV-assisted periodic data collection scheme and study how to minimize the completion time by optimizing the UAV trajectory and deal with dynamic scenarios.

III System Model and Problem Formulation

As shown in Fig. 1, consider a wireless sensor network with $K$ SNs, denoted by the set $\mathcal{K}=\{1,2,...,K\}$, the Cartesian coordinates of which are known and fixed at $\mathbf{w}_{k}\in\mathbb{R}^{2\times 1},k\in\mathcal{K}$. A UAV is dispatched to collect data from all SNs and subsequently returns to the wireless charging platform that is located at $\mathbf{s}\in\mathbb{R}^{2\times 1}$ for recharging due to limited energy. During one round of data collection from all SNs, suppose that UAV needs to return $N$ times for recharging, thus the SNs can be partitioned into $N$ non-overlap** clusters, i.e., $G_{n}\in\mathcal{K},1\leq n\leq N,\bigcup_{n}G_{n}=\mathcal{K},G_{n_{1}}\cap G_{n_{2}}=\emptyset,1\leq n_{1}\neq n_{2}\leq N$. Here, $N$ is a variable to be optimized. Note that the cluster is a subset of SNs in the logical sense, not the spatial sense. After collecting the data of all nodes in one round, the next round of data collection is cycled in the same way.

Figure 1: Rechargable UAV-assisted periodic data collection.

III-A System Model

In this work, the UAV is assumed to fly at a constant altitude $H$ corresponding to authority regulations and safety considerations. In the collection process of a cluster of SNs, the UAV first takes off from the charging platform to the flight altitude, then flys to target SNs to collect data, finally returns to the charging position and lands on the platform for recharging. The UAV is assumed to ascend and descend in constant speed $V_{a}$, then the time of ascending and descending is

$$T_{n,ad}=2\frac{H-H_{C}}{V_{a}},$$ (1)

where $H_{C}$ denotes the altitude of charging platform. Therefore, the corresponding energy consumption is $E_{n,ad}=P_{a}(V_{a})T_{n,ad}$. $P_{a}$ is a function of UAV vertical speed [28],

$$P_{a}(V_{a})=P_{0}+\frac{1}{2}WV_{a}+\frac{1}{2}W\sqrt{V_{a}^{2}+\frac{W}{2\rho A}},$$ (2)

where $W$ is the UAV weight, $\rho$ and $A$ denote the air density and rotor disc area, respectively.

During the data collection process, the UAV location projected onto the horizontal plane is denoted by $\mathbf{q}\in\mathbb{R}^{2\times 1}$, the communication rate between UAV and SN $k$ is assumed to follow the free-space path loss model, i.e.,

$$R_{k}=B\log_{2}\left(1+\frac{P_{t}\beta_{0}}{\sigma^{2}(H^{2}+\|\mathbf{q}-\mathbf{w}_{k}\|^{2})}\right),$$ (3)

where $B$ is the available bandwidth, $P_{t}$ is the transmission power of SNs, $\beta_{0}$ is the reference channel power gain at 1m distance and $\sigma^{2}$ is the power of channel noise. To guarantee the successful decoding and quality of service, the signal-to-noise-ratio (SNR) at the UAV, defined by $\frac{P_{t}\beta_{0}}{\sigma^{2}(H^{2}+\|\mathbf{q}-\mathbf{w}_{k}\|^{2})}$, is required to greater than a pre-specified threshold [29]. Since SNR is monotonically decreasing with the distance between UAV and SNs, this communication requirement can be satisfied by a distance constraint $\|\mathbf{q}-\mathbf{w}_{k}\|\leq d_{th}$, which means that the UAV can only receive data from SN $k$ when it locates in a circular disc with center $\mathbf{w}_{k}$ and radius $d_{th}$, which is named as communication coverage hereafter.

The UAV trajectory in SNs’ communication coverage is represented by $M+1$ waypoints ${\{\mathbf{q}[m]\}}_{m=0}^{M}$ and $M$ time slots ${\{t[m]\}}_{m=1}^{M}$. The length of each segment is sufficiently small, where the distance between the UAV and each SN is approximately unchanged to facilitate the trajectory design. The waypoints of the SN $l$ of the cluster $G_{n}$ are denoted by ${\{\mathbf{q}_{n,l}[m]\}}_{m=0}^{M}$, and the corresponding time slots ${\{t_{n,l}[m]\}}_{m=1}^{M}$. Then the UAV trajectory within the SNs’ communication coverage should satisfy the following constraint

$$\sum_{m=1}^{M}t_{n,l}[m]B\log_{2}\left(1+\frac{\gamma_{0}}{H^{2}+\|\mathbf{q}_{n,l}[m]-\mathbf{w}_{n,l}\|^{2}}\right)\geq Q_{n,l},$$ (4)

$$\forall n,\forall l\in G_{n},$$

where $Q_{n,l}$ is the given SNs’ targeting communication requirement and $\gamma_{0}\triangleq\frac{P_{t}\beta_{0}}{\sigma^{2}}$. Furthermore, the communication time of data collection of $G_{n}$ is given by $T_{n,com}=\sum_{l=1}^{|G_{n}|}\sum_{m=1}^{M}t_{n,l}[m]$, where $|G_{n}|$ is SNs’ number in $G_{n}$.

The propulsion power of the UAV is a function of the horizontal speed [30],

$$P(V)= P_{0}\left(1+\frac{3V^{2}}{U_{tip}^{2}}\right)+P_{i}\left(\sqrt{1+\frac{V^{4}}{4v_{0}^{4}}}-\frac{V^{2}}{2v_{0}^{2}}\right)^{\frac{1}{2}}$$ (5)

$$+\frac{1}{2}d_{0}\rho sAV^{3},$$

where $P_{0}$ and $P_{i}$ represent blade profile power and induced power, respectively. $U_{tip}$ is the tip speed of the rotor blade. $v_{0}$ denotes the mean rotor induced velocity when hovering. $d_{0}$ and $s$ are the fuselage drag ratio and rotor solidity, respectively. Also, $\rho$ and $A$ denote the air density and rotor disc area, respectively. Let $z_{n,l}[m]\triangleq\|\mathbf{q}_{n,l}[m]-\mathbf{q}_{n,l}[m-1]\|$, then the energy consumption of data collection of $G_{n}$ can be obtained,

$$E_{n,com}=\sum_{l=1}^{|G_{n}|}\sum_{m=1}^{M}P\left(\frac{z_{n,l}[m]}{t_{n,l}[m]}\right)t_{n,l}[m].\vspace{-1.5mm}$$ (6)

The UAV is assumed to keep a fixed speed $V_{f}$ between the SNs’ communication coverage, let $[\pi_{n}(1),...,\pi_{n}(|G_{n}|)]$ be the visiting order of SNs in $G_{n}$, then the flying time of data collection of $G_{n}$ can be given by

$$T_{n,fly}=\\ \frac{1}{V_{f}}\sum_{l=0}^{|G_{n}|}\left\|\mathbf{q}_{\pi_{n}(l)}[M]-\mathbf{q}_{\pi_{n}(l+1)}[0]\right\|,\vspace{-1.5mm}$$ (7)

where $\mathbf{q}_{\pi_{n}(0)}[0]=\mathbf{q}_{\pi_{n}(0)}[M]=\mathbf{q}_{\pi_{n}(|G_{n}|+1)}[0]=\mathbf{q}_{\pi_{n}(|G_{n}|+1)}[M]=\mathbf{s}$, and the corresponding energy consumption is $E_{n,fly}=P(V_{f})T_{n,fly}$.

After collecting a cluster of SNs, the UAV will be fully charged for the next cluster data collection, and the wireless charging platform adopts constant power charging mode, therefore the charging time is

$$T_{n,chg}=\frac{E_{n,tot}}{P_{c}},\vspace{-1.5mm}$$ (8)

where $E_{n,tot}=E_{n,com}+E_{n,fly}+E_{n,ad}$, $P_{c}$ denotes the charging power, then the total data collection time in $G_{n}$ is $T_{n,tot}=T_{n,com}+T_{n,fly}+T_{n,ad}+T_{n,chg}$. The key notations used in this paper are summarized in Table I.

TABLE I: Notation and Definition

Notation	Definition
$H$	The altitude of the UAV (m)
$H_{c}$	The altitude of the wireless charging station (m)
$B$	Channel bandwidth (Hz)
$P_{t}$	The transmit power of the UAV (Watt)
$\mathbf{s}$	The (2D) coordinates of the wireless charging station
$\mathbf{w}_{k}$	The (2D) coordinates of the SN $k$
$N$	The number of SN cluster
$G_{n}$	The $n$-th cluster of SNs
$d_{th}$	The SNs’ communication coverage radius (m)
$E_{UAV}$	The UAV’s maximum energy (Joule)

III-B Problem Formulation

Based on the previous discussions, we present an optimization problem with the objective to minimize the periodic completion time of data collection of all SNs, i.e.,

(P1): $$\min_{\genfrac{}{}{0.0pt}{2}{\{\mathbf{q}_{n,l}[m]\},\{t_{n,l}[m]\},}{N,\{x_{n,k}\},\{\pi_{n}(l)\}}}\sum_{n=1}^{N}T_{n,tot}$$ (9)

$$\mathrm{s.t.\ } \text{(4)},$$

$$\|\mathbf{q}_{n,l}[m]-\mathbf{w}_{n,l}\|\leq d_{th},\forall n\in[1,N],\forall l\in G_{n},\forall m,$$ (9a)

$$\|\mathbf{q}_{n,l}[m]-\mathbf{q}_{n,l}[m-1]\|\leq\min\{\Delta_{max},V_{max}t_{n,l}[m]\},$$

$$\forall n\in[1,N],\forall l\in G_{n},\forall m\in[1,M],$$ (9b)

$$\left|\frac{z_{n,l}[m]}{t_{n,l}[m]}-\frac{z_{n,l}[m+1]}{t_{n,l}[m+1]}\right|\leq a_{max},$$

$$\forall n\in[1,N],\forall l\in G_{n},\forall m\in[1,M-1],$$ (9c)

$$\left|\frac{z_{n,l}[0]}{t_{n,l}[0]}-V_{f}\right|\leq a_{max},\forall n\in[1,N],\forall l\in G_{n},$$ (9d)

$$\left|\frac{z_{n,l}[M]}{t_{n,l}[M]}-V_{f}\right|\leq a_{max},\forall n\in[1,N],\forall l\in G_{n},$$ (9e)

$$E_{n,tot}\leq E_{UAV},\forall n\in[1,N],$$ (9f)

$$[\pi_{n}(1),\pi_{n}(2),...,\pi_{n}(|G_{n}|)]\in P_{n},\forall n\in[1,N],$$ (9g)

$$G_{n}=\{k|x_{n,k}=1,k\in\mathcal{K}\},\forall n\in[1,N],$$ (9h)

$$x_{n,k}\in\{0,1\},\forall n\in[1,N],\forall k\in[1,K],$$ (9i)

$$\sum_{n=1}^{N}x_{n,k}=1,\forall k\in[1,K],$$ (9j)

where $x_{n,k}$ are binary variables, and $x_{n,k}=1$ denotes SN $k$ belongs to $G_{n}$, otherwise $x_{n,k}=0$. Constraint in (4) ensures the SNs’ communication throughput requirements. (9a) denotes the UAV can only collect data in SNs’ communication coverage area. The maximum UAV speed and segment length constraint is given by (9b). The maximum UAV accelerated speed is constrained in (9c)-(9e), where $a_{max}$ denotes the maximum speed difference between two consecutive segments. (9f) represents the UAV energy constraint. In (9g), $P_{n}$ denotes all possible permutations of visiting order in $G_{n}$.

Intuitively, the UAV’s flight distance is limited by its battery capacity. If the distance between the SN and the wireless charging platform is large, the constraints in (9f) may not be satisfied and thus (P1) may be infeasible. As a result, we should first analyze the feasibility of the problem (P1).

Proposition 1: (P1) is feasible if and only if $D\leq(E_{UAV}-E_{ad}-E_{com}^{*}(d_{th},Q_{k}))\frac{V_{f}}{2P(V_{f})},\forall k$.

Proof: Please refer to Appendix A. $\blacksquare$

Note that solving the optimization problem (P1) is highly non-trivial since it is non-convex and involves integer variables. To tackle this challenge, the following result is given.

Lemma 1: The optimal UAV data collection trajectory $\{\mathbf{q}_{n,l}[m]\}$, $\{t_{n,l}[m]\}$ can be obtained if given the optimal SN clusters $N^{*}$, $\{x^{*}_{n,k}\}$ and visiting order $\{\pi^{*}_{n}(l)\}$ in each cluster.

Proof: With given optimal SN clusters and SN visiting order in each cluster $N^{*}$, $\{x^{*}_{n,k}\}$, and $\{\pi^{*}_{n}(l)\}$. The completion time is decided by the UAV trajectories in SNs’ communication coverage and then the optimal UAV data collection trajectories $\{\mathbf{q}^{*}_{n,l}[m]\}$, {$t^{*}_{n,l}[m]\}$ can be obtained by $N^{*}$ independent trajectory optimization problems with energy constraints. $\blacksquare$

Inspired by Lemma 1, the problem (P1) will be solved by the optimization of two sub-problems, the UAV data collection trajectory optimization sub-problem and the SN clustering and visiting order optimization sub-problem.

IV UAV Trajectory Optimization for Data Collection Time Minimization

In this section, we first decompose the formulated problem into two sub-problems. Then we discuss the solutions to the two sub-problems and propose a periodic trajectory optimization algorithm by alternatively optimizing the two sub-problems efficiently to solve the main problem.

IV-A UAV Data Collection Trajectory Optimization

For the given SN clusters and SN visiting order in each cluster, the periodic data collection time minimization problem is equivalent to solving $N$ independent and homogeneous sub-problems (P2-n) with n=1,2,…,N in parallel, where $n$th independent sub-problem optimizes UAV data collection trajectory in $n$th cluster of SNs, i.e.,

(P2-n): $$\min_{\{\mathbf{q}_{n,l}[m]\},\{t_{n,l}[m]\}}T_{n,tot}$$ (10)

$$\mathrm{s.t.\ } \text{(4), (9a)-(9f)}.$$

To simplify the expression, the subscript $n$ in (P2-n) is omitted in the following discussion, and the problem can be rewritten as

(P3): $$\min_{\{\mathbf{q}_{l}[m]\},\{t_{l}[m]\}}T_{tot}$$ (11)

$$\mathrm{s.t.\ } \sum_{m=1}^{M}t_{l}[m]B\log_{2}(1+\frac{\gamma_{0}}{H^{2}+\|\mathbf{q}_{l}[m]-\mathbf{w}_{l}\|^{2}})\geq Q_{l},$$

$$\forall l\in G_{n},$$ (11a)

$$\|\mathbf{q}_{l}[m]-\mathbf{w}_{l}\|\leq d_{th},\forall l\in G_{n},\forall m,$$ (11b)

$$\|\mathbf{q}_{l}[m]-\mathbf{q}_{l}[m-1]\|\leq\min\{\Delta_{max},V_{max}t_{l}[m]\},$$

$$\forall l\in G_{n},\forall m\in[1,M],$$ (11c)

$$\left|\frac{z_{l}[m]}{t_{l}[m]}-\frac{z_{l}[m+1]}{t_{l}[m+1]}\right|\leq a_{max},$$

$$\forall l\in G_{n},\forall m\in[1,M-1],$$ (11d)

$$\left|\frac{z_{l}[0]}{t_{l}[0]}-V_{f}\right|\leq a_{max},\forall l\in G_{n},$$ (11e)

$$\left|\frac{z_{l}[M]}{t_{l}[M]}-V_{f}\right|\leq a_{max},\forall l\in G_{n},$$ (11f)

$$E_{tot}\leq E_{UAV},$$ (11g)

where the objective function is expressed as

$$T_{tot}= \left(\frac{1}{V_{f}}+\frac{P(V_{f})}{P_{c}V_{f}}\right)\sum_{l=0}^{|G_{n}|}\|\mathbf{q}_{\pi(l)}[M]-\mathbf{q}_{\pi(l+1)}[0]\|$$ (12)

$$+\frac{P_{0}}{P_{c}}\sum_{l=1}^{|G_{n}|}\sum_{m=1}^{M}\left(\left(1+\frac{P_{c}}{P_{0}}\right)t_{l}[m]+\frac{3}{U_{tip}^{2}}\frac{z_{l}^{2}[m]}{t_{l}[m]}\right)$$

$$+\frac{P_{i}}{P_{c}}\sum_{l=1}^{|G_{n}|}\sum_{m=1}^{M}\left(\sqrt{t_{l}^{4}[m]+\frac{z_{l}^{4}[m]}{4v_{0}^{4}}}-\frac{z_{l}^{2}[m]}{2v_{0}^{2}}\right)^{\frac{1}{2}}$$

$$+\frac{1}{2P_{c}}d_{0}\rho sA\sum_{l=1}^{|G_{n}|}\sum_{m=1}^{M}\frac{z_{l}^{3}[m]}{t_{l}^{2}[m]}+\left(1+\frac{P_{a}(V_{a})}{P_{c}}\right)T_{ad}.$$

However, the objective function (12) and constraints (11a), (11d), (11g) are non-convex. Therefore, we proposed an efficient algorithm to find the high-quality solution to (P3) based on SCA. Firstly, we introduce a set of slack variables to tackle the non-convex terms in (P3). For the objective function in (12) and constraint (11g), we introduce $\{y_{l}[m]\}$, such that

$$y_{l}[m]=\left(\sqrt{t_{l}^{4}[m]+\frac{z_{l}^{4}[m]}{4v_{0}^{4}}}-\frac{z_{l}^{2}[m]}{2v_{0}^{2}}\right)^{\frac{1}{2}},\vspace{-1.5mm}$$ (13)

which is equivalent to

$$\frac{t_{l}^{4}[m]}{y_{l}^{2}[m]}=y_{l}^{2}[m]+\frac{z_{l}^{2}[m]}{v_{0}^{2}}.\vspace{-1.5mm}$$ (14)

For constraint (9a), we introduce $\{A_{l}[m]\},\{d_{l}[m]\}$, such that

$$A_{l}^{2}[m]=t_{l}[m]\log_{2}\left(1+\frac{\gamma_{0}}{H^{2}+d_{l}^{2}[m]}\right),\vspace{-1.5mm}$$ (15)

$$d_{l}[m]=\|\mathbf{q}_{l}[m]-\mathbf{w}_{l}\|.\vspace{-1.5mm}$$ (16)

For constraint (9d), we introduce $\{v_{l}[m]\}$, such that

$$v_{l}[m]=\frac{z_{l}[m]}{t_{l}[m]}.\vspace{-1.5mm}$$ (17)

With the above manipulations, (P3) can be rewritten equivalently as

(P4): $$\min_{\genfrac{}{}{0.0pt}{2}{\{\mathbf{q}_{l}[m]\},\{t_{l}[m]\},\{y_{l}[m]\},}{\{A_{l}[m]\},\{d_{l}[m]\},\{v_{l}[m]\}}}T_{tot}$$ (18)

$$\mathrm{s.t.\ } \frac{t_{l}^{4}[m]}{y_{l}^{2}[m]}\leq y_{l}^{2}[m]+\frac{z_{l}^{2}[m]}{v_{0}^{2}},\forall l\in G_{n},\forall m\in[1,M],$$ (18a)

$$\sum_{m=1}^{M}A_{l}^{2}[m]\geq\frac{Q_{l}}{B},\forall l\in G_{n},$$ (18b)

$$\frac{A_{l}^{2}[m]}{t_{l}[m]}\leq\log_{2}\left(1+\frac{\gamma_{0}}{H^{2}+d_{l}^{2}[m]}\right),$$ (18c)

$$\forall l\in G_{n},\forall m\in[1,M],$$

$$\|\mathbf{q}_{l}[m]-\mathbf{w}_{l}\|\leq d_{l}[m],\forall l\in G_{n},\forall m\in[1,M],$$ (18d)

$$|v_{l}[m]-v_{l}[m+1]|\leq a_{max},$$ (18e)

$$\forall l\in G_{n},\forall m\in[1,M-1],$$

$$v_{l}[m]\geq\frac{z_{l}[m]}{t_{l}[m]},\forall l\in G_{n},\forall m\in[1,M-1],$$ (18f)

$$\text{(11b), (11c), (11e), (11f), (11g)}.\vspace{-1.5mm}$$

Lemma 2: The optimal solution to (P3) can be always obtained by solving the problem (P4).

Proof: Suppose that the optimal solutions to (P3) and (P4) are $P3^{*}$ and $P4^{*}$, respectively. The introduced slack variables $\{\{y_{l}[m]\},\{A_{l}[m]\},\{d_{l}[m]\},\{v_{l}[m]\}\}$ potentially enlarge the feasible region. Therefore, the optimal solution to (P3) provides an upper bound for the solution to (P4), i.e., $P3^{*}\geq P4^{*}$. On the other hand, we can always increase $\{\{A_{l}[m]\},\{v_{l}[m]\}\}$ and decrease $\{\{y_{l}[m]\},\{d_{l}[m]\}\}$ to satisfy all constraints until the strict equality holds. Consequently, the optimal solution $P4^{*}$ can always be achieved by $P3^{*}$, i.e. $P3^{*}\leq P4^{*}$. Therefore, The optimal solution to (P3) can be always achieved by addressing the problem (P4). $\blacksquare$

However, the constraints in (18a), (18b), (18c), and (18f) are still complicated and non-convex. For constraints (18a) and (18b), note that $f(x)=x^{2}$ is a convex function, there is $x^{2}\geq x_{0}^{2}+2x_{0}(x-x_{0})$, where $x_{0}$ is the certain value of the variable $x$. Therefore, given any point $y_{l}^{i}[m],z_{l}^{i}[m]$ and $A_{l}^{i}[m]$, the constraints in (18a) and (18b) can be tightly written as

$$\frac{t_{l}^{4}[m]}{y_{l}^{2}[m]}\leq {y_{l}^{i}}^{2}[m]+2y_{l}^{i}[m]\left(y_{l}[m]-y_{l}^{i}[m]\right)$$ (19)

$$-\frac{1}{v_{0}^{2}}\left({z_{l}^{i}}^{2}[m]+2z_{l}^{i}[m]\left(z_{l}[m]-z_{l}^{i}[m]\right)\right),$$

$$\sum_{m=1}^{M}{A_{l}^{i}}^{2}[m]+2A_{l}^{i}[m]\left(A_{l}[m]-A_{l}^{i}[m]\right)\geq\frac{Q_{l}}{B}.$$ (20)

Similarly, since $f(x)=\log_{2}\left(1+\frac{a}{b+x^{2}}\right)$ is convex regarding $x$, its global linear lower bound is $\log_{2}\left(1+\frac{a}{b+x_{0}^{2}}\right)-\frac{2a}{ln2}\frac{x_{0}(x-x_{0})}{(x_{0}^{2}+b)(x_{0}^{2}+b+a)}$ by applying the first-order Taylor expansion of $f(x)$. Therefore, the constraint (18c) has a lower bound

$$\frac{A_{l}^{2}[m]}{t_{l}[m]}\leq \log_{2}\left(1+\frac{\gamma_{0}}{H^{2}+{d_{l}^{i}}^{2}[m]}\right)$$ (21)

$$-\frac{2\gamma_{0}}{ln2}\frac{d_{l}^{i}[m]\left(d_{l}[m]-d_{l}^{i}[m]\right)}{\left(H^{2}+{d_{l}^{i}}^{2}[m]\right)+\left(H^{2}+{d_{l}^{i}}^{2}[m]+\gamma_{0}\right)}.$$

Based on convex function $(x+y)^{2}$ and its lower bound $2(x_{0}+y_{0})(x+y)-(x_{0}+y_{0})^{2}$, constraint (18f) can be tightly written as

$$v_{l}[m]t_{l}[m] =\frac{1}{2}\left(\left(v_{l}[m]+t_{l}[m]\right)^{2}-v_{l}^{2}[m]-t_{l}^{2}[m]\right)$$ (22)

$$\geq\left(v_{l}^{i}[m]+t_{l}^{i}[m]\right)\left(v_{l}[m]+t_{l}[m]\right)$$

$$\quad\ -\frac{1}{2}\left({v_{l}^{i}}^{2}[m]+{t_{l}^{i}}^{2}[m]\right)^{2}-\frac{1}{2}v_{l}^{2}[m]-\frac{1}{2}t_{l}^{2}[m]$$

$$\geq z_{l}[m].$$

Thus, we can obtain an upper-bounded solution to (P4) by addressing the following convex problem:

(P5): $$\min_{\genfrac{}{}{0.0pt}{2}{\{\mathbf{q}_{l}[m]\},\{t_{l}[m]\},\{y_{l}[m]\},}{\{A_{l}[m]\},\{d_{l}[m]\},\{v_{l}[m]\}}}T_{tot}$$ (23)

$$\mathrm{s.t.\ } \text{(11b), (11c), (11e), (11f), (11g), (18d), (18e), (19)-(22)}.\vspace{-1.5mm}$$

(P5) can be solved using standard convex optimization techniques like CVX. Finally, by successively updating the local point at each iteration via solving (P5), the algorithm to solve (P3) is obtained and summarized in Algorithm 1.

Algorithm 1 SCA-Based Algorithm for solving (P3)

1:  Initialize $\{\mathbf{q}_{l}^{i}[m]\},\{t_{l}^{i}[m]\}$, and set the iteration round $i=0$.

2:  repeat

3:     Calculate the current slack variables values $\{y_{l}^{i}[m]\},\{A_{l}^{i}[m]\},\{d_{l}^{i}[m]\},\{v_{l}^{i}[m]\}$.

4:     Solve the convex problem (P5) and obtain the optimal solution $\{\mathbf{q}_{l}^{*}[m]\},\{t_{l}^{*}[m]\}$, and denotes the optimal value as $T_{tot}^{i}$.

5:     Update the local optimization variables as $\{\mathbf{q}_{l}^{i+1}[m]\}=\{\mathbf{q}_{l}^{*}[m]\},\{t_{l}^{i+1}[m]\}=\{t_{l}^{*}[m]\}$.

6:     Update $i=i+1$.

7:  until Convergence is attained or maximal iteration round is achieved.

IV-B SN Clustering and Visiting Order Optimization

Next, for the given UAV data collection trajectories in SNs’ communication coverage, the problem is to optimize the SN clusters and the visiting order in each cluster, i.e.,

(P6): $$\min_{N,\{x_{n,k}\},\{\pi_{n}(l)\}}\left(\frac{1}{V_{f}}+\frac{P(V_{f})}{P_{c}V_{f}}\right)\sum_{n=1}^{N}D_{n}+NT_{0}$$ (24)

$$\mathrm{s.t.\ } \text{(9f)-(9j)},\vspace{-1.5mm}$$

where $D_{n}=\sum_{l=0}^{|G_{n}|}\|\mathbf{q}_{\pi_{n}(l)}[M]-\mathbf{q}_{\pi_{n}(l+1)}[0]\|$, $T_{0}$ is constant about UAV takeoff and landing. Since $\{\mathbf{q}_{n,l}[m]\}$ and $\{t_{n,l}[m]\}$ are fixed, and the constraint (9f) can be expressed as

$$D_{n}\leq\frac{V_{f}}{P(V_{f})}(E_{UAV}-E_{n,com}-E_{n,ad}),\forall n\in[1,N].\vspace{-1.5mm}$$ (25)

Theorem 1: Problem (P6) is NP-hard.

Proof: Note that when $N$ is given in advance, (P6) can be described as an asymmetric distance constrained vehicle routing problem (ADCVRP) [31]. Given a set of $K$ points and $N$ vehicles, as well as an asymmetric distance matrix specify the distance from one point to another point. Each vehicle starts and returns from the same starting point, each point is visited exactly once by only one vehicle, and there is a limit on the distance each vehicle can travel. The ADCVRP’s objective is to minimize the total distance traveled by all vehicles, which is NP-hard. In (P6), the distance matrix can be expressed as $d_{ij}=\|\mathbf{q}_{i}[M]-\mathbf{q}_{j}[0]\|$ and $d_{ji}=\|\mathbf{q}_{j}[M]-\mathbf{q}_{i}[0]\|$, $\forall i,j\in\mathcal{K}\cup\mathbf{s},i\neq j$, and the distance constraint corresponds to the energy consumption constraint of the UAV. Since (P6) is the ADCVRP with unknown vehicle numbers, which is a more complex version, as a result, (P6) is also NP-hard. $\blacksquare$

Although (P6) is an NP-hard problem that makes it difficult to find an optimal solution, the solution of (P6) can still be accelerated by searching for the optimal $N$ first.

Lemma 3: The optimal solution to problem (P6) is obtained at the minimum of $N$ in its feasible set.

Proof: In the case that the constraint (25) is satisfied, suppose that for $N=N_{1}$, the optimal solution of (P6) is $p_{N_{1}}^{*}$. If $N=N_{2}$ and $N_{2}$ is larger than $N_{1}$, it is equivalent to splitting some loops out of $N_{1}$ loops, then the total distance will increase. Furthermore, the second term of the objective function in (P6) increases linearly with $N$. Therefore, $p_{N_{1}}^{*}\leq p_{N_{2}}^{*}$, where $p_{N_{2}}^{*}$ is the optimal solution of (P6) when $N=N_{2}$. $\blacksquare$

Proposition 2: The lower bound of the UAV charging times is $N^{lb}=\left\lceil\frac{(E_{tot}^{1-flight})^{*}}{E_{UAV}}\right\rceil.$

Proof: Please refer to Appendix B. $\blacksquare$

Inspired by Lemma 3, the objective function of (P6) is non-decreasing with $N$, therefore the optimal solution can be found by using bisection search over the cluster number $N$ with constraint (25) holds. According to Proposition 2, the lower bound of charging times can be used to improve the computational efficiency of bisection. With given $N$, to tackle the constraint (25), it is added to the objective function through the penalty function method, therefore we can formulate

(P7): $$\min_{\{x_{n,k}\},\{\pi_{n}(l)\}}\left(\frac{1}{V_{f}}+\frac{P(V_{f})}{P_{c}V_{f}}\right)\sum_{n=1}^{N}D_{n}+$$

$$\epsilon\sum_{n=1}^{N}\max\left\{0,D_{n}-\frac{V_{f}}{P(V_{f})}(E_{UAV}-E_{n,com}-E_{n,ad})\right\}$$ (26)

$$\mathrm{s.t.\ } \text{(9g)-(9j)},\vspace{-1.5mm}$$

where $\epsilon$ is the penalty factor, which is set to a large positive number, such that the second term of the objective function in (P7) will be very large when constraint (25) is unsatisfied.

Note that (P7) is an equivalent instance of an asymmetric vehicle routing problem, the high-quality approximate solutions can be efficiently found by existing algorithms like a genetic algorithm (GA). Therefore, the problem (P6) can be efficiently solved through bisection search over $N$ and solutions of (P7), the algorithm of solving (P6) is summarized in Algorithm 2.

Algorithm 2 Bisection search and GA-based Algorithm for solving (P6)

1:  Initialize $N^{lb}=\left\lceil\frac{(E_{tot}^{1-flight})^{*}}{E_{UAV}}\right\rceil,N^{ub}=K$, denote the optimal solution of (P7) is $p_{N}$ with cluster number is $N$.

2:  repeat

3:     Update $N=\lceil\frac{N^{lb}+N^{ub}}{2}\rceil$.

4:     Solving (P7) using a heuristic algorithm like GA, and obtain the optimal solution $\{x_{n,k}\},\{\pi_{n}(l)\}$.

5:     if $p_{N}\leq p_{K}$ then

6:        Update $N^{ub}=N$.

7:     else

8:        Update $N^{lb}=N$.

9:     end if

10:  until $N^{ub}-N^{lb}\leq 1$.

IV-C Periodic Trajectory Optimization Algorithm

Based on the discussions in Sections III-A and III-B, the periodic trajectory optimization (PTO) algorithm is further proposed to solve the problem (P1). Corresponding to the two sub-problems, the proposed algorithm consists of two stages. In the first stage, for the given SN clusters and SN visiting order in each cluster, using Algorithm 1 to solve (P2-n) with n=1,2,…,N in parallel and find a set of more optimized data collection trajectories. In the second stage, using Algorithm 2 to solve (P6) with data collection trajectory obtained in the first stage and find more optimized SN clusters and SN visiting order. The proposed PTO algorithm alternatively performs the two stages until the objective value of (P1) converges, the details are summarized in Algorithm 3.

Algorithm 3 Periodic Trajectory Optimization Algorithm for solving (P1)

1:  Initialize $N^{i}=K$, calculate the $\{x_{n,k}^{i}\},\{\pi_{n}^{i}(l)\}$, set $i=0$.

2:  repeat

3:     Solving the set of problems (P2-n) (n=1,2,…,$N^{i}$) with $N^{i},\{x_{n,k}^{i}\},\{\pi_{n}^{i}(l)\}$ by using Algorithm 1 to obtain the optimized solution $\{\mathbf{q}_{n,l}^{i}[m]\},\{t_{n,l}^{i}[m]\}$.

4:     Solving (P6) with $\{\mathbf{q}_{n,l}^{i}[m]\},\{t_{n,l}^{i}[m]\}$ by using Algorithm 2, and obtain the optimal solution $N^{i+1},\{x_{n,k}^{i+1}\},\{\pi_{n}^{i+1}(l)\}$.

5:     Update $i=i+1$.

6:  until The objective value of (P1) converges.

IV-D Analysis of Bounds

The upper bound of (P3): By introducing a set of slack variables, the problem (P3) can be equivalently transformed to (P4) (c.f. Lemma 2). Through the tighter bounds in (19)-(22), the (P4) is transformed into a convex problem (P5). Note that if the constraints of problem (P5) are satisfied, then those for the original problem (P4) are guaranteed to be satisfied as well, but the reverse is not necessarily true. Thus the solution space of (P5) is a subset of that of (P4), and the optimal value of (P5) provides an upper bound to that of (P4) and (P3). By following the analysis in [32], it can be shown that Algorithm 1 is guaranteed to converge to at least a solution that satisfies the KKT conditions of the problem (P4).

The lower bound of (P6): From Theorem 1, (P6) is proved to be an instance of an ADCVRP. Let $G=(V,E)$, where $V=\{0,1,...,K\}$ denotes the set of nodes, $0$ is the index of the charging platform, $E$ denotes the set of edges, $E={(i,j)\in V\times V:i\neq j}$. The TSP formulation can be obtained by adding $N-1$ copies of the charging platform to $V$. Now, there are $N+K$ nodes in the new graph $G^{\prime}=(V^{\prime},E^{\prime})$, where $V^{\prime}=V\cup\{K+1,...,K+N-1\}$. Then the distance matrix $D^{\prime}=[d^{\prime}_{ij}]$ can be obtained as:

$$d^{\prime}_{ij}=\begin{cases}d_{ij},i,j\in[0,K],i\neq j\\ d_{i0},i\in[1,K],j\in[K+1,K+N-1]\\ d_{0j},i\in[K+1,K+N-1],j\in[1,K]\\ \infty,otherwise\end{cases}.\vspace{-1.5mm}$$ (27)

When the distance constraint in (25) is relaxed, the ADCVPR can be transformed into an asymmetric TSP as follows [33]:

$$\min_{X}\sum_{(i,j)\in E^{\prime}}d^{\prime}_{ij}x_{ij}$$ (28)

$$\mathrm{s.t.\ } \sum_{i\in V^{\prime}}x_{ij}=1,\forall j,$$ (28a)

$$\sum_{j\in V^{\prime}}x_{ij}=1,\forall i,$$ (28b)

$$\sum_{i,j\in U}x_{ij}\leq|U|-1,\forall U\in V^{\prime}/{0},|U|\geq 2,\vspace{-1.5mm}$$ (28c)

where $x_{ij}=1$ if the edge $(i,j)$ belongs to any tour and $i\neq j$, otherwise it is 0. The constraint (28c) eliminates subtours, where $U$ is any subset of $V^{\prime}/{0}$. Similar to [34], the above problem can be converted into a symmetric TSP as follows: Construct the new distance matrix $\widetilde{D}=\begin{bmatrix}H&{D^{\prime}}^{T}\\ D^{\prime}&H\end{bmatrix}$ , where $H$ is a (N+K)-dimensional square matrix and $h_{ij}=\infty,\forall i,j$. According to [35], the optimal solution of the new symmetric problem is equal to that of the original asymmetric problem. When $N=N^{lb}$, the optimal solution of the new symmetric problem provides a lower bound of (P6), which can be obtained by finding the looped minimum 1-tree, if the distance constraint is satisfied, it is the optimal solution of (P6).

IV-E Complexity Analysis

The computational complexity of the proposed PTO algorithm mainly depends on the complexity of Algorithms 1 and 2. For Algorithm 1, we use CVX to solve the problem (P5). Since CVX uses an interior-point method to solve an optimization problem, the computational complexity of solving the problem (P5) is approximately $O((L(7M+2))^{3.5})\log(1/\varepsilon)$, where $L(7M+2)$ is the total number of optimization variables in (P5), i.e., the total number of elements in $\{\{\mathbf{q}_{l}[m]\},\{t_{l}[m]\},\{y_{l}[m]\},\{A_{l}[m]\},\{d_{l}[m]\},\{v_{l}[m]\}\}$, and $\varepsilon$ is a given solution accuracy [36]. Thus it is estimated that the complexity of Algorithm 1 is approximately $O(I_{1}(L(7M+2))^{3.5})\log(1/\varepsilon)$, where $I_{1}$ is the number of iterations. For Algorithm 2, its computational complexity mainly depends on the bisection method and GA algorithm. The computational complexity of the bisection is $O(\log(N^{ub}-N^{lb}+1))$. The computational complexity of GA algorithm is $O(PK+I_{2}(2PK+3P))$, where $P$ is the population size, $K$ is the chromosome size, and $I_{2}$ is the number of iterations. Therefore, the total computational complexity of the proposed PTO algorithm is approximately $O(I_{3}((I_{1}(K(7M+2))^{3.5})\log(1/\varepsilon)+\log(N^{ub}-N^{lb}+1)(PK+I_{2}(2PK+3P))))$, where $I_{3}$ is the number of iterations.

(a) Disjoint with the optimized trajectory.

(b) Intersecting the optimized trajectory.

Figure 2: The location of the new node.

(a) At the turn of the optimized trajectory.

(b) At the straight line of the optimized trajectory.

Figure 3: The location of the failure node.

V Solutions With Dynamic Scenarios

In this section, we consider the local optimized trajectory re-planning for dynamic scenarios. To reduce the computational cost caused by re-planning the global trajectory, we analyze the local trajectory adjustment strategy under different SNs change scenarios. Generally, the changes of SNs can be divided into two categories: the SN addition and the SN failure. In practice, this could correspond to the scenarios where the new SNs are deployed for more extensive and detailed monitoring or the original SNs fail due to fault or power supply.

V-A SN Addition

1) Scenario (a), The new SN’s communication coverage does not intersect the optimized trajectory: As illustrated in Fig. 2(a), in this case, the $s_{4}$ is the new node, then the nearest node to the new node should be found, and insert $s_{4}$ to the trajectory that minimizes the total length, i.e. the SN visiting order should change from $\{s_{1},s_{2},s_{3}\}$ to $\{s_{1},s_{2},s_{4},s_{3}\}$.

Remark 1: Let $s_{i}$ and $s_{i+1}$ be two adjacent SNs on the original trajectory and $s_{j}$ be a new SN, then there must exist $i$ such that $s_{i}s_{j}+s_{j}s_{i+1}-s_{i}s_{i+1}$ is minimal. Therefore, inserting $s_{j}$ between $s_{i}$ and $s_{i+1}$ can minimize the length of the new trajectory.

Thus, a suboptimal trajectory can be constructed by disconnecting $\overline{s_{2,o}s_{3,i}}$ and then connecting $\overline{s_{2,o}\mathbf{w}_{4}}$ and $\overline{\mathbf{w}_{4}s_{3,i}}$, where $s_{2,o}$ is the exit point of $s_{2}$’s coverage, and $s_{3,i}$ is the entry point of $s_{3}$’s coverage on the original optimized trajectory.

However, since the data collection of new nodes will bring additional flight distance and thus increase energy consumption, to make the data collection in the new visiting order still feasible (i.e. to meet the energy consumption constraint of UAV), a tight constraint can be set:

$$\frac{\|s_{2,o}-\mathbf{w}_{4}\|+\|\mathbf{w}_{4}-s_{3,i}\|-\|s_{2,o}-s_{3,i}\|}{V_{f}}P(V_{f})+\frac{Q}{R_{h}}P_{h}$$ (29)

$$\leq E_{UAV}-E_{tot},$$

where $R_{h}$ and $P_{h}$ denote the communication rate and UAV’s power when hovering above the SN, respectively, $E_{tot}$ is the total energy consumption of the original optimized trajectory. Then, the new trajectory can be optimized with the new visiting order by setting the initial point and final point to $s_{1,i}$ and $s_{3,o}$.

Theorem 2: Given the objective value $T$ of the original problem and the distance $L$ from the new SN to the optimized trajectory, The gap between the total completion time of the constructed suboptimal trajectory and the new optimal trajectory is bounded by $\left(\frac{2L}{V_{f}}+\frac{Q}{R_{h}}\right)/T$.

Proof: The total completion time of the constructed suboptimal trajectory can be expressed as $T+\Delta T$, $\Delta T\leq\frac{\sqrt{d^{2}+4L^{2}}-d}{V_{f}}+\frac{Q}{R_{h}}$, where $d=\|s_{2,o}-s_{3,i}\|$. Assuming that $T^{\prime}$ is the optimal objective value for the problem with new SN, then the following inequation can be obtained:

$$\frac{T+\Delta T}{T^{\prime}}\leq\frac{T+\frac{\sqrt{d^{2}+4L^{2}}-d}{V_{f}}+\frac{Q}{R_{h}}}{T^{\prime}}<\frac{T+\frac{2L}{V_{f}}+\frac{Q}{R_{h}}}{T}.$$ (30)

$\blacksquare$

Theorem 2 states that if the UAV has enough residual energy to support the data collection of a new SN with the trajectory represented by the green dashed line in Fig. 2(a), the gap between the completion time of the trajectory and the corresponding optimal trajectory is mainly determined by the distance between the new SN and the original optimal trajectory $L$. If the length of the original optimal trajectory is much larger than $L$ or $L$ is small, the gap can be ignored and the constructed trajectory has high quality and low complexity.

2) Scenario (b), The new SN’s communication coverage intersects the optimized trajectory: As illustrated in Fig. 2(b), if the new SN’s communication coverage is passed by the optimized trajectory, the UAV’s data collection time can be obtained as $T=\frac{2\sqrt{d_{th}^{2}-d_{0}^{2}}}{V_{f}}$, where $d_{0}$ is the distance from the new SN to the optimized trajectory. Thus, the amount of data collected by the UAV can be expressed as

$$\tilde{Q}= B\int_{0}^{T}\log_{2}\left(1+\frac{\gamma_{0}}{H^{2}+(d_{th}-V_{f}t)^{2}}\right)dt$$ (31)

$$= \frac{2B}{V_{f}\ln{2}}\left(\sqrt{d_{th}^{2}-d_{0}^{2}}\ln{\frac{H^{2}+d_{th}^{2}+\gamma_{0}}{H^{2}+d_{th}^{2}}}\right.$$

$$+2\sqrt{H^{2}+d_{0}^{2}+\gamma_{0}}\arctan\frac{\sqrt{d_{th}^{2}-d_{0}^{2}}}{2\sqrt{H^{2}+d_{0}^{2}+\gamma_{0}}}$$

$$\left.-2\sqrt{H^{2}+d_{0}^{2}}\arctan\frac{\sqrt{d_{th}^{2}-d_{0}^{2}}}{2\sqrt{H^{2}+d_{0}^{2}}}\right).$$

Theorem 3: Given the optimal solution $\Phi^{*}=\{N^{*},\{x^{*}_{n,k}\},\{\pi^{*}_{n}(l)\},\{\mathbf{q}^{*}_{n,l}[m]\},\{t^{*}_{n,l}[m]\}\}$ of the original problem, if the new SN satisfies the condition $\tilde{Q}\geq Q$, where $Q$ is the SN’s communication throughput requirement, then $\Phi^{*}$ is also the optimal solution to the new problem.

Proof: Since the data collection of the new node means increasing the flight distance and energy consumption of UAV, thus $T^{\prime}\geq T$, where $T^{\prime}$ and $T$ denote the total completion time of the new problem and the original problem, respectively. If $\tilde{Q}\geq Q$ is satisfied, then $\Phi^{*}$ satisfies all the constraints of the new problem and the corresponding objective value is $T$, therefore, $\Phi^{*}$ is the optimal solution of the new problem. $\blacksquare$

Theorem 3 states that if the distance between the new SN and the original optimal trajectory is less than a threshold, which can be solved by equation (31) and related to SN throughput requirement and communication coverage, then the optimal solution to the new problem remains consistent with the original solution.

V-B SN Failure

1) Scenario (a), The failure node is at the turn of the optimized trajectory: As illustrated in Fig. 3(a), the failure node is $s_{1}$, then it will be deleted directly in this collection, and the new trajectory will link the two adjacent nodes of the failure node. Thus the visiting order changes from $\{s_{1},s_{2},s_{3}\}$ to $\{s_{2},s_{3}\}$. Since the flight path is shortened by not collecting data from the failed node, the new trajectory is feasible and can be optimized with the new visiting order by setting the initial point and final point to $s$ and $s_{3,o}$.

2) Scenario (b), The failure node is at the straight line of the optimized trajectory: As illustrated in Fig. 3(b), the failure node is $s_{2}$, in this case, similar to the Scenario (b) in Section V-A, the original optimized trajectory is still the new optimized trajectory. The main reason is that the extra energy is not enough to collect new SN data on the current path.

VI Simulation and Results Analysis

TABLE II: Parameter Settings

Parameters	Value
The wireless charging platform position $\mathbf{s}$	(2500, 2500)
The UAV’s maximum speed $V_{max}$	30 m/s
The UAV’s vertical speed $V_{a}$	6 m/s
The UAV’s flight speed $V_{f}$	18 m/s
The UAV’s maximum acceleration speed $a_{max}$	5 m/s
The SNs’ communication coverage radius $d_{th}$	[50, 500] m [37]
The SNs’ communication throughput $Q$	[1, 250] Mbits
The UAV’s maximum energy $E_{UAV}$	[50, 175] KJ
The wireless charging power $P_{c}$	150 W

Figure 4: Convergence of Algorithm 3.

(a) Greedy-based algorithm (3478.8s).

(b) Optimized Hmode algorithm (3214.0s).

(c) PTO algorithm (2068.6s).

Figure 5: UAV trajectories with different algorithms ($Q$=100Mbits, $E_{UAV}$=100KJ).

This section provides numerical results to validate the proposed algorithms. The UAV altitude is set as $H$ = 100 m and the charging platform altitude is set as $H_{C}$ = 15 m. We consider a sensor network with $K$ = 20 SNs, and the SNs are uniformly and randomly located in a square area, whose side length is equal to 5 km. The total communication bandwidth is $B$ = 1 MHz, the SN’s transmit power is set as $P_{t}$ = 0.1 W, the noise power is -110 dBm, the channel power gain $\beta_{0}$ at the reference distance of 1 m is set as -60 dB. The UAV energy related parameters are set based on [30], where $U_{tip}^{2}=120$, $v_{0}=4.03$, $d_{0}=0.6$, $\rho=1.225$, $s=0.05$, $A=0.503$, $P_{0}=79.86$, $P_{i}=88.63$ and $W=20$. The other parameters are shown in Table II, and the simulation tool is MATLAB.

For evaluation, the proposed algorithm is compared with two benchmarks: a greedy-based algorithm and an optimized Hmode algorithm. In both benchmarks, the UAV collects data by hovering above the SNs. The greedy-based algorithm first designs the shortest trajectory that the UAV can collect all the SNs’ data in one flight, and then the UAV returns to recharge when its energy is insufficient while flying along the shortest trajectory. Compared to the greedy-based algorithm, the optimized Hmode algorithm has optimal SN clusters and SN visiting orders in each flight.

First, we investigate the convergence of the proposed PTO algorithm. Fig. 4 shows the UAV’s completion time with the number of iterations in different UAV energy and SN communication requirements. It can be seen that the completion time converges within a few iterations, which demonstrates the efficiency of the proposed algorithm.

Figure 6: Time allocation with different algorithms ($Q$=100Mbits, $E_{UAV}$=100KJ).

Figure 7: Completion time versus the number of SNs ($Q$=100Mbits, $E_{UAV}$=100KJ).

Figure 8: Completion time versus the UAV energy ($Q$=150Mbits).

Fig. 5 shows the UAV trajectories obtained by different algorithms, where the black dots and circles are SNs and their communication coverage, and the triangle represents the wireless charging platform. Specifically, the completion time of the benchmarks is 68.2% and 55.4% higher than that of the proposed algorithm, respectively. It can be seen that the trajectory obtained by the proposed algorithm is smoother in SNs’ communication coverage and returns less for recharging as compared to that obtained by the benchmarks. The main reason is that, in the proposed algorithm, the trajectories in SNs’ communication coverage achieved the balance between collection and flight time, based on which, the SN clusters and flight path in each cluster are optimized for shorter flight distance and less energy consumption to obtain the UAV trajectory. Hence, the complete time achieved by the proposed algorithm is shorter.

Fig. 6 shows the time allocation of data collection, flight, and charging in the total task completion time of the UAV under different algorithms. Since the benchmark algorithms both collect data by hovering above the node, they have the same collection time. Compared with the greedy-based algorithm, the optimized Hmode algorithm optimizes the SN visiting order, so the flight time is shorter, the flight energy consumption is saved, and the charging time is reduced, resulting in a shorter total completion time. Due to the proposed PTO algorithm adopting the method of data collection during the flight within the communication coverage, although the collection time is increased, the collection energy consumption is reduced. More nodes are collected at one time, and the total flight distance and flight time are reduced, thus the energy consumption and charging time are reduced, and the completion time is reduced.

As shown in Fig. 7, the completion time achieved by the proposed PTO algorithm is very close to the lower bound, the average gap is about 3.9%. In particular, when the number of SNs is 30, the difference between the completion time of the proposed PTO algorithm and the lower bound is 0.7%. In addition, it can be seen from Fig. 7 that as the number of SNs increases, the completion time gradually increases. The completion times of the proposed algorithm at different numbers of SNs are on average about 45.8% and 38.1% lower than that of the two benchmarks, respectively.

It is observed from Fig. 8 that the completion time achieved by the proposed algorithm under the two benchmarks decreases as the UAV’s maximum energy increases since the UAV can collect more SNs in one flight. Under different UAV maximum energy, the completion time of the PTO algorithm is on average 38.9% and 34.0% lower than the benchmarks, respectively. As the UAV’s maximum energy continues to increase, the SN clusters and collection order are fixed, resulting in convergence of completion time.

Figure 9: Completion time versus the SN communication throughput requirement ($E_{UAV}$=100KJ).

Figure 10: UAV trajectory versus the UAV energy ($Q$=150Mbits).

Figure 11: UAV trajectory versus the SN communication throughput requirement ($E_{UAV}$=100KJ).

Figure 12: Completion time versus the SN coverage ($Q$=150Mbits, $E_{UAV}$=100KJ).

Figure 13: UAV trajectory versus the SN coverage ($Q$=150Mbits, $E_{UAV}$=100KJ).

Fig. 9 shows the completion time for different communication throughput requirements. It can be seen that with the increase in communication throughput demand, the completion time also increases. The main reason is the increase in time for the UAV to collect data from SNs and the recharging time caused by higher energy consumption. Compared with the greedy algorithm and the optimized Hmode algorithm, the completion time of the proposed PTO algorithm is reduced by 39.1% and 32.0% on average, respectively.

It can be seen from Fig. 10 that the trajectory of the UAV differs under different energy limitations. The energy of the UAV affects the number of times the UAV returns to the charging platform for charging. When the UAV’s energy is 50KJ, the UAV needs to return 9 times to complete the data collection of all SNs, while when the UAV’s energy increases to 100KJ, as shown by the red solid line trajectory in the figure, the UAV only needs to return to the charging platform 3 times, greatly reducing the total task completion time.

Fig. 11 shows the UAV trajectory under different communication requirements. The amount of data affects the UAV flight trajectory within the SN’s communication coverage. When the data amount is large, the UAV tends to fly directly above the SN, because this can improve the communication rate and reduce the data collection time. However, when the amount of data is small, the UAV only needs to fly over the edge of the SN communication coverage to meet the communication requirements, thus reducing the total flight distance and time.

Fig. 12 and Fig. 13 show the total completion time and UAV’s trajectory during the data collection mission under different SN communication coverages. It can be seen that as the SN communication coverage increases, the total task completion time decreases. The main reason is that when the communication coverage is larger, the UAV can start data collection earlier, and it does not need to fly closer to the SN to complete the data collection task, which reduces the total flight distance and therefore the flight time. In addition, the flight energy consumption is also reduced, allowing the UAV to collect data from more SNs at once, then reducing charging time, and ultimately reducing the completion time.

Furthermore, as the SNs’ communication coverage increases, the overlapped communication areas will appear, as shown in Fig. 14, the red line represents the flight path between the SNs, and the color bold curves represent the data collection trajectories for different SNs. It can be seen that in the overlapped areas, the UAV can select different SNs for data collection flexibly through the proposed algorithm, thus obtaining a shorter path and completion time.

For the dynamic scenarios with SNs change, when the new SN’s communication coverage intersects the optimized trajectory, as shown in Fig. 15, if the condition $\tilde{Q}\geq Q$ is satisfied, then the optimal trajectory of the new problem is the same as that of the original problem (c.f. Fig. 5(c)). In Fig. 16, a similar result is also shown when SN fails at the straight line of the original optimized trajectory.

Figure 14: UAV trajectory under overlapped SNs’ communication coverage ($d_{th}=500m$).

Figure 15: SN addition.

Figure 16: SN failure.

VII Conclusion

This paper investigated the UAV-assisted persistent data collection in large-scale sensor networks. We proposed a rechargeable UAV-assisted periodic data collection scheme, and formulated an optimization problem aimed at minimizing the periodic completion time by optimizing the UAV data collection trajectory, the SNs subset selection, and the data collection sequence. The formulated problem was decomposed into two sub-problems and addressed by leveraging SCA, bisection, and heuristic method. Then, we proposed a periodic trajectory optimization algorithm to iteratively solve the two sub-problems to minimize the completion time. Furthermore, to deal with the dynamics of SNs, we proposed a low-complexity trajectory adjustment strategy that can significantly mitigates the computation cost of recalculation. The simulation results showed the superiority and robustness of the proposed scheme and the completion time is on average 39% and 33% lower than the two benchmarks, respectively. In the future, we expect to investigate the multi-UAV trajectory optimization and charging strategy for real-time data collection in large-scale mobile sensor scenarios, which can enhance the universality and applicability in diverse application scenarios.

Figure 17: The feasibility condition of (P1).

Appendix A Proof of Proposition 1

To enable the UAV to complete the task of data collection, the distance between the SN and the charging platform should be limited. Otherwise, when the distance is too large, the UAV may not have enough energy to return after collecting data or even fail to collect data. Therefore, as shown in Fig. 17, the UAV should meet the following requirements when collecting data,

$$E_{ad}+2P(V_{f})\frac{D}{V_{f}}+E_{com}\leq E_{UAV}.\vspace{-1.5mm}$$ (32)

Then, we can obtain

$$D\leq(E_{UAV}-E_{ad}-E_{com})\frac{V_{f}}{2P(V_{f})}.\vspace{-1.5mm}$$ (33)

Since $E_{UAV}$, $E_{ad}$, and $V_{f}$ are constants, the maximum value of $D$ should be obtained when $E_{com}$ takes the minimum value. The minimum value of $E_{com}$ can be obtained by solving the following problem,

$$\min_{\{\mathbf{q}[m]\},\{t[m]\}}E_{com}$$ (34)

$$\mathrm{s.t.\ } \text{(11a)-(11f)}.\vspace{-1.5mm}$$

The above problem can be solved in the same way as Section III-A. Denote by $E_{com}^{*}$ the optimal solution to the problem. Therefore, (P1) is feasible if and only if $D\leq(E_{UAV}-E_{ad}-E_{com}^{*}(d_{th},Q_{k}))\frac{V_{f}}{2P(V_{f})},\forall k$, which completes the proof.

In addition, since $d_{th}$ is usually much smaller than $D$ in a real scenario, then $d_{th}$ can approximately be 0. In this case, the collection energy can be expressed as $\frac{Q_{k}P_{h}}{B\log_{2}\left(1+\frac{P_{t}\beta_{0}}{\sigma^{2}H^{2}}\right)}$, then the feasibility condition of (P1) can be written as $D\leq(E_{UAV}-E_{ad}-\frac{Q_{k}P_{h}}{B\log_{2}\left(1+\frac{P_{t}\beta_{0}}{\sigma^{2}H^{2}}\right)})\frac{V_{f}}{2P(V_{f})},\forall k$, where $P_{h}=P_{0}+P_{i}$, is the UAV hovering power.

Appendix B Proof of Proposition 2

When the UAV has sufficient energy, the UAV can complete the data collection task of all SNs in one flight. In this case, the minimum energy consumption of the UAV can be used to calculate the lower bound of the number of charging times of the UAV returning to the charging platform in the actual situation. Therefore, a UAV energy minimization problem for data collection in one flight is formulated as follows:

$$\min_{\{\pi(k)\},\{\mathbf{q}_{k}[m]\},\{t_{k}[m]\}}E^{1-flight}_{tot}$$ (35)

$$\mathrm{s.t.\ } \text{(4), (9a)-(9e), (9g)}.\vspace{-1.5mm}$$

Similar to (P1), the objective function is replaced by the total energy consumption, and $N=1,l=k,G_{n}=\mathcal{K}$. Although this problem is non-convex, it can also be solved by leveraging the TSP solution for ${\pi(k)}$ and SCA method for$\{\{\mathbf{q}_{k}[m]\},\{t_{k}[m]\}\}$. Denoted by $(E_{tot}^{1-flight})^{*}$ the optimal solution to this problem, then the lower bound of the UAV charging times is

$$N^{lb}=\left\lceil\frac{(E_{tot}^{1-flight})^{*}}{E_{UAV}}\right\rceil,\vspace{-1.5mm}$$ (36)

which completes the proof.