 Research
 Open Access
 Published:
On the maximum likelihood estimation of the ToA under an imperfect path loss exponent
EURASIP Journal on Wireless Communications and Networking volume 2013, Article number: 158 (2013)
Abstract
We investigate the estimation of the time of arrival (ToA) of a radio signal transmitted over a flatfading channel. The path attenuation is assumed to depend only on the transmitterreceiver distance and the path loss exponent (PLE) which, in turn, depends on the physical environment. All previous approaches to the problem either assume that the PLE is perfectly known or rely on estimators of the ToA which do not depend on the PLE. In this paper, we introduce a novel analysis of the performance of the maximum likelihood (ML) estimator of the ToA under an imperfect knowledge of the PLE. Specifically, we carry out a Taylor series expansion that approximates the bias and the root mean square error of the ML estimator in closed form as a function of the PLE error. The analysis is first carried out for a path loss model in which the received signal gain depends only on the PLE and the transmitterreceiver distance. Then, we extend the obtained results to account also for shadow fading scenarios. Our computer simulations show that this approximate analysis is accurate when the signaltonoise ratio (SNR) of the received signal is medium to high. A simple Monte Carlo method based on the analysis is also proposed. This technique is computationally efficient and yields a better approximation of the ML estimator in the low SNR region. The obtained analytical (and Monte Carlo) approximations can be useful at the design stage of wireless communication and localization systems.
1 Introduction
The estimation of a signal time of arrival (ToA), also called time delay, plays an important role in applied signal processing problems, e.g., synchronization [1], array processing [2], tracking and positioning of mobile terminals [3–8], or even bioengineering [9]. Let us focus on the estimation of the ToA in wireless radio links. In [10], two simple (and practically appealing) estimators of the ToA are studied: the maximum correlation (MC) and the maximum likelihood (ML) estimators. The MC estimator of the ToA depends only on the correlation between the transmitted and the received signals. The ML estimator of the ToA, on the other hand, takes also into account the path attenuation, which depends on the distance between the transmitter and the receiver, and the path loss exponent (PLE) of the environment. The performances of both estimators in mobile positioning applications are analyzed in [8], where it is shown that the ML estimator attains a better accuracy when the PLE is perfectly known a priori. However, the latter assumption is often unrealistic for a practical scenario, because the PLE may change according to variations in the environment and thus may need to be estimated. Tracking the fluctuations of the PLE is specially important in problems that involve the localization of mobile terminals, since the existing positioning techniques based on the ToA estimation are extremely sensitive to errors in the PLE [6].
The problem of dealing with unknown PLEs has been addressed in several related works. In [7], a positioning application with several receivers and one transmitter is considered. The PLEs are assumed to be different and random, with either uniform or normal distributions. The availability of different PLEs for each link increases the localization accuracy compared to the identical PLE assumption. In [11, 12], the PLE is estimated from the measurements, whereas in [13–15], several algorithms for the PLE estimation are proposed. The authors of [14] describe three distributed algorithms for PLE estimation in large wireless networks in the presence of node location uncertainties, mNakagami fading and interference. In [13] and [15], the algorithms for the estimation of the path loss inside a sensor network are designed using previous path loss measurements among sensors. Specifically, in [15], the PLEs are estimated for each node applying the ML criterion and using both ToA and receivedsignalstrength measurements among the sensors. In [16], a handover algorithm is presented using the least squares estimate of the path loss parameters for each link from a mobile station to a base station. In [17, 18], the sensitivity of the ML estimator of the direction of arrival (DoA) of a received signal under model error, i.e., with a mismatch in the PLE, is investigated. To our best knowledge, the problem of estimating the ToA with both the path attenuation and the PLE unknown has not been tackled yet.
The goal of this paper is to investigate the performance of the ML estimator of the ToA under an imperfect PLE. Specifically, we aim at obtaining analytical or semianalytical approximations of the bias and the mean square error (MSE) of the ML estimator, both given in terms of the PLE error and the signaltonoise ratio (SNR) of the communication channel. Such approximations are intended to be useful in the design and setup of the communication and localization wireless systems, as they may considerably alleviate the need for a lengthy and computationally expensive simulation of the whole system.
This article is organized as follows. We first describes the signal model and then briefly reviews the expressions of the MC and the ML estimators of the ToA with perfect knowledge of the PLE in Section 2, including formulas for their MSE performances. In Section 3, we carry out an approximate analysis of the bias and the MSE attained by the ML estimator of the ToA under imperfect PLE. We first apply the method in [18] to study the error between the ML joint estimator of the PLE and the ToA, on one hand, and the ML estimator of the ToA under an imperfect knowledge of the PLE, on the other hand. The difficulty of this study is that the resulting error depends on the ML joint estimates of the ToA and the PLE, which are random variables related to the noise. In order to tackle this limitation and provide an analytical (albeit approximate) expression for the error between the true and the estimated ToA, we analyze the ML estimator of the ToA with mismatched PLE in the second part of Section 3. In particular, we propose a new method to analyze the estimation error based on the Taylor series expansion. In Section 4, we investigate the extension of these results to shadow fading environments [19]. In particular, we first show that the approximate bias is insensitive to the shadow fading, whereas the MSE becomes a random variable (the probability density function (pdf) of which is obtained). Then, we provide a straightforward algorithm to obtain a Monte Carlo estimate of the MSE by drawing only from simple Gaussian distributions (instead of simulating the whole transmission system). In Section 5, we present illustrative computer simulation results based on the transmission of an ultrawideband (UWB) signal. We have chosen UWB signaling to validate our analysis because it provides an excellent means for wireless positioning due to its high resolution in the time domain [4]. Finally, Section 6 is devoted to the conclusions.
2 Signal model
2.1 Received signal
Consider a wireless transmission link with one single transmitter and one single receiver. Following [20], the received signal can be expressed as
where r(t) is the received signal, s(t) is the transmitted signal, which is assumed deterministic and possibly complexvalued, a\in {\mathbb{R}}^{+} and τ≥0 are the path gain and the propagation delay (commonly referred to as ToA) between the transmitter and the receiver, and n(t) is the additive noise at the receiver, assumed to be a circularlysymmetric complexvalued zeromean white Gaussian process with doublesided power spectral density {\sigma}_{\mathrm{n}}^{2}. In (1), τ is the parameter to be estimated.
Assume that the received signal r(t) is observed in the interval (0,T_{ o }], and let {E}_{\mathrm{s}}={\int}_{0}^{{T}_{0}}\lefts\right(t){}^{2}\mathrm{d}t be the energy of the transmitted signal in that period. Then, the relation between the transmitted and the received signal energies in terms of the path gain can be written as
In the literature, the path gain a is often modeled as a deterministic parameter (see, e.g., [21–26], [27–29]). However, it can be elaborated in a more precise way to include the propagation effect [10, 8]. In this paper, we assume a combined path loss and lognormal shadowing model. The received power in dB is given by (see, e.g., [19], p. 45)
where P_{t} is the transmitted power in dB, d_{0} is the closein distance in the farfield region; d=c τ is the distance between the transmitter and the receiver (c is the speed of light), γ is the PLE at the base station, ψ_{dB} is a Gaussian random variable with zero mean and variance {\sigma}_{\text{dB}}^{2} which characterizes the shadow fading (see, e.g., [19], p. 45 and [30], p. 139), and κ is a unitless constant depending on the antenna characteristics and the average channel attenuation given by
with f_{0} being the central frequency of the transmitted signal. If we convert the power in Equation (3) into natural units, then the received energy can also be written as
where the random factor \psi =1{0}^{\frac{{\psi}_{\text{dB}}}{10}} is due to the shadow fading. Substituting (2) into (5), we obtain an explicit expression for the path gain a as
Let us remark that, since the shadow fading term ψ_{dB} is normally distributed, the path gain a of Equation (6) is a random variable. For the sake of simplicity, in the analysis of the ML estimator performance in Section 3, we ignore the effect of the shadow fading by taking the expectation with respect to (w.r.t.) ψ of P_{r} in (3). As a consequence, the path gain becomes deterministic and reduces to
which coincides with the expression of the path gain already used in [10, 8]. The shadow fading effect is taken explicitly into account in Section 4.
2.2 MC and ML estimators of the ToA
In this subsection, we briefly review the MC and ML estimators of the ToA. In the literature, the PLE γ is assumed known, and the effect of the shadow fading is ignored; hence, the path gain is deterministic, known and given by (7) [10].
Let us further use the notation ℜ(·) and (·)^{∗} as the real part and the conjugate of a complex number, respectively. The MC and ML estimators of the ToA are given by [10]
respectively, where \rho \left(\tau \right)={\int}_{0}^{{T}_{\mathrm{o}}}\Re \left(r\right(t\left){s}^{\ast}\right(t\tau \left)\right)\phantom{\rule{0.3em}{0ex}}\mathrm{d}t is the correlation between the transmitted and the received signals, and the function f_{ML}(τ)=a^{2}E_{s}−2a ρ(τ) is the loglikelihood^{a} of τ given r(t) [10]. Note that a is a function of the propagation delay, as shown in (7). For conciseness, this dependence is left implicit throughout the paper.
In [10] the authors obtain approximate formulas for the errors (the bias and the MSE) of the MC and the ML estimators of the ToA, the latter under perfect knowledge of the PLE. In particular, the values of the MSE for the MC and the ML estimators can be approximated, respectively, as [10]
where τ and γ are, respectively, the true values of the propagation delay and the path gain; the path loss exponent (\stackrel{\u0304}{\beta}) is the effective bandwidth, and \frac{S}{N}=\frac{{E}_{\mathrm{s}}}{{\sigma}_{\mathrm{n}}^{2}} is the signaltonoise ratio (see [10] for additional details). Note that the expression in Equation (9b) coincides with the CramérRao bound (see, e.g., [23–29]) for the time delay estimation [10].
3 Performance analysis
In this section, we analyze the performance of ML estimator of the ToA, τ, subject to a model error. In particular, we assume that the knowledge of the PLE is not exact. This is a common situation in practice, since different phenomena, such as the movement of the transmitter (or the receiver) and sudden changes in the weather, directly cause changes in the PLE from one observation period to the next. In order to model the uncertainty in the nominal value of the PLE, γ, consider an additive perturbation
where γ_{0} is the (unknown) true value of the PLE, and δ_{ γ } is an (equally unknown) additive error. In this section, we assume that the path gain has the form shown in (7); therefore, the following analysis is valid for environments with no shadow fading.
The loglikelihood f_{ML} in (8b) implicitly depends on the PLE, because the path gain a in (7) is a function of γ. Since we assume a mismatch between the true value of the PLE, γ_{0}, and the value available at the receiver, γ, we need to make this dependence explicit in order to analyze the estimator performance. Therefore, let us write the loglikelihood f_{ML} as a function of two real variables, the propagation delay τ and the nominal PLE γ
where the second equality is obtained by expanding the path gain a, as given in Equation (7) (see also Equations (32) to (35) in [10] for further details on the derivation of the loglikelihood function f_{ML}). Recall that \rho \left(\tau \right)=\underset{0}{\overset{{T}_{\mathrm{o}}}{\int}}\Re \left(r\right(t\left){s}^{\ast}\right(t\tau \left)\right)\phantom{\rule{0.3em}{0ex}}\mathrm{d}t is the correlation between the transmitted and the received signals, and E_{s} is the energy of the transmitted signal. Figure 1 illustrates the shape of the loglikelihood function f_{ML}. Note that this is just a sample realization of −f_{ML}, since its actual form depends on the specific communication system and the received data. The resulting ML estimator of the ToA τ as a function of the nominal PLE γ is
In former works, the sensitivity analysis of the ML estimator under model error has been investigated for DoA estimation (see, e.g., [18, 17]). Similar ideas can be applied to investigate the mismodeled estimation problem in (12), as shown in Section 3.1. This approach suffers from several limitations, though. For this reason, we introduce a novel approximate analysis based on a Taylor series expansion in Section 3.2.
3.1 Friedlander’s method
In this subsection, we adapt the methodology proposed in [18] to the problem of the ToA estimation. Note that, while our objective in the present paper is the characterization of the ToA estimation error under an imperfect PLE, in [18], the author addresses the DoA estimation for a sensor array under the imperfect knowledge of the channel parameters. Therefore, the loglikelihood function is different for each of the two estimation problems (DoA and ToA).
Let {\widehat{\tau}}_{\text{ML}} and {\widehat{\gamma}}_{\text{ML}} denote the ML estimates of the ToA and the PLE, respectively, which jointly maximize the likelihood function, i.e., assume that {\left(\right)close="">\frac{\partial}{\mathrm{\partial \tau}}{f}_{\text{ML}}(\tau ,\gamma )}_{}\n \n \n \n \n \tau \n =\n \n \n \n \n \tau \n \n \u0302\n \n \n \n ML\n \n \n \n \n \n \n \gamma \n =\n \n \n \n \n \gamma \n \n \u0302\n \n \n \n ML\n \n \n \n \n \n \n and {\left(\right)close="">\frac{\partial}{\mathrm{\partial \gamma}}{f}_{\text{ML}}(\tau ,\gamma )}_{}\n \n \n \n \n \tau \n =\n \n \n \n \n \tau \n \n \u0302\n \n \n \n ML\n \n \n \n \n \n \n \gamma \n =\n \n \n \n \n \gamma \n \n \u0302\n \n \n \n ML\n \n \n \n \n \n \n. Following [18], we approximate the error between {\widehat{\tau}}_{\text{ML}} and the ML estimate of the ToA under a mismatch in the PLE, denoted by {\widehat{\tau}}_{\text{ML}}\left(\gamma \right), as
which is obtained by approximating \frac{\partial}{\mathrm{\partial \tau}}{f}_{\text{ML}}(\tau ,\gamma ) by its first order Taylor series expansion around {\widehat{\tau}}_{\text{ML}} and {\widehat{\gamma}}_{\text{ML}} (see [18], Section III).
In order to find an explicit form of 13, we can elaborate both the numerator and the denominator of {\epsilon}_{F}({\widehat{\tau}}_{\text{ML}},{\widehat{\gamma}}_{\text{ML}}) as
and
where {a}_{\text{ML}}=a({\widehat{\tau}}_{\text{ML}},{\widehat{\gamma}}_{\text{ML}}) is the value of the path gain for \tau ={\widehat{\tau}}_{\text{ML}} and \gamma ={\widehat{\gamma}}_{\text{ML}}; ρ(τ), \stackrel{\u0307}{\rho}\left(\tau \right), and \stackrel{\u0308}{\rho}\left(\tau \right) are correlation functions given by
respectively, where a_{0}=a(τ_{0},γ_{0}) is the true value of the path gain, and ρ_{ss}(τ) is the autocorrelation of the transmitted signal, which is given by
and ρ_{ns}(τ) is the correlation between the noise and the transmitted signal, i.e.,
Substituting (14) and (15) into (13), we obtain a closed formula for the (approximate) estimation error, namely,
where
Friedlander’s approach provides us with a characterization of the error between two estimators of the ToA, namely, the ‘full’ ML estimator obtained by maximizing the likelihood function −f_{ML}(τ,γ) jointly over τ and γ, on one hand, and the conditional ML estimator obtained for a fixed (but imperfect or mismatched) value of the PLE γ, denoted by {\widehat{\tau}}_{\text{ML}}\left(\gamma \right), on the other. However, the error given in (19) is a function of the random variables {\widehat{\tau}}_{\text{ML}}, {\widehat{\gamma}}_{\text{ML}}, \rho \left({\widehat{\tau}}_{\text{ML}}\right), \stackrel{\u0307}{\rho}\left({\widehat{\tau}}_{\text{ML}}\right), and \stackrel{\u0308}{\rho}\left({\widehat{\tau}}_{\text{ML}}\right), which in turn, depend on the realization of the noise process n(t). This dependence makes the derivation of the first and the second moments of {\epsilon}_{F}({\widehat{\tau}}_{\text{ML}},{\widehat{\gamma}}_{\text{ML}}) analytically intractable.
To tackle this limitation, we propose a different approach that aims at characterizing the error between the estimator {\widehat{\tau}}_{\text{ML}}\left(\gamma \right) for a fixed imperfect PLE, γ, and the true value of the ToA, τ_{0}. Our analysis not only leads to a mathematically tractable approximation but it is also, in our opinion, more meaningful from a practical perspective.
3.2 Performance analysis based on a Taylor series expansion
In this section, we evaluate the error between the true and the estimated values of the ToA. Let τ_{0} and γ_{0} denote the true values of the ToA and the PLE, respectively, both assumed deterministic. The firstorder Taylor series expansion of the partial derivative \frac{\partial}{\mathrm{\partial \tau}}{f}_{\text{ML}}(\tau ,\gamma ) in two variables around the true values τ_{0} and γ_{0} can be written as (see, e.g., [31–33])
Assuming a large SNR, the terms of the second or higher order in o({\left({\widehat{\tau}}_{\text{ML}}\right(\gamma ){\tau}_{0})}^{2}+{(\gamma {\gamma}_{0})}^{2}) are negligible [25], p.236). The estimated value \tau ={\widehat{\tau}}_{\text{ML}}\left(\gamma \right) minimizes f_{ML}(τ,γ) using a mismodeled PLE, i.e., {\widehat{\tau}}_{\text{ML}}\left(\gamma \right) is a solution to the equation {\left(\right)close="">\frac{\partial}{\mathrm{\partial \tau}}{f}_{\text{ML}}(\tau ,\gamma )}_{}\n \n \n \n \n \tau \n =\n \n \n \n \n \tau \n \n \u0302\n \n \n \n ML\n \n \n (\n \gamma \n )\n \n \n \n \n. Then, by dropping the term o({\left({\widehat{\tau}}_{\text{ML}}\right(\gamma ){\tau}_{0})}^{2}+{(\gamma {\gamma}_{0})}^{2}), we can approximate the error between the true and the estimated ToA as
In order to provide analytical expressions for the bias and the MSE of the error in (22), we introduce a further approximation into the error {\stackrel{~}{\epsilon}}_{\text{TE}}({\tau}_{0},\gamma ) by following [23], p. 642, Equation (179.6) as
where the expectation in the denominator is introduced for mathematical tractability. The derivatives \frac{\partial}{\mathrm{\partial \tau}}{f}_{\text{ML}}(\tau ,\gamma ) and \frac{{\partial}^{2}}{\mathrm{\partial \gamma \partial \tau}}{f}_{\text{ML}}(\tau ,\gamma ) for τ=τ_{0} and γ=γ_{0} in (23) can be evaluated explicitly and yield
and
respectively, where ρ_{ns,0}=ρ_{ns}(τ_{0}) and {\stackrel{\u0307}{\rho}}_{\mathrm{n}\mathrm{s},0}={\left(\right)close="">\frac{\partial}{\mathrm{\partial \tau}}{\rho}_{\mathrm{n}\mathrm{s}}\left(\tau \right)}_{}\n \n \n \n \n \tau \n =\n \n \n \tau \n \n \n 0\n \n \n \n \n \n \n \gamma \n =\n \n \n \gamma \n \n \n 0\n \n \n \n \n \n \n. Additionally, the expected value of \frac{{\partial}^{2}}{\partial {\tau}^{2}}{f}_{\text{ML}}(\tau ,\gamma ) evaluated at τ=τ_{0} and γ=γ_{0} is
where \stackrel{\u0304}{\beta} is the effective bandwidth. Equations (24), (25), and (26) are explicitly obtained in Appendix Appendix 1: derivatives of the likelihood function f_{ M L }( τ,γ ). Then, substituting (26), (25), and (24) into (23), we obtain the (approximate) closed formula for the ToA estimation error
The bias of the conditional ML estimator given an imperfect PLE γ is obtained by taking the expectation of (23), i.e.,
The expectations {\mathrm{E}}_{n\left(t\right)}\phantom{\rule{0.3em}{0ex}}\left\{\phantom{\rule{0.3em}{0ex}}{\left(\right)close="">\frac{\partial}{\mathrm{\partial \tau}}{f}_{\text{ML}}(\tau ,\gamma )}_{}\begin{array}{c}\tau ={\tau}_{0}\\ \gamma ={\gamma}_{0}\end{array}\right\}\n and {\mathrm{E}}_{n\left(t\right)}\phantom{\rule{0.3em}{0ex}}\left\{\phantom{\rule{0.3em}{0ex}}\frac{{\partial}^{2}}{\mathrm{\partial \tau \partial \gamma}}\right.\left(\right)close="}">\n \n \n \n close="">\n \n \n \n f\n \n \n ML\n \n \n (\n \tau \n ,\n \gamma \n )\n \n \n \n \n \n \n \n \tau \n =\n \n \n \tau \n \n \n 0\n \n \n \n \n \n \n \gamma \n =\n \n \n \gamma \n \n \n 0\n \n \n \n \n \n \n \ncan be readily calculated by taking into account that E_{n(t)}{ρ_{ns,0}}=0 and {\mathrm{E}}_{n\left(t\right)}\left\{{\stackrel{\u0307}{\rho}}_{\mathrm{n}\mathrm{s},0}\right\}=0, and yield
Hence, by substituting (29a) and (29b) into (28), the bias of {\widehat{\tau}}_{\text{ML}}\left(\gamma \right) can be written as
which vanishes when γ=γ_{0}, i.e., when the PLE is perfectly known.
The MSE of the estimator {\widehat{\tau}}_{\text{ML}}\left(\gamma \right) can also be obtained as a function of the nominal (imperfect) PLE γ, namely
The above expression of the MSE depends on the sign of the error between the true and the nominal values of the PLE. This dependence can be removed if we substitute the factor {\left(\right)close="">\frac{{\partial}^{2}}{\mathrm{\partial \tau \partial \gamma}}{f}_{\text{ML}}(\tau ,\gamma )}_{}\n \n \n \n \n \tau \n =\n \n \n \tau \n \n \n 0\n \n \n \n \n \n \n \gamma \n =\n \n \n \gamma \n \n \n 0\n \n \n \n \n \n \n by its expectation, following a similar derivation in, e.g., [23], Equation (179.6) p. 642. Hence, we obtain an approximation of the MSE that is symmetric w.r.t. γ_{0}, namely
By substituting (24), (25), and (26) into (32), the MSE can be approximated by the closed formula (see Appendix 2 for details)
Note that when γ=γ_{0}, the MSE of the approximate error reduces to
which is identical to the expression in (9b).
4 Performance in shadow fading environments
In this section, we investigate the impact of the shadow fading on the analysis of Section 3. We also propose a Monte Carlo method for the numerical approximation of the MSE that avoids some of the approximations in the latter analysis.
4.1 Analysis in presence of shadow fading
The analytical approximations of the bias and the MSE of the ML estimator of the ToA are based on the assumption that the path gain can be modeled by Equation (7), which follows from neglecting the shadow fading term in Equation (3), i.e., taking ψ_{dB}=0 in (3) or, equivalently, ψ=1 in Equation (6).
If shadow fading is explicitly taken into account, the path gain in Equation (6) becomes a random variable (because the factor ψ is random with lognormal distribution). However, assuming that the channel noise n(t) is independent of the shadow fading factor ψ, the analysis of Section 3.2 can still be carried out conditional on the random variable ψ.
To be specific, let
be the (random) path gain associated to the pair of PLE and ToA values γ and τ, respectively. Correspondingly, let
the gain associated to the true values γ_{0} and τ_{0}. In both cases, ψ is a lognormal random variable, since ψ_{dB}=10 log10ψ is Gaussian with zero mean and variance {\sigma}_{\text{dB}}^{2}. If we repeat the analysis in Section 3.2 step by step, albeit conditional on the σalgebra generated by the random variable ψ, we arrive at the approximations
for the bias of τ_{ML} (see Equation (30)) and
for the MSE of τ_{ML}. Note that the MSE in (38) is a random variable (while the MSE in Equation (33) is deterministic). Let us note that the approximate bias B(τ_{0},γ) in (37) is independent of the path gain (and, therefore, of the shadow fading factor ψ) and, hence, deterministic. The approximate MSE ε^{2}(τ_{0},γ,ψ) of Equation (38), however, depends explicitly on a_{0}(ψ); therefore, it is random. Let us look into its characterization.
When γ=γ_{0}, the MSE (as shown in Section 3.2) reduces to
and it can be shown to be a lognormal random variable itself. In particular, if we write the approximate MSE when the PLE is perfectly known (i.e., γ=γ_{0}) in dB,
then it is straightforward to show that
where a_{0}=a_{0}(ψ=1) is the (deterministic) path gain in absence of shadow fading. Equation (41) reveals that the approximate MSE (in dB) of the ML estimator of the ToA under a perfect knowledge of the PLE is a normal random variable with mean
and variance {\sigma}_{\text{dB}}^{2}. Let us remark that this mean is in agreement with the approximation of Equation (34) in Section 3.2.
When γ≠γ_{0}, the approximate MSE ε^{2}(τ_{0},γ,ψ) is given by the general expression of Equation (38). Let us rewrite it, for conciseness, as
where
and we have used the fact that {a}_{0}^{2}\left(\psi \right)={a}_{0}/\psi (recall that a_{0}=a_{0}(ψ=1)). The random variable ψ_{dB}=10 log10ψ is normal with zero mean and variance {\sigma}_{\text{dB}}^{2}. By a change of base in the logarithm, it is straightforward to show that the random variable lnψ is also normal with zero mean and variance
This implies that the pdf of ψ is [34]
and, in particular,
Since the approximate MSE, ε^{2}(τ_{0},γ,ψ), is a linear transformation of ψ (see Equation (43)), it is straightforward to calculate its mean
its variance
and even its pdf
Equations (50), (51), and (52) provide a complete statistical characterization of the approximate MSE of the ML estimator of the ToA in the presence of shadow fading.
4.2 Monte Carlo approximation
In the previous sections, we have introduced additional approximations beyond the linearization by Taylor series expansion (see Equations (23) and (32)) in order to attain closed form expressions for the bias and the MSE of the estimation error {\widehat{\tau}}_{\text{ML}}\left(\gamma \right){\tau}_{0}. One consequence of these approximations is that the formulas in (30) and (37) (for the bias), and (33) and (38) (for the MSE) may not properly represent the effect of the denominator in Equation (22), which can be relevant for the performance of the ML estimator {\widehat{\tau}}_{\text{ML}}\left(\gamma \right) in the low SNR region. In this section, we address this limitation of the analysis by describing a simulationbased (Monte Carlo) method that enables us to obtain accurate numerical estimates of the bias and the MSE of the estimator {\widehat{\tau}}_{\text{ML}}\left(\gamma \right) for a given nominal value γ of the PLE in the presence of shadow fading. The technique only requires the ability to draw from a few Gaussian random variables, avoids some of the approximations in the analysis (namely that of Equation (23)), and has a computational cost well below that of the direct simulation of the transmission system.
We first seek an explicit expression of the estimation error
This error variable is similar to {\stackrel{~}{\epsilon}}_{\text{TE}}({\tau}_{0},\gamma ) in Equation (22) except for the expectation in the numerator, which is introduced to remove the effect in the MSE of the sign of the difference γ−γ_{0} (as discussed in Section 3.2), and the explicit notation of the shadow fading factor ψ. Substituting (24), (29b), and
(see Appendix Appendix 1: derivatives of the likelihood function f_{ M L }( τ,γ )) where {\stackrel{\u0308}{\rho}}_{\mathrm{n}\mathrm{s},0}={\left(\right)close="">\frac{{\partial}^{2}}{\partial {\tau}^{2}}{\rho}_{\mathrm{n}\mathrm{s}}}_{}\n \n \n \n \n \tau \n =\n \n \n \tau \n \n \n 0\n \n \n \n \n \n \n \gamma \n =\n \n \n \gamma \n \n \n 0\n \n \n \n \n \n \n, into (53), we obtain the ToA estimation error
Note that {\stackrel{\u0304}{\epsilon}}_{\text{TE}}({\tau}_{0},\gamma ,\psi ) is random because it depends on four random variables, ρ_{ns,0}, {\stackrel{\u0307}{\rho}}_{\mathrm{n}\mathrm{s},0}, {\stackrel{\u0308}{\rho}}_{\mathrm{n}\mathrm{s},0}, and a_{0}(ψ). The random path gain, a_{0}(ψ), is related to the shadow fading factor ψ, which is lognormally distributed. Specifically, ψ_{dB}=10 log10ψ and {\psi}_{\text{dB}}\sim \mathcal{N}\left(0,{\sigma}_{\text{dB}}^{2}\right).
The other three random variables {\rho}_{\mathrm{n}\mathrm{s},0}^{2}, {\stackrel{\u0307}{\rho}}_{\mathrm{n}\mathrm{s},0}^{2}, and {\stackrel{\u0308}{\rho}}_{\mathrm{n}\mathrm{s},0}^{2}, which, in turn, are related to the noise process n(t) have a joint Gaussian distribution with zero mean vector and covariance matrix Σ_{ ρ }, i.e.,
where the covariance matrix Σ_{ ρ } can be written as
The expectation terms in (57), in turn, reduce to (see [35], Chapter 2)
where the integrals in (58c) and (58f) do no not have a closed form but can be computed numerically.
In order to obtain accurate approximations of the statistics of the error {\stackrel{\u0304}{\epsilon}}_{\text{TE}}({\tau}_{0},\gamma ,\psi ) we can resort to a numerical method based on Monte Carlo sampling. In particular, it is straightforward to draw an i.i.d. sample of size N from the Gaussian random vector in (56), denoted as
as well as drawing N i.i.d. samples of the Gaussian shadow fading variable ψ_{dB}. If we let {\psi}^{\left(i\right)}=1{0}^{\frac{{\psi}_{\text{dB}}^{\left(i\right)}}{10}}, then it is straightforward to compute
where {a}_{0}^{\left(i\right)}={a}_{0}\left({\psi}^{\left(i\right)}\right). Plugging the variates ({a}_{0}^{\left(i\right)}, {\rho}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}, {\stackrel{\u0307}{\rho}}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}, and {\stackrel{\u0308}{\rho}}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}) into Equation (55) yields a size N sample from the error distribution, denoted as
and, given (61), the bias and the MSE of the ML estimate {\widehat{\tau}}_{\text{ML}}({\tau}_{0},\gamma ) can be approximated as
and
respectively. According to the Strong Law of Large Numbers, the estimates μ^{N}(τ_{0},γ) and ε^{2,N}(τ_{0},γ) converge almost surely toward the true mean and the second order moment of {\stackrel{\u0304}{\epsilon}}_{\text{TE}}({\tau}_{0},\gamma ,\psi ) ([36], Chapter 3). Note that this numerical approximation can be also applied assuming a deterministic path gain, i.e., in the absence of shadow fading effect, by simply setting a_{0}=a_{0}(1) (i.e., ψ=1). In this case, the method requires drawing only from the random variables related to the noise ({\rho}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}, {\stackrel{\u0307}{\rho}}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}, and {\stackrel{\u0308}{\rho}}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}).
Let us remark that the approximation procedure described in this section is semianalytical: it essentially relies on the error formula of (55), and the Monte Carlo simulation is only used as a numerical tool to integrate w.r.t. the random variables a_{0}(ψ), ρ_{ns,0}, and {\stackrel{\u0307}{\rho}}_{\mathrm{n}\mathrm{s},0}{\stackrel{\u0308}{\rho}}_{\mathrm{n}\mathrm{s},0}. The simulations required are computationally ‘cheap’ compared to a full simulation of the communication system.
Finally, note also that a similar procedure to estimate the Friedlander’s error derived in Section 3.1 is infeasible due to the fact that the error in Equation (19) depends on the random variables {\widehat{\tau}}_{\text{ML}}, {\widehat{\gamma}}_{\text{ML}}, \rho \left({\widehat{\tau}}_{\text{ML}}\right), \stackrel{\u0307}{\rho}\left({\widehat{\tau}}_{\text{ML}}\right), and \stackrel{\u0308}{\rho}\left({\widehat{\tau}}_{\text{ML}}\right), the probability density functions of which are unavailable. They are all related to the ML estimates of the ToA and the PLE ({\widehat{\tau}}_{\text{ML}} and {\widehat{\gamma}}_{\text{ML}}), which, in turn, depend also on the realization of the noise process n(t).
5 Numerical examples
UWB signaling has been broadly studied as a promising candidate for accurate location estimation. In particular, UWB signaling is presented as an appropriate technology for positioning in indoor environments because it allows centimeter accuracy, as well as lowpower and lowcost implementation of communication systems (see, e.g., [4, 37, 38]). For this reason, we have chosen to validate the analytical approximation results of Sections 3 and 4 by simulating the transmission of a secondderivative Gaussian pulse. This waveform is one of the most commonly used in classical impulseradio UWB systems, and it can be expressed as [39])
where τ_{p} is the pulseshaping factor.
For the computer simulations in this section, we set τ_{p}=0.2877 ns to yield the pulse width T_{p}=0.7 ns and consider the transmitted signal s\left(t\right)=p\left(t\frac{1}{2}{T}_{\mathrm{p}}\right),\phantom{\rule{1em}{0ex}}t>0. The effective bandwidth, \stackrel{\u0304}{\beta}, and the effective absolute central frequency, {\stackrel{\u0304}{f}}_{\text{abs}}, of s(t) can be obtained analytically (see Appendices 3 and 4, respectively). To be specific,
where ω is the angular frequency, and S(ω) is the Fourier transform of s(t). Note that {\stackrel{\u0304}{f}}_{\text{abs}} is used here as an approximation of the central frequency in Equation (4), i.e., we assume {f}_{0}\approx {\stackrel{\u0304}{f}}_{\text{abs}}. By plugging the parameter values of (65a) and (65b) into Equations (30) and (33), we obtain an analytical characterization of the bias and the MSE, respectively, of the ML ToA estimator ({\widehat{\tau}}_{\text{ML}}\left(\gamma \right)), conditional on the nominal PLE γ for the secondderivative Gaussian pulse. If the shadow fading needs to be considered, (65a) and (65b) can be substituted into Equation (37) for the approximation of the bias and into Equations (50), (51), and (52) for the characterization of the random MSE. Similarly, we can substitute \stackrel{\u0304}{\beta} and {f}_{0}\approx {\stackrel{\u0304}{f}}_{\text{abs}} into Equation (55) in order to carry out a Monte Carlo evaluation of the statistics of the error {\stackrel{\u0304}{\epsilon}}_{\text{TE}}({\tau}_{0},\gamma )\approx {\widehat{\tau}}_{\text{ML}}\left(\gamma \right){\tau}_{0}.
In the remaining of this section, we numerically assess the validity of the approximation formulas that we have derived in Sections 3 and 4. In order to consider realistic scenarios, we select values for the PLE γ_{0} and the variance of the shadow fading effect, {\sigma}_{\text{dB}}^{2}, based on measurements in indoor environments [38].
5.1 Path loss model
Let us first consider the path loss model in the absence of shadow fading. Assuming a lineofsight (LOS) wireless communication between a transmitter and a receiver in a residential environment, we use a typical value for the PLE as given in [38], e.g., γ_{0}=1.7. In order to validate the analytical characterization of the conditional ML estimator ({\widehat{\tau}}_{\text{ML}}\left(\gamma \right)) obtained in Section 3, we compare the approximate bias and RMSEs computed by means of the formulas in both sections with the results obtained from the direct simulation of the transmission system. In particular, we consider the following methods to evaluate both the bias and the RMSE of the estimator:

