Performance of Deconvolution Methods in Estimating CBOC-Modulated Signals

Multipath propagation is one of the most difficult error sources to compensate in global navigation satellite systems due to its environment-specific nature. In order to gain a better understanding of its impact on the received signal, the establishment of a theoretical performance limit can be of great assistance. In this paper, we derive the Cramer Rao lower bounds (CRLBs), where in one case, the unknown parameter vector corresponds to any of the three multipath signal parameters of carrier phase, code delay, and amplitude, and in the second case, all possible combinations of joint parameter estimation are considered. Furthermore, we study how various channel parameters affect the computed CRLBs, and we use these bounds to compare the performance of three deconvolution methods: least squares, minimum mean square error, and projection onto convex space. In all our simulations, we employ CBOC modulation, which is the one selected for future Galileo E1 signals.


Introduction
In order for a user to compute their three-dimensional position and to correct the clock offset, the distance between its GNSS receiver and at least four satellites is required. Mass market receivers of code division multiple access-(CDMA-) based positioning compute the unknown distance (also known as pseudorange) by estimating the total code delay.
Apart from the propagation delay, the signal undergoes a variety of channel distortions (such as those caused by ionosphere and troposphere layers) which introduce further delays [1]. Multipath propagation is a major source of error in the range measurement, because it can significantly delay the signal and it cannot be mitigated with differential methods due to its site-specific nature [2]. Environments prone to multipath effects are densely built areas or areas with large obstacles, which are typically encountered in metropolitan areas, where the concentration of GNSS users is high. If the receiver does not estimate the multipath delay with sufficient accuracy, then it suffers a degradation in the accuracy of range estimation and an increase in the processing time [3].
The distortion effects of multipath propagation have been known to the GNSS community for long time, and several efforts to mitigate them have taken place. A large portion of these efforts has been focused on the tracking stage of a receiver where fine estimates of the line-ofsight (LOS) code delay and carrier phase are required. One of the most commonly used code tracking structures are the so-called Delay locked loops (DLLs), which belong to the category of feedback estimators. Examples of such structures include the popular narrow correlator [4], double delta correlator [5], strobe and edge correlators [6], highresolution correlator and other optimized multiple gate delay (MGD) structures [7]. However, the feedback-based estimators are generally sensitive to closely spaced path scenarios and potential acquisition errors. As an alternative solution, various feedforward approaches have been proposed in the literature [8]. While improving the delay estimation accuracy, these approaches typically require more correlators than DLL-based ones and are sensitive to the noise-dependent threshold choice. Various combinations of feedback and feedforward approaches aim at improved accuracy [9,10]. In the carrier tracking stage, multipath mitigation has been a challenging problem as well. Carrier phase multipath has been commonly studied in 2-path channels using a phasor diagram that illustrates the relation between the phase of the LOS signal and the multipath [11][12][13]. In [14], a geometric perspective is employed that involves different configurations of the antenna-reflector(s) geometry. Other methods include the ashtech enhanced Strobe correlator [15] and the multipath estimating delay lock loop (MEDLL); the latter jointly estimates the delay, relative amplitude, and phase parameters of the direct and multipath signals based on the maximum likelihood theory [16]. Both are advanced techniques with improved performance in long delay multipath errors; however, they are heavily covered by patents.

