Professional Documents
Culture Documents
fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
1
Abstract—In this paper, the effective use of flight-time con- enhancement of terrestrial cellular networks [3]–[8]. With their
strained unmanned aerial vehicles (UAVs) as flying base stations inherent attributes such as mobility, flexibility, and adaptive al-
that provide wireless service to ground users is investigated. In titude, UAVs have several key potential applications in wireless
particular, a novel framework for optimizing the performance of
such UAV-based wireless systems in terms of the average number systems. For instance, UAVs can be deployed to complement
of bits (data service) transmitted to users as well as UAVs’ existing cellular systems by providing additional capacity to
hover duration (i.e. flight time) is proposed. In the considered hotspot areas during temporary events. Moreover, UAVs can
model, UAVs hover over a given geographical area to serve also be used to provide network coverage in emergency and
ground users that are distributed within the area based on an public safety situations during which the existing terrestrial
arbitrary spatial distribution function. In this case, two practical
scenarios are considered. In the first scenario, based on the network is damaged or not fully operational. One key ad-
maximum possible hover times of UAVs, the average data service vantage of UAV-based wireless communication is its unique
delivered to the users under a fair resource allocation scheme is ability to provide fast, reliable and cost-effective connectivity
maximized by finding the optimal cell partitions associated to the to areas which are poorly covered by terrestrial networks. In
UAVs. Using the powerful mathematical framework of optimal addition, compared to ground base stations, UAVs can more
transport theory, this cell partitioning problem is proved to be
equivalent to a convex optimization problem. Subsequently, a effectively establish line-of-sight (LoS) communication links
gradient-based algorithm is proposed for optimally partitioning to ground users by intelligently adjusting their altitude. Key
the geographical area based on the users’ distribution, hover examples of recent projects on employing aerial platforms
times, and locations of the UAVs. In the second scenario, given for wireless connectivity include Google Loon project and
the load requirements of ground users, the minimum average Facebook’s Internet-delivery drone [9]. Within the scope of
hover time that the UAVs need for completely servicing their
ground users is derived. To this end, first, an optimal bandwidth these practical deployments, UAVs are being used to deliver
allocation scheme for serving the users is proposed. Then, Internet access to emerging countries and provide airborne
given this optimal bandwidth allocation, optimal cell partitions global Internet connectivity. Despite the several benefits and
associated with the UAVs are derived by exploiting the optimal practical applications of using UAVs as aerial base stations,
transport theory. Simulation results show that our proposed cell one must address many technical challenges such as perfor-
partitioning approach leads to a significantly higher fairness
among the users compared to the classical weighted Voronoi mance analysis, deployment, air-to-ground channel modeling,
diagram. Furthermore, the results demonstrate that the average user association, and flight time optimization [4] and [8].
hover time of the UAVs can be reduced by 64% by adopting
the proposed optimal bandwidth allocation scheme as well as A. Related Work
the optimal cell partitioning approach. In addition, our results In [5], the authors performed air-to-ground channel mod-
reveal an inherent tradeoff between the hover time of UAVs and
bandwidth efficiency while serving the ground users. eling for UAV-based communications in various propagation
environments. In [6] and [7], the authors studied the ef-
ficient deployment of aerial base stations to maximize the
I. I NTRODUCTION coverage and rate performance of wireless networks. In [10],
Recently, the use of aerial platforms such as unmanned the authors proposed a polynomial-time algorithm for the
aerial vehicles (UAVs), drones, balloons, and helikite has optimal placement of UAVs that provide coverage for ground
emerged as a promising solution for providing reliable and terminals. Moreover, the proposed algorithm in [10] was used
cost-effective wireless communication services for ground to minimize the number of UAVs that must be deployed for
wireless devices [1]–[4]. In particular, UAVs can be deployed covering the ground terminals. In [11], the authors investigated
as flying base stations for coverage expansion and capacity the energy-efficient path planning of a UAV-mounted cloudlet
which is used to provide offloading opportunities to ground
This research was supported by the U.S. National Science Foundation under devices. The work in [12] studied the optimal trajectory and
Grants AST-1506297, OAC-1541105, and IIS-1633363, in part by the ERC
Starting Grant MORE (Advanced Mathematical Tools for Complex Network heading of UAVs for sum-rate maximization in uplink commu-
Engineering), and by Academy of Finland (CARMA). nications. An analytical framework for trajectory optimization
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
2
of a fixed-wing UAV for energy-efficient communications was second scenario, given the load requirements of ground users,
presented in [13]. The work in [14] jointly optimized user we minimize the average hover time of UAVs needed for
scheduling and UAV trajectory for maximizing the minimum completely serving the users. To this end, we introduce an
average rate among ground users. The authors in [15] derived optimal bandwidth allocation scheme as well as optimal cell
an exact expression for downlink coverage probability for partitions for which the average hover time is minimized.
ground receivers which are served by multiple UAVs. Our results for the first scenario show that our proposed cell
Another important challenge in UAV-based communication partitioning approach leads to a significantly higher fairness
systems is cell (or user) association [16], [17]. The work among the users compared to the classical weighted Voronoi
in [16] investigated the area-to-UAV assignment for capacity approach. For the second scenario, the results show that the
enhancement of heterogeneous wireless networks. However, average hover time can be reduced by 64% by adopting the
this work is limited to the case with a uniform spatial dis- proposed optimal bandwidth allocation and cell partitioning
tribution of ground users. Moreover, the work in [16] does approach. Furthermore, our results reveal an inherent tradeoff
not consider any fairness criteria that can be affected by the between the hover time of UAVs and bandwidth efficiency
network congestion in a non-uniform users’ distribution case. while servicing the ground users.
In addition, this work ignores the UAVs’ flight time constraints The rest of this paper is organized as follows. In Section II,
while determining the cell partitions associated with the UAVs. we present the system model. In Section III we investigate
Indeed, the flight time duration of UAVs presents a unique Scenario 1 in order to maximize data service. Section IV
design challenge for UAV-based communication systems [18] presents Scenario 2 for minimizing the hover time of UAVs.
and [19]. In particular, the performance of such systems Simulation results are presented in Section V, and conclusions
significantly depends on the hover time of each UAV, which are drawn in Section VI.
is defined as the flight time during which the UAV must stay
in the air over a given area for providing wireless service II. S YSTEM M ODEL
to ground users. In fact, with a higher hover time of the Consider a geographical area D ⊂ R2 within which a
UAV, the users can receive wireless service for a longer number of wireless users are located according to a given
period. Thus, by increasing the hover time, a UAV can meet distribution f (x, y) in the two-dimensional plane1 . Here, we
higher load requirements and serve a larger area. However, consider a fixed number of users, N , which are independently
the hover time of a UAV is naturally limited due to the highly distributed on the area. In this area, a set M of M UAVs
constrained battery-provided, on-board energy, as well as flight are used as aerial base stations to provide wireless service
regulations such as no-fly time/zone constraints [20]. Hence, for the ground users2 . Let si = (xi , yi , hi ) be the three-
while designing the UAV-based communication systems, the dimensional (3D) coordinate of each UAV i ∈ M with hi
hover time constraints must be also taken into account. In this being the altitude of UAV i. We consider a downlink scenario
case, there is a need for a framework to analyze and optimize in which each UAV adopts a frequency division multiple
the performance of UAV-based communications based on the access (FDMA) technique to provide service for the ground
hover time of UAVs. To our best knowledge, none of the users. Let Pi and B be, respectively, the maximum transmit
previous UAV studies such as [1]–[17], considered the hover power and the total available bandwidth 3 for UAV i. We
time constraints in their analysis. use Ai , as shown in Fig. 1, to represent the partition of the
B. Contributions geographical area which is served by UAV i. In this case, all
users located in cell partition Ai will be connected to UAV
The main contribution of this paper is to develop a novel i. Hence, the geographical area is divided into M disjoint
framework for optimized UAV-to-ground communications un- partitions each of which is associated with one of the UAVs.
der explicit UAVs’ hover time constraints. In particular, we Let τi be the hover time of UAV i, defined as the time
consider a network in which multiple UAVs are deployed duration that a UAV hovers (stops) over the corresponding cell
as aerial base stations to provide wireless service to ground partition to service the ground users. During the hover time,
users that are distributed over a geographical area based on an the UAV must initiate connections to the ground users, perform
arbitrary spatial distribution. We investigate two key practical required computations, and transmit data to the users. Let Ti
scenarios: UAV communication under hover time constraints, be the effective data transmission period during which a UAV
and UAV communication under load constraints. In the first services the users. In general, the effective data transmission
scenario, given the maximum possible hover time of UAVs time is less than the total hover time. Consequently, we
that is imposed by the limited on-board energy of UAVs consider a control time as gi (.), which is a function of the
and flight regulations, we maximize the average number of number of users in Ai , to represent the portion of the hover
bits (data service) that is transmitted to the users under a time that is not used for the effective data transmission. This
fair resource allocation scheme. To this end, given the hover control time naturally captures the total time that a UAV i
times and the spatial distribution of users, we find the optimal
cell partitions associated to the UAVs. In this case, using the 1 In this model, the locations of users can be modeled as homogeneous or
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
3
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
4
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
5
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
6
cost function are continuous, these two problems are equiva- f (x, y) and J(v, si ), the Monge’s problem is equivalent to the
lent [30]. In addition, the optimal transport map, T : x → y, Monge-Kantorovich problem.
is linked with the optimal Kantorovich potential functions by: Z
T (x) = {y|ϕ∗ (x) + ψ ∗ (y) = c(x, y)} , (19) min J (v, T (v))f (x, y)dxdy
T DZ
Z
where ϕ∗ (x) and ψ ∗ (y) are the optimal potential functions
X
= max ϕ(v)f (x, y)dxdy + ψ(s) ωi δs−si ds;
corresponding dual formulation of the Monge-Kantorovich ϕ,ψ D S i∈M
problem.
Given this optimal transport framework, we can solve our ϕ(v) + ψ(s) ≤ J(v, s)
optimization problem in (11). In particular, we model this Z M
problem as a semi-discrete optimal transport problem in which X
= max ϕ(x, y)f (x, y)dxdy + ψ(si )ωi ;
the source measure (users’ distribution) is continuous while the ϕ,ψ D i=1
destination (UAVs’ distribution) is discrete.
ϕ(x, y) + ψ(si ) ≤ J(x, y, si ), ∀i ∈ M . (23)
B. Optimal Cell Partitioning
Using optimal transport theory, we can find the optimal Note that, to maximize (23) given any ψ, we need to choose
cell partitions, Ai , for which the average total data service is a maximum value for ϕ. Considering the fact that ϕ(x, y) +
maximized. In our model, users have a continuous distribution, ψ(si ) ≤ J(x, y, si ) must be satisfied for all (x, y) ∈ D and
and the locations of the UAVs can be considered as discrete si ∈ S, the maximum allowable value of ϕ is given by:
points. Then, the optimal cell partitions are obtained by
ϕ(x, y) = ψ c (x, y) = inf J(x, y, si ) − ψ(si ), (24)
optimally mapping the users to the UAVs. In fact, given (11), si
the cell partitions are related to the transport map by [31]: where ψ c is called the c-transform of ψ. Now, considering
( )
X Z ψi = ψ(si ), (23) and (24) lead to:
T (v) = si 1Ai (v); f (x, y)dxdy = ωi , (20) Z
Ai
i∈M min J (v, T (v))f (x, y)dxdy
T D
αi BTi
where ωi = M
P
, as given in (12), is directly related to ( M Z )
B αk Tk T
X
c
k=1 = max F (ψ ) = ψ i ωi + ψ (x, y)f (x, y)dxdy ,
the hover time and the bandwidth of the UAVs. Also, 1Ai (v) ψi ,i∈M D
i=1
is the indicator function which is equal to 1 if v ∈ Ai , and 0 (25)
otherwise. c
ψ (x, y) = inf J(x, y, si ) − ψi . (26)
Therefore, the optimization problem in (11) can be cast i
within the optimal transport framework as follows. Given a As a result, the optimization problem in (11) is reduced to
continuous probability measureP f of users, and a discrete (22) with a set of M optimization variables, ψi , ∀i ∈ M.
probability measure Γ = ωi δsi corresponding to the This proves the theorem.
i∈M
UAVs,
R we must find the optimal transport map for which Theorem 1 shows that the complex optimal cell partitioning
D
J (v, T (v))f (x, y)dxdy is minimized. In this case, δsi is problem in (11) can be transformed to a tractable optimization
the Dirac function, and J is the transportation cost function problem with M variables. In other words, by solving (22),
which is used in (11) and is given by: one can use the optimal values of ψi , ∀i ∈ M to find
J(v, si ) = J(x, y, si ) = −λi log2 (1 + γi (x, y)) . (21) the optimal cell partitions. Using Theorem 1, we can further
proceed to solve (11) by presenting the following theorem:
Clearly, the cost function, J, and the source distribution, f ,
are continuous. As a result, the Monge’s problem coincides Theorem 2. Given (22), F is a concave function of variables
with the Monge-Kantorovich problem. Next, we propose a ψi , i ∈ M. Also, we have:
solution to (11) by exploiting the dual formulation of the
Z
∂F
Monge-Kantorovich problem. = ωi − f (x, y)dxdy, (27)
∂ψi Di
Theorem 1. The optimization problem in (11) is equivalent where
to the following unconstrained maximization problem: Di = {(x, y)|J(x, y, si ) − ψi ≤ J(x, y, sj ) − ψj , ∀j 6= i}.
( M Z )
X M
max F (ψ T ) = ψi ωi + ψ c (x, y)f (x, y)dxdy ,
P
ψi ,i∈M
Proof. Clearly, ψi ωi is a linear function of ψi . Also, given
i=1 D i=1
(22) any i ∈ M, J(x, y, si ) − ψi is a linear function of ψi . Let
T
where ψ is a vector of variables ψi , ∀i ∈ M , and ψ (x, y) = c z(ψ T ) = inf J(x, y, si ) − ψi with ψ T being a vector of all
i
inf J(x, y, si ) − ψi . variables ψi , i ∈ M. Then, we can observe that the hypograph
i
of z(ψ T ), a set of points below z(ψ T ), is a convex set.
Proof. We use theP
Kantorovich duality theorem (18) in which
Subsequently, considering the fact that a function is concave
f (x, y) and Γ = ωi δsi are two probability measures, and
i∈M if and only if its hypograph is convex, we prove the concavity
J(v, s) is the cost function. Clearly, due to the continuity of of z(ψ T ). Finally, since multiplying z(ψ T ) by a positive
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
7
Algorithm 1 Gradient method for optimal cell partitioning the UAVs, and ρ > 0 which is the threshold based on which
1: Inputs: f (x, y), ρ, τi , si , ∀i ∈ M. the algorithm stops. In Algorithm 1, we first initialize vector
2: Outputs: ψi∗ , Ai , ∀i ∈ M. ψ Tt with t being the iteration number. Next, using (27), we
3: Set initial
values
for ψ Tt , (t = 1) . compute ∇F (ψ Tt ). In Step 6, we update ψ Tt using step size
4: while
∇F (ψ Tt )
2 > ρ do
5: Set k = 1, 1 = 1.
k . The appropriate step size at each iteration is determined
6: Update ψ Tt+1 = ψ Tt + εk ∇F (ψ Tt ), k, t ∈ N. through Steps 7 to 21. Here, we find the step size k based
7: if F (ψ Tt ) < F (ψ Tt+1 ) then on Armijo’s rule which is a common approach for finding
8: Go to Step 12 . an appropriate step size in the gradient decent method [32].
9: else Armijo’s rule improves the convergence of the gradient descent
10: Go to Step 17 . method by adaptively adjusting the step size. In this case,
11: end if
12: while F (ψ Tt ) < F (ψ Tt+1 ) do the algorithm stops when the condition in 4 is not satisfied.
13: k → k + 1. Clearly, due to the concavity of F , the optimal solution to (22)
14: k = 2k−1 1 . is attained. Finally, with the optimal vector ψ T , the optimal
15: Update ψ Tt+1 = ψ Tt + εk ∇F (ψ Tt ), k, t ∈ N. cell partitions are determined using Steps 24 and 25.
16: end while In summary, we proposed a framework for maximizing the
17: while F (ψ Tt ) > F (ψ Tt+1 ) do
18: k → k + 1. average data service to ground users while considering some
19: k = 2−k+1 1 . level of fairness among the users. To this end, we used tools
20: Update ψ Tt+1 = ψ Tt + εk ∇F (ψ Tt ), k, t ∈ N. from optimal transport theory to determine the optimal cell
21: end while partition associated to each UAV that services users within
22: t → t + 1. the cell partition.
23: end while
24: ψi∗ = ψ Tt(i), ∀i ∈ M.
25: Ai = (x, y)|J(x, y, si ) − ψi∗ ≤ J(x, y, sj ) − ψj∗ , ∀j 6= i ,
C. Cell Partitioning in Uplink Case
∀i ∈ M. For cell association problems, in general, analyzing the
uplink can be intractable due to challenges stemming from
probability density function f (x, y), and taking integration interference modeling. In particular, uplink interference de-
over (x, y) does not violate the concavity, F is also a concave pends on two key information: channel assignment strategy
function of ψ T . and cell partitions. Without such information (as in our case),
To find thec
derivative of F with respect to ψi , we first one cannot write an exact expression for the interference. To
compute ∂ψ∂ψi . Clearly, based on (26), we have: analyze the uplink case, we can consider interference-free and
interference scenarios, separately, as follows.
∂ψ c
−1, if J(x, y, si ) − ψi ≤ J(x, y, sj ) − ψj , ∀j 6= i,
= 1) Interference-free scenario: In this case, we assume that
∂ψi 0, otherwise.
the UAVs operate over different frequency bands which are
(28)
divided among their associated users and, thus, there is no
Then, by defining interference. The uplink SNR for a given user located at (x, y)
Di = {(x, y)|J(x, y, si ) − ψi ≤ J(x, y, sj ) − ψj , ∀j =
6 i}, that connects to UAV i will be:
the derivative of F , given in (22), will be: Pu
γiUL (x, y) = 2 ,
Ko di (x, y) [PLoS,i µLoS + PNLoS,i µNLoS ] σ 2
Z
∂F
= ωi − f (x, y)dxdy . (29) (30)
∂ψi Di
where Pu is the transmit power of the user. Then, the uplink
This proves the theorem. cell partitioning problem will be given by:
M Z
Theorem 2 shows the concavity of F as a function of X
− λi log2 1 + γiUL (x, y) f (x, y)dxdy,
min
ψ T . Thus, the optimal values for variables ψi , ∀i ∈ M, Ai , i∈M Ai
i=1
can be obtained by maximizing F . Then, given the optimal (31)
ψi , ∀i ∈ M, equations (19), and (20) are used to determine Z
the optimal cell partitions corresponding to the optimization s.t. f (x, y)dxdy = ωi , ∀i ∈ M, (32)
problem in (11). In this case, by using the first derivative of Ai
[
F provided in (27), we propose a gradient-based method to Al ∩ Am = ∅, ∀l 6= m ∈ M, Ai = D. (33)
determine the optimal vector ψ T that leads to the optimal i∈M
cell partitions. Here, the gradient descent method is simple in M
B
P αi Ti
terms of implementation and does not require computing the where λi = N αi Tk , and ωi = M
P
. Clearly, similar
k=1 αk Tk
Hessian matrix of F which is needed in the Newton methods. k=1
In fact, given the intractable expression of F in (22), finding to the downlink case, the uplink cell association problem in
its second derivative is challenging and, thus, we adopt the (31) can be solved by using Algorithm 1.
gradient-based approach. 2) Interference case: In this scenario, UAVs share the same
The proposed algorithm for finding the optimal cell parti- frequency band which is divided among the users associated to
tions is shown as Algorithm 1 and proceeds as follows. The each UAV. Here, since it is not possible to compute the exact
inputs are the distribution of users, hover times, locations of value of the interference power in the uplink, we provide an
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
8
approximate expression for the average interference. To this that can be attained by optimal bandwidth allocation to the
end, we first determine cell partitions based on a weighted users in the given cell partition.
Voronoi diagram and, then, we compute the average interfer-
Proposition 1. Let u be the load (in bits) of a user located at
ence power over the given cell partitions.
(x, y). The minimum average hover time of UAV i for serving
For a user that connects to UAV i, interference stems from
partition Ai that can be achieved by optimally allocating the
users located in all other cells, ∀Ak , k 6= i. Now, the spatial
bandwidth to the users, is given by:
probability density function of an interfering user located at Z Z
partition Ak , k 6= i can be given by: Nu
τi = B
f (x, y)dxdy + gi f (x, y)dxdy ,
f (x, y) Ai Ci (x, y) Ai
fAk (x, y) = f ( x, y| (x, y) ∈ Ak ) = (38)
P [(x, y) ∈ Ak ]
where N is the total number of users, CiB =
f (x, y)
=R . (34) Blog2 (1 + γi (x, y)), and gi (.) is the additional control
f (x, y)dxdy
Ak time which is a function of the number of users in the cell
Subsequently, the average interference power at UAV i from partition.
a user in partition Ak is:
Z Proof. Let Y be an arbitrary set of Y users in a cell partition
IAk ,i = Pu Gi (x, y)fAk (x, y)dxdy, (35) Ai . We denote the load and bandwidth allocated to user r by
Ak ur and Wr . Then, the time needed to serve user r is given by:
where Gi (x, y) = Ko d2i (x, y) [PLoS,i µLoS,i + PNLoS,i µNLoS,i ] ur
tr = , (39)
is the channel gain between the interfering user and UAV Wr Er
i. Hence, the average interference power at UAV i from all where Er is the spectral efficiency (bit/s/Hz) at the user’s
interfering users can be approximately given by: location. Clearly, to serve all the users in Ai , the hover time
X of UAV i must be max tr + gY , with gY being the additional
IiUL ≈ IAk ,i . (36)
control time. The hover time can be minimized by an optimal
k6=i
bandwidth allocation as follows:
Note that, our approach for finding the average interference is
min max tr + gY , (40)
analytically tractable. Moreover, this approach is not compu- Wr , r=1,...,Y
tationally demanding as it only needs to be done once, before Y
X
solving our cell association problem. Clearly, the uplink SINR s.t. Wr = B. (41)
for a given user located at (x, y) that connects to UAV i will r=1
be: Pu Gi (x, y) The minmax problem in (40) can be transformed to:
γiUL (x, y) = UL . (37)
Ii + σ 2 min Z + gY , (42)
Finally, (37) is used in our uplink cell association problem in ur
s.t. Z ≥ , ∀r ∈ Y, (43)
(31) which can be solved using Algorithm 1. A more elaborate W r Er
Y
analysis on the uplink cell association problem can be subject X
of future work. In the next section, we investigate Scenario 2 Wr = B. (44)
r=1
in which the minimum average hover times of UAVs needed
for completely servicing the users are determined. Y
1
P ur
Now, using (43) and (44), we have Z ≥ B Er . Hence, the
r=1
IV. S CENARIO 2: M INIMUM H OVER T IME F OR MEETING minimum hover time under an optimal bandwidth allocation
Y
L OAD R EQUIREMENTS P ur
will be BEr +gY . Furthermore, it can be shown that Wr =
Our goal is to meet the load requirements of the ground r=1
Y
users while minimizing the average hover times of the UAVs. Bur P uk
Er / Ek is an optimal bandwidth allocation to user r.
In particular, given the demand of each user, we find the min- k=1
Y
imum required average hover time of the UAVs to completely Clearly,
P ur
is also equal to the total time needed for
BEr
serve the users. The hover time of each UAV depends on r=1
the distribution and load of the users, bandwidth allocation sequentially serving the users using the entire bandwidth B.
between users, and the cell partition that is assigned to the Therefore, given a cell partition Ai and the users’ distribution,
UAV. Next, we first derive an expression for the average hover f (x, y), the minimum average hover time of UAV i can be
time needed to serve any arbitrary cell partition under an given by:
Z
optimal bandwidth allocation between the users. Then, we Nu
τi = f (x, y)dxdy
determine the optimal cell partitions for which the average Ai Blog 2 (1 + γi (x, y))
total hover time required for completely servicing the entire Z
target area is minimized. We note that, given a specified + gi f (x, y)dxdy . (45)
Ai
partition Ai , the hover time of the UAV i needed for serving
the users depends on the bandwidth allocation strategy. Hence, Finally, considering CiB = Blog2 (1 + γi (x, y)), this proposi-
we first derive the minimum average hover time of each UAV tion is proved.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
9
From (38), we can see that the hover time increases as the optimal solution over the entire E. Thus, the proposition is
number of users increases. For a higher number users, both proved.
the total data transmission time and the additional control time
Next, we completely characterize the solution space of
increase. Moreover, the hover time increases as the load of the
problem (46) which allows finding the optimal cell partitions
users increases. In particular, for an equal load of users, the
and the average hover time of each UAV.
hover time increases sublinearly by increasing the load as the
control time does not depend on the load here. From (38), we Theorem 3. The optimal hover time of UAV i required to
can see that the hover time can be reduced by increasing the completely service the target area is given by:
!
transmission rate. In addition, (38) implies that the UAV must Z
Nu
Z
∗
hover for a longer time over a partition with higher users’ τi = f (x, y)dxdy + gi f (x, y)dxdy ,
A∗ CiB (x, y) A∗
density (i.e. f (x, y)). i i
(52)
Next, we minimize the average total hover time by solving
where A∗i is the optimal cell partition given by:
the following optimization problem:
∗ Nu Nu
X M Z
Nu Ai = (x, y)| B + gi0 (ai ) ≤ B + gj0 (aj ),
min f (x, y)dxdy Ci (x, y) Cj (x, y)
Ai , i∈M C B (x, y)
Ai
i=1 i
Z ∀j 6= i ∈ M , (53)
+ gi f (x, y)dxdy , (46)
Ai
R
where ai = Ai
f (x, y)dxdy, and N is the total number of
s.t. Al ∩ Am = ∅, ∀l 6= m ∈ M, (47) users.
[
Ai = D, (48) Proof. See Appendix A.
i∈M
where the objective function in (46) represents the total Using Theorem 3, we can find the optimal cell partitions as
average hover time needed for providing service for the users. well as the minimum hover time needed to completely service
Solving (46) is challenging as the optimization variables the users. In fact, the target area is optimally partitioned
Ai , ∀i ∈ M, are sets of continuous partitions which are in a way that the average hover time that the UAVs use
mutually dependent. Moreover, since gi is a generic function to serve their users is minimized. Note that, for the special
of Ai and f (x, y), this problem is intractable. Next, we use case where gi0 = 0, the result in (53) corresponds to the
optimal transport theory to completely characterize the optimal classical weighted Voronoi diagram. In this case, the users
solution. To this end, we first prove the existence of the are assigned to the UAVs based on the maximum received
solution to (46) for any semi-continuous function gi , ∀i ∈ M. signal strength criterion. Subsequently, the users can be served
Note that, in general, (46) does not necessary admit an optimal with a maximum rate and, hence, the total required hover
solution when the semi-continuity of gi does not hold. time is minimized. However, in general, the classical weighted
Voronoi diagram is not optimal [24] as the effect of control
Proposition 2. The optimization problem in (46) generally
time is ignored while generating cell partitions.
admits an optimal solution.
From (53), we can see that there is a mutual dependence
R
Proof. Let ai = Ai f (x, y)dxdy, then we also define a unit between ai and Ai , ∀i ∈ M. Therefore, solving (53) does not
simplex as follows: have an explicit form and, hence, an iterative-based approach
( ) is needed to find a solution to (53). Next, given the results of
M
X Theorem 3, we present an iterative algorithm based on [31] and
E = a = (a1 , a2 , ..., aM ) ∈ RM ; ai = 1, ai ≥ 0, ∀i ∈ M .
shown in Algorithm 2, that solves (53) and finds the optimal
k=1
(49) cell partitions and the average hover time of each UAV. This
Clearly, given any vector a, problem (46) can be considered algorithm guarantees the convergence to the optimal solution
as a classical semi-discrete optimal transport problem. In par- within a reasonable number of iterations [31]. In addition, this
u
ticular, considering f (v) = f (x, y), and c (v, si ) = C B (x,y) , algorithm is practical to implement as its complexity grows
(46) can be transformed to:
i
linearly with the size of area D.
Z Algorithm 2 for finding the optimal cell partitions as well
min c (v, s)f (v)dv, s = T (v), (50) as the average hover times proceeds as follows. The inputs
T D are load and distribution of the users, locations of the UAVs,
where T is the transport map which is related to cell partition control time function, and the number of iterations, L. Here,
Ai by: we use t to represent the iteration number. First, we generate
( M
) (t) (t)
X Z initial cell partitions Ai , and set φi (x, y) = 0, ∀i ∈ M,
T (v) = si 1Ai (v); f (v)dv = ai . (51) with φ(t) (x, y) being a pre-defined parameter that will be used
Ai i
i=1 (t+1)
to update the cell partitions. Next, we update φi (x, y), and
As discussed in Section III, the optimal transport problem in compute ai in step 6. Then, in step 8, we update cell partitions
(50) admits a solution. Hence, for any a ∈ E, the problem in by using (53). Finally, at the end of the iteration, the optimal
(46) has an optimal solution. Since E is a unit simplex in RM cell partitions and the minimum average hover time of the
which is a non-empty and compact set, the problem admits an UAVs are determined.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
10
Algorithm 2 Iterative algorithm for optimal cell partitions and Table I: Simulation parameters.
hover times Parameter Description Value
1: Inputs: f (x, y), u, Z, gi , si , ∀i ∈ M. fc Carrier frequency 2 GHz
2: Outputs: A∗i , τi∗ , ∀i ∈ M. Pi UAV transmit power 0.5 W
(t) No Noise power spectral -170 dBm/Hz
3: Set t = 1, generate an initial cell partitions Ai , and set
(t) N Number of ground users 300
φi (x, y) = 0, ∀i ∈ M. µLoS Additional path loss to free space for LoS 3 dB
4: while t < Z do µNLoS Additional path loss to free space for NLoS 23 dB
(t+1)
5: ( Compute (t) φi (x, y) = B Bandwidth 1 MHz
(t) α
(1 − 1/t) φi (x, y), if (x, y) ∈ A i , Control time factor 0.01
h UAV’s altitude 200 m
(t)
1 − (1 − 1/t) 1 − φi (x, y) , otherwise. u Load per user 10 Mb
R (t+1)
µx , µy Mean of the truncated Gaussian distribution 250 m, 330 m
6: Compute ai = D 1 − φi (x, y) f (x, y)dxdy, ∀i ∈
b1 , b2 Environmental parameters (dense urban) 0.36, 0.21 [5]
M.
7: t → t + 1. 1000 x 10
−6
1000
8: Update cell partitions using (53). 6
9: end while 800 800
Y−coordinate (m)
Y−coordinate (m)
(t)
10: A∗i = Ai , 5.5
600 600
11: Compute τi∗ using (38) based on A∗i , ∀i ∈ M. 5
UAV 1
400 400 UAV 2
4.5
UAV 3
200
V. S IMULATION R ESULTS AND A NALYSIS 200 UAV 4
4 UAV 5
For our simulations, we consider a rectangular area of size 200 400 600 800 1000 200 400 600 800 1000
X−coordinate (m) X−coordinate (m)
1000 m × 1000 m in which the ground users are distributed ac-
cording to a two-dimensional truncated Gaussian distribution (a) Proposed optimal cell (b) Weighted Voronoi
partitions. diagram.
which is suitable to model a hotspot area and is given by [25]:
1 h x − µ 2 i
x
h y − µ 2 i
y
Fig. 3: Cell partitions associated to UAVs given the non-uniform
f (x, y) = exp − √ exp − √ , (54) spatial distribution of users.
η 2σx 2σy
1
−µx L −µ
where η = 2πσx σy erf L√x2σ erf √y 2σ y , and the size of
x y
the area is Lx × Ly . Also, µx , σx , µy , and σy are the mean 0.8
and standard deviation values of x and y coordinates, and
Jain’s index
Rz 2
erf(z) = √2π e−t dt. In this case, (µx , µy ) represents the 0.6
0
center of the hotspot, and the density of the users around the
0.4
center is inversely proportional to the values σx and σy . In our
simulations, we consider σx = σy = σo . Note that, although Proposed cell partitioning
0.2 Weighted Voronoi
we consider the truncated Gaussian distribution of users, our
analysis can accommodate any other arbitrary distribution.
0
We deploy the UAVs based on a grid-based deployment with 200 400 600 800 1000
an altitude of 200 m. Unless stated otherwise, we consider a σ (m)
o
full interference scenario with an interference factor β = 1. Fig. 4: Jain’s fairness index for average data service to users.
Furthermore, for Scenario 1, we consider equal resource allo-
cation factors (i.e. αi = αj , ∀i, j ∈ M). For the control time ground users (truncated Gaussian distribution with σo =
2
function, we consider gi (N ai ) = α(N ai ) , with α being an 1000 m). Also, in Scenario 1, we assume that the maximum
arbitrary constant factor. This function is a reasonable choice hover time of each UAV is 30 minutes which corresponds
in our model as it is a superlinear function of the number to the typical hover time for quadcopter UAVs [33]. In Fig. 3,
of users and its value can be adjusted by factor α. However, areas shown by a darker color have a higher population density.
any arbitrary Lipschitz continuous control function can also be As we can see from Fig. 3b, the cell partitions associated
considered in our model. The simulation parameters are listed with UAVs 3 and 4 have significantly more users than cell
in Table I. We compare our results, obtained based on the partition 1. Therefore, given the limited hover times, users
proposed optimal cell partitioning approach, with the classical located at cell partitions 3 and 4 cannot be fairly served by
weighted Voronoi diagram baseline. All statistical results are UAVs. However, in the proposed optimal cell partitioning case
averaged over a large number of independent runs. Next, we (obtained by Algorithm 1), the cell partitions change such
present the results corresponding to Scenario 1 and Scenario that the average data service under a fair resource allocation
2, separately. constraint is maximized. For instance, as shown in Fig. 3a,
the size of cell partitions 3 and 4 decreases compared to
A. Results for Scenario 1 the weighted Voronoi diagram. As a result, the proposed cell
Fig. 3 shows the proposed optimal cell partitions and the partitions lead to a higher level of fairness among the users
classical weighted Voronoi diagram. In this case, we consider than the weighted Voronoi case.
5 UAVs that provide service for the non-uniformly distributed To show how fairly the users can be served in different
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
11
70
50
60
48
50
20
where N is the number of users, and li is the data service
to user i. Clearly, 1/N ≤ FJain ≤ 1, with FJain = 1/N and 0
30 35 40 45 50 55 60
FJain = 1 indicating the lowest and highest level of fairness. Maximum hover time of each UAV (min)
Fig. 4 shows the Jain’s fairness index for different values Fig. 7: Total data service versus the maximum hover time of
of σo which is given in (54). In this figure, as σo increases each UAV.
the spatial distribution of users becomes closer to a uniform
distribution. As we can see from this figure, the minimum Fig. 6 shows the average sum-logarithm (sum-log) of data
Jain’s index corresponding to the proposed cell partitioning service as the interference factor varies (for 5 UAVs, and
method is above 0.5. However, in the weighted Voronoi case, σo = 200 m). The sum-log utility is a commonly used
it can decrease to 0.18 for a highly non-uniform distribution performance metric that accounts for both total system per-
of users with σo = 200 m. This is due to the fact that, in formance and individual fairness [26], [35]. Clearly, our
the Voronoi case, users located in highly congested partitions proposed approach outperforms the weighted Voronoi tech-
receive lower service than the partitions with low number nique. Moreover, as the interference between UAVs decreases,
of users. In the proposed approach, however, the resources the total data service that they can provide to the ground
(hover time and bandwidth) are fairly shared between the users increases. For example, by decreasing β from 1 (full
users thus leading to a higher fairness index. From Fig. 4 we interference case) to 0 (interference-free), the sum-log data
can also observe that, for higher values of σo (more uniform service increases by 14%.
distribution), the fairness index for the proposed approach In Fig. 7, we show how the total data service changes as
becomes closer to the weighted Voronoi case. the maximum hover time of the UAVs increases. As expected,
Fig. 5 shows the average number of users in each cell by increasing the hover time of each UAV, the users can be
partition. In the Voronoi case, the average number of users served for a longer time and, hence, the total data service
per cell significantly varies for different cell partitions. For increases. Fig. 7 also compares the performance of deploying
instance, the average number of users in cell 3 is 2.5 times 5 UAVs versus 10 UAVs. Interestingly, we can see that the
higher than cell 1. Consequently, compared to cell 3, users 5-UAVs case with 40 minuets hover time (for each UAV)
in cell 1 will receive lower data service from their associated outperforms the 10-UAVs case with 30 minuets hover time. As
UAV. However, in the proposed approach, the cell partitions a result, in this case, deploying UAVs that has a 33% higher
associated with the UAVs are formed such that the number of hover time is preferred than doubling the number of UAVs.
users per cell be proportional to the bandwidth and hover time In fact, increasing the number of UAVs results in a higher
of the UAVs. In this case, given equal bandwidth and hover interference which reduces the data service gain that can be
times of UAVs, the cell partitions contains an equal number of typically achieved by using more UAVs. Therefore, depending
users. Therefore, our approach avoids generating unbalanced on system parameters, using more capable UAVs (i.e. with
cell partitions and, hence, it leads to a higher level of fairness longer flight time) can be more beneficial than deploying more
compared to the classical Voronoi approach. UAVs with shorter flight times.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
12
100 50 10
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
13
100 A PPENDIX
Average total hover time (min) Load per user= 100 Mb
Load per user= 200 Mb A. Proof of Theorem 3
80
As shown in Proposition 2, there exist optimal cell partitions
60 Ai , i ∈ M which are solutions to the optimization problem
in (46). Now, we consider two optimal partitions Al and Am ,
40 and a point v o = (xo , yo ) ∈ Am . Also, let B (v o ) be the
intersection of Am with a disk that has a center vo and
20 radius > 0. To characterize the optimal solution of (46),
we first generate new cell partitions Abi (a variation of optimal
0 partitions) as follows:
0 0.2 0.4 0.6 0.8 1
Interference factor (β)
Abm = Am \Bε (v o ),
Fig. 11: Average hover time versus interference factor. Abl = Al ∪ Bε (v o ), (56)
Ab = A , i 6= l, m.
i i
Average load of a cell (normalized)
1
R
Also, let aε = Bε (v o )
f (x, y)dxdy, and b ai =
0.8 R
Abi f (x, y)dxdy. Considering the optimality of Ai , i ∈ M,
we have:
0.6
X Z Nu
f (x, y)dxdy + gi (ai )
0.4
i∈M Ai
CiB (x, y)
(a) X
Z
0.2 Nu
≤ f (x, y)dxdy + gi (b ai ),
i∈M Ai
b CiB (x, y)
0 Z
1 5 10 15 20 Nu
Iteration number B
f (x, y)dxdy + gl (al )
Al Cl (x, y)
Fig. 12: Convergence of Algorithm 1. Z
Nu
350 + B (x, y)
f (x, y)dxdy + gm (am )
Cm
Average total hover time (min)
ZAm
Nu
300 ≤ B
f (x, y)dxdy + gl (al + a )
Al ∪Bε (vo ) Cl (x, y)
Z
Nu
250 + B
f (x, y)dxdy + gm (am − a ),
Am \Bε (vo ) Cm (x, y)
Z
Nu
200 B
f (x, y)dxdy + gm (am ) − gm (am − a )
Bε (vo ) Cm (x, y)
Z
Nu
150
≤ B
f (x, y)dxdy + gl (al + a ) − gl (al ),
1 2 3 4 5 6 7 8 9 10 Bε (vo ) Cl (x, y)
Iteration number (57)
Fig. 13: Convergence of Algorithm 2.
where (a) comes from the fact that Ai is optimal and, thus,
any variation of that (Abi ) cannot lead to a better solution.
account the flight time constraints of UAVs. In particular, we
Now, we multiply both sides of the inequality in (57) by a1ε .
have investigated two UAV-based communication scenarios.
Then, we take the limit when ε → 0, and we use the following
First, given the maximum possible hover times of UAVs, we
equality:
have maximized the average data service to ground users under Z
a fair resource allocation policy. To this end, using tools from 1 Nu
lim f (x, y)dxdy
optimal transport theory, we have determined the optimal cell ε→0 aε B (v ) C B (x, y)
ε o l
partitions associated with the UAVs. In the second scenario, R h
Nu
i
given the load requirements of users, we have minimized the Bε (vo ) ClB (x,y)
f (x, y)dxdy Nu
= lim R = B . (58)
average hover time of UAVs needed to completely serve the ε→0
Bε (vo )
f (x, y)dxdy Cl (xo , yo )
users. In this case, we have derived the optimal cell partitions
as well as the optimal bandwidth allocation to the users that Subsequently, following from (57), we have:
yield the minimum hover time. The results have shown that, Nu Nu
using our proposed cell partitioning approach, the users receive B (x , y )
+ gl0 (am ) ≤ B + gl0 (al ). (59)
Cm o o C l (xo , yo )
higher fair data service compared to the classical Voronoi
case. Also, our results for Scenario 2 have revealed that the Note that, (59) provides the condition under which a point
average hover time of UAVs can be significantly reduced by (xo , yo ) is assigned to partition m rather than l. Therefore,
using the proposed approach. the optimal cell partitions can be characterized as:
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2756644, IEEE
Transactions on Wireless Communications
14
[18] S. Niu, J. Zhang, F. Zhang, and H. Li, “A method of UAVs route opti-
mization based on the structure of the highway network,” International
Nu Nu
A∗i = (x, y)| B
+ gi0 (ai ) ≤ B + gj0 (aj ), Journal of Distributed Sensor Networks, 2015.
Ci (x, y) Cj (x, y) [19] K. Dorling, J. Heinrichs, G. G. Messier, and S. Magierowski, “Vehicle
routing problems for drone delivery,” IEEE Transactions on Systems,
∀j 6= i ∈ M , (60) Man, and Cybernetics: Systems, vol. 47, no. 1, pp. 70–85, Jan 2017.
[20] S. Chandrasekharan, K. Gomez, A. Al-Hourani, S. Kandeepan,
T. Rasheed, L. Goratti, L. Reynaud, D. Grace, I. Bucaille, T. Wirth, and
Finally, using (38), the optimal average hover time of UAV i S. Allsopp, “Designing and implementing future aerial communication
is: networks,” IEEE Communications Magazine, vol. 54, no. 5, pp. 26–34,
Z Z ! May 2016.
N u
τi∗ = f (x, y)dxdy + gi f (x, y)dxdy . [21] C. Villani, Topics in optimal transportation. American Mathematical
A∗
i
CiB (x, y) A∗i
Soc., 2003, no. 58.
(61) [22] ITU-R, “Rec. p.1410-2 propagation data and prediction methods for the
design of terrestrial broadband millimetric radio access systems,” Series,
Radiowave propagation, 2003.
R EFERENCES [23] F. Aurenhammer, “Voronoi diagramsa survey of a fundamental geomet-
ric data structure,” ACM Computing Surveys (CSUR), vol. 23, no. 3, pp.
[1] D. Orfanus, E. P. de Freitas, and F. Eliassen, “Self-organization as a 345–405, 1991.
supporting paradigm for military UAV relay networks,” IEEE Commu- [24] A. Silva, H. Tembine, E. Altman, and M. Debbah, “Optimum and
nications Letters, vol. 20, no. 4, pp. 804–807, 2016. equilibrium in assignment problems with congestion: Mobile terminals
[2] A. Merwaday and I. Guvenc, “UAV assisted heterogeneous networks for association to base stations,” IEEE Transactions on Automatic Control,
public safety communications,” in Proc. of IEEE Wireless Communica- vol. 58, no. 8, pp. 2018–2031, Aug. 2013.
tions and Networking Conference Workshops (WCNCW), Mar. 2015. [25] H. Ghazzai, “Environment aware cellular networks,” available online:
[3] M. Mozaffari, W. Saad, M. Bennis, and M. Debbah, “Unmanned aerial http://repository.kaust.edu.sa/kaust/handle/10754/344436, Feb. 2015.
vehicle with underlaid device-to-device communications: Performance [26] Q. Ye, B. Rong, Y. Chen, M. Al-Shalash, C. Caramanis, and J. G.
and tradeoffs,” IEEE Transactions on Wireless Communications, vol. 15, Andrews, “User association for load balancing in heterogeneous cellular
no. 6, pp. 3949–3963, June 2016. networks,” IEEE Transactions on Wireless Communications, vol. 12,
[4] Y. Zeng, R. Zhang, and T. J. Lim, “Wireless communications with no. 6, pp. 2706–2716, June 2013.
unmanned aerial vehicles: opportunities and challenges,” IEEE Com- [27] K. Son, S. Chong, and G. D. Veciana, “Dynamic association for load
munications Magazine, vol. 54, no. 5, pp. 36–42, May 2016. balancing and interference avoidance in multi-cell networks,” IEEE
[5] A. Hourani, S. Kandeepan, and A. Jamalipour, “Modeling air-to-ground Transactions on Wireless Communications, vol. 8, no. 7, pp. 3566–3576,
path loss for low altitude platforms in urban environments,” in Proc. of July 2009.
IEEE Global Communications Conference (GLOBECOM), Austin, TX, [28] W. Li, S. Wang, Y. Cui, X. Cheng, R. Xin, M. A. Al-Rodhaan, and A. Al-
USA, Dec. 2014. Dhelaan, “Ap association for proportional fairness in multirate wlans,”
[6] M. M. Azari, F. Rosas, K. C. Chen, and S. Pollin, “Joint sum-rate and IEEE/ACM Transactions on Networking, vol. 22, no. 1, pp. 191–202,
power gain analysis of an aerial base station,” in Proc. of IEEE Global Feb. 2014.
Communications Conference (GLOBECOM) Workshops, Dec. 2016. [29] F. Santambrogio, “Optimal transport for applied mathematicians,”
[7] E. Kalantari, H. Yanikomeroglu, and A. Yongacoglu, “On the number Birkäuser, NY, 2015.
and 3D placement of drone base stations in wireless cellular networks,” [30] L. Ambrosio and N. Gigli, “A users guide to optimal transport,” in
in Proc. of IEEE Vehicular Technology Conference, Sep. 2016. Modelling and optimisation of flows on networks. Springer, 2013, pp.
[8] I. Bor-Yaliniz and H. Yanikomeroglu, “The new frontier in RAN 1–155.
heterogeneity: Multi-tier drone-cells,” IEEE Communications Magazine, [31] G. Crippa, C. Jimenez, and A. Pratelli, “Optimum and equilibrium in a
vol. 54, no. 11, pp. 48–55, 2016. transport problem with queue penalization effect,” Advances in Calculus
[9] Facebook, “Connecting the world from the sky,” Facebook Technical of Variations, vol. 2, no. 3, pp. 207–246, 2009.
Report, 2014. [32] Z.-J. Shi, “Convergence of line search methods for unconstrained
[10] J. Lyu, Y. Zeng, R. Zhang, and T. J. Lim, “Placement optimization optimization,” Applied Mathematics and Computation, vol. 157, no. 2,
of UAV-mounted mobile base stations,” IEEE Communications Letters, pp. 393–405, 2004.
vol. 21, no. 3, pp. 604–607, Mar. 2017. [33] M. C. Achtelik, J. Stumpf, D. Gurdan, and K. M. Doth, “Design of
[11] S. Jeong, O. Simeone, and J. Kang, “Mobile edge computing via a UAV- a flexible high performance quadcopter platform breaking the MAV
mounted cloudlet: Optimization of bit allocation and path planning,” endurance record with laser power beaming,” in Proc. of IEEE Interna-
IEEE Transactions on Vehicular Technology, Early access, 2017. tional Conference on Intelligent Robots and Systems, Sep. 2011.
[12] F. Jiang and A. L. Swindlehurst, “Optimization of UAV heading for the [34] R. Jain, D.-M. Chiu, and W. R. Hawe, A quantitative measure of fairness
ground-to-air uplink,” IEEE Journal on Selected Areas in Communica- and discrimination for resource allocation in shared computer system.
tions, vol. 30, no. 5, pp. 993–1005, June 2012. tech. rep., Digital Equipment Corporation, DEC-TR-301, 1984, vol. 38.
[13] Y. Zeng and R. Zhang, “Energy-efficient UAV communication with tra- [35] U. Challita, L. Dong, and W. Saad, “Proactive resource manage-
jectory optimization,” IEEE Transactions on Wireless Communications, ment in lte-u systems: A deep learning perspective,” available online:
vol. 16, no. 6, pp. 3747–3760, June 2017. arxiv.org/abs/1702.07031, 2017.
[14] Q. Wu, Y. Zeng, and R. Zhang, “Joint trajectory and communi-
cation design for UAV-enabled multiple access,” available online:
https://arxiv.org/abs/1704.01765, 2017.
[15] V. V. Chetlur and H. S. Dhillon, “Downlink coverage analysis for a finite
3D wireless network of unmanned aerial vehicles,” IEEE Transactions
on Communications, Early access, 2017.
[16] V. Sharma, M. Bennis, and R. Kumar, “UAV-assisted heterogeneous
networks for capacity enhancement,” IEEE Communications Letters,
vol. 20, no. 6, pp. 1207–1210, June 2016.
[17] M. Mozaffari, W. Saad, M. Bennis, and M. Debbah, “Optimal transport
theory for cell association in UAV-enabled cellular networks,” IEEE
Communications Letters, vol. 21, no. 9, pp. 2053–2056, Sep. 2017.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.