Power-Delay-Profile-Based MMSE Channel Estimations for OFDM Systems

Abstract

This paper deals with the problem of the channel estimation of orthogonal frequency division multiplexing (OFDM) signals transmitted through a time-varying fading channel. We show that an accurate power delay profile (PDP) estimator can be obtained by utilizing the cyclic redundancy induced by a cyclic prefix (CP), which can be applicable to OFDM systems with insufficient pilot or training symbols (IEEE 802.11p/WAVE system), and then a least mean square error (MMSE) channel estimation scheme can be obtained in a manner based on the estimated PDP. The simulation results highlight the benefit of the proposed methods compared with the state-of-the-art standard and three achievable performance bounds.

1. Introduction

Many studies on cooperative intelligent transportation systems (C-ITS) for actively responding to traffic conditions through a real-time mutual communication with surrounding vehicles and infrastructure while vehicles are moving have been widely discussed. The IEEE 802.11p/Wireless Access in Vehicular Environments (WAVE) standard was developed to support vehicle wireless (i.e., vehicle-to-everything (V2X)) communication, in which the MAC and PHY of WLAN were defined [1]. Note that IEEE 802.11p is a modification of the frequency bandwidth of the IEEE 802.11a standard from 20 MHz to 10 MHz [1]. This means that channel estimation (CE) in IEEE 802.11p V2X communication systems can be a difficult task, usually due to the high mobility and insufficient number of pilots in orthogonal frequency division multiplexing (OFDM) systems [1,2,3,4,5,6,7,8,9,10,11,12].

Since the minimum mean square error (MMSE)-CE scheme for OFDM systems shows excellent channel estimation performance, extensive research related to this has been conducted [2,3,4,5,6,7,8]. There are two kinds of MMSE scheme: one is the pilot symbol assisted scheme requiring pilot or training symbols [2,3,4,5,6] and the other is the decision-directed scheme utilizing the constructed data pilots [7,8]. In [2], the maximum likelihood (ML) and the MMSE schemes were compared as the channel estimators based on pilot-aided OFDM systems. The author in [3] investigated pilot-symbol-aided parameter estimation for OFDM systems. The work in [4] dealt MMSE-CE based on power delay profile approximation. In [5], low-complexity windowed discrete Fourier transform (DFT)-based MMSE channel estimators were proposed and analyzed. An adaptive MMSE-CE was addressed in [6] related to maximum access delay time estimation. Notice that the works of [2,3,4,5,6] cannot guarantee a good CE performance for OFDM systems with insufficient pilot or training symbols.

Correspondingly, various improved channel estimation technologies for IEEE 802.11p systems have been developed in order to solve the problem of insufficient pilot symbols in OFDM systems and so as to accurately estimate time-varying channels [7,8,9,10,11,12]. For example, spectral temporal averaging (STA), construct data pilot (CDP) [9], time–domain reliable-test frequency–domain interpolation (TRFI) [10], weighted sum using update matrix (WSUM) [11], and MMSE channel estimation schemes have been proposed [7,8]. The authors in [12] presented a state feedback decision algorithm for data pilot-aided channel estimation in the iterative channel estimation and decoding methods. As shown in [11], a WSUM scheme can be regarded as a weighted averaging scheme in a frequency domain when it is compared with a STA scheme. The authors in [8] presented an adaptive mode-switching method between channel estimation schemes based on the MMSE technique. The MMSE channel estimation schemes in [7,8] have structures in which a correlation matrix is obtained by accumulating each OFDM symbol in a packet, and a matrix inversion related to the updated correlation matrix is performed for every OFDM symbol in a packet. Despite the high complexity of the MMSE schemes in [7,8], they do not provide satisfactory performances in a higher speed and more frequency selective channel environment. This is caused by the fact that it is insufficient to estimate the correlation matrix of a channel using only OFDM symbols in one packet.

The works in [4,13,14] dealt with the delay spread estimation based on training symbols and the SNR estimation based on the preamble or pilot symbols for OFDM systems. Recently, the non-data-aided (NDA) method for noise variance estimation was proposed in [15]. Notice that the works in [4,13,14] cannot be used to estimate the power delay profile (PDP) for the case of having insufficient pilot or training symbols. Moreover, the works in [2,5,7,8] did not address the PDP estimation issue, which can be applied at the MMSE channel estimation for OFDM systems. The work in [4] presented the approximated PDP estimation method based on pilot symbols and the MMSE channel estimation scheme for OFDM systems. The authors in [16] presented the PDP estimation methods based on pilot symbols for multiple-input multiple-output (MIMO)-OFDM systems. Nevertheless, the methods in [4,6,16] cannot be applied to the case of having insufficient pilot or training symbols.

In this paper, we employ a technique for obtaining the correlation matrix of channels that are not related to the instantaneous channel estimation for OFDM symbols in a packet. By doing so, the inverse matrix operation in the MMSE scheme can be performed only once per packet. The authors in [17] presented the noise variance and PDP estimators for OFDM systems by taking advantage of the periodic redundancy induced by the CP. The authors in [18] showed the NDA signal-to-noise ratio (SNR) estimation of the OFDM signals transmitted through unknown multipath fading channel without a subjective choice of a threshold level [17]. Recently, the authors in [19] proposed an improved PDP estimation scheme as an approximated ML-type method. In order to apply for MMSE channel estimation, three types of PDP estimators are considered as follows:

• ‘Method 1’: reference [17] (with a threshold level)
• ‘Method 2’: reference [18] & Modification (without a threshold level)
• ‘Method 3’: reference [19] (without a threshold level)

Notice that ‘Modification’ in ‘Method 2’ relate to reducing the amount of computation required for PDP estimation. The performance of the MMSE channel estimation scheme to which the three types of PDP estimators are applied is verified through the simulation on IEEE 802.11p/WAVE systems. For error rate performance comparison, we present three performance bounds of ‘Perfect CE’, ‘$\mathrm{Ideal}-R_{hh}$’, and ‘$\mathrm{Ideal}-p_{L_{\max }}$’, which show the limit of the time-varying channel, the practical channel where a path correlation exists, and the limit in the case where there is no path correlation in the practical channel, respectively. Through simulations considering the correlated channel matrix, it is confirmed that the performance limitations and superiority of the proposed methods are verified.