BOC Modulation.
Towards the end of the 1990s, a new modulation technique, called binary offset carrier (BOC), was recommended for future GNSS signals for achieving sufficient spectral separation with existing GPS signals [17]. Moreover, because the width of the main lobe in the envelope of the autocorrelation function (Acf) is narrower than the one in binary phase shift Key (BPSK) modulated signals (i.e., used in GPS C/A signal), improved tracking accuracy could be achieved. There have been several variants of BOC suggested in the literature for different signal types included in the GPS modernisation plans and Galileo specifications. Among those variants, Sine-BOC(1, 1) was initially used in the standards for the L1 open service (OS) Galileo signals, but afterwards multiplexed BOC (MBOC) was selected [18]. MBOC is a weighted combination of sine-BOC(1, 1) and sine-BOC(6, 1) components (we notice that in the notation BOC(m, n), m is the ratio of the sub-carrier frequency over the reference frequency, of 1.023 MHz, n is the ratio of the chip rate over the reference frequency and the ratio 2m/n describes the BOC order) and is defined as a common spectrum to be matched by both the Galileo and the GPS L1/E1 OS signals. The MBOC spectrum can be realized in the time domain with many different approaches and the two chosen for GPS and Galileo are (1) time multiplexed BOC (TMBOC) and (2) composite BOC (CBOC), respectively.
In the first implementation, the whole signal is divided into blocks of N code symbols, and M < N of N code symbols are sine-BOC(1, 1) modulated, while N -M code symbols are sine-BOC(6, 1) modulated. In the CBOC implementation, we have a weighted combination of Sine-BOC(1, 1) and Sine-BOC(6, 1) modulated code symbols. When the combination is an addition of the two components, we have the so-called CBOC ("+"), and when we subtract the sine-BOC(6, 1) part from the sine-BOC(1, 1) part, we have the so-called CBOC ("−") type of modulation. The CBOC ("+") scheme is used in the implementation of the Galileo OS data channel, while CBOC ("−") is used in the pilot channel [18]. The normalized envelope of autocorrelation function of a CBOC ("−") modulated signal can be seen in the left plot of Figure 1.
While BOC modulation improves the tracking accuracy, it introduces an extra challenge in the tracking stage. More precisely, the additional peaks in the Acf, the number of which depends on the BOC type, increase the probability of tracking the wrong peak. In the right plot of Figure 1, we can see how the Acf is distorted due to the presence of a second path (located on the right side of the first path, 7 samples far from it). If the tracking module is falsely locked in the second peak, then code delay error is produced. One can now envision how more complex the Acf would look like in the presence of more paths and in the case of fading channel.

Motivation and Contribution.
While there is an ample number of scientific works related to tracking of BPSKmodulated signals, the amount of studies focusing on CBOC modulated signals is significantly smaller, mostly because it was relatively recently selected for the Galileo OS. Examples of existing work include [19,20] which compare the tracking performance of various discriminators for the International Journal of Navigation and Observation new modulation schemes, such as CBOC and TMBOC. In [21], the authors study the impact of the new modulation schemes on carrier tracking loop and in [22] the effects of heavy multipath propagation in combination with CBOC modulation are examined. A thorough literature review reveals that the majority of existing work that adopts CBOC modulation studies the performance of mainly state-of-the-art code discriminators, such as early-minus-late, dot product, and Strobe correlator, while carrier phase estimation has been much less studied. In this paper, we are interested in the performance of less popular algorithms but which are used to estimate all three parameters of CBOC-modulated signals (i.e., carrier phase, code delay, and amplitude). In particular, we study the performance of deconvolution methods which are means of inverse filtering. One of the adverse effects of inverse filtering, when noise is present, is the noise enhancement. The noise enhancement effect can be reduced by using the socalled constrained inverse filtering methods. These methods are constrained in the sense that they do not allow the output values to lie outside some predefined set or in the sense that the inverse operator is never completely formed but only approximated iteratively. Among the constrained inverse filtering methods, the best known ones are the leastsquares (LS) techniques and the projection onto convex sets (POCS) algorithm [23,24]. International Journal of Navigation and Observation A commonly used method for assessing the performance of an estimator is to compare its error variance with the theoretically minimum attainable, the latter of which is known as the Cramer Rao lower bound (CRLB) [25]. While the methodology for deriving the CRLB is straightforward and has been reported in [25], it always has to be tailored to the estimation problem in question (i.e., different estimation problems are encountered in different research areas; therefore depending, on the environment, each estimation problem is positioned, the assumptions made, and the parameters of interest may differ).
Based on the above discussion, the objectives of this paper are formed as follows: first, to provide a theoretical model that leads to the CRLB for the signal's unknown parameter vectors of carrier phase, code delay, and amplitude by taking into account the multipath effects and the correlated noise at the output of the correlators and receiver filters. More precisely, we present two types of bounds. The first one, called single CRLB (sCRLB), represents the CRLB for a single parameter vector (i.e., a vector containing the unknown parameter for each path), where we assumed that the remaining parameters are known or perfectly estimated. The second type, called joint CRLB (jCRLB), reveals the theoretical limits given that a set of parameter vectors is jointly estimated. The reason for distinguishing between single and joint CRLB is that by comparing them, we can gain meaningful information related to the importance of each parameter in the estimation accuracy of the other set of parameters. The computations assume a static multipath channel with arbitrary number of paths and additive white Gaussian noise (AWGN). We use static channels, because we want to examine the minimum achievable performance and because modeling the phases in fading channels introduces additional errors. However, the model can be easily adapted for fading channels by taking into account the statistical characteristics of the profile at hand.
The second objective is to analyze theoretically the impact of different channel parameters such as C/N 0 , path separation, and number of channel paths on the estimator accuracy bounds. Finally, we provide performance comparisons between the derived theoretical limits and a set of deconvolution estimators, namely, least squares (LS), minimum mean square error (MMSE) and a POCS algorithm proposed earlier by the authors [24].
The remainder of this paper is organized as follows: Section 2 presents the system model. Section 4 describes the simulation setup and includes the results and the discussion. Finally, Section 5 summarizes the findings of this paper (the detailed derivation of the CRLBs can be found in the appendix).

System Model
The satellite transmitted signal, x(t), can be modeled as the convolution between the modulating waveform s CBOC (t), the pseudorandom (PRN) CDMA code, and the modulated data as [26] (1) where is the convolution operator, b n is the nth complex data symbol (in case of a pilot channel, it is equal to 1), T is the symbol period, c g,n is the gth chip corresponding to the nth symbol, T c is the chip period, S F is the spreading factor (S F = T sym /T c ), δ(t) is the Dirac pulse, and s CBOC (t) stands for the CBOC modulated signal.
After the signal is transferred to the passband, it is transmitted over a multipath static or multipath fading channel, where all interference sources (except for the multipaths) are lumped into a single additive Gaussian noise term. At the receiver side, the signal is downconverted to the baseband, and it can be written as where E b is the data bit energy, α l , τ l , and φ l are the amplitude, code delay, and carrier phase offset of the lth path, respectively, L is the number of channel paths, f D is the Doppler shift introduced by the channel, and η(t) is the additive Gaussian noise of zero mean and double-sided power spectral density N 0 W/Hz. After downconverting the received signal and correlating it with the reference modulated PRN code (stored in the receiver), we get [24] where Δ fD is the Doppler shift error (i.e., a residue of the acquisition stage), v(t) is the complex colored Gaussian noise of the despread signal with zero mean and covariance matrix C v = σ 2 H, where σ 2 is the variance per each correlator, equal to the two-sided power spectral density of N 0 /2 W/Hz, and H is the correlation matrix given in (6) (i.e., independent of the unknown parameters) [27]. Moreover, R m (τ i , τ q ) is the ideal continuous autocorrelation function of the modulated code at delays τ i and τ q , which is expressed as where E(·) is the expectation operation, m is the code epoch index, and T symb is the symbol duration.
Assuming that the Doppler shift has been successfully removed (i.e., Δ fD = 0), we can transform (3) into [24] International Journal of Navigation and Observation where y is the data column vector that contains the complex correlation output sampled at rate N s and H is the pulse shape deconvolution matrix of size K × K given by where h(τ i , τ q ) is the output of the ideal discrete autocorrelation function at code delays τ i and τ q for 1 ≤ i ≤ K and 1 ≤ q ≤ K, respectively. The mathematical expression can be found from (4), by substituting the integral with a summation and the continuous time t with the discrete sampled time instances). In addition, the term τ K is the maximum delay spread of the channel (i.e., τ K = τ max T s , where T s is the sampling period and τ max is the maximum delay). The noise vector v contains the complex colored Gaussian noise terms of the despread signal with zero mean and covariance matrix C v . The unknown vector, w, is a function of the signal parameter vectors τ, α, and φ that we want to estimate. Specifically, the elements of the unknown vector w have the following interpretation: ideally (i.e., in noise-free conditions), if a path is present at delay τ k , then w k would be equal to a k e jφk ; otherwise, w k is zero. In 6 International Journal of Navigation and Observation other words, the positions of the nonzero elements in w correspond to the delay of the channel paths and the value of the nonzero element contains the amplitude and phase information. Thus, in order to find the unknown signal parameters, we first need to locate the nonzero elements of the w.
The above formulation of the model transforms the problem into solving a system of linear equations. Several methods have been proposed for solving such a system (see Section 1). In what follows, this model constitutes the basis for deriving the theoretically achievable limits of the parameters of interest.