Direct simulation of the transmission system with either perfect knowledge of the PLE (γ=γ_{0}, i.e., δ_{ γ }=0) or imperfect PLE (γ≠γ_{0}, i.e., δ_{ γ }≠0). We run N_{R}=6,000 independent simulations and compute the conditional ML estimator^{b}{\widehat{\tau}}_{\text{ML}}\left(\gamma \right) and the errors {\widehat{\tau}}_{\text{ML}}\left(\gamma \right){\tau}_{0} and {\left({\widehat{\tau}}_{\text{ML}}\right(\gamma ){\tau}_{0})}^{2} in each case. The errors are then averaged and displayed.

The approximate formula of Section 2 for the MSE of the ML estimator, which can only be applied with a perfect PLE (γ=γ_{0}, i.e., δ_{ γ }=0).

The approximate formula of Equations (30) and (33) for the bias and the RMSE, respectively, of the ML estimator. Such approximation can be used with the imperfect PLE (γ≠γ_{0}).

With an imperfect PLE (δ_{ γ }≠0), we can also compute the (approximate) expected bias and RMSE via the Monte Carlo approach in Section 4.2, using a population N=6,000 samples. Note that in this case, we consider the deterministic path gain given in (7) (no shadow fading); therefore, it is only necessary to draw from the Gaussian variables {\rho}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}, {\stackrel{\u0307}{\rho}}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}, and {\stackrel{\u0308}{\rho}}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}.
For a better display, the errors (bias and RMSE) are shown in terms of the transmitterreceiver distance d=c τ, where c is the speed of the light. For an arbitrary estimate \widehat{\tau}, the bias and the RMSE of the corresponding distance estimate \widehat{d}=c\widehat{\tau} are proportional (with constant c) to the bias and the RMSE of \widehat{\tau}.
Figure 2 shows the bias of the estimated distance as a function of the received SNR, defined as \text{SNR}=10\underset{10}{log}\left(\frac{{a}^{2}{E}_{\mathrm{s}}}{{\sigma}_{\mathrm{n}}^{2}}\right) (dB) (with a as given in Equation (7)). The upper plot shows that the analytical expression properly captures the results from the direct simulation for medium to high SNR values (SNR≥20 dB). The lower plot is a magnification of the vertical axis (notice the range of 15×10^{−5} m) that shows the good fit between the analytical formula for the bias and the results of simulations, both for positive and negative deviations of the nominal PLE. Note also that the bias of the estimated distance is positive when the PLE error is negative and viceversa, as predicted by Equation (30). The physical interpretation of this result comes from the fact that the path gain a decreases both with the ToA τ and with the PLE γ, as explicitly shown in Equation (7).
Figure 3 shows the bias of the estimated distance as a function of PLE error given by δ_{ γ }=γ−γ_{0}. The upper plot shows that the analytical bias is a good approximation of the simulation results only for PLE errors greater than δ_{ γ }=−0.5, due to the asymmetric behavior of the conditional ML estimator w.r.t. the sign of δ_{ γ } (this is in agreement with the plot of Figure 1, which shows that f_{ML} is not symmetric around the true PLE value). From the lower plot (a magnification of the vertical axis with a range of 8×10^{−5} m), we can observe that the theoretical analysis is more accurate for small values of the PLE error δ_{ γ }, i.e., for δ_{ γ } approximately between −0.5 and 0.2. This is as expected, because the Taylor series expansion for two variables is accurate only in the neighborhood of the true values of both variables. This figure also shows the performance of the ML estimator under a perfect knowledge of the PLE, which is unbiased and serves as a practical performance reference.
In Figure 4, we show the RMSE of the estimated distance as a function of the received SNR. Again, the analytical approximations (of the RMSE) turn out accurate for medium to high SNRs. The Monte Carlo approximations (for both perfect and imperfect PLE) of the RMSE provide better results than the analytical approximations (in Equations (9b) for the perfect PLE and (33) for the imperfect PLE) for the low SNR region, while for medium to high SNRs, both the analytical and the Monte Carlo approximations yield similar results.
Finally, Figure 5 shows the RMSE of the estimated distance as a function of the PLE error for several values of the received SNR. As before, we can observe that the analysis is more accurate in the vicinity of the true value of the PLE (δ_{ γ }=0). Note also that the approximation works properly for SNR above 20 dB and δ_{ γ }>−0.4.
5.2 Shadow fading environment
In this section, we validate the analytical and Monte Carlo approximations derived in Section 4 for a combined path loss and shadow fading model. To this end, we consider the ToA estimation in a residential environment in two different scenarios:

1.
An LOS exists between the transmitter and the receiver of the wireless communication system, where the typical values for the PLE and the variance of the shadow fading are, e.g., γ _{0}=1.7 and {\sigma}_{\text{dB}}^{2}=1.6, respectively [38].

2.
There is no LOS (NLOS) between the transmitter and the receiver of the wireless communication system. The typical values for the PLE and the variance of the shadow fading are, e.g., γ _{0}=3.5 and {\sigma}_{\text{dB}}^{2}=7.29 [38].
In order to validate the analytical and the numerical characterizations of the conditional ML estimator, {\widehat{\tau}}_{\text{ML}}\left(\gamma \right), obtained in Section 4, we compare the approximate bias and RMSEs with the results obtained from the direct simulation of the transmission system. Similar to Section 5.1, we consider the following methods to evaluate the bias and the RMSE of the ML estimator {\widehat{\tau}}_{\text{ML}}\left(\gamma \right):

Direct simulation of the transmission system in the both LOS and NLOS communication, with either perfect (γ=γ_{0}) or imperfect knowledge of imperfect PLE (γ≠γ_{0}). We run N_{R}=6,000 independent simulations and compute the ML estimator {\widehat{\tau}}_{\text{ML}}\left(\gamma \right) and the errors {\widehat{\tau}}_{\text{ML}}\left(\gamma \right){\tau}_{0} and {\left({\widehat{\tau}}_{\text{ML}}\right(\gamma ){\tau}_{0})}^{2} in each one of them. The errors are then averaged and displayed.

