Energy-saving deployment algorithms of UAV swarm for sustainable wireless coverage
Xiao Zhang, Lingjie Duan

TL;DR
This paper addresses the energy-efficient deployment of UAV swarms for sustainable wireless coverage, proposing optimal and heuristic algorithms to maximize leftover energy while considering coverage, altitude, and no-fly zones.
Contribution
It introduces a novel energy-saving deployment problem for UAV swarms, providing optimal solutions for homogeneous UAVs and heuristic methods for heterogeneous cases, considering multiple constraints.
Findings
Optimal deployment balances ground distance and altitude.
UAVs with more initial energy are deployed further away.
Heuristic algorithms effectively handle heterogeneous UAV energy storages.
Abstract
Recent years have witnessed increasingly more uses of Unmanned Aerial Vehicle (UAV) swarms for rapidly providing wireless coverage to ground users. Each UAV is constrained in its energy storage and wireless coverage, and it consumes most energy when flying to the top of the target area, leaving limited leftover energy for hovering at its deployed position and keeping wireless coverage. The literature largely overlooks this sustainability issue of deploying UAV swarm deployment, and we aim to maximize the minimum leftover energy storage among all the UAVs after their deployment. Our new energy-saving deployment problem captures that each UAV's wireless coverage is adjustable by its service altitude, and also takes the no-fly-zone (NFZ) constraint into account. Despite of this, we propose an optimal energy-saving deployment algorithm by jointly balancing heterogeneous UAVs' flying…
| Five deployment scenarios | Performance | Complexity | Place in the paper |
|---|---|---|---|
| Same initial locations and energy storages among UAVs | optimal | Section III-A | |
| Same initial locations & different initial energy storages among UAVs | optimal | Algorithm 1 in Section III-B | |
| Different initial locations & same energy storages | (1+)-approximation | Algorithm 3 in Section IV-A | |
| Different initial locations & different energy storages | near optimal | Algorithm 4 in Section IV-B | |
| Deployment in 3D space with different energy storages | (1+)-approximation | Algorithm 5 in Section V |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Energy-saving deployment algorithms of UAV swarm for sustainable wireless coverage
Xiao Zhang, and Lingjie Duan
X. Zhang is with College of Computer Science, South-Central University for Nationalities. L. Duan are with Engineering Systems and Design Pillar, Singapore University of Technology and Design, Singapore. E-mail: [email protected], [email protected]. Part of the work by X. Zhang was done when he was a postdoc research fellow at Singapore University of Technology and Design.
Abstract
Recent years have witnessed increasingly more uses of Unmanned Aerial Vehicle (UAV) swarms for rapidly providing wireless coverage to ground users. Each UAV is constrained in its energy storage and wireless coverage, and it consumes most energy when flying to the top of the target area, leaving limited leftover energy for hovering at its deployed position and keeping wireless coverage. The literature largely overlooks this sustainability issue of deploying UAV swarm deployment, and we aim to maximize the minimum leftover energy storage among all the UAVs after their deployment. Our new energy-saving deployment problem captures that each UAV’s wireless coverage is adjustable by its service altitude, and also takes the no-fly-zone (NFZ) constraint into account. Despite of this, we propose an optimal energy-saving deployment algorithm by jointly balancing heterogeneous UAVs’ flying distances on the ground and final service altitudes in the sky. We show that a UAV with larger initial energy storage in the UAV swarm should be deployed further away from the UAV station. Moreover, when homogeneous UAVs are dispatched from different initial locations, we first prove that any two UAVs of the same initial energy storage will not fly across each other, and then design an approximation algorithm of complexity to arbitrarily approach the optimum with error . Finally, we consider that UAVs may have different initial energy storages, and we prove this problem is NP-hard. Despite of this, we successfully propose a heuristic algorithm to solve it by balancing the efficiency and computation complexity well.
Index Terms:
UAV Smarm, Energy-efficient Deployment, Sustainable Wireless Coverage, No-Fly-Zone, Approximation Algorithm.
I Introduction
Recently, there are increasingly more exercises and commercial uses of Unmanned Aerial Vehicle (UAV) swarms for rapidly providing wireless coverage to ground users (e.g., [1] [2] [3] [4]). In these applications, UAVs serve as flying base stations to serve a geographical area (e.g., cell edge or disaster zone) out of the capacity or reach of territorial base stations. The continuing development of UAV applications for keeping wireless coverage faces two key challenges. First, since each UAV’s wireless coverage radius (though adjustable by its deployed altitude) is small, it consumes most energy when flying over a long distance to reach the target area to serve ground users closely. This leaves limited leftover energy for the UAV network’s lifetime of keeping wireless coverage afterwards, results in a severe sustainability issue. The endurance of each UAV’s on-board energy storage is fundamentally limited by its weight and aircraft size. Multiple UAVs in the swarm need to cooperate to balance their energy consumption during deployment to fully cover users in the distant target area.
Second, many countries have set up sizable No-Fly-Zones (NFZs) which prohibit any deployment of UAVs inside [5]. Usually, NFZs include restricted areas, prohibited areas, and military bases. Take Singapore as a typical urban city example, Figure 1 shows that NFZs in orange widely cover airports, air bases and military context 111https://garuda.io/what-you-must-know-about-drone-no-fly-zones-nfz/. UAVs can only fly at very low altitude to cross these NFZs before reaching their final deployment positions outside NFZs. The optimal UAV swarm deployment should consider these NFZ constraints. To the best of our knowledge, none of the existing work study the energy-saving UAV swarm deployment algorithms by considering the UAV-to-UAV cooperation and NFZ constraint. Further, since each UAV’s wireless coverage is adjustable by its hovering altitude, we should jointly optimize its flying distance on the ground and final service altitude in the sky, which was also overlooked in the literature.
The literature of UAV-enabled wireless communications assumes UAVs are already in or around the target area to serve ground users, and overlooks the energy-saving issue during the deployment phase of UAVs to reach the target (e.g., [6, 7, 8, 10, 11]). Recent work on UAV-enabled communications have studied multiple issues such as air-to-ground transmission modeling [7] [8], interference management [9] [12], and UAV trajectory planning [13]. For example, [7] and [8] investigate the optimal service altitude for a single UAV, where a higher service altitude of the UAV increases the line-of-sight opportunity for air-to-ground transmission but incurs a larger path loss. [12] studies the mutual interference of a UAV downlink links and analyzes the link coverage probability between the UAV and ground users. [13] uses a UAV-enabled base station to serve multiple users on the ground and jointly optimize the transmit power and the UAV trajectory to maximize the average throughput per ground user. [10] and [14] study the energy-efficient UAV movement and UAV-user link scheduling when serving users, and [15] studies how a UAV should dynamically adapt its location to user movements. Due to a UAV’s small wireless service coverage, it consumes most energy when flying over a long distance to the top of the target area, leaving limited leftover energy for the UAV network’s hovering and wireless coverage in service phase. It is important to optimize the UAV network deployment before the actual service phase, yet this sustainable deployment issue is largely overlooked in the literature. There are very few works studying the network deployment phase ([4] [11]). Further, [4] studies the UAV-user interaction for learning users’ truthful locations from strategic users before UAV deployment. [16] studies the economics issues (e.g., pricing and energy allocation) for deploying UAV-provided services.
In this paper, we study energy-saving deployment of a UAV swarm to prolong the UAV swarm’s residual lifetime for keeping wireless coverage after deployment. We present Table I to summarize our proposed algorithms for various deployment scenarios happening in practice. Our key novelty and main contributions are summarized as follows.
- •
Energy-saving deployment of UAV swarm under UAVs’ cooperation and NFZ constraint (Section II): To our best knowledge, this is the first paper to study the energy-saving issue for deploying a UAV swarm to fully cover a target area, and we aim to provide long enough UAV-provided wireless coverage by seeking UAVs’ mutual cooperation. We jointly optimize multi-UAVs’ flying distances on the ground and service altitudes in the sky for energy saving purpose, by practically considering the correlation between each UAV’s service altitude and its coverage radius as well as the NFZ distribution Our objective is to maximize the UAV swarm’s lifetime which is defined as the minimum leftover energy storage among all the UAVs after their deployment.
- •
Optimal deployment by balancing multi-UAVs’ energy consumptions in their flights (Section III): When UAVs are initially located in the same location (e.g., the closest UAV station), we first propose an optimal deployment algorithm of constant complexity without considering NFZ, and show that a UAV with larger initial energy storage should be deployed further away on the ground for balancing multi-UAVs’ energy consumptions in the flights. Further, we show the NFZ constraint will make our problem complex and we manage to present an optimal algorithm of complexity . We show some UAVs will be moved out of the NFZ to the edges, reducing the lifetime of the UAV swarm.
- •
Near-optimal UAV deployment from different initial locations: In Section IV, when dispatching UAVs from different initial locations, we first prove that any two UAVs of the same energy storage should not fly across each other during the deployment. This greatly helps us simplify the UAV swarm deployment problem by keeping the UAVs’ final position order along the ground. Then we successfully design an ()-approximation algorithm of time complexity . Further, when UAVs are of different initial locations, we prove the problem is NP-hard and propose a heuristic algorithm to balance the performance efficiency and computational complexity well. Finally, in Section V, we extend the swarm deployment to a 3D space where the target area to cover is no longer in 1D ground line but in the 2D ground plane.
II System Model and Problem Formulation
This section introduces our system model and problem formulation for deploying multi-UAVs to provide full wireless coverage to a target service area on the ground. The target area includes potential users in an activity to be served (e.g., crowd celebrating new year in the fifth avenue in Manhattan) and we first model the target area as a line interval in 1D, as shown in Figure 2. Here, a number of UAVs in a set are initially rested in 1D ground locations with initial energy storages before their deployment. Later in Section V, we will extend to model the target area in 2D (see Figure 8) and generalize our design of UAV deployment algorithms to a 3D space by considering altitude. Here, denote any UAV ’s final position after deployment as at ground distance and hovering altitude . After deployment, UAV at position covers in . We require a full coverage over the target interval by deploying cooperative UAVs, i.e., . According to the air-to-ground transmission model in [7] and [8], the wireless coverage radius of UAV on the ground concavely increases with the service altitude due to LoS benefit and then decreases due to path loss from the turning point . For energy saving, a UAV’s flying to an altitude higher than is not necessary for deployment since it will not enlarge the coverage range but consume more energy for flying longer. Therefore, at the optimum the altitude of each UAV after deployment to be not higher than .
Due to the NFZ policy, a UAV cannot be finally deployed within NFZ. Suppose there are in total NFZs in this area, and we model NFZ as a sub-interval in . For UAV , . Despite of this, it is still allowed for UAVs to just bypass NFZs on the way at low altitude according to [5]. To bypass NFZs, Figure 2 shows that UAV first flies horizontally from to , then flies vertically up to 222This is equivalent to the deployment case that UAVs fly vertically first to the desired altitudes and then horizontally to the destination.. It travels a normalized distance , where tells the different energy consumptions per unit horizontally and vertically flying distances. In practice, it is more energy consuming to fly vertically to the sky than horizontally along the ground. One may wonder the relationship between the normalized flying distance and the energy consumption for a UAV. According to [19], the energy consumption of UAV is a linear term . The value of energy consumption per unit distance depends on UAV prototype, and is estimated as Watt hour per km (Wh/km) for UAV prototype MD4-3000 and Wh/km for prototype DJI S1000, respectively.
After deployment, UAV only has leftover energy to hover and providing wireless coverage. To prolong the whole UAV swarm’s lifetime, we aim to maximize the minimum leftover energy among all the UAVs. Once one UAV uses up its energy, we can no longer guarantee full wireless coverage over and the UAV swarm’s service lifetime is ended up. Our energy-saving deployment problem of the UAV swarm is
[TABLE]
To solve this max-min problem requires UAVs to cooperate with each other in deployment distance and altitude to evenly use up their energy finally. The problem (1) belongs to the domain of combinatorial optimization and the deployment solution is a specific combination of ordered UAVs above the ground in 2D, which is generally exponential in the number of UAVs and difficult to solve.
III UAV swarm deployment from a co-located UAV Station
In this section, we study problem (1) when dispatching all the UAVs from the nearest UAV ground station (i.e., for ). This is the case for covering a not huge service area , and we do not need more UAVs from some other distant UAV stations. Without loss of generality, we assume that , , which is symmetric to the case of . Then the total travel distance of UAV is . Note that for the case of , we can divide the line interval into two subintervals (i.e., and ), and apply our deployment algorithm (as presented later) similarly over both subintervals. We first skip the NFZ constraint in the first subsection as a benchmark and will add it back later to tell its effect.
III-A Deployment of UAVs without NFZ constraint
During the deployment, UAVs should cooperate to cover the whole target area and balance their energy consumptions. We have the following result for multi-UAV cooperation.
Proposition 1**.**
At an optimal solution to problem (1), all the UAVs have the same amount of leftover energy storage after deployment, i.e., , for . Their coverage radii do not overlap with each other and seamlessly cover the target interval. That is, , as illustrated in Figure 3.
Proof.
See Appendix A. ∎
As the objective of problem (1) is to maximize the minimum leftover energy bottleneck among the UAVs, we do not expect any two UAVs ending with different levels of leftover energy storage after deployment. Otherwise, we can improve the performance by lowering the UAV with less leftover energy and increasing the other UAV’s altitude to make up the coverage gap. Then we have the following corollary. When the initial energy storage is identical, we expect the same flying distance to keep the same leftover energy among UAVs. The more energy is consumed in flying horizontal distance, less energy is left for flying vertically up to service altitude. Therefore, a UAV deployed further away on the ground should be placed to a lower altitude, while a closer UAV should be placed to a higher altitude for balancing multi-UAV energy consumption during deployment. It should be noted that if UAVs have different initial storages, the result below may not hold.
Corollary 1**.**
In the special case that UAVs have the same initial energy storages (i.e., for ), in the optimal deployment solution, UAV deployed further away (i.e., with large on the ground) should be placed to a lower altitude for keeping the same energy consumptions among the UAVs during the deployment.
If UAVs are heterogeneous to have different initial energy storages upon deployment, we have following proposition to show that the UAV with larger energy storage should be dispatched further away along the ground in the optimal solution.
Proposition 2**.**
Without the loss of generality, suppose the initial energy storages of the UAVs satisfy . Then the ground destinations of UAVs satisfy in the optimal solution to problem (1).
Proof.
First of all, for energy saving, a UAV’s flying to an altitude higher than is not necessary for deployment since it will not enlarge the coverage range but consume more energy for flying longer. Therefore, at the optimum the altitude of each UAV after deployment to be not higher than . Thus, in our algorithm design, we only need to consider the concavely increasing part of the function .
At the optimum, we denote each UAV’s leftover energy storage after deployment as . Consider two neighboring UAVs and with initial energy storages and satisfying . They seamlessly cover a continuous interval with touching point , as shown in the upper subfigure of Figure 4. We have , and for leaving the same residual energy after deploying the two UAVs. We prove by contradiction by supposing at optimality given , then we have . As illustrated in the lower subfigure of Figure 4, we then swap and to show a better solution is actually achieved. Specifically, we move to at altitude such that to cover the same starting point in the target area. We can see that covers . Then we divide our discussion, depending on the relationship between and .
If , then due to larger coverage and . In this case, we can simply move to and to cover prior , as UAV has larger energy storage at than UAV does at . Since now, these two UAVs unnecessarily overlap in their coverage and we can further improve this solution beyond the optimal solution (before UAVs’ swapping). This completes our proof by contradiction for this case.
Next, we consider , then and we move UAV rightwards to such that for seamless coverage from UAV . As shown in Figure 4, , . If given , we have , implying . Therefore, we have . By using up the same amount of energy for both UAVs, we cover a larger total coverage than the optimal solution, telling that UAV swapping provides a better solution than the assumed optimal solution. This completes our proof by contradiction for this subcase.
Now, we only need to consider the other subcase of . As and , then we have . Since and , we have . Due to and , and for leaving the same residual energy . Moreover, due to , we have .
After swapping the two UAVs, we have . Note that implies . Since is an increasing function in our interested scope, we have and further . By combining this with the first equation in this paragraph, we have and for leaving the same residual energy . Overall, we have , and . To show the contradiction, we just need to prove for enlarging the total coverage with the same . Simply, we only need to prove .
We let , then . We define function and the derivative is . implies . As is an increasing concave function, and function is decreasing. Thus, for . It follows that is an increasing function for . Since , either or is less than . Specifically, if , then we have due to ; if , then we have due to . In both cases, we thus have due to . This completes our proof by contradiction for this final subcase.
∎
By Proposition 2, we can determine the ground destination order of the UAVs according to the order of . Based on Propositions 1 and 2, we are ready to determine the optimal destination of each UAV in 2D for keeping their leftover energy storages identical. Specifically, due to non-overlapping full coverage of area , we first have
[TABLE]
Recall that, the leftover energy storage of UAV is , which should be the same as any other UAV’s leftover energy storage, i.e.,
[TABLE]
where any UAV ’s final ground destination is . As we now rewrite as functions of ’s, we only have unknowns of ’s in the equations in (2) and (3). By solving these equations jointly in a constant time , we obtain the optimal deployment position for each UAV .
III-B Incorporation of NFZs for multi-UAV deployment
As presented in Section III-A, we can compute the maximum minimum leftover energy storage objective by solving (2) and (3) without considering NFZs. However, if the destinations of some UAVs fall into NFZ, the solution is not feasible. Without much loss of generality, we assume there is one NFZ, i.e., (, ).333If there is more than one NFZ, we can similarly discuss each UAV’s possibility to fly into any NFZ and there are just more combinations of Cases 1-3 across NFZs as in this subsection. In this case, we consider all three possible cases for refining the deployment solution, and we have at most two UAVs relocated to the left- and right-hand-side edges of the NFZ at the optimum.
Case 1: UAV is chosen among all to relocate to the left-edge of NFZ (i.e.,), as shown in Figure 5(a). This UAV is not necessarily the one inside NFZ at the solution to (3)-(2). Similar to Proposition 1, given , we can show that at the performance bottleneck UAVs have the same leftover energy storage as and they seamlessly cover including NFZ without any overlap in their own coverages. That is,
[TABLE]
where UAV is newly located to (, ) and UAV to (). By solving (4)-(5), we can determine the deployment positions of UAVs as well as the objective . Still we need to check and make sure that the other UAVs are able to cover by keeping at least energy after deployment. Note that they may overlap with UAV ’s wireless coverage without reaching the bottleneck.
Case 2: UAV is chosen among all to dispatch to the right-edge of NFZ (), as shown in Figure 5(b). Similar to Proposition 1, we can show that at the performance bottleneck, UAVs should have the same leftover energy storage as and they seamlessly cover without any coverage overlap. That is,
[TABLE]
where UAV is located to (, ) in 2D and UAV is located to (). Still we need to check and make sure that the other UAVs are able to cover the rest target area by keeping at least energy after deployment. Note that they may overlap with UAV ’s wireless coverage without reaching the bottleneck.
Case 3: Two neighboring UAVs and are chosen to dispatch to the both edges of NFZ (i.e., ), as shown in Figure 5(c). The NFZ is covered by and seamlessly and these two UAVs’ coverages do not overlap. That is,
[TABLE]
Moreover, we need to check if UAVs are able to cover and if UAVs are able to cover , by keeping at least energy after deployment. In these three cases, we can see that the critical UAV index is still undetermined. We propose to run binary search on UAV set to find the optimal , providing the maximum leftover energy storage for the whole UAV network. Note that the binary search has complexity for each UAV in each case. For example, in Case 1, after solving (4)-(5) for each UAV , we still need to check the feasibility of the other UAVs on the left-hand side to fully cover in linear running time, resulting in running time for scanning through all the UAVs. We summarize all the above in Algorithm 1 and have the following result.
Theorem 1**.**
When dispatching UAVs from the same UAV station under the NFZ constraint, Algorithm 1 optimally finds the maximum minimum leftover energy storage in running time.
IV Deploying UAVs from different initial locations
In this section, we study the problem when UAVs may be initially located at different locations (e.g., different UAV ground stations or the places that UAVs rest after last task). This is especially the case under emergency when we need a lot more UAVs than those just from the nearest UAV station. Due to the UAV diversity in both initial energy storage and initial location, this problem becomes very difficult. It belongs to the domain of combinatorial optimization and the complexity is generally exponential in the number of UAVs. We aim to design approximation algorithms to maximize the minimum leftover energy storage.
IV-A When UAVs have identical initial energy storage
In this subsection, we first study the special case when all UAVs have identical initial energy storage . Without loss of generality, we assume the UAVs are sorted according to the increasing order of their initial ground locations, i.e., . We first prove that all UAVs’ destinations after deployment should follow the same order as the initial locations.
Proposition 3**.**
Given that the initial locations of the UAVs follow the order , the final ground destinations of them preserve the same order in the optimal solution of deployment.
Proof.
Consider any two neighboring UAVs , with initial locations on the ground. We prove by contradiction here. After deployment, UAVs and cover a continuous portion of the line interval , and suppose in an optimal solution, as illustrated on the left-hand side of Figure 6. We obtain their travel distances and . If we swap the locations of and without changing their altitudes as illustrated on the right hand side of Figure 6, the new travel distances and are smaller than before and they save more energy by keeping the same total coverage . Then the UAV network’s leftover energy increases and the previous allocation of is actually not optimal. This is the contradiction and we require given . ∎
Proposition 3 greatly simplifies the algorithm design of deploying UAVs by fixing their location order after deployment, and we do not need to consider many combinations of UAVs’ possible location orders in the combinatorial optimization. It also holds after incorporating NFZs and we next design the algorithm in two stages. First, we introduce the feasibility checking problem and design Algorithm 2 to determine whether we can find a deployment scheme for any given leftover energy storage . Then, we run binary search over all these feasible energy storages to find the optimum in Algorithm 3.
IV-A1 Feasibility checking problem
Given any amount of leftover energy storage , we want to determine whether the energy budget is feasible to support all the UAVs to reach a full coverage of and avoid sitting into NFZs. Let denotes the maximum minimum leftover storage, we next design the feasibility checking algorithm to determine whether (infeasible for the UAVs to cover the whole target area) or (feasible). Note that is unknown yet and will be determined in next subsection. Our feasibility checking algorithm also works for the case with NFZs and its complexity order does not increase in the number of NFZs.
For UAV , we respectively denote as the leftmost ground point and as the rightmost point on that can be covered by this UAV with leftover storage and altitude . Note that . To cover , UAV travels horizontally distance, and it travels horizontally distance to cover . Then we have
[TABLE]
[TABLE]
both of which are functions of altitude . Without loss of generality, we sequentially deploy UAVs to cover the target area from the left to right hand side, and we denote the currently covered interval as .
In Algorithm 2, we first respectively compute and in equations (10) and (11) in line 3, and then deploy the UAVs one by one (in line 5) according to their initial locations’ order to cover from the left endpoint of target interval as in Proposition 3. As , we start with UAV and end up with UAV . Specifically, given our currently covered interval , we check whether UAV can extend within its energy budget (i.e., in line 6). If so, we will deploy UAV ’s ground destination to in line 7 and cover from point . Note that we do not use a UAV if is not within . If the computed falls into some NFZ , we should deploy UAV to on the ground and the corresponding service altitude is in the sky, as shown in lines 6-13. If the outcome of the algorithm shows is feasible i.e., () in line 18, our algorithm will further return the UAVs’ final locations ’s in 2D. Otherwise, it returns that is infeasible in line 16. Overall, Algorithm 2 solves the feasibility checking problem given a particular leftover energy storage in linear running time.
IV-A2 Binary search over all feasible energy storages
With the help of Algorithm 2, we can verify whether a given leftover energy storage is feasible or not. The maximum leftover storage among all the feasible ones is actually the optimum. Here, we apply binary search to find the maximum leftover storage upon determining the search scope of and step size.
We first determine the search scope by computing its upper and lower bounds. By using the UAVs to cover the line interval of length , we must have at least one UAV with coverage radius . For each UAV , the minimum moving distance is its service altitude without any ground movement. Suppose UAV is the one with coverage radius or equivalently altitude , the upper bound of minimum leftover energy storage among all the UAVs is .
We next determine the lower bound. We know that the longest horizontal travel distance of UAV is . Without flying any distance horizontally but vertically to the sky, the maximum service altitude is to cover . Then we have the lower bound .444In case that this formula returns a negative lower bound, we can replace it by the smallest possible positive energy storage.
Now we are ready to present the approximation algorithm in Algorithm 3 by combining both binary search and feasibility checking in Algorithm 2. We denote the relative error as , and accordingly set the search accuracy as in line 1 of Algorithm 3. Algorithm 3 starts with in line 3 and stops once turning from feasible leftover energy storage to infeasible in lines 12-15 as illustrated in illustrated in Figure 7. Then, the final in line 17 is our searched optimum and is denoted as .
Theorem 2**.**
Let be the optimal leftover energy storage in problem (1). Algorithm 3 presents an -approximation algorithm of computational complexity .
Proof.
The leftover energy storage of a given instance has an upper bounded of and a lower bound of . Obviously, . Choosing a small constant , we divide each into sub-intervals. Each interval has length , where . We divide by into sub-intervals as set as in line 1 of Algorithm 3.
Then, each operation in line 6 of binary search will reduce set by applying Algorithm 2 on a given . It finally terminates with leftover energy storages and , as illustrated in Figure 7, where and . The outcome is our searched optimum. We can obtain that . That is, we have . Therefore, we obtain the minimum leftover storage with approximation ratio as compared to the global optimum. Regarding the computational complexity, note that our feasibility checking algorithm runs in time. Moreover, we have candidates of leftover energy storage for binary search with logarithmic running time, in which is constant and independent of . Overall, this algorithm runs in time. ∎
IV-B Deploying UAVs with different initial energy storages
When UAVs are required to undertake emergency tasks, some of them may not be fully charged yet and they have different initial energy storages in general. To be specific, each UAV has an initial storage upon deployment. In this subsection, we further consider that UAVs may have different initial energy storages under the constraint of NFZs. The UAVs’ two-dimensions of heterogeneity (in both initial locations and initial energy storages), joint ground-sky movements and NFZ consideration results in high complexity for UAVs’ energy-saving deployment algorithm design. In the following, we show such a general UAV deployment problem is NP-hard, and propose a heuristic algorithm accordingly.
Given any value of as the minimum leftover energy storage among the UAVs after deployment, we want to determine whether UAVs can be moved to reach a full coverage of under the NFZs constraint. We call it feasibility problem as in previous Section IV-A1, which is now proved to be NP-complete by reducing from the well-known Partition problem [20]. In this reduction, the basic idea is to consider two NFZs around the middle point of the target line interval, and partition the UAVs with different coverage energy storages into two subsets, each of which seamlessly covers a half of the line interval without any overlaps.
Theorem 3**.**
When UAVs have different initial energy storages and are deployed from different initial locations under the NFZ consideration, our energy-saving UAV swarm deployment problem in (1) is NP-hard.
Proof.
See Appendix B. ∎
The problem (1) is difficult to solve due to the UAVs’ distinct initial locations and initial energy storages, which result in exponential number of sequences of UAVs for searching. Yet if the location order after deployment is determined (e.g., with initial location order preserving as in Algorithm 3 under the same initial energy storage), we can compute the maximum leftover energy storage fast under the given location order. Further, if we enumerate the location order among UAVs as many as possible, then we can reach the optimality without any efficiency loss. To balance complexity and efficiency, we accordingly propose Algorithm 4 with as the order changing degree after deployment. Specifically, we select UAVs and enumerate all possible permutations for their final ground locations’ ordering. This produces sequences of UAVs’ordering, each of which runs Algorithm 3 separately. If we care more about the efficiency rather than the complexity, we can choose a larger and when , Algorithm 4’s performance is arbitrarily approach the global optimum as in Theorem 2.
V Extension to UAVs’energy-saving deployment in a 3D space
Recall in all the previous sections, we model the target service area as a line interval and assume all the UAVs are initially located in the same 1D linear domain. Then we deploy each UAV in 2D by considering the 1D ground and 1D sky movements. In this section, we consider that UAVs’ initial locations may not be along the target interval and need to determine UAVs’ ground movements in 2D as well as 1D movement to the Sky. Without much loss of generality, we consider two UAV stations on the left and right corners of the ground plane with locations and satisfying , and also place target interval in the x-axis in the 2D ground plane, as illustrated in Figure 8. That is, target interval ranges from point to in the 3D space. Then each UAV is now placed finally to point in 3D space. We want to extend the previously proposed UAV swarm deployment algorithms with theoretical guarantee to 3D. There are UAVs in total with including UAVs initially located in the left UAV station (belonging to set ) and UAVs initially located in the right UAV station (belonging to set ). We reorder the UAVs from such that in increasing energy storage order, while reorder the UAVs from such that in decreasing order.
Lemma 1**.**
At the optimum, the UAVs from the left- and right-hand side UAV stations will not cross each other. That is, in the -domain in the 3D space. And finally the UAVs will keep the same leftover energy after the deployment.
Proof.
First of all, for UAV subset or in the left or right-hand side UAV station, we can prove Proposition 2 still holds here. That is, we should deploy all the UAVs in from left to right hand side of the target interval according to increasing order of their initial energy storages. Similarly, we deploy the UAVs in from right to left hand side of the target interval according to increasing order of by their initial energy storages. At the optimum, all the UAVs’ leftover energy is the same to maximize the minimum leftover energy storage.
Now, we are ready to prove that any two UAVs will not fly to cross each other by contradiction. Note that the UAVs from the same UAV station will not fly across each other, and we will only look at the UAVs’ possible crossing from different stations. Suppose that there are two UAVs and originally in and (i.e., and ), respectively, and they will cross each other with and become neighbors after deployment. They cover a continuous line interval as part of the target interval , and they have the same leftover energy () in the optimal solution. Next we swap UAVs and to show a better solution is actually achieved. If we swap the -domain ground location order of and without changing any UAV’s coverage radius or altitude, we can see that and will decrease, i.e., and . Specifically, we move to cover from and move to cover until . We can see that the original covered range is still covered by UAVs and , and and . Given and , a better solution is achieved to prolong the UAV network lifetime. ∎
We decide the cooperation among UAVs by separating the UAVs into two subsets and , which cover left and right hand parts of , respectively. Lemma 1 helps fix the final location order in -domain of all UAVs and based on the given ordering sequence, we next introduce the feasibility checking problem and binary search similar to Section IV-A.
Before extending Algorithm 3 to our new deployment problem in 3D given any leftover energy storage and altitude for UAV , we first determine the leftmost point and the rightmost point on that can be covered by UAV as follows:
[TABLE]
[TABLE]
Here we deploy the UAVs in to cover the target area from left to right hand side, and we denote the currently covered interval as , while we deploy the UAVs in to cover the target area from right to left hand side, and the currently covered interval is .
Next, we determine the scope of binary search. The leftover energy among all the UAVs is upper bounded by . We choose a smallest possible energy storage as the lower bound of . Obviously, . Similar to Algorithm 3, we choose a small positive constant and divide each into sub-intervals. Each interval has length , where . We divide by to partition into sub-intervals in set as the input of Algorithm 5.
In Algorithm 5, we first compute and in line 7 according to equations (12) and (13), then deploy the UAVs one by one (line 9 for the UAVs in and line 15 for those in ) according to their initial energy storages’ order to cover the target interval . Specifically, considering the UAVs in , given our currently covered interval , iteration starts with checking whether UAV inside can extend the current covered area. That is, we need to check if can seamlessly cover from the point (i.e., in line 10). If so, we will deploy UAV to and update in lines 11-12. Similar procedure with reverse direction in lines 15-20 follows for those UAVs in set .
If to fully cover the target interval , the feasibility checking returns that the given is feasible (i.e., ) in line 22, our algorithm will skip this choice and keep running binary search for larger leftover energy solution (if feasible). Otherwise, it returns that is infeasible in line 24 and our algorithm will search for smaller feasible candidates. Finally, our algorithm will return the optimal in the search scope. Similar to Theorem 2, we have the following corollary.
Corollary 2**.**
Let be the optimal leftover energy storage of our energy-saving UAV deployment problem by dispatching the UAVs swarm from two UAV stations, given any allowable error , Algorithm 5 achieves approximation ratio and runs in time.
VI Simulations
In this section, we present extensive simulations to evaluate the proposed algorithms in different scenarios. Regarding the setting of UAVs’ technical specifications, we approximate the wireless coverage radius of UAV hovering at altitude as a concavely increasing function with till the turning point according to the measurement experiment done in [7]. We set , the initial energy storage , and the energy consumption per flying distance , as recommended by [19]. Moreover, we set the length of target interval as km, and the length of the NFZ as inside.
VI-A Deploying UAVs from the same station
We first present the simulation results when dispatching the UAVs from the same location, as studied in Section III. Figure 9 shows 5 UAVs’ final service altitudes and ground destinations by solving (2) and (3). Figure 9(a) shows the optimal solution without NFZ consideration, and it tells us that a UAV deployed further away to the right-hand-side of the ground should be placed to a lower altitude for keeping multi-UAVs’ energy consumptions or travel distances the same. Figure 9(b) shows the case when we add an NFZ with edges . We can see that UAV has to re-locate to the right NFZ edge . This pushes UAVs and further away to the right corner of . Further, after increasing UAV ’s initial energy storage from to kWh in Figure 9(c), UAV with the largest energy storage flies to the right-most ground location and UAV re-locates to finally. This is consistent with Proposition 2.
Next, we show the minimum leftover energy storage or UAV the swarm’s residual lifetime (i.e., objective of problem (1)) as a function of the number of UAVs. Figure 10 shows the minimum leftover energy storage increases as more UAVs are given, as each UAV only needs to cover a smaller range and this improves the bottleneck UAV performance. It also shows more energy will be consumed when we take into account the NFZ constraints.
VI-B Deploying UAVs from different initial locations
In Figure 11, we show the running time or computational complexity of our Algorithm 3 in Section IV-A under different values of relative error , and , respectively. All the UAVs have the same initial energy storage here. It can be observed that the smaller value of is, the longer running time is required. In addition, as the number of the UAVs increases, the running time increases yet is actually less than the theoretical bound proved in Theorem 2, since the theoretical analysis there is based on the worst case analysis and here is based on average or empirical analysis.
Now we are ready to evaluate Algorithm 4 in Section IV-B for deploying the UAVs with different initial locations as well as different energy storages. Recall that the initial order preserving property no longer holds, and we need to update the order changing degree to balance the efficiency and complexity. In Figure 12, problem (1) is solved by Algorithm 4 with (preserving all the UAVs’ initial location order as in Algorithm 3), and with (with increasingly more freedom to rotate any two neighboring UAVs’s final ground destinations), respectively. The computational complexity is positively related to . As increases, we gradually relax the location order preserving constraint, and Figure 12 shows the minimum leftover storages obtained by Algorithm 4 increases.
VI-C Deploying UAVs in the 3D space
In Figure 13, the sustainable UAV deployment problem in 3D is solved by Algorithm 5, assuming all UAVs are dispatching from the two UAV stations on the left and right-hand corners of the target interval. As the UAV set is , we set and discuss the effect of the difference between and on the UAV swarm’s lifetime performance. By setting a larger value of , we have more UAVs in the left station rather than the right station. We can see from Figure 13, when the division of UAVs is symmetric between the two UAV stations, our algorithm can achieve the longest UAV swarm lifetime, since the UAVs on the left-hand-side (or right-hand-side) station do not need to fly further to cover the right (left) part of the target interval .
VII Conclusion
The energy-saving UAV deployment problem for keeping wireless coverage is of great practical importance. We study the energy-saving UAV deployment problem to prolong the UAV swarm’s residual lifetime. When all UAVs are deployed from a common UAV station, we propose an optimal deployment algorithm, by jointly optimizing UAVs’ flying distances on the ground and final service altitudes in the sky. We show that a UAV with larger initial energy storage should be deployed further away from the UAV station for balancing multi-UAVs’ energy consumption in the flight. Due to NFZs consideration, the problem becomes more difficult and the whole UAV swarm consumes more energy. We solve it optimally in time. Moreover, when UAVs are dispatched from different initial locations, we first prove that any two UAVs will not fly across each other in the flight as long as they have the same initial energy storage, and then design an approximation algorithm to arbitrarily approach the optimum. Further, we consider that UAVs may have different initial energy storages under the constraint of NFZs, and we prove this problem is NP-hard. Despite of this, we successfully propose a heuristic algorithm to solve it by balancing the efficiency and computation complexity well. Finally, we extend the FPTAS to a 3D scenario and validate theoretical results by extensive simulations. Still, there are some open issues in future work, i.e., the interference among UAVs’ wireless services and/or the algorithms’ extensions to cover higher dimensional target, e.g 2D area or 3D object.
Appendix A Proof of Proposition 1
Proof.
As shown in Section II, for energy saving, at the optimum the altitude of each UAV after deployment to be not higher than . Thus, we only consider the concavely increasing part of the function here. First, we show that any two neighboring UAVs will not overlap in the optimal solution by contradiction. Suppose in the optimal solution, the coverages of two UAVs and overlap as shown in Figure 14. In this case, we can simply lower the service altitude of and move left relatively to remove the overlap, while decrease its energy consumption for moving. We can see that we can obtain better solution and the leftover energy storages of both UAVs do not increase by removing the overlap. This is a contradiction. Next, suppose two UAVs and seamlessly cover a subinterval of in the optimal solution, but they have different leftover energy (i.e., , ). If and is the bottleneck, we can lower the service altitude of and move left relatively to decrease its energy consumption while increase the service altitude of for keeping exactly the same total coverage. In this way, the bottleneck has more leftover energy and the objective of problem (1) is further improved. Otherwise, and is the bottleneck, we can lower the service altitude of and move right relatively to decrease its energy consumption. In the meantime, we increase the service altitude of and move right to cover more for keeping exactly the same total coverage. In the end, the bottleneck is increased and our proof is completed. ∎
Appendix B Proof of Theorem 3
Proof.
Given an instance of the sustainable UAV deployment problem and , we show that it is NP-hard to determine whether the UAVs’ leftover energy storage is at least after deployment. Here, we choose concave function till turning point and set and , and the problem is NP-hard as long as we show this special problem is NP-hard.
We reduce the Partition problem, which is a well-known NP-hard problem [20], to our sustainable UAV deployment problem. The Partition problem is defined as follows: Given a sequence of positive integers , we want to determine whether there exists a set of indices such that .
Given a Partition instance, we construct the following sustainable UAV deployment problem. There is a UAV for each input number: , and , , and . We add one UAV with . .
We show that if Partition, then there exists a solution with . . We set . We deploy the UAVs with initial energy storage for to cover .
For UAV (), assume , we make the initial energy storage satisfy the following requirements:
[TABLE]
Similar process can be conducted on UAVs () to cover . We can compute to just fully cover or .
In our sustainable UAV deployment problem, we have UAVs which are initially located at the position . Moreover, is associated with initial energy storage for and is associated with . There are two NFZs with length located at both sides of point . This transformation can clearly be performed in polynomial time. See Figure 15 for an example.
We now prove that there exists a solution to the instance of the Partition problem if and only if the constructed instance of the sustainable UAV deployment problem has a solution of at least .
Given a solution to the instance of the Partition problem, we can move UAVs for to the left such that every point of the interval is covered and move for to the right such that every point of the interval is covered. Moreover, we move ’s vertically to such that every point of the interval is covered. Since we have , it is obvious to see that this is a feasible solution and the detailed movements can be implemented in the straightforward way. Therefore, we have a solution of at least to the instance of the sustainable UAV deployment problem.
Now we have a feasible solution of at least to the instance of the sustainable UAV deployment problem. We first observe that the UAV has to fly vertically to . Since every point of the interval is required to be covered, there does not exist an “overlapped interval” between any two UAVs’ ranges in a feasible solution. For the UAVs , we need to find a subset of UAVs with the summation of battery to fully cover or , which is . The above analysis shows that , which implies that we have a solution to the instance of the Partition problem. The proof is thus complete. ∎
Appendix C Proof of Lemma 1
Proof.
First of all, for UAV subset or in each of the left and right-hand side UAV stations, Proposition 2 still holds. That is, we should deploy all the UAVs in from left to right hand side of the target interval according to increasing order of by their initial energy storages. Similarly, we deploy the UAVs in from right to left hand side of the target interval according to increasing order of by their initial energy storages. At the optimum, all the UAVs’ leftover energy is the same.
Now, we are ready to prove this lemma by contradiction. Consider that there are two UAVs and that will cross each other with and become neighbors after deployment. Here, is originally located in and in (i.e., , ). They cover a continuous line interval along target interval , and they have the same leftover energy () in the optimal solution. Next we swap and to show a better solution is actually achieved. If we swap the ground location order of and without changing any UAV’s coverage radius or altitude, we can see that and will decrease, i.e., and . Specifically, we move to cover from and move to cover until . We can see that the original covered range is still covered by and , and and . Given and , a better solution is achieved to prolong the UAV network lifetime. The proof is completed. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Y. Zeng, R. Zhang, and T. J. Lim, “Wireless communications with unmanned aerial vehicles: opportunities and challenges,” IEEE Communications Magazine , vol. 54, no. 5, pp. 36–42, 2016.
- 2[2] X. Zhang and L. Duan, “Optimization of emergency UAV deployment for providing wireless coverage,” in IEEE Global Communications Conference (GLOBECOM) , 2017.
- 3[3] L. Wang, H. Yang, J. Long, K. Wu, J. Chen, “Enabling Ultra-Dense UAV-Aided Network with Overlapped Spectrum Sharing: Potential and Approaches,” IEEE Network , vol. 32, no. 5, 85–91, 2018.
- 4[4] X. Xu, L. Duan, and M. Li, “UAV placement games for optimal wireless service provision,” in 16th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (Wi Opt) , 2018.
- 5[5] Civil Aviation Authority of Singapore (CAAS), “Unmanned aircraft systems,” https://www.caas.gov.sg/public-passengers/unmanned-aircraft-systems , accessed October 29, 2018.
- 6[6] M. Pan, P. Li, and Y. Fang, “Cooperative communication aware link scheduling for cognitive vehicular networks,” IEEE Journal on Selected Areas in Communications , vol. 30, no. 4, pp. 760–768, 2012.
- 7[7] A. Al-Hourani, S. Kandeepan, and S. Lardner, “Optimal lap altitude for maximum coverage,” IEEE Wireless Communications Letters , vol. 3, no. 6, pp. 569–572, 2014.
- 8[8] M. Mozaffari, W. Saad, M. Bennis, and M. Debbah, “Drone small cells in the clouds: Design, deployment and performance analysis,” in IEEE Global Communications Conference (GLOBECOM) , 2015.