The remainder of this paper is organized as follows. Section 2 describes the discrete signal model for OFDM systems. Section 3 presents three types of PDP estimation scheme. The PDP based MMSE channel estimation schemes are described in Section 4. Section 5 shows the simulation results, and concluding remarks are given in Section 6.

2. Discrete Signal Model for OFDM Systems

In OFDM systems, source data are grouped and mapped into N modulated symbols ${X_m\left(k\right)|}_{k=0}^{N-1}$, where $E\left\{{\left|X_m\left(k\right)\right|}^2\right\}=1$, and $E\{\cdot \}$ denotes the expectation. Then, by inverse discrete Fourier transform (IDFT) on N parallel subcarriers, the transmitted time–domain signal of the nth sample for the mth OFDM symbol can be written as

$$x_m\left(n\right)=\sqrt{\frac{E_s}{N}}{\displaystyle \sum _{k=0}^{N-1}}{X}_m\left(k\right)e^{j2\pi kn/N},$$

(1)

where $n\in \left\{0,1,\cdots ,N-1\right\}$, and $E_s$ is the signal power [20,21,22].

The guard interval is inserted to prevent interference between OFDM symbols and includes a cyclic prefix (CP) that replicates the end of the IDFT output sample. When N_g is the number of guard interval samples, it is assumed to be larger than the delay spread of the multipath fading channel. The signal is transmitted over the multipath fading channel, and its low-pass channel impulse response can be expressed as

$$\begin{array}{l}h\left(t;\tau \right)={\displaystyle \sum _{l=0}^{L-1}{h}_l(t)\delta \left(\tau -{\tau }_l\right)}\hfill \end{array},$$

(2)

where $t$, $\tau$, $\delta (\cdot )$, ${\tau }_l$, and L are the time, the delay, a Dirac delta function, the propagation delay of the lth path, and the number of multipaths, respectively [20,21,22]. The correlation relationship between the paths can be expressed by the wide-sense stationary uncorrelated scattering (WSSUS) model [21,22,23]. This model assumes that the paths are uncorrelated, and the correlation property of the channel is stationary.

When we remove CP samples, the received signal can be presented as

$$\begin{array}{l}{y}_m\left(n\right)={\displaystyle \sum _{l=0}^{L-1}{h}_{l,m}\left(n\right)x_m\left({\left(n-d_l\right)}_N\right)+w_m\left(n\right)}\hfill \end{array},$$

(3)

where ${(\cdot )}_N$ represents a cyclic shift in the base of N, $w_m\left(n\right)\sim \mathcal{N}\left(0,{\sigma }^2\right)$, which is an Additive White Gaussian Noise (AWGN), $h_{l,m}\left(n\right)={h_l\left(t\right)|}_{t=\left(m\left(N_g+N\right)+n\right)T_s}$ is the lth path channel gain of the nth sample for the mth OFDM symbol, and $d_l=\lfloor {\tau }_l/T_s\rfloor$ is the delay normalized by the sampling time $T_s$ [22]. For simplicity, we round $d_l$ to an integer without considering leakage. However, the correlation approach in this paper may also be extended to fractional $d_l$ [17].

When we assume the perfect synchronization with $d_0=0$, and that the channel is time-invariant within two consecutive OFDM symbols, indexes m and $\left(n\right)$ in $h_{l,m}\left(n\right)$ from (3) can be omitted as $h_{l,m}\left(n\right)\to h_l$. At the border between two OFDM symbols, the received signal samples for $-N_g\le n<0$ can be expressed as

$$\begin{array}{ll}{y}_m\left(n\right)& ={\displaystyle \sum _{l=0}^{L-1}{h}_l{x}_{m-1}\left(N+n-d_l\right)U\left(d_l-n\right)}\\ & +{\displaystyle \sum _{l=0}^{L-1}{h}_l{x}_m\left(n-d_l\right)U\left(n-d_l\right)}+w_m\left(n\right)\end{array}$$

(4)

where $h_l\sim \mathcal{N}\left(0,{\sigma }_l^2\right)$, ${\sigma }_h^2={\displaystyle {\sum }_{l=0}^{L-1}}{\sigma }_l^2={\displaystyle {\sum }_{l=0}^{L-1}}{\left|h_l\right|}^2$, and $U(\cdot )$ is the unit step function [17]. When we define the maximum number of paths including zero channel gain path as

$$L_{\max }=\max \left\{d_l\right\}+1,$$

(5)

the maximum access delay time, normalized by $T_s$, can be written as

$$d_{\max }=\max \left\{d_l\right\}=L_{\max }-1.$$

(6)

The correlation between each received signal over CP duration and its corresponding sample at the end of the OFDM symbol can thus be expressed as [17,24]

