Code Smoothing for BOC Ambiguity Mitigation
Moisés Navarro Gallardo(1,2), Gonzalo Seco Granados(1),Gustavo López Risueño(2), and Massimo Crisci(2)
(1)
Universitat Autònoma de Barcelona (UAB), Spain
European Space Agency (ESA), The Netherlands
e-mails: {moises.navarro;gustavo.lopez;massimo.crisci}@esa.int, {gonzalo.seco}@uab.cat
(2)
Abstract—The most recent generation of Global Navigation
Satellite Systems (GNSS) are implementing Binary Offset Carrier
(BOC) modulation. These signals are expected to provide not
only better precision in the estimation of the signal’s delay
and phase but also more robustness to multipath effects. The
advantage of BOC signals is that the main lobe of the correlation
is very narrow, but on the other hand they present side lobes.
For high-order signals, the amplitude of the side lobes can be
similar to the amplitude of the main one or even exceed it
under specific scenarios. Some techniques to mitigate the code
ambiguity exploit the fact that BOC signals can be understood
as the sum of two BPSK signals. Even though these techniques
achieve their objective, they lose the robustness against multipath
and increase the tracking noise. This paper presents a new
combination between the time delay estimated by these kind of
techniques and the time delay estimated using the full BOC. The
idea of the combination is the same as the carrier smoothing but
instead of using the carrier measurement, two code measurements
are combined. Since the delay introduced by the ionosphere is
the same, or very close, using the Full-BOC and the two-BPSK
techniques, as it will be shown in this paper, the smoothing
time can be large values, compared with the common carrier
smoothing time. Several simulations of the new code smoothing
strategy for different scenarios are presented in this paper.
Index Terms—Ambiguity, BOC, BOCcos, side lobes.
I. I NTRODUCTION
The BOC (Binary Offset Carrier) signals have been chosen
for the new generation of GNSS (Global Navigation Satellite
System) as Galileo, the upgrade of the GPS system and the
future Chinese (COMPASS/BEIDOU) and Indian (GAGAN)
systems. These signals were expected to provide not only
better precision in the estimation of the signals delay and
phase but also more robustness to multipath effects (i.e. the
effect whereby the transmitted signal reaches the receiver
through different paths that experience different delays and
attenuations). These contributions are combined with the direct
signal causing an error in the estimation of the position.
The ambiguity issue with the BOC signals is a well-known
problem in the GNSS community: confusing a side lobe with
the main lobe (synchronization error) and hence producing an
error in the computation of the position. This issue becomes
more challenging as the order of the BOC increases. For
instance, the autocorrelation of BOC(15,2.5) signal has the
side lobes only at 9.7 meters of the main one and their value
is around 0.89 (normalised assuming that the maximum is
equal to one). Several methods with the aim of mitigating
the ambiguity have been presented in the literature. One kind
of them are called BPSK-like. They are based on seeing the
BOC signals as the sum of two BPSK signals [1] [2]. They
can be filtered by one filter that has enough bandwidth for
both BPSK, or each BPSK can be filtered using different
filters centered at the carrier frequency +/- the sub-carrier
frequency. In [3] the authors analyze the behavior of using
only one BPSK signal instead of the combination of two.
Another unambiguous technique that achieves the BPSK, or
close, shape is based on taking out the sub-carrier component
as it is usually done with the carrier [4]. Although these
methods are able to mitigate the ambiguity issue, they lose all
the multipath mitigation properties of the BOC signals. The
Double Estimator (DE) [5] is based on the use of three loops:
Phase Lock Loop (PLL) for the phase delay, Delay Lock Loop
(DLL) for the code delay and a new one for the sub-carrier
delay, the Sub-carrier Lock Loop (SLL). It means that, the
code and sub-carrier delays could be different. Therefore, a 2D
correlation are obtained. It combines both dimensions, i.e. the
DLL and SLL, in order to achieve a unambiguous correlation.
Although the BPSK-Like and the DE are completely different,
one dimension of the correlation obtained with the DE has the
same shape than the BPSK-like. The idea of the DE technique
is to correct the SLL using the DLL. If the different between
them is bigger than half sub-carrier cycle, the measurement
jumps to the right peak. In [6] the author presents different
ways to combine the two measures obtained with the DE
technique.
In this paper a new idea in order to mitigate the ambiguity
problem is presented. It is based on the use of two code delays:
one that is ambiguous and another one that is unambiguous.
The goal is to apply code smoothing: the same idea as in
carrier smoothing but using two code measurements instead of
one phase and one code measurements. Using the BPSK-like
techniques an unambiguous but noisy delay is achieved. The
delay estimated using the full BOC signal is ambiguous but
less noisy. There is a big similitude between these two delays
and the two delays that are used in carrier smoothing strategy:
the code measurements are unambiguous but noised, whereas
that the carrier measurements are less noisy but ambiguous.
One of the carrier smoothing problems is that the carrier and
the code are delayed differently by the ionosphere. Hence,
a bias between both measurement is introduced and it is
time variant. This effect limits the smoothing time. Since the
BPSK and BOC delays are close to the same frequency, the
ionosphere effect is practically the same for both code delays.
978-1-4799-0486-0/13/$31.00 ©2013 IEEE
This is shown in the following sections.
The remaining of this document is organized as follows.
In Section II the fact that the BOC signals can be expressed
as the sum of BPSK is presented. The Section III exposes
the mathematical expressions of the smoothing strategy and
its common version carrier smoothing. The new unambiguous
technique based on the smoothing strategy is presented in
Section IV. The ionosphere effects and its impact on the
BPSK-like and BOC code delay are presented in Section V.
The combination of the two BPSK measurements is shown in
Section VI. The results and the conclusions are presented in
Section VII and Section VIII.
Fig. 2.
Smoothing block diagram
III. S MOOTHING STRATEGY
A. Hatch Filter
II. D UAL S IDEBAND
The fact that the BOC signals can be tracked as the sum
of two BPSK is a well-known ambiguity mitigation method.
Actually, it can be shown that the BOCcos pulses can be
written as sum of infinite sinusoids using the Fourier series
as
∞
(n+1)
4(−1)
cos (w0 (2n − 1)t) p(t),
(1)
psc (t) =
π (2n − 1)
n=1
where wo = 2π/To , To is the inverse of the sub-carrier frequency, and p(t) is a square pulse of duration equal to inverse
the chip rate. The amplitude is decreasing as n increases.
Since the signal is filtered, the expression can be reduced to
the first term, i.e. n = 1, neglecting the higher terms. The
Fig. 1 shows the spectrum of two BPSK centered at +/- the
sub-carrier frequency, the theoretical BOCcos and the Fourier
series for n = 1. The Bandwidth of the satellite has been set at
+/-19MHz as a brick wall filter. It should be noted that, inside
the bandwidth, the three spectra are very similar to each other.
Hence, the filtered BOCcos signal can be expressed, in terms
of the spectrum as the sum of two BPSK.
The most common smoothing technique is based on the
Hatch filter [7], [8]. The idea is to smooth an unbiased but
noisy measurement using a biased but non-noisy measurement.
For instance, the code is smoothed using the carrier measurements. Fig. 2 shows the block diagram of the smoothing
technique. The Hatch filter can be expressed as
1
1
X̄[k] = X[k] + 1 −
X̄[k − 1],
(2)
α
α
where α is the smoothing time constant in terms of number
of samples, X̄[k] is the filtered version of X = Ψ − Φ i.e. the
different between the two estimated measurements, which can
be defined as
Ψ = r + IΨ + wΨ ,
Φ = r + IΦ + wΦ + λ,
where r is the distance between the satellite and the receiver
and is the same for both delays, IΨ and IΦ are the ionosphere
delays for both measurements and could be different, wΨ and
wΦ are the thermal noise and multipath effect and λ is the
ambiguity term. The smoothed measurement can be written
as
Ψ̄[k] = X̄[k] + Φ[k].
0
Ψ̄[k] = (r[k] + IΦ [k] + wΦ [k] + λ) +
+ α1 (r[k] + IΨ [k] + wΨ [k])
+ α1 (−r[k]
− IΦ [k] − wΦ [k] − λ) +
+ 1 − α1 r̄[t − 1] + I¯Ψ [t − 1] + w̄Ψ [t − 1] +
1
+ 1 − α −r̄[t − 1] − I¯Φ [t − 1] − w̄Φ [t − 1] − λ ,
−10
−15
−20
−25
−30
−35
−6
−4
−2
Fig. 1.
0
Frequency (Hz)
2
BOCcos(15,2.5) Spectrum
(4)
Substituting (3) and (2) in (4), the smoothed measurement can
be written as
BOC Theoretical
BSPK Upper
BSPK Lower
BOC Fourier Series
−5
(3)
4
6
7
x 10
where we have used the following definitions
I¯Ψ [k] = α1 IΨ [k] + 1 − α1 I¯Ψ [t − 1],
I¯Φ [k] = α1 IΦ [k] + 1 − α1 I¯Φ [t − 1],
w̄Ψ [k] = α1 wΨ [k] + 1 − α1 w̄Ψ [t − 1],
w̄Φ [k] = α1 wΦ [k] + 1 − α1 w̄Φ [t − 1].
(5)
(6)
The expression in (5) can be written as
Ψ̄[k] = r[k]+
+IΦ [k] + wΦ [k] + I¯Ψ [k] − I¯Φ [k] + w̄Ψ [k] − w̄Φ [k].
(7)
The last two terms are the filtered noise of both measurements.
Compare to the sampled noise, these two terms can be
neglected. I¯Ψ [k] and I¯Φ [k] are the filtered or smoothed delays
due to the ionosphere.
B. Carrier Smoothing
The carrier smoothing method is well known in the GNSS
community: the carrier measurements are used jointly with
the code measurements in order to reduce the code noise. In
this case, the generalized variables presented in the previous
section can be formulated as Ψ = ρ (code measurements )and
Φ = φ (phase measurements). The delay introduced by the
ionosphere is well documented [9] IΨ = −IΦ = I. Then, (7)
can be written as
¯ + w̄ [k] − w̄ [k].
ρ̄[k] = r[k] + I[k] + wφ [k] + 2I[k]
ρ
φ
(8)
The last equation shows the dependence on the previous
evolution ionosphere effect. As it is time depending a large
integration time can cause an unacceptable bias.
IV. C ODE SMOOTHING STRATEGY
In this section a different smoothing strategy is presented,
its schematic is shown in Fig. 3. There are three independent
loops: The full BOC and the two BPSK tracking loops.
Nevertheless, the phase measurements (θcarrier ) from the full
BOC can be supplied to the BPSK loops. The code measurements from the two BPSK loops (τU and τL ) are combined
to each other getting the τBPSK measurement. Finally, It is
smoothed with the full BOC measurement (τBOC ) obtaining
the unambiguous and smoothed τ̄ measurement.
time is set the filtered terms in the equation can be neglected.
Then, the measurement can be approximated as
τ̄ [k] ≈ r[k] + I[k] + wτBOC [k].
In order to reduce the the time of convergence, when
code smoothing starts, α increases linearly until it reaches its
defined value.
V. I ONOSPHERE EFFECT ON BOC SIGNALS
In the above section it has been assumed that the effect
of the ionosphere for both code measurements is the same.
The main purpose of this section is to present the ionospheric
model and demonstrate that the effect of the ionosphere can
be considered equivalent when BPSK-Like and Full BOC
techniques are implemented. Besides, a simplified expression
of the ionosphere effect for narrowband signals is presented.
There are many documents in the literature that describe the
ionosphere effect such as [9]. The refraction index for the
phase propagation in the ionosphere can be approximated as
c3
c4
c2
(11)
np = 1 + 2 + 3 + 4 + ...,
f
f
f
where all the cx coefficients only depend on the number
of electrons, but not on the frequency. c2 is estimated as
c2 = −40.3ne Hz2 , where ne is the electron density. All the
other terms, bigger than c2 (c3 , c4 ), can be neglected for our
purposes. The group refractive index can be determined by
ngr = np + f
(12)
40.3ne
f2 ,
ngr = 1 +
40.3ne
f2 .
(13)
The phase refractive index is less than the unity, hence the
phase velocity is greater than the speed of light in vacuum,
i.e. the phase suffers an advance. Nevertheless, the group
refractive index is bigger than the unit, therefore the group
velocity is less than the light speed in vacuum. Integrating np
and ngr along the signal path, the phase and code measurements are obtained. In [9] the author shows that, after the path
integration, the phase and the group delay introduced by the
ionosphere can be expressed as
Code Smoothing schematic
τp = − 40.3TEC
,
f2
The generalized variables can be reformulated for code
smoothing as Ψ = τBPSK and Φ = τBOC . Assuming that
both delays are affected in the same way by the ionosphere,
i.e. IΨ = IΦ = I, (7) is written as
τ̄ [k] =
= r[k] + I[k] + wτBOC [k] + w̄τBPSK [k] − w̄τBOC [k].
dnp
.
df
Substituting c2 in (11) and (12) and neglecting all the terms
bigger than c2 , both index can be written as
np = 1 −
Fig. 3.
(10)
(9)
The result achieved is very interesting. The measurement does
not depend on the past evolution of the ionosphere effect.
Therefore a large smoothing time can be done. It has to be
taken into account that a change in the ambiguity produces
the same effect as a cycle slip. Moreover, if a large smoothing
τgr =
40.3TEC
,
f2
(14)
where TEC represents the total electron in units of TECU =
1016 e/m2 and f is the frequency of the signal. Both equations
have units of meters. For instance, if TEC = 1TECU the
delay introduced by the ionosphere is 0.1624 meters. Taking
into account the effect on the phase and group delay, the
ionosphere can be modeled as a filter with response
H(f ) = e
j2π40.3TEC
cf
,
(15)
where c is the light speed. Assuming that the two main lobes
of the BOC signals are narrow enough, each one of them can
be approximated to only one frequency. Then, the ionosphere
≈2
2π40.3T EC
cf0
−
f =f0
2πf 40.3T EC
.
2
cf0
VI. BPSK- CODE COMBINATION
The main goal of this section is to analyse whether the
delay introduced by the ionosphere when the matched filter
is applied is the same as the one achieved by the BPSK-Like
technique.
Neglecting the multipath, noise and any other effect, the
total distance estimated is the distance between the satellite
and the receiver r plus the delay, in meters, introduced by the
ionosphere i.e. 40.3TEC/f 2 meters. Then, assuming that the
bandwidth of the signal is narrow enough, it could be written
as
40.3TEC
+ r.
(17)
τtotal =
f2
The two measurements obtained with the BPSK-Like technique are affected by the same concentration of electrons and
the distance between the satellite and the receiver is the same.
Hence, the only variable for all the equations is the centered
frequency. The following system of equation holds
40.3TEC
+ r,
2
fRF
40.3TEC
+ r,
τU =
fU2
40.3TEC
τL =
+ r.
fL2
τBOC =
(18a)
(18b)
(18c)
One can realize that adding the two BPSK measurements,
the full BOC one is not achieved. In order to get it the
following combination must be applied
τBPSK =
=
2
fU
2 −f 2
fU
L
1−
2
fL
2
fRF
τU −
2
fL
2 −f 2
fU
L
1−
2
fU
2
fRF
τL ,
(19)
where:
•
•
•
•
•
fRF is the carrier frequency
fU is the carrier frequency plus the sub-carrier frequency
fL is the carrier frequency minus the sub-carrier frequency
τU is the measurement estimated with the upper BPSK
τL is the measurement estimated with the lower BPSK
In order to corroborate the above combination several simulations have been carried out. Non coherent discriminator
has been applied with the same Early-Late spacing. Fig. 4
shows the error of the ionospheric delay estimation obtained
using the two BPSK and the full BOC for different values of
TEC at E1 band. The green color is the difference between
both errors. It should be noted that, the distance introduced
by the ionosphere, for instance, for TEC = 150 is around
−4
x 10
6
BOC
BPSK
Diff
5
4
Error [meters]
filter can be expressed by the first order of Taylor’s series
expansion
d
(f − f0 )
∠H(f )
∠H(f ) ≈ ∠H(f0 ) + df
f =f0
2π40.3T EC
2π40.3T EC
≈
(16)
+ −
(f − f0 )
cf0
cf 2
3
2
1
0
−1
−2
0
50
100
150
200
250
TEC
Fig. 4.
Ionosphere Delay Estimation Error for BOC and BPSK-Like
24.3559 meters and the error in the estimation is around 0.01
centimeter. The simulation has been done using the ionosphere
mode shown in (15). Since the multipath and even the thermal
noise cause larger error in the time-delay measurements, this
difference can be neglected.
VII. R ESULTS
In this section the code smoothing results are presented. The
common receiver parameters are:
• BOCcos(15, 2.5)
• CodePeriod = 0.01 seconds
• f s = 123 Msps
• BWPLL = 10 Hz
• BWDLLBPSK = 1 Hz
• BWDLLBOC = 1 Hz
• EarlyLateSpacingBPSK = 0.08 chips
• EarlyLateSpacingBOC = 0.041 chips
Before showing the properties against noise or filtering, the
ambiguity mitigation is demonstrated. Fig. 5 shows the code
smoothing and the full BOC measurements when the initial
error is 12 meters, i.e. the tracking full BOC loop starts at a
side lobe and it remains there. The code smoothing goes to
the main lobe. The smoothing time has been set to 2 second.
Since the smoothing time constant is increasing during the
transition, the time to reach the final value does not depend,
or almost not, on the time constant. Fig. 6 shows the transition
epoch for different α values. For all the simulations, the units
of α are in epochs, i.e. 0.01 seconds. As it can be seen, the
convergence time is almost the same. However, as the time
constant increases, the fluctuations decrease. It should be noted
that the transition is achieved without any jump. The transition
time depends, among other factors, on the DLL parameters, the
early late spacing and the discriminator, such as the bandwidth
of the filter.
In the Section III the capability to achieve the same performance as the full BOC tracking, in terms of standard
C/No = 33 dBHz
1
Error [meters]
14
BOC
Smoothing
12
0
−0.5
−1
0
0.5
1
1.5
2
2.5
time (s)
C/No = 40 dBHz
8
0.5
Error [meters]
Error [meters]
10
α = 50
α = 100
α = 1000
α = 5000
BOC
0.5
6
4
α = 50
α = 100
α = 1000
α = 5000
BOC
0
−0.5
−1
2
0
0.5
1
1.5
2
2.5
time (s)
0
Fig. 7.
−2
0
5
10
Code Smoothing vs. full BOC for different values of α
15
time [s]
Fig. 5.
Code Smoothing Ambiguity
1.1
BPSK−Like
BOC
1
0.9
0.5
0
−0.5
Delay (Samples)
0.8
α=1
α = 20
α = 50
α = 100
α = 500
α = 1000
−1
0.7
0.6
0.5
−1.5
0.4
−2
0.3
−2.5
0.2
−3
0.1
−3.5
−4
−0.8
0
1
2
3
4
5
time (s)
6
7
8
9
−0.6
−0.4
−0.2
0
0.2
0.4
delay (chips)
0.6
0.8
1
1.2
10
Fig. 8. Impact of a Butterworth filter on the BOC correlation and its envelope
Fig. 6.
Code Smoothing Transition Time for different values of α
deviation, has been demonstrated for high values of time
smoothing constant. Fig. 7 shows the estimation of the code
smoothing strategy versus full BOC for C/N o = 33 dBHz
and C/N o = 40 dBHz. It should be noted that for time
smoothing constant of 1000 epochs, i.e. 10 seconds, the
behavior is almost the same as the Full BOC tracking. Table
I presents the standard deviation for different time constants.
The bigger the time is, the smaller the variance is.
When the signal passes through a filter with non-linear
phase response, i.e. non-constant group delay, a shift in the
TABLE I
S TANDARD DEVIATION OF CODE SMOOTHING VS FULL BOC.
σ [meters]
α [epoch]
C/N0 = 40dBHz
C/N0 = 33dBHz
50
100
1000
5000
0.65
0.51
0.25
0.20
0.28
0.23
0.14
0.12
BOC
0.20
0.12
correlation function relative to its envelope is produced. This
shift may bring the sub-carrier tracking point close to a side
lobe. In a nutshell, the maximum of the sub-carrier correlation
function is separated from the maximum of the envelope. The
advantage of code smoothing technique is that it follows the
mean value of the envelope and the variance of the full BOC,
or close. Since the error is the same for all the satellites it
has no affect when the PVT is performed. Fig. 8 shows the
full BOC correlation and the one achieved with the BPSK
envelope when the signal has been filtered with a Butterworth
filter (non-linear phase response) of order 6 and 42MHz of
bandwidth.
Other techniques, as the DE, need to know the bias between
the maximum of the full BOC and the BPSK envelope and
correct it before the codes combination. Fig. 9 shows the
impact of a Butterworth filter on the smoothing strategy. The
smoothing time is 1000 epochs. The bias between the BPSK
and the full BOC delays is 2.8 meters. The smoothed delay
follows the mean value of BPSK and uses the full BOC
measurements for the punctual updates, hence, it does not
suffer jumps. However, the DE follows the full BOC and
compares these measurements with the DLL measurements. It
jumps if the difference between them is bigger than half subcarrier cycle (4.887 meters). Since there is a constant bias, the
range decreases, and then, some undesired jumps happen.
20
BPSK
DE
BOC
Smoothing
Error (meters)
15
10
5
0
−5
0
20
40
60
80
100
time (s)
Fig. 9.
Code Smoothing with Non Linear Group Delay filter
25
BPSK
BOC
Smoothing (α = 1500)
20
Error [meters]
15
10
5
0
−5
ACKNOWLEDGEMENTS
−10
−15
judicious combination of the two delays yielded from the
dual side tracking is performed. This combination is then
smoothed with the match filter. It is noteworthy that the
smoothing strategy can be applied with only one side tracking
measurement, any other unambiguous technique, or even the
two delays used in the DE.
If there is a constant bias between the unambiguous and the
ambiguous measurements, the smoothed strategy follows the
mean value of the unambiguous one. For instance, when the
signal has passed through a filter with non-continuous group
delay. Since the bias is the same for all the satellites it does
not affect the PVT solution.
The method presented in this paper shows that using a
large smoothing time, the tracking variance is very similar
to the one achieved with the ambiguous measurements. The
main advantage, over other combination methods, is that this
technique never jumps. Moreover, since the integration time
can be very large, the effect on the smoothed measurement,
due to the multipath and the noise, is the same, or close, as
the one obtained with full BOC.
After the results presented in this paper, the future lines of
research are the behavior with a real channel, i.e. ionospheric
effect, multipath effect and fading. It should be noted that the
technique is a filter itself, the multipath envelope is not enough
for characterizing the technique, since the error depends on
the multipath delay but also on its duration. Moreover, the
smoothed measurement has memory due to the filtering.
Therefore, the evolution of the channel must be also taken
into account.
0
10
Fig. 10.
20
30
time (seconds)
40
50
60
Code Smoothing with multipath scenario
Since the smoothing strategy is a filter itself, it is not
straightforward to evaluate its behavior against multipath. Due
the memory of the technique the evolution of the multipath
must be taken into account. Nevertheless, Fig. 10 shows the
smoothing measurements versus the BOC and BPSK ones.
The scenario simulated is really interesting because it causes
a false lock in the BOC loop. A strong multipath, only 2 dB
below the line-of-sight (LOS), appears at 20 seconds, after 10
seconds its power increases above the LOS. At instant 40 the
multipath disappears, only the LOS remains. The smoothing
strategy is able to get back to the main one. The BOC loop
is locked in a side lobe and it is not able to get back to the
main one.
VIII. C ONCLUSIONS
In this paper a new unambiguous tracking method based
on the smoothing strategy has been presented. Besides, a
This work was supported in part by the Spanish Ministry of
Economy and Competitiveness projects TEC 2011-28219 and
EIC-ESA-2011-0080.
R EFERENCES
[1] N. Martin, V. Leblond, G. Guillotel, and V. Heiries, “BOC (x, y) signal
acquisition techniques and performances,” in Proc. of ION GPS/GNSS,
2003, pp. 188–198.
[2] P. M. Fishman and J. W. Betz, “Predicting performance of direct acquisition for the M-code signal,” in Proc. of ION NTM, 2000, pp. 574–582.
[3] A. Burian, E. Lohan, and M. Renfors, “BPSK-like methods for hybridsearch acquisition of galileo signals,” IEEE International Conference on
Communications ICC ’06, vol. 11, pp. 5211–5216, 2006.
[4] V. Heiries, D. Roviras, L. Ries, and V. Calmettes, “Analysis of non
ambiguous BOC signal acquisition performance Acquisition,” Proc. of
ION ITM, pp. 2611 – 2622, 2004.
[5] M. Hodgart, P. Blunt, and M. Unwin, “The optimal dual estimate solution
for robust tracking of Binary Offset Carrier (BOC) modulation,” in Proc.
of ION GNSS, 2007, pp. 1017–1027.
[6] C. Palestini, “Synchronization and detection techniques for navigation and
communication systems,” Ph.D. dissertation, Univ. of Bologna, 2010.
[7] C. Gunther and P. Henkel, “Reduced-noise ionosphere-free carrier
smoothed code,” IEEE Transactions on Aerospace and Electronic Systems, vol. 46, no. 1, pp. 323–334, 2010.
[8] S. Sen and J. Rife, “Nonlinear filter for ionosphere divergence error
reduction in LAAS,” IEEE Transactions on Aerospace and Electronic
Systems, vol. 48, no. 2, pp. 981–990, 2012.
[9] E. D. Kaplan and C. Hegarty, Understanding GPS: principles and
applications. Artech House Publishers, 2005.