Theoretical Estimation Limits
A commonly used method for assessing the performance of an unbiased estimator is to compare its error variance with the Cramer Rao lower bound (CRLB) [25]. The computation of CRLB requires that the probability density function (pdf) of the observed data is known. However, because in our case the observed data are contaminated by colored Gaussian noise, we perform a whitening process so as to transform the noise into additive white Gaussian noise (AWGN) whose pdf is known.
In [27], the covariance matrix C v is found to be equal to σ 2 H, which is independent of the unknown parameters. Furthermore, it can be shown that C v is positive definite; therefore, it can be factored as C −1 v = (1/σ 2 )H −1 = DD * , where D is a lower triangular, K × K invertible matrix, and D * denotes the conjugate of D. According to [25], the matrix D can act as a whitening transformation when applied to v. Multiplying the terms of (5) leftwise with D gives Dy = DHw τ, α, φ + Dv, where v is now AWGN with zero mean and unit variance [25] and s(τ, α, φ) is where h is used to describe the elements of the matrix H. Assuming that the unknown vector parameter to be estimated is denoted by θ, we can write the pdf as [25] (9) where in the case of single CRLB, θ is equal to one of the three parameter vectors, τ, α, or φ, and in the case of joint CRLB, θ is equal to any of the four possible combinations of the three parameter vectors (i.e., θ = [φ; τ], θ = [φ; α], θ = [τ; α] or θ = [φ; τ; α]). Because (9) shows the dependency of the pdf upon the unknown parameter; it is termed the likelihood function [25].
If we assume that the estimator θ is unbiased and that the pdf satisfies the regularity condition, the single and joint CRLBs can be derived in a straightforward manner (see the appendix for the detailed computations and Table 1 for the CRLBs notations used in this paper).