$$E\left\{y_m\left(-k\right)y_m^{*}\left(N-k\right)\right\}=\{\begin{array}{cc}{\sigma }_h^2,& 0<k\le N_g-d_{L-1}\\ {\displaystyle \sum _{l=0}^{L-1}{\sigma }_l^{2}U \left(N_g-k-d_l\right)},& N_g-d_{L-1}<k\le N_g-d_0\\ 0,& N_g-d_0<k\le N_g\end{array},$$

(7)

where $k=1,\cdots ,N_g$. Note that the expectation in (7) is taken with regard to both $\left\{h_l\right\}$ and $\left\{x_m\left(n\right)\right\}$. When L is large, ${y_m\left(n\right)|}_{n=0}^{N-1-N_g}$ can be approximated as the complex Gaussian by using the central limited theorem, and the probability density function (PDF) can be presented as [17,24]

$$f\left(y_m\left(n\right)\right)=\frac{1}{\pi \left({\sigma }_h^2+{\sigma }^2\right)}\exp \left(-\frac{{\left|y_m\left(n\right)\right|}^2}{{\sigma }_h^2+{\sigma }^2}\right).$$

(8)

Samples $y_m\left(-k\right)$ and $y_m\left(N-k\right)$ are jointly Gaussian with the PDF of

$$\begin{array}{l}f\left(y_m\left(-k\right),y_m\left(N-k\right)\right)\\ =\frac{\exp \left(-\frac{{\left|y_m\left(-k\right)\right|}^2+{\left|y_m\left(N-k\right)\right|}^2-2{\rho }_k\Re \left\{y_m\left(-k\right)y_m^{*}\left(N-k\right)\right\}}{{\sigma }_h^2+{\sigma }^2}\right)}{{\pi }^2\left({\sigma }_h^2+{\sigma }^2\right)\left(1-{\rho }_k^2\right)}\end{array}$$

(9)

where

$${\rho }_k=\frac{\left|E\left\{y_m\left(-k\right)y_m^{*}\left(N-k\right)\right\}\right|}{\sqrt{E\left\{{\left|y_m\left(-k\right)\right|}^2\right\}E\left\{{\left|y_m\left(N-k\right)\right|}^2\right\}}}=\frac{1}{{\sigma }_h^2+{\sigma }^2}{\displaystyle \sum _{l=0}^{L-1}{\sigma }_l^{2}U\left(N_g-k-d_l\right)}.$$

(10)

Notice that $0<{\rho }_k<1$ and ${\rho }_k\ge {\rho }_{k+1}$ (i.e., ${\rho }_k$ is a non-increasing value in proportion to $k$).

3. Power Delay Profile Estimation

Under the perfect synchronization at reception and a time-invariant channel over an OFDM symbol time, the N_g noise variance estimators can be written as

$$J\left(u\right)={\widehat{\sigma }}_u^2=\frac{1}{2M\left(N_g-\left(u-1\right)\right)}{\displaystyle \sum _{m=1}^M{\displaystyle \sum _{k=u}^{N_g}{\left|y_m\left(N-k\right)-y_m\left(-k\right)\right|}^2}},$$

(11)

where $u\in \left\{1,2,\cdots ,N_g\right\}$, and M denotes the number of OFDM symbols in the observation window [18]. Under the given environment, Figure 1 and Figure 2 show the normalized mean square errors (NMSEs) for N_g noise variance estimators from (11). It is shown that the estimator with $u=L_{\max }$ results in the smallest NMSE [18,19].

3.1. Method 1: [17]

Define $y=\left[y_1\left(-N_g\right),y_1\left(-N_g+1\right),\cdots ,y_M\left(N-1\right)\right]$, $p=\left[{\sigma }_0^2,\cdots ,{\sigma }_{L-1}^2\right]$, and $d=\left[d_0,\cdots ,d_{L-1}\right]$. From (8) and (9), and the fact that M OFDM symbols are mutually independent, the log likelihood function of $y$ conditioned on ${\sigma }^2$, $p$, and $d$ can be written as [17,19]

$$\begin{array}{l}\mathsf{\Lambda }\left(y|{\sigma }^2,p,d\right)\\ ={\displaystyle \sum _{m=1}^M\log \left({\displaystyle \prod _{k=1}^{N_g}}f \left(y_m\left(-k\right),y_m\left(N-k\right)\right) {\displaystyle \prod _{k=0}^{N-1-N_g}} f \left(y_m\left(k\right)\right)\right)}\\ =-M\left({\displaystyle \sum _{k=1}^{N_g}}\left[\frac{a_k-2{\rho }_k{b}_k}{c\left(1-{\rho }_k^2\right)}+\log \left({\pi }^{2}c\left(1-{\rho }_k^2\right)\right)\right]+{\displaystyle \sum _{k=0}^{N-1-N_g}}\frac{g_k}{c}+\log \left(\pi c\right)\right)\end{array}$$

(12)

where

$$\begin{array}{l}{a}_k=\frac{1}{M}\left({\displaystyle \sum _{m=1}^M}{\left|y_m\left(-k\right)\right|}^2+{\left|y_m\left(N-k\right)\right|}^2\right)\\ b_k=\frac{1}{M}{\displaystyle \sum _{m=1}^M\Re {\left\{y_m\left(-k\right)y_m^{*}\left(N-k\right)\right\}}^2}\\ g_k=\frac{1}{M}{\displaystyle \sum _{m=1}^M}{\left|y_m\left(k\right)\right|}^2\\ c={\sigma }_h^2+{\sigma }^2\end{array}$$

(13)

The authors of [17] showed a suboptimal way for the joint parameters’ estimation from (12). At first, we can estimate c in (12) as

$$\begin{array}{l}\widehat{c}=\frac{1}{N-N_g}{\displaystyle \sum _{k=0}^{N-1-N_g}}{g}_k=\frac{1}{\left(N-N_g\right)M}{\displaystyle \sum _{k=0}^{N-1-N_g}}{\displaystyle \sum _{m=1}^M}{\left|y_m\left(k\right)\right|}^2\hfill \end{array},$$

(14)

which is the time average estimation of ${\sigma }_h^2+{\sigma }^2$. Substituting $\widehat{c}$ back into the first summation from (12) and maximizing ${\rho }_k$ individually, we obtain the estimate for ${\rho }_k$ as the real root of the equation

$$\widehat{c}{\rho }_k^3-b_k{\rho }_k^2+\left(a_k-\widehat{c}\right){\rho }_k-b_k=0.$$

(15)

By letting ${\left\{{\widehat{\rho }}_k\right\}}_{k=1}^{N_g}$ be the real roots of N_g cubic equations from (15), the estimated path power can be written temporally as

$$\begin{array}{l}{\widehat{p}}_0={\widehat{\sigma }}_0^2={\widehat{\rho }}_{N_g}/\widehat{c}\\ {{\widehat{p}}_k|}_{k=1}^{N_g-1}={\widehat{\sigma }}_k^2=\{\begin{array}{ccc}\left({\widehat{\rho }}_{N_g-k}-{\widehat{\rho }}_{N_g-k+1}\right)/\widehat{c}& \mathrm{if} & {\widehat{\rho }}_{N_g-k}>{\widehat{\rho }}_{N_g-k+1}\\ 0& \mathrm{else} & \end{array}\end{array}$$

(16)

In [17], the authors suggested the ${\widehat{L}}_{\max }$ estimation scheme based on a threshold value α. If ${\widehat{p}}_k\left(={\widehat{\sigma }}_k^2\right)>\alpha \widehat{c}$, it is identified as a path having the estimated path power of ${\widehat{p}}_k$ and the estimated delay time of $k$. They denoted the maximum delay time as ${\widehat{d}}_{\max }=\max \left\{k\right\}$ satisfying ${\widehat{p}}_k\left(={\widehat{\sigma }}_k^2\right)>\alpha \widehat{c}$. Consequently, the estimated values can be presented for $k=0,1,\cdots ,N_g-1$ as follows

$$\begin{array}{l}{\widehat{p}}_k={\widehat{p}}_{k}U\left({\widehat{p}}_k-\alpha \widehat{c}\right)\\ {\widehat{d}}_k=kU\left({\widehat{p}}_k-\alpha \widehat{c}\right)\\ {\widehat{d}}_{\max }=\max \left\{{\widehat{d}}_k\right\}\end{array}$$

(17)

From (5) and (17), we can obtain ${\widehat{L}}_{\max }={\widehat{d}}_{\max }+1$, and thus, the estimated noise variance can be expressed as ${\widehat{\sigma }}^2=J\left({\widehat{L}}_{\max }\right)$ from (11).

3.2. Method 2: [18] & Modification

As mentioned in [18], ‘Method 1’ of [17] has the major disadvantage of being based on a threshold level chosen arbitrarily. To overcome this limitation, the authors in [18] proposed a method inspired by the maximum likelihood estimation. From (11), $J\left(u\right)$ can be expressed as

$$J\left(u\right)=\left(1-\frac{1}{N_g-\left(u-1\right)}\right)J\left(u+1\right)+ϵ\left(u\right),$$

(18)

where $ϵ(u)$ can be modeled as is a random variable that follows a chi square distribution for $d_{\max }\le u<N_g$. This distribution can be simplified, for large M, as

$$ϵ(u)\sim \mathcal{N}\left(\frac{{\sigma }^2}{N_g-\left(u-1\right)},\frac{{\sigma }^4}{M{\left(N_g-\left(u-1\right)\right)}^2}\right).$$

(19)

Then, $L_{\max }$ can be estimated using the likelihood function $f\left(X_u|L_{\max }=u\right)$ with the observation variables defined as $X_u=\left[ϵ\left(u\right),ϵ\left(u+1\right),\cdots ,ϵ\left(N_g-1\right)\right]$. When the different $ϵ(u)$ is assumed to be independent, ${\widehat{L}}_{\max }$ can be obtained by

$$\begin{array}{l}{\widehat{L}}_{\max }=\underset{u}{{\displaystyle \arg \max }}{\left[{\displaystyle \prod _{m=u}^{N_g-1}}f\left(ϵ(u)|L_{\max }=u\right)\right]}^{1/\left(N_g-u\right)}\hfill \end{array},$$

(20)

where $1\le u<N_g$, and $f\left(ϵ\left(u\right)|L_{\max }=u\right)$ is computed from (19) with the approximation that ${\sigma }^2\simeq J\left(u\right)$. Note that, because the observations $X_u$ are of variable lengths, (20) is defined as an average likelihood that is the geometric mean of the individual likelihood elements [18]. From (20), the estimated noise variance and the maximum delay time can be obtained as ${\widehat{\sigma }}^2=J\left({\widehat{L}}_{\max }\right)$ and ${\widehat{d}}_{\max }=\left({\widehat{L}}_{\max }-1\right)$, respectively.

Notice that, unlike in [17], there is no need to solve N_g cubic equations, because ${\widehat{L}}_{\max }$ is determined first regardless of the threshold level. From (10), we can easily find that ${\left\{{\rho }_k\right\}}_{k=1}^{N_g-d_{\max }}$ are same. Therefore, ${\left\{{\widehat{\rho }}_k\right\}}_{k=1}^{N_g-{\widehat{d}}_{\max }}$ can be obtained as the real root of the single equation

$$\widehat{c}{\rho }^3-b{\rho }^2+\left(a-\widehat{c}\right)\rho -b=0,$$

(21)

where $a={\displaystyle {\sum }_{k=1}^{N_g-{\widehat{d}}_{\max }}}{a}_k/\left(N_g-{\widehat{d}}_{\max }\right)$ and $b={\displaystyle {\sum }_{k=1}^{N_g-{\widehat{d}}_{\max }}}{b}_k/\left(N_g-{\widehat{d}}_{\max }\right)$. Then, ${\left\{{\widehat{\rho }}_k\right\}}_{N_g-{\widehat{d}}_{\max }+1}^{N_g}$ can be obtained by solving (15). This means that we need ${\widehat{L}}_{\max }\left(={\widehat{d}}_{\max }+1\right)$ cubic equations’ real roots. Similar to (16), we can obtain the estimated path power as

$$\begin{array}{l}{\widehat{p}}_0={\widehat{\sigma }}_0^2={\widehat{\rho }}_{N_g}/\widehat{c}\\ {{\widehat{p}}_k|}_{k=1}^{{\widehat{L}}_{\max }-1}={\widehat{\sigma }}_k^2=\{\begin{array}{ccc}\left({\widehat{\rho }}_{N_g-k}-{\widehat{\rho }}_{N_g-k+1}\right)/\widehat{c}& \mathrm{if} & {\widehat{\rho }}_{N_g-k}>{\widehat{\rho }}_{N_g-k+1}\\ 0& \mathrm{else} & \end{array}\\ {{\widehat{p}}_k|}_{k={\widehat{L}}_{\max }}^{N_g}={\widehat{\sigma }}_k^2=0\end{array}$$

(22)

3.3. Method 3: [19]

Table 1. Algorithm used to estimate $d_{\max }$ in [19].

Algorithm	Comments
for $u=1:N_g$
$p_u=0_{1\times N_g}$	$1\times N_g$ zero row vector
${ p_u(k)|}_{k=0}^{u-1}={\widehat{p}}_k={\widehat{\sigma }}_k^2$	u paths power selection from (16)
${\sigma }^2=J\left(u\right)$	uth estimated noise power from (11)
$p_u=p_u\times \left(\widehat{c}-{\sigma }^2\right)/{\displaystyle {\sum }_{k=0}^{u-1}} {\widehat{p}}_k$	channel power normalization
${{\rho }_u\left(k\right)|}_{k=1}^{N_g}={\displaystyle {\sum }_{l=0}^{N_g-k}}{p}_u\left(l\right)/\widehat{c}$	uth $\rho$ calculation
end for

shows the algorithm to estimate $d_{\max }$ in [19]. As mentioned in [18], Cui et al. suggested an estimator in [17], but it has the major disadvantage of being based on a threshold level chosen arbitrarily. A threshold level can be dependent on SNR. Therefore, the authors in [19] proposed an $L_{\max }$ estimation algorithm with robust characteristics in all SNR regions as a way to find an ${\widehat{L}}_{\max }$ that maximizes the log likelihood function from (12) without a threshold value. By ignoring constant term in (12), we can represent (12), from ${\left\{{\rho }_u\left(k\right)\right\}}_{k=1}^{N_g}$ in Table 1, (13), and (14), as

$${\mathsf{\Lambda }}_p\left(y,{\left\{{\rho }_u\left(k\right)\right\}}_{k=1}^{N_g}|L_{\max }=u\right)=-M\left({\displaystyle \sum _{k=1}^{N_g}}\left[\frac{a_k-2{\rho }_u\left(k\right)b_k}{\widehat{c}\left(1-{\rho }_u^2\left(k\right)\right)}+\log \left(1-{\rho }_u^2\left(k\right)\right)\right]\right),$$

(23)

and then, ${\widehat{L}}_{\max }$ can be obtained as in [19]

$${\widehat{L}}_{\max }=\underset{u}{{\displaystyle \arg \max }}\left[{\mathsf{\Lambda }}_p\left(y,{\left\{{\rho }_u\left(k\right)\right\}}_{k=1}^{N_g}|L_{\max }=u\right)\right].$$

(24)

From (24), the estimated noise variance, the estimated maximum delay time, and the estimated PDP can be expressed as ${\widehat{\sigma }}^2=J\left({\widehat{L}}_{\max }\right)$, ${\widehat{d}}_{\max }=\left({\widehat{L}}_{\max }-1\right)$, and $p_{{\widehat{L}}_{\max }}={p_u|}_{u={\widehat{L}}_{\max }}$ in Table 1, respectively.

Table 2. Steps and Comparison of Three Methods.

Step	Method 1	Method 3	Method 2
0	Compute $J\left(u\right)$, $a_k$, $b_k$, and $\widehat{c}$ from (11), (13), and (14)
1	Calculate ${\left\{{\widehat{\rho }}_k\right\}}_{k=1}^{N_g}$ from (15)		Compute $ϵ\left(u\right)$ from (11) and (18)
2	Temporary path power: ${\left\{{\widehat{p}}_k\right\}}_{k=1}^{N_g}$ from (16)		${\widehat{L}}_{\max }$ by (19) and (20)
3	${\widehat{L}}_{\max }$ by a threshold $\left(\alpha \right)$	${\widehat{L}}_{\max }$ by ${\mathsf{\Lambda }}_p(\cdot )$ from (23) and (24)	Calculate ${\left\{{\widehat{\rho }}_k\right\}}_{N_g-{\widehat{d}}_{\max }}^{N_g}$ by (15) and (21)
	${\left\{{\widehat{p}}_k\right\}}_{k=1}^{N_g}$ from (17)	${p_u|}_{u={\widehat{L}}_{\max }}$ in Table 1	${\left\{{\widehat{p}}_k\right\}}_{k=0}^{{\widehat{L}}_{\max }-1}$ from (22)
4	${\widehat{d}}_{\max }=\left({\widehat{L}}_{\max }-1\right)$, ${\widehat{\sigma }}^2=J\left({\widehat{L}}_{\max }\right)$, $p_{{\widehat{L}}_{\max }}$

shows the steps and comparison of three methods.

4. PDP Based MMSE Channel Estimation

Let us define the channel correlation matrix in the time-domain as

$$R_{hh}=E\left[h{h}^H\right],$$

(25)

where ${(\cdot )}^H$ denotes the Hermitian transpose, and $h$ is the $N_g\times 1$ channel column vector of

$${h|}_{N_g\times 1}={\left[h_0,0,h_1,\cdots ,h_{L-1},0\right]}^T,$$

(26)

where the non-zero L elements of ${\left\{h_l\right\}}_{l=0}^{L-1}$ in (4) are located at ${\left\{d_l\right\}}_{l=0}^{L-1}$ at $h\left(d_l\right)=h_l$, and ${(\cdot )}^T$ denotes the transpose. Therefore, the channel correlation matrix can be obtained in the frequency-domain as

$$R_{HH}=F{\left[R_{hh}\right]}_{N\times N}{F}^H,$$

(27)

where $F$ is the $N\times N$ DFT matrix, and ${[\cdot ]}_{N\times N}$ denotes the operation that expands input $[\cdot ]$ to a $N\times N$ matrix through zero-padding. The channel PDP is written as

$$p_{L_{\max }}=\mathrm{diag}\left(R_{hh}\right)=\left[{\sigma }_0^2,0,{\sigma }_1^2,\cdots ,{\sigma }_{L-1}^2,0\right],$$

(28)

where the non-zero L path powers of ${\left\{{\sigma }_l^2\right\}}_{l=0}^{L-1}$ are allocated at ${\left\{d_l\right\}}_{l=0}^{L-1}$ as $p_{L_{\max }}\left(d_l\right)={\sigma }_l^2$, and $\mathrm{diag}(\cdot )$ obtains the diagonal elements of a matrix.

Note that, without considering fractional $d_l$, $R_{hh}$ is a diagonal matrix and $R_{hh}\equiv \mathrm{diag}{\left(p_{L_{\max }}\right)}_{N_g\times N_g}$ where $\mathrm{diag}{(\cdot )}_{N_g\times N_g}$ creates a $N_g\times N_g$ diagonal matrix. On the contrary, for the fractional $d_l$ case, $R_{hh}$ cannot be a diagonal matrix and $R_{hh}\ne \mathrm{diag}{\left(p_{L_{\max }}\right)}_{N_g\times N_g}$. We describe this as related to the fractional $d_l$, in Section 5.

From (17), (22), and $p_{{\widehat{L}}_{\max }}$ in Table 2, the estimated channel PDP can be expressed as

$$p_{{\widehat{L}}_{\max }}=\left[{\widehat{p}}_0,{\widehat{p}}_1,\cdots ,{\widehat{p}}_{N_g-1}\right].$$

(29)

From (25), (27), and (29), the estimated channel correlation matrices can be presented, in the time-domain and in the frequency-domain, as

$${\widehat{R}}_{hh}=\mathrm{diag}{\left(p_{{\widehat{L}}_{\max }}\right)}_{N_g\times N_g}$$

(30)

and

$${\widehat{R}}_{HH}=F{\left[{\widehat{R}}_{hh}\right]}_{N\times N}{F}^H.$$

(31)

Then, we obtain the MMSE weight matrix as

$$\begin{array}{l}W={\widehat{R}}_{HH}{\left({\widehat{R}}_{HH}+{\widehat{\sigma }}^{2}I\right)}^{-1}\hfill \end{array},$$

(32)

where ${\widehat{\sigma }}^2=J\left({\widehat{L}}_{\max }\right)$, and $I$ denotes the $N\times N$ identity matrix. Then, the MMSE channel estimation coefficient can be expressed as

$$H_{MMSE}=W{H}_{ini},$$

(33)

where $H_{ini}$ is the initially estimated channel gain. In general, the pilot-symbol-assisted channel estimation scheme has $H_{ini}=H_{LS}$. In this paper, we assume that $H_{ini}=H_{WSUM-TDA}$, as in [7].

5. Simulation Results

In this paper, we demonstrate the efficiency of the proposed channel estimation schemes through simulations based on the IEEE 802.11p standard [1,25]. The key parameters in IEEE 802.11p are shown in

Table 3. Parameters in IEEE 802.11p [9].

Parameters	Value
Bandwidth	10 MHz
Modulation order	BPSK, QPSK, 16QAM, 64QAM
Total no. of subcarriers (DFT size $= N$)	64
No. of data subcarriers	48
No. of pilot subcarriers	4
Pilot subcarrier index	−21, −7, 7, 21
Sampling time $\left(T_s\right)$	0.1 µs
Guard interval $\left(T_{CP}=N_g{T}_s\right)$	1.6 µs
OFDM symbol duration $\left(T_{sym}=\left(N_g+N\right)T_s\right)$	8.0 µs

. The transmitter and the receiver basically adopt the convolutional encoder and the Viterbi decoder with constraint length 7, respectively [1,25]. We assume that one packet consists of 100 OFDM symbols, and the received signal is stored in the buffer in packet units. When the buffer size is $B_f$, $p_{{\widehat{L}}_{\max }}$ from (29) is estimated using the current received packet and the past $\left(B_f-1\right)$ packets, and the total number of OFDM symbols used in the estimation process is $M=100B_f$. We adopt QPSK with coding rate of 1/2. For all cases, the packet error rate (PER) performance is averaged over $5\times {10}^5$ packet transmissions with $\mathrm{SNR}=E_s{\sigma }_h^2/{\sigma }^2$.

For our simulations, we have employed the ‘CohdaWireless V2V channel model’ in [26]. Among the five scenarios presented in [26], we considered both ‘Street Crossing NLOS with 126 km/h’ and ‘Highway NLOS with 252km/h’, of which the channel profiles are presented in

Table 4. Channel profile due to scenario in [26].

Ch. Type	Item	Tap 0	Tap 1	Tap 2	Tabp3	Units
Street Crossing NLOS (126 km/h, $L_{\max }=7$)	Power	0	−3	−5	−10	dB
	Delay $\left({\tau }_l\right)$	0	267	400	533	$ns$
	$d_l$	$d_0=0$	$d_1\in \left\{\mathrm{2,3}\right\}$	$d_2=4$	$d_3\in \left\{\mathrm{5,6}\right\}$	$\times T_s$
	Doppler	0	295	−98	591	Hz
Highway NLOS (252 km/h, $L_{\max }=8$)	Power	0	−2	−5	−7	dB
	Delay $\left({\tau }_l\right)$	0	200	433	700	$ns$
	$d_l$	$d_0=0$	$d_1=2$	$d_2\in \left\{\mathrm{4,5}\right\}$	$d_3=7$	$\times T_s$
	Doppler	0	689	−492	886	Hz

. The other parameters, such as the Doppler spectrum, for each channel tap are listed in [26]. In our simulation, we employ the fractional $d_l$ by considering $T_s=0.1 \mathrm{\mu }\mathrm{s}$ in Table 3 so that ‘Street Crossing NLOS’ has $d_1\in \left\{\mathrm{2,3}\right\}$ and $d_3\in \left\{\mathrm{5,6}\right\}$, and ‘Highway NLOS’ has $d_2\in \left\{\mathrm{4,5}\right\}$, as shown in Table 4. For the fractional case, the given path power is divided into two according to the relative distance to two adjacent sampling time locations [27]. Figure 3a and Figure 4b show both $R_{hh}$ and $p_{L_{\max }}$ of ‘Street Crossing NLOS’ and ‘Highway NLOS’, respectively. Note that $R_{hh}$ is not a diagonal matrix, and $p_{L_{\max }}=\mathrm{diag}\left(R_{hh}\right)$ from (28). Figure 4 and Figure 5 show $R_{HH}$ and $R_{HH}^D$ of ‘Street Crossing NLOS’, respectively, in which $R_{HH}^D$ is given by

$$\begin{array}{l}{R}_{hh}^D=\mathrm{diag}{\left(p_{L_{\max }}\right)}_{N_g\times N_g}\\ R_{HH}^D=F{\left[R_{hh}^D\right]}_{N\times N}{F}^H\end{array}$$

(34)

In addition, Figure 6 and Figure 7 show $R_{HH}$ and $R_{HH}^D$ of ‘Highway NLOS’, respectively. In the four figures, the values are shown for data and pilot subcarriers, except for null and DC subcarriers, among a total of $N\left(=64\right)$ components. From Figure 3 to Figure 7, it can be said that the proposed estimation method, ${\widehat{R}}_{HH}$ from (31), estimates $R_{HH}^D$ from (34) as shown in Figure 5 and Figure 7 for the practical channel $R_{HH}$ as shown in Figure 4 and Figure 6.

5.1. Simulation Results for PDP Estimators

From here, let us compare the performance of the three methods in Section 3. When the NMSE of $J\left(u\right)$ in (11) is defined as $E\left[{\left|J\left(u\right)-{\sigma }^2\right|}^2\right]/{\sigma }^4$, Figure 1 and Figure 2 show it for ‘Street Crossing NLOS’ and ‘Highway NLOS’, respectively. From both figures, it can be seen that there is a different trend depending on the region to which $u$ belongs. For $1\le u<L_{\max }$, the NMSE of $J\left(u\right)$ increases with SNR because of the residual interference (i.e., inter-symbol interference (ISI)). Note that $u=L_{\max }$ results in the smallest NMSE. For $L_{\max }<u\le N_g(=16)$, the NMSE of $J\left(u\right)$ is slightly increased compared to the optimal performance of $J\left(L_{\max }\right)$, but it is maintained according to the SNR. Moreover, even for $J\left(L_{\max }\right)$, it can be seen that the NMSE slightly increases at a high SNR, which is due to the time-varying effect of the channel. As shown in Table 4, the velocity in ‘Highway NLOS’ is greater than that in ‘Street Crossing NLOS’. Therefore, we can observe from Figure 1 and Figure 2 that the time-varying effect of a channel is larger in ‘Highway NLOS’ than in ‘Street Crossing NLOS’.

For ${\widehat{L}}_{\max }$, we define the correct detection (CD), the erroneous detection (ED), the bad detection (BD), and the good detection (GD) probabilities, respectively, as

$$\begin{array}{l}{P}_{CD}=\mathrm{Pr}\left\{{\widehat{L}}_{\max }=L_{\max }\right\}\\ P_{ED}=\mathrm{Pr}\left\{{\widehat{L}}_{\max }<L_{\max }\right\}\\ P_{BD}=\mathrm{Pr}\left\{\left(L_{\max }+N_g\right)/2\le {\widehat{L}}_{\max }\right\}\\ P_{GD}=\mathrm{Pr}\left\{L_{\max }\le {\widehat{L}}_{\max }<\left(L_{\max }+N_g\right)/2\right\}\end{array}$$

(35)

In order to compare the three methods of Section 3, as shown in Figure 8 and Figure 9, we show $P_{CD}$, $P_{ED}$, $P_{BD}$, and $P_{GD}$, for ‘Street Crossing NLOS’ and ‘Highway NLOS’ with regard to different values of M and α. When the NMSE of ${\widehat{\sigma }}^2$ is defined as $E\left[{\left|{\widehat{\sigma }}^2-{\sigma }^2\right|}^2\right]/{\sigma }^4$, Figure 1 and Figure 10 show the NMSE of ${\widehat{\sigma }}^2$ for ‘Street Crossing NLOS’ and ‘Highway NLOS’, respectively. From Figure 8, Figure 9, Figure 10 and Figure 11, it can be seen that the performance of the PDP estimator improves as M increases.

In the high SNR region in Figure 8a, ‘Method 1’ has a higher CD probability than other methods but a non-zero ED probability, resulting in a low GD probability. Note that a non-zero ED probability means the case of ${\widehat{L}}_{\max }<L_{\max }$ (i.e., residual interference) at Figure 1 and the NMSE of ‘Method 1’ with $\alpha =\left\{0.01,0.02\right\}$ are observed to greatly increase at Figure 10. In Figure 11 of ‘Highway NLOS’, this phenomenon is not observed. Therefore, we can say that the performance of ‘Method 1’ depends on the channel environment and α. In the low SNR region in Figure 8 and Figure 9, ‘Method 1’ has a low ED probability but a high BD (or low GD) probability, which indicates the occurrence of the case $\left(L_{\max }+N_g\right)/2\le {\widehat{L}}_{\max }$ in Figure 1 and Figure 2. Therefore, it can be observed that ‘Method 1’ results in a higher NMSE than other methods, in the low SNR region, as shown in Figure 10 and Figure 11. On the contrary, ‘Method 2’ and ‘Method 3’ outperform ‘Method 1’ in the low SNR region with respect to the CD, BD, and GD probabilities. In the high SNR region, both ‘Method 2’ and ‘Method 3’ have generally lower CD probabilities, but lower BD probabilities and higher GD probabilities.

In general, both ‘Method 2’ and ‘Method 3’ result in higher GD probabilities for all SNR regions. This results in, as shown in Figure 10 and Figure 11, both ‘Method 2’ and ‘Method 3’ showing stable NMSE performance in all SNR ranges.

On the other hand, the performance of ‘Method 1’ depends on SNR and a threshold α. Notice that ‘Method 1’ tends to have better performance at a low SNR when α is large and better performance at a high SNR when α is small. As mentioned above, the NMSE increases slightly at high SNRs due to the time-varying effect of the channel. From the observation results so far, it is confirmed that both ‘Method 2’ and ‘Method 3’, without a threshold α, show a stable performance regardless of the channel environment and SNR.

5.2. Simulation Results for Error Rate Performance

For a PER and BER performance comparison, we present three performance bounds which are ‘Perfect CE’, ‘$\mathrm{Ideal}-R_{hh}$’, and ‘$\mathrm{Ideal}- p_{L\max }$’, respectively. ‘Perfect CE’ denotes that the channel coefficient obtained by DFT on the actual time-varying channel value at the middle position of each OFDM symbol, $\left\{{h_{l,m}\left(N/2\right)|}_{l=0}^{L-1}\right\}$, is applied. Both ‘$\mathrm{Ideal}-R_{hh}$’ and ‘$\mathrm{Ideal}- p_{L\max }$’ denote that $R_{hh}$ from (27) and $p_{L\max }$ from (28) are assumed to be known to the receiver, and then, $W=R_{HH}{\left(R_{HH}+{\sigma }^{2}I\right)}^{-1}$ with (27) and $W=R_{HH}^D{\left(R_{HH}^D+{\sigma }^{2}I\right)}^{-1}$ with (34) are used, respectively, at the receiver with $H_{ini}=H_{WSUM-TDA}$ in [7]. Notice that, as mentioned before, for the fractional $d_l$ case, $R_{hh}\ne R_{hh}^D=\mathrm{diag}{\left(p_{L_{\max }}\right)}_{N_g\times N_g}$, so that ‘$\mathrm{Ideal}- p_{L\max }$’ denotes the achievable performance bound of the proposed three PDP-based MMSE schemes, which are expressed as ‘Prop–M.1’, ‘Prop–M.2’, and ‘Prop–M.3’.

Figure 12 and Figure 13 show a PER and BER performance comparison with respect to channel estimation schemes under ‘Street Crossing NLOS with 126 km/h’ for QPSK, with $M\in \{100,300\}$, and $M=200$, respectively. Figure 14 and Figure 15 show a PER and BER performance comparison with respect to channel estimation schemes under ‘Highway NLOS with 252 km/h’ for QPSK, with $M\in \{100,300\}$ and $M=200$, respectively. Note that a threshold $\alpha =0.01$ is used for ‘Prop–M.1’ in Figure 12 and Figure 14, and Figure 13 and Figure 15 show the performance comparison for ‘Prop–M.1’ with respect to threshold α.

First, let us compare three performance bounds for PER and BER. From Figure 12, Figure 13, Figure 14 and Figure 15, ‘Perfect CE’ shows the lowest error rate bound, and ‘$\mathrm{Ideal}-R_{hh}$’ and ‘$\mathrm{Ideal}-p_{L_{\max }}$’ both show a similar performance to ‘Perfect CE’. Therefore, we can say that, even for the fractional $d_l$ case, the achievable performance bound of the MMSE-CE method can be obtained by using the proposed PDP-based MMSE-CE methods. Furthermore, it can be confirmed that the proposed three methods can approach the PER performance bound of ‘$\mathrm{Ideal}-p_{L_{\max }}$’ as M increases.

In four figures, ‘MMSE [7]’ indicates the MMSE-CE scheme of [7], in which an inverse matrix operation is performed for every OFDM symbol. From Figure 12, Figure 13, Figure 14 and Figure 15, it is verified that the proposed three schemes show better PER performance than ‘MMSE [7]’ at all SNR regions and all M. The proposed schemes show better BER performance than ‘MMSE [7]’ in a specific SNR region in ‘Street Crossing NLOS’, as shown at both Figure 12b and Figure 13b, and in all SNR regions in ‘Highway NLOS’, as shown at both Figure 14b and Figure 15b. Even though ‘Prop–M.1’, ‘Prop–M.2’, and ‘Prop–M.3’ show similar PER performance, ‘Prop-M.1’ shows a higher BER than both ‘Prop–M.2’ and ‘Prop–M.3’ as shown from Figure 12b, Figure 13, Figure 14 and Figure 15b. Moreover, as shown in Figure 13b and Figure 15b, the BER performance of ‘Prop–M.1’ approaches both ‘Prop–M.2’ and ‘Prop–M.3’ as the threshold α decreases. This is because, when the threshold α is reduced in ’Method 1’, both the ED and GD performance are improved, as shown in Figure 8b and Figure 9b, and the noise variance estimation performance is improved, as shown in Figure 10b and Figure 11b. Furthermore, from Figure 12 and Figure 15, it is shown that the proposed methods can achieve $\mathrm{PER}{=10}^{-2}$ at a reasonable SNR.

6. Conclusions

In this paper, we presented the MMSE channel estimation schemes for OFDM systems with three types of PDP estimators. Among the PDP estimators, the first is a threshold-based method in [17], and the second is described in [18] with our modification. The last one in [19] is the method with a structure without a threshold value, similar to the second method. Numerical simulations indicate the robustness of the PDP estimators in [18,19] according to the SNR and channel environment. Furthermore, through simulations over time-varying correlated fading channels, the PDP-based MMSE channel-estimation schemes can be used to obtain the performance close to the achievable bounds. In particular, it was confirmed that 0.01 PER can be obtained with 1 dB SNR loss at $M=200$, without SNR loss at $M=300$ for ‘Street Crossing NLOS’, with 2.5 dB SNR loss at $M=200$, and with 1.5 dB SNR loss at $M=300$ for ‘Highway NLOS’, respectively.