With an imperfect PLE (γ≠γ_{0}), we can approximate the RMSE by using the approximate analysis of the random MSE ε^{2} obtained in Section 4.2. In particular, we can approximate the RMSE of the ML estimator {\widehat{\tau}}_{\text{ML}}\left(\gamma \right) by the square root of the mean {\mu}_{{\epsilon}^{2}} in Equation (50).

With an imperfect PLE (γ≠γ_{0}), we can approximate the expected bias and RMSE via the Monte Carlo approach in Section 4.2, using N=6,000 samples of the random error {\stackrel{\u0304}{\epsilon}}_{\mathit{\text{TE}}}({\tau}_{0},\gamma ) in Equation (55). Note that in this section, we are considering the shadow fading effect; thus, the path gain is a random variable related to the random shadow fading term ψ_{dB}, as shown in Equation (6). Therefore, the Monte Carlo approach requires to draw samples from four Gaussian variables {\rho}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}, {\stackrel{\u0307}{\rho}}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}, {\stackrel{\u0308}{\rho}}_{\mathrm{n}\mathrm{s},0}^{\left(i\right)}, and {\psi}_{\text{dB}}^{\left(i\right)}, i=1,…,N.
The errors (bias and RMSE) are shown in terms of the transmitterreceiver distance d=c τ for a better display. Figure 6 shows the bias and the RMSE of the estimated distance as a function of received SNR, assuming LOS between the transmitter and the receiver of the communication system. The upper plot shows that the numerical approximation of the bias properly captures the results of the direct simulation for high SNR values and for both positive and negative deviations of the nominal PLE (notice that the range of the vertical axis is only 10^{−4} m). The lower plot shows the Monte Carlo method approximation of the RMSE for a range of SNR values. This figure also shows that a negative deviation of the PLE leads to a greater RMSE than a positive error. This means that the ML estimator of the ToA for a negative PLE mismatch (δ_{ γ }=γ−γ_{0}<0) is more sensitive to the effects of noise and shadow fading.
In Figure 7, we show the RMSE of the estimated distance as a function of the received SNR, assuming NLOS between the transmitter and the receiver (hence, with larger values of γ_{0} and {\sigma}_{\text{dB}}^{2}) and δ_{ γ }=γ−γ_{0}=0.2. This figure shows that the analytical characterization of the random MSE provided in Section 4.1 is accurate only in the high SNR region. This figure also shows that the Monte Carlo approximation of the RMSE is accurate in the low and the high SNR regions. In the medium SNR region, we observe a larger mismatch.
5.3 Impact of the approximations
In Sections 3 and 4, we have introduced additional approximations, beyond the linearization by Taylor series expansion, in order to attain analytical expressions for the bias and the MSE of the estimator {\widehat{\tau}}_{\text{ML}}\left(\gamma \right). The goal of this section is to summarize and point out the impact of such approximations.
In Section 3, we have taken the expectation w.r.t. the noise process n(t) in the denominator of Equation (22). One consequence of this approximation is that the formulas in (30) and (37) (for the bias), and (33) and (38) (for the MSE) do not properly capture the effect of the denominator in Equation (22), which is relevant for the performance of the ML estimator {\widehat{\tau}}_{\text{ML}}\left(\gamma \right) in the low SNR region. Although the impact of this approximation cannot be analyzed theoretically, the numerical results in Figure 4 show that the mismatch between the proposed analytical approximation of the RMSE and the RMSE obtained by direct simulation of the communication system is larger in the low SNR region. This artifact is considerably mitigated when the RMSE is approximated with the Monte Carlo method of Section 4.2. Indeed, it can be seen in Figures 4, 6, and 7 (the latter for a shadow fading scenario) that the Monte Carlo estimates of the RMSE are usable in the whole SNR range (although still better for high values, SNR>20 dB). Note that the Monte Carlo procedure of Section 4.2 requires to draw only from a few simple Gaussian distributions, which is computationally much cheaper than simulating the complete transmission system.
The Taylor series expansion leads to an approximation of the MSE that depends on the sign of the difference δ_{ γ }=γ−γ_{0} between the true and the nominal values of the PLE, as shown in Equation(31). We have followed [[23], equation (179.6), p. 642] in order to remove this dependence, leading to Equation (32). As a consequence, the analytical and the Monte Carlo approximations of the RMSE proposed in the paper are independent of the sign of δ_{ γ }. While this approximation is correct for small δ_{ γ }, the simulations (see Figures 2, 3, 5, and 6) show that the estimator is more sensitive to negative errors in the PLE.
6 Conclusions
We have analyzed the performance of the maximum likelihood of a signal timeofarrival when the path loss exponent of the communication link is not perfectly known. In the first approach, we have modeled the signal received amplitude as a deterministic function of the PLE and the transmittertoreceiver distance. Within this setup, we have applied a Taylor series expansion, together with other approximations needed for mathematical tractability, in order to obtain closedform expressions for the bias and the RMSE of the ML ToA estimator. In the second stage, we have extended our analysis to cope with shadow fading effects. In such case, the analytical approximation of the estimator MSE takes the form of a random variable, the mean, variance, and probability density function of which are derived and given in closed form. Additionally, we have introduced a simple Monte Carlo method for the numerical computation of the errors, which removes some of the approximations in the analysis, can be applied both with and without shadow fading, and presents a computational load much smaller than that of the direct simulation of the transmission.
We have carried out extensive computer simulations to assess the validity of the proposed approximation tools. For the evaluation, we have simulated the transmission of a second derivative Gaussian pulse, a waveform commonly used in UWB systems, where the ToA estimation is of great importance for positioning applications. Our simulations show that the analytical approximations, both with and without shadow fading, are very accurate in the medium and high SNR regions. The Monte Carlo technique is equally accurate with mid and high SNRs, while it also yields usable approximations of the bias and RMSE in the lower SNR region. The computer experiments also show that the ML ToA estimator is more sensitive to the underestimation of the PLE than to its overestimation (this result is consistent with the numerical study of [6]).
Endnotes
^{a} Actually, the negative of the loglikelihood.
^{b} We have solved the optimization problem of Equation (12) numerically in order to compute {\widehat{\tau}}_{\text{ML}}\left(\gamma \right). In particular, we have generated a regular grid of candidate values of τ (with separation of 10^{−2} ps between adjacent points of the grid), evaluated the likelihood f_{ML} for every candidate, and then selected the best one. It is not the goal of this paper to propose a practical means for the calculation of {\widehat{\tau}}_{\text{ML}}\left(\gamma \right), but simply to assess its theoretical performance. In a practical receiver, an adaptive algorithm (similar to a timing error detector [40]) could be used to compute {\widehat{\tau}}_{\text{ML}}\left(\gamma \right).
Appendices
Algebraic derivations
Appendix 1: derivatives of the likelihood function f_{ M L }( τ,γ )
The objective of this appendix is to obtain closed expressions for the derivatives of the likelihood function f_{ML}(τ,γ), which are needed in Section 3.2. The partial derivatives of the likelihood function f_{ML}(τ,γ) w.r.t. τ, τ^{2}, and γ are given by
respectively, where the correlation ρ(τ) can be written as
The functions ρ_{ss}(τ) and ρ_{ns}(τ), given by Equations (17) and (18), evaluated at τ=τ_{0} yield
Hence, the expression of ρ(τ) for τ=τ_{0} is given by
Moreover, the derivative of \frac{\partial}{\mathrm{\partial \tau}}\rho \left(\tau \right) evaluated at τ=τ_{0} can be written as