Simulation Profiles and Results
In the first part of simulations, we study the CRLB behavior of LOS signal versus various channel parameters. The signal was modulated using CBOC ("−") modulation (i.e., the modulation selected in the standards for future Galileo OS pilot signals [18]) and for the channel modeling we employ a decaying power delay profile (PDP) [28], meaning that α l = α 1 e −ζPDP (τl−τ1) , where α 1 is the average amplitude of the 1st path and ζ PDP is the power decaying profile coefficient (assumed in the simulations to be equal to 0.09 when the path delays are expressed in samples). The carrier phase of each path was assumed to be uniformly distributed between −π and π. At the receiver side, the bandwidth was assumed to be infinite, the sampling rate f s is equal to N s f c , where N s is oversampling factor and equal to 4 and f c is the chip rate (equal to 1.023 MHz for L1 OS signals). Also, the coherent integration time (N c ) was 1 ms (the equivalent C/N 0 after coherent and noncoherent integration is C/N 0,eq. = C/N 0 + 10 log 10 (N c * sqrt(N nc )). For the computation of the CRLBs, we have assumed that the bit energy is 1 and the noise variance (σ 2 ) is then equal to 1/(N c N nc E b /N 0 ), where E b /N 0 is the energy per bit to noise power spectral density ratio. Moreover, we consider only the case of static multipath channels, because we wanted to examine the maximum achievable performance and because modeling the phase changes in fading channels introduces additional errors. In cases where we deviate from these values or needed additional parameters, we note this in the title and/or caption of the figures. As the performance metric, we use the root mean square error (RMSE) which is computed of 5000 random channel realizations.
In Figure 2, we see how the CRLBs vary with increasing path separation (i.e., τ 2 − τ 1 ) and in the case when there are two paths and C/N 0 = 45 dB-Hz (we notice that all the C/N 0 values mentioned are the ones prior to any integration). For the case of carrier phase parameter (top left plot), we see that when the path separation is 0.3 chips the RMSE for single and joint CRLBs coincide. With respect to the code delay parameter, we see that the difference among single and joint CRLBs is minor, while in the case of amplitude, the differences are evident. Figure 3 shows how the single and joint CRLBs behave with increasing C/N 0 in case of two-path channel. In this International Journal of Navigation and Observation case, the path separation was fixed to 0.3 chips, because according to Figure 2, this is the value when all CRLBs types behave the closest (thus, we can isolate the impact of C/N 0 ). From all three plots, we observe there are very slight differences between single and joint CRLBs. So, in two-path channels when, for example, we try to estimate all three synchronization parameters, we can achieve the same theoretical limit as when estimating only the LOS code delay and assuming the rest to be known. Now, we are interested in studying the impact of the number of channel paths on the theoretically attainable bounds. Therefore, we used the same channel model with the previous scenario, only that now the C/N 0 was fixed to 45 dB-Hz and the path separation 0.3 chips. From the top left plot of Figure 4 we notice that when the number of paths is one or two, there is no difference among single and joint CRLBs. When the number of paths increases, estimating all three parameters leads to the same limit as in the case of estimating jointly the phase and the amplitude. Common behavior for L > 2 is also noticed for the case of single CRLB and the first case of joint. Regarding the code delay parameter, we notice that the similar performance between sCRLB and jCRLB-Case 1 and between jCRLB-Case 3 and jCRLB-Case 4 is evident for all number of channel paths.  In the second part of our simulation results, we compare the theoretical limits with the performance of a set of deconvolution algorithms: the least square (LS), the minimum mean square error (MMSE), and our proposed modified POCS algorithm (here, for simplicity, we refer to it as "mPOCS," while in [24], it is denoted as "POCS2"). To briefly introduce it, mPOCS is an iterative deconvolution algorithm, which estimates jointly the LOS carrier phase and code delay and has been optimized for both Sine-BOC (1, 1) and BPSK modulated signals (the first modulation was the one initially proposed for the new Galileo OS signals, and the second modulation type is the one employed by the GPS coarse/acquisition (C/A) signals). Because both BOC and MBOC modulation types have been discussed in the context of GNSS specifications and since MBOC signals are also supposed to work with Sine-BOC receivers, the performance of mPOCS in the case of MBOC modulation will also show how flexible it is. Our POCS-based proposed algorithm is different from the previously proposed deconvolution approaches in two main ways: first, it incorporates some knowledge about the static multipath channel via estimated level crossing rates of receiver correlation function; second, it uses an adaptive threshold to reduce the various sources of interference (noise, multipath, and sidelobes in the autocorrelation International Journal of Navigation and Observation  function of BOC-modulated signals). For brevity, we do not include a description of mPOCS algorithm. Instead, the interested reader is advised to refer to [24] for further details.
Because in this paper the estimation of all three synchronization parameters is considered, we incorporated into mPOCS the function of amplitude estimation as well (for the sake of completeness). More precisely, the amplitude of the LOS path is computed as α 1 = | w( τ 1 )|, where w is the estimate of w and ( τ 1 ) is the estimate of code delay of the LOS path, both of which are outputs of the mPOCS algorithm. Except for the incorporation of the amplitude estimation in mPOCS, we have also made the following modification in our model compared to the one presented in [24]: each row of the pulse shape deconvolution matrix, H, has been normalized as H(k, :) = H(k, :)./ max (H(k, :)), that is, normalized to one. We did this normalization because we found out that it improves the performance of the deconvolution algorithms. We also emphasize that the normalization of H takes place only when it is used by the deconvolution algorithms and not when the CRLB is computed.
Regarding the channel setup, we used similar decaying PDP model with the previously described unless otherwise stated. The oversampling factor (N s ) was equal to 4, and the processing of Acf is done in a window (τ max ) of 4 chips length  with a resolution of 1/(N s NB) chips (i.e., K = τ max N s NB). The coherent integration time (N c ) was set to 10 ms, while the noncoherent integration (N nc ) was performed in 1 blocks of N c length. We remark that because mPOCS estimates jointly the three synchronization parameters, we have used the corresponding joint CRLB (i.e., Case 4).
In Figure 5, we see the performance of the estimators versus C/N 0 in the case of two-path static channel. Among the deconvolution methods, mPOCS performs the best when C/N 0 is higher than 40 dB-Hz for the phase and delay parameters, while for the amplitude parameter, mPOCs is better starting from 35 dB-Hz. We notice that in the case of delay parameter (top right plot), mPOCS is the one that converges faster than LS and MMSE towards CRLB. Figure 6 shows the results for the case of 3-path static channel. As in the case of 2-path scenario, LS has the worst average performance for all parameters, while mPOCS remains the best method for middle or higher C/N 0 values. When we increase the noncoherent integration from 1 to 2, then the performance of the estimators is further improved (see Figure 7).

Conclusions
In this paper, we derived single and joint CRLBs for the unknown parameter vectors of carrier phase, code delay, and amplitude in multipath channel. Furthermore, we provided a theoretical analysis of the impact of different channel parameters such as C/N 0 , path separation, and number of channel paths on the estimator accuracy bounds. Finally, we compared the performance between the derived theoretical limits and a set of deconvolution estimators, among which a modified projection onto convex set (mPOCS) algorithm [24]. All our experiments assumed CBOC modulation, which is the one selected for future Galileo OS signals. The simulations results show that mPOCS has the best performance among the other deconvolution methods for C/N 0 higher than 35 or 40 dB-Hz, depending on the signal parameter and the channel profile.

Appendix
For the computation of CRLB, we assume that the pdf satisfies the regularity conditions; that is, In what follows, we use the logarithm of the likelihood function for calculating the Fischer information matrix (FIM). If we assume that the estimator θ is unbiased and that the pdf satisfies the regularity conditions, the CRLB for each of the four cases is found by inverting the corresponding FIM.
.1. CRLB for Single Vector Parameter. When computing the single CRLB, we assume that the other signal parameters are known or equivalently that they have been perfectly estimated. This assumption is made in order to eliminate the impact of the other signal parameters on the estimation bound of the parameter at hand, thus, leading to a "stricter" bound.
Then, we compute the second derivatives for φ i = φ q and φ i / = φ q , respectively, as Notice that because the first two terms in the square brackets of (A.6) do not depend on φ i or φ q , they are set to zero. In order to populate the Fischer information matrix (FIM), we distinguish between the elements located in the main diagonal (denoted as [I(φ)] ii ) and the elements located outside it (denoted as [I(φ)] iq , for i / = q) Notice that due to the assumption of static channel, we have We remark that the model up to here is valid for both fading and static channels. For subsequent derivations, in case of a fading channel, we would need to compute E[α l cos(φ l )], where α l would be distributed according to the fading channel profile (e.g., Rayleigh or Nakagami distributed) and φ l is uniformly distributed over [−π, π].Similarly, for the elements outside the main diagonal, we have (A.14) Then, we calculate the second derivatives by distinguishing between differentiation with the same path or not. After some mathematical manipulation, we get Because the first two terms in the square brackets of (A.14) do not depend on the differentiating parameter, they are ignored, and we get

A.2. CRLB for Joint Vector Parameters.
Here, we derive the joint CRLB for all possible combinations of the unknown parameter vectors. First, we consider the case of joint carrier phase and code delay estimation (from now on, this case will be referred to as Case 1). Second, we have the case of joint carrier phase and amplitude estimation (Case 2). Third, the case of joint code delay and amplitude (Case 3) and last the case of jointly estimating all three parameter vectors (Case 4). We also remind the reader that in all cases where two parameter vectors are jointly estimated, we assume that the third parameter vector is known or perfectly estimated.