fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/LCOMM.2018.2797274, IEEE
Communications Letters
1
1089-7798 (c) 2018 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/LCOMM.2018.2797274, IEEE
Communications Letters
2
TABLE I: CSS modulation properties of a 25 byte message
[5]
because Tc is sufficiently longer than ls . If we define ∆t as SF s Data Packet Receiver S N Rs Range
the time difference between the transmission start times of two Rate Duration Sensitivity dB m
colliding packets of SF s and s (i.e., ∆t = ts − ts), the
0 0
PDF
kbps l s sec q s dBm
7 1 5.47 0.036 -123 -6 [d1, d2 ]
of ∆t can be derived as f∆t (t) = max T1c 1 − Ttc , 0 . From
8 2 3.13 0.064 -126 -9 [d2, d3 ]
f∆t (t), we can get the pdf of ts,s0 (see Fig. 1b, where ls < ls0 9 3 1.76 0.113 -129 -12 [d3, d4 ]
and ts0 < ts < ts0 + ls0 ). Assuming that ls is shorter than ls0 10 4 0.98 0.204 -132 -15 [d4, d5 ]
11 5 0.54 0.365 -134.5 -17.5 [d5, d6 ]
(Since, for ls > ls0 , it can be seen as symmetric case with ls 12 6 0.29 0.682 -137 -20 [d6, d7 ]
and ls0 interchanged, we provide analysis for this case), we
can derive the distribution of ts,s0 from f∆t (t) as follows In LoRa, the chirp symbol duration can be expressed as
ls + ls0
2 2
! T s = 2SF /BW [1], where SF is a spreading factor and BW is
1
fts, s0 (t) = Tc − ls0 − ls + δ(t) bandwidth. Ts doubles for every increase in SF. As a result, a
Tc 2Tc packet length ls , which is multiples of Ts , has a different value
(ls0 − ls )2 ls + ls0
1 2 1 for each SF s. Actually, an increase in packet duration for a
+ ls0 − ls − δ(t − ls ) + 2 t + 2− , chirp gives the message higher robustness to noise, resulting in
Tc 2Tc Tc T c Tc
(1) a low required signal-to-noise ratio threshold. For each SF s,
receiver sensitivity qs = −174+10 log B + N F + SN Rs where
where δ(·) is the Dirac-delta function. In (1), the first term on the constant (-174 dBm) is the thermal10 noise density, and N F
the righthand side is for the event when there is no collision is the noise figure margin at GW (6 dB). A typical example
and the second term comes from the observation that the for system parameters is provided in Tab. I when B = 125
packet with smaller SF s 0 is included in the packet of larger KHz and 25 byte message [5].
SF s packet. The last two terms are for the case when the
From qs , we can deduce that the SF to satisfy qs gets
packets overlap each other in t.
smaller as the ED gets closer to the GW. In other words,
SIR model: The reference packet to be decoded has multi-
the farther the ED is from the GW, the higher SF the ED
ple SIRs from Is0 for each s 0 (Is0 , a set of interfering EDs of
should be allocated to. It means that there are boundaries
SF s 0, s 0 ∈ S). Then, we define the SIR of packet with SF s
which is determined from the receiver sensitivity (condition I).
interfering with Is0 as
This results in the predefined SF allocation intervals [ds, ds+1 ]
Pg A0 r −α P A0 gr −α shown in Fig. 1a. However, the amount of interference is also
γs,s0 = Í ts, s 0 = , (2)
P g A r −α I s,s 0 related to these intervals, the intervals should be determined
k ∈I s 0 ls 0 k 0 k
adaptively considering condition II. To be specific, the increase
where P is the transmit power of each ED, g (or gk ) is in the number of long messages could cause higher probability
the Rayleigh fading channel between gateway (GW) and ED of collision between packets due to the increase in the longer
located at r (or interfering ED k), A0 = c/4π f which comes interval of high SF messages, causing severe same/different-
from the Friis transmission equation with the carrier frequency SF interferences. So, for EDs, it is important to assign a proper
f , c is the light velocity and α is the path loss exponent. And, [ds, ds+1 ] to meet both conditions.
r (rk ) is the distance between the GW and ED (interfering ED III. P ROBLEM F ORMULATION
k). The packets are not synchronized under unslotted ALOHA,
ts, s 0 The massive connectivity can be defined as the average
so we need to normalize interfering power value in (2) by ls0 .
The reason behind this is that if the channel coding make number of EDs which meet condition I and condition II;
P A gr −α ≥ q and γ 0 ≥ T 0 for all s 0 . Then, massive
use of an interleaver, the interfering energy between colliding 0 s s,s s,s
packets can be spread out. connectivity can be mathematically written as (3) where
SF Allocation in LoRa [5]: In order for the received IA(x) is an indicator function, fg, Is, s0 (x, i) is the joint pdf of
packet with SF s to be successfully decoded in a GW, its random variables g and Is,s0 , fR (r) = R2 and P[SF = s|r]
2r
C
received power must exceed a receiver sensitivity qs (condition is the probability that ED located at r will send a packet
Ñ
I) and its signal-to-interference ratio (SIR) contaminated by with SF s. ∫is the ’intersection’ of sets. (a) holds since
the interference with packets of SF s 0 (s 0 ∈ S), γs,s0 , must = dP = P(A). And, (b) holds because of the
∫
X
I A (x)dP X
also exceed the relative threshold Ts,s0 (condition II) for all fact that the choice of SF is determined from the predefined
s 0, simultaneously (Ts,s0 is given by the element of T in [1] interval [ds, ds+1 ]. Therefore, P[SF = s|r] is 1 in [ds, ds+1 ],
which is the threshold matrix of LoRa). and 0 otherwise.
1089-7798 (c) 2018 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/LCOMM.2018.2797274, IEEE
Communications Letters
3
T 0rα
Then, the average system PSP over all EDs, PSP, can where z = s,PsA0 . (a) comes from the independence among
Í ∫d
be obtained as s ∈S d s+1 PSP s (r) fR (r) dr. Since N̄ is a ts,s0 , gk and rk , and gk ∼ exp(1). (b) comes from the fact that
s
constant, we can conclude that maximizing PSP is equivalent ts,s0 for all EDs using SF s 0 are independent of each other.
to maximizing massive connectivity. By using the probability generating functional of homoge-
Average System PSP: neous PPP [6] to (7), it can be further written as :
Õ ∫ ds+1 L Is, s0 (z) =
PSP = PSP s (r) fR (r)dr. (4) ds 0 +1
∫
s ∈S ds 1 ® xdx ª® .
ª
exp −2πλ 1 − Ets, s0
© ©
ts, s 0
1 + zP ls0 A0 x
−α
And, PSP s (r) can be expressed as follows «
ds0
« ¬ ¬
"(
Ù
)
Ù
#
(8)
PSP s (r) = P γs,s0 ≥ Ts,s0 {P A0 gr −α ≥ qs }r
So, we can obtain the closed form for Ets, s0 [·] applying the
s0 ∈S
" # PDF (1) of ts,s0 , which results in (9). With (9), the integral of
Ù (8) has the general solution which can be solved by using an
=P γs,s0 ≥ Ts,s0 P A0 gr −α ≥ qs, r P [P A0 gr −α ≥ qs |r]
0
analytical solver, such as Mathematica. Then, by substituting
"s ∈S # (8) into (6), and then into (5) with P[P A0 gr −α ≥ qs |r] =
exp(−qs r α /P A0 ), the lower bound of (4) can be obtained.
(a) Ù
≥P γs,s0 ≥ Ts,s0 r P [P A0 gr −α ≥ qs |r]
0
However, it is not possible to get the closed-form for (4), so the
" s ∈S # Riemann summation can be adopted for numerical calculation.
(b) Ö
≥ P[γs,s0 ≥ Ts,s0 |r] P[P A0 gr −α ≥ qs |r]. Optimization problem and solution: In this subsection, we
s0 ∈S propose an algorithm to determine [ds, ds+1 ] maximizing (4).
(5) We start from (5) because the difference between (4) and a
Inequality (a) is due to the fact that the conditioned probability lower bound (5) is small, which will be verified. In order
is greater than the unconditioned probability because the given to make (5) tractable, we made the following assumptions.
condition limits the minimum value of the numerator in γs,s0 The different-SF interference is ignored. Moreover, only the
for all s 0. Inequality (b) holds due to Fortuin, Kastelynm, probability event when ts,s0 = 0, which is the largest portion
Ginibre (FKG) inequality [8]. For that, we need the following due to large Tc , is considered in (1). We use the approximation,
definitions. exp(−x) ' (1 − x) for small x. With approximations, we can
For the PPP, let ω = (a1, a2, ..., an, ...) for n ∈ N, and formulate the following optimization problem :
an = 1 if E Dn is active and an = 0 otherwise. Then α+2 − d α+2 )
S
" #
Õ 2 − d2)
(ds+1 2qs (ds+1
s s
ω 0 ω if an0 ≥ an , ∀n. From (2), γs,s0 decreases as the max PSP = max −
number of interfering EDs increases, i.e., γs,s0 (ω) ≤ γs,s0 (ω 0)
d2,...,dS d2,...,dS
s=1
RC2 (α + 2)P A0 RC 2
1089-7798 (c) 2018 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/LCOMM.2018.2797274, IEEE
Communications Letters
4
!
ls20 + ls2 (ls0 − ls )2
1 1
= 1 1
0 − ls + +
Ets, s0 T c − ls ls 0 − ls −
t 0
1 + zP s,lss0 A0 x −α Tc
2Tc 1 + zP A0 x −α Tc 2Tc
2l2 (9)
l +l 0
l 0 0
ls20 T22 (zP A0 x −α ) Tsc 2 − sTc s − Ts2
+ c
+ c
log(1 + zP A0 x −α )
zP A0 x −α (zP A0 x −α )2
SF8
path loss exponent is assumed to be 2.7 (suburban scenario), 15
km. The transmit power for each ED was 14 dBm and Tc is Fig. 2: Average number of EDs v.s. Allocation intervals
set to 60 sec. The other parameters are provided as in Tab. I. 1 1000
EIB (sim)
• Equal-Interval-Based (EIB) scheme [5] which deter- 0.7
EAB (sim)
Random (sim)
700
0.5 500
RC /S, 0.4 400
choice, not depending on the location of the ED. Fig. 3: Average number of EDs v.s. (Average system PSP,
The allocation intervals for proposed, EIB and EAB scheme Massive connectivity)
are shown in Fig. 2. From Fig. 2, it can be said that, as N
V. C ONCLUSIONS
increases, it get more difficult for each ED to satisfy condition
II, so the proposed scheme makes the lowest SF region larger We formulated an optimization problem to maximize av-
to reduce collisions. In other words, when N is large, it is more erage system PSP when each ED attempts to transmit uplink
advantageous for maximizing PSP to increase the probability under unslotted ALOHA via stochastic geometry. We proposed
for condition II than to increase the probability for condition an adaptive SF allocation algorithm and provided performance
I. comparison with 4 other SF assigning schemes in Section IV.
Monte Carlo simulations and numerical analysis results are It was observed and confirmed that our proposed allocation
presented in Fig. 3 for the validation of the lower bound of (5). was superior to other methods through simulations.
The gap between the numerically calculated lower bound in
(4) and simulation lies within an acceptable bound, confirming R EFERENCES
that the overall performance of LoRa can be analyzed through [1] C. Goursaud and J.-M. Gorce, ”Dedicated networks for IoT: PHY/MAC
the derived lower bound. Also, this tight bound means that state of the art and challenges,” EAI Endorsed Trans. Internet of Things,
vol. 1, no. 1, pp. 1-11, Oct. 2015.
each event considered in (5) is almost independent. [2] M. Lauridsen, B. Vejlgaard, I. Kovcs, H. Nguyen, and P. Mogensen,
From Fig. 3, we can make the following discussions. First, ”Interference measurements in the European 868 MHz ISM band with
we can confirm that EIB scheme works worse than Random focus on LoRa and SigFox,” in Proc. IEEE WCNC, San Francisco, CA,
USA, 2017.
scheme because condition II becomes difficult to be satisfied [3] B. Vejlgaard, M. Lauridsen, H. Nguyen, I. Kovacs, P. Mogensen, and M.
when N increases. In case of EAB scheme when EDs were Sorensen, ”Interference Impact on Coverage and Capacity for Low Power
equally allocated in each SF region, the influence of inter- Wide Area IoT Networks,” in Proc. IEEE WCNC, San Francisco, CA,
USA, 2017.
ferences can be reduced to some extent, resulting in better [4] M. Lauridsen, H. Nguyen, B. Vejlgaard, I. Kovacs, P. Mogensen and M.
performance than Random and EIB schemes. The proposed Srensen, ”Coverage comparison of GPRS, NB-IoT, LoRa, and SigFox in
scheme is superior to all other schemes in terms of massive a 7800 km2 area,” in Proc. IEEE VTC Spring, Sydney, AUS, 2017.
[5] O. Georgiou and U. Raza, ”Low power wide area network analysis: Can
connectivity because both conditions are considered. From lora scale?,” IEEE Wireless Communications Letters, vol. 6, no. 2, pp.
simulations with N̄ = 2000, the proposed method can provide 162165, Apr. 2017.
stable 810 EDs satisfying both conditions, which is about 22% [6] M. Haenggi, Stochastic Geometry for Wireless Networks. Cambridge
University Press, 2013.
increase in massive connectivity over EAB. These results are [7] R. Vaze, K. Truong, S. Weber, and R. Heath, ”Two-way transmission
based on the active EDs only, so the total number of EDs capacity of wireless ad-hoc networks,” IEEE Trans. Wireless Commun.,
served during the contention period will be large by the inverse vol. 10, no. 6, pp. 1966-1975, 2011.
[8] G. Grimmett, Percolation. New York, NY, USA: Springer-Verlag, 1989
of activity factor.
1089-7798 (c) 2018 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.