Channel length assisted symbol synchronization for OFDM systems in multipath fading channels
- Wen-Long Chin^{1}Email author
https://doi.org/10.1186/1687-1499-2011-68
© Chin; licensee Springer. 2011
Received: 26 October 2010
Accepted: 19 August 2011
Published: 19 August 2011
Abstract
Despite the promising role of orthogonal frequency-division multiplexing (OFDM) technology in communication systems, its synchronization in multipath fading channels remains an important and challenging issue. This work describes a novel synchronization algorithm that exploits channel length information for use in OFDM systems. A timing function that can identify the ISI-free region and subsequently the channel length is also developed based on both the redundancy of the cyclic prefix (CP), and the drastic increase in intersymbol interference (ISI) that rises with symbol timing error in multipath fading channels. Knowledge of the channel length information allows the symbol timing to be safely set in the middle of the ISI-free region, without any ISI. Simulation results indicate that the maximum value of the timing function occurs at the correct timing offset when the signal-to-noise ratio (SNR) is high. From low- to medium SNRs, the correct timing offset is guaranteed when the signal power induced by the channel tap is more significant than the noise power. Furthermore, an efficient search algorithm is derived to reduce the search complexity (search time and computation complexity).
Keywords
I Introduction
Orthogonal frequency-division multiplexing (OFDM) is a promising technology for broadband transmission. However, OFDM systems are sensitive to synchronization errors that may destroy the orthogonality among all sub-carriers. Accordingly, intercarrier interference (ICI) and intersymbol interference (ISI) are introduced by synchronization errors [1–4]. First, the uncertain OFDM symbol arrival time introduces a symbol timing offset, which is estimated by the coarse symbol timing offset [5] and fine symbol timing offset [6, 7]. Second, the mismatch between the carrier frequencies of the oscillators of the transmitter and the receiver generates a carrier frequency offset (CFO), necessitating the elimination of the resulting fractional CFO [5], integral CFO [8, 9], and residual CFO [6, 7]. Moreover, the mismatch between the sampling clocks of the digital-to-analog converter (DAC) and the analog-to-digital converter (ADC) introduces a sampling clock frequency offset [7].
The estimation of symbol timing is essential to the overall OFDM synchronization process, because a poor estimate of symbol timing severely degrades the signal-to-interference-and-noise ratio (SINR) [2, 7]. Besides ISI, extra ICI is also introduced owing to a loss of orthogonality. The symbol timing is estimated to identify the correct starting position of the OFDM symbol for the fast Fourier transform (FFT) operation. The timing offset is assumed to be an integer and may be set anywhere within an OFDM symbol.
Synchronization algorithms have been extensively reported for OFDM. A good survey can be found in [10]. Some works are briefly described here. Specially designed training preambles in [6, 11] can be used for symbol synchronization. Although an accurate estimate can be made, the bandwidth efficiency is reduced by adding a preamble. To eliminate such a reduction, algorithms that use the redundancy of the cyclic prefix (CP) have been developed [5, 12–17]. The symbol synchronization algorithm [5] adopts the maximum-likelihood (ML) approach. However, being assumed in additive white Gaussian noise (AWGN) channels, the algorithm estimates the center of mass of the channel intensity profile rather than locating the first arriving path when used in multipath channels. One work [12] carries out coarse symbol timing synchronization in multipath channels, utilizing a correlation length that equals the summation of the channel and CP lengths. To make the algorithm more practical for synchronization, the simplified algorithm in [12] uses the correlation length that is equivalent to twice the CP length, subsequently degrading the performance. Despite the ability to identify the ISI-free region in multipath channels, an approach in that work [13] may require many symbols to obtain an accurate symbol timing estimate. The computation complexity of the rank method in another study [14] is high and can be incorporated in continuous-transmission networks. Yet, the performance of another method [15] may be disturbed by the CFO. A discrete stochastic approximation algorithm (DSA) for adaptive time synchronization has been developed in [16]. A related work [17] describes a maximum-likelihood (ML) approach. Although ML estimation methods produce better performance than ad hoc algorithms and can perform close to the theoretical Cramér-Rao lower bound (CRLB) on the mean square error, and their complexity is typically considered to be very high. Other works [18, 19] use either (blind) data [18] or frequency-domain pilots [19].
Conventional CP-based timing synchronization schemes may underper-form preamble-based ones. Despite the repeated structure in CP, its correlation cannot be designed to resemble the impulse shape of training symbols. Therefore, the complexity of CP-based synchronization should be considerably increased to enhance its performance; otherwise, training symbols that can reduce the bandwidth efficiency should be used. This work thus develops a new synchronization scheme (considering multipath channels) having comparable complexity (~ O(N)) to that of the simplest approach in [5] (considering AWGN channels), where N denotes the number of subcarriers. As is well known, the channel length is related to the best symbol timing. However, this information is seldom used in literature. Conversely, to enhance the performance of symbol synchronization, the channel length is used explicitly in this work.
This work presents a new synchronization algorithm, assisted by channel length information, for OFDM systems based on the redundancy of CP. ISI significantly increases with symbol timing error in multipath fading channels [1, 2]. Due to the characteristics of ISI, a new timing function, whose value is proportional to the interference, is developed. Of priority concern is how to locate the symbol timing estimate in the middle of the ISI-free region, because SINR of the received signals includes no penalty in this region. The proposed approach increases the robustness of the proposed algorithm because only phase rotation is introduced in the ISI-free region, which can be simply compensated by using a single-tap equalizer. Simulation results demonstrate that the maximum value of this function is at the correct timing offset, when the signal-to-noise ratio (SNR) is high or the signal power induced by the channel tap exceeds the noise power. Since random fluctuation of the timing function is unavoidable, the channel length is also determined to assist in locating the symbol timing at the middle of the ISI-free region. The proposed method is a 2-D function of the symbol timing offset and channel length. To reduce the complexity, i.e., search time and computation complexity, this work also develops an efficient search algorithm. Although ad hoc, the proposed timing function is demonstrated to be efficient because a complexity ~O(N) and significant performance improvement are achieved.
The rest of this paper is organized as follows. Section II introduces the OFDM signal model and its correlation characteristics in multipath fading channels. Section III presents the proposed channel length assisted symbol synchronization algorithm. Section IV discusses in detail the design issues. Section V demonstrates simulation results. Finally, Section VI draws conclusions.
II OFDM signal model and correlation characteristics
In wireless communications, the received signals are subjected to reflection and scattering from natural and man-made objects. Such phenomena result in the arrival of time variant multiple versions (multipaths) of transmitted signals at the receiving antenna. In a properly designed OFDM system, the CP length is normally longer than the channel length. The time-domain correlation characteristics of separated-by-N data are thus related to neighboring symbols. In the following discussion, the signal model considers three consecutive symbols, i.e., the previous, the current, and the next symbols.
Let h(l) denote the impulse response of multipath channels with (L + 1) uncorrelated taps. Consider an OFDM with N subcarriers. The complex data are modulated onto the N subcarriers via the inverse discrete Fourier transform (IDFT). CP of length ^{ N }G is inserted at the beginning of each OFDM symbol to prevent ISI and preserve the mutual orthogonality of sub-carriers.
Following parallel-to-serial conversion, the current OFDM symbol x(n); n ∈ {0, 1,..., N + N_{ G } - 1}, is finally transmitted through a multipath channel h(l). Due to CP, the transmitted data have the following property: if n_{2} ≠ n_{1} and n_{2} ≠ n_{1} + N, E[x(n_{1})x* (n_{2})] = 0; otherwise, $E\left[x\left({n}_{1}\right){x}^{*}\left({n}_{2}\right)\right]={\sigma}_{x}^{2}$, where ${\sigma}_{x}^{2}\equiv E\left[|x\left(n\right){|}^{2}\right]$ denotes the signal power.
where ε denotes the normalized CFO; θ denotes the timing offset to be estimated, θ ∈{0, 1,..., N + N_{ G } - 1}, and w(n) represents AWGN with zero-mean and variance ${\sigma}_{w}^{2}$. Notably, the channel length is assumed to be shorter than the CP length such that only partial CP of the current symbol is corrupted by the previous symbol. The ISI-free region is therefore attained in n ∈ {θ + L, θ + L + 1,..., θ + N_{ G } }.
where I_{1} ≡ {θ, θ + 1,..., θ + L - 1}, I_{2} ≡ {θ + L, θ + L + 1,..., θ + N_{ G } -1}, I_{3} ≡ {θ + N_{ G } , θ + N_{ G } + 1,.... θ + N_{ G } + L - 1}, and I_{4} ≡ {θ + N_{ G } + L, θ + N_{ G } + L + 1,..., θ + N + N_{ G } - 1}. Notably, no assumption is made regarding the transmitted data.
where I = I_{1} ∪ I_{2} ∪ I_{3} ∪ I_{4}. Therefore, (5) is the signal power plus the AWGN power. These characteristics are exploited in the following section.
III Proposed symbol synchronization
A Channel length assisted symbol synchronization
The timing function is 2-D and is generated by sliding windows with all possible channel lengths (ranging from one to N_{ G } ) at all possible sampling points in an OFDM symbol. The end of this subsection describes the rationale for the timing function. Before doing so, some properties of the timing function are introduced first.
The proposed timing function has the following properties.
has a minimum plateau in the ISI-free region.
Owing to the multipath fading channels, ϕ(n) apparently has a minimum plateau with a value of ${\sigma}_{w}^{2}$ in the ISI-free region. The proof follows. ■
Property 2 The maximum value of the timing function (6) occurs at k = θ and m = L under the conditions of${\sigma}_{x}^{2}{\left|h\left(L\right)\right|}^{2}>{\sigma}_{w}^{2}$and${\sigma}_{x}^{2}{\left|h\left(0\right)\right|}^{2}>{\sigma}_{w}^{2}$. (The signal power induced by the channel tap is larger than the AWGN power.)
From (10), ϕ'(n) is a positive constant, ${\sigma}_{w}^{2}$, in I_{2}. In I_{1}, ϕ'(n) is a strictly increasing function with a maximum of $-{\sigma}_{x}^{2}{\left|h\left(L\right)\right|}^{2}+{\sigma}_{w}^{2}$ at n = θ + L - 1. Therefore, when ${\sigma}_{x}^{2}{\left|h\left(L\right)\right|}^{2}>{\sigma}_{w}^{2}$, the values of (10) in I_{1} are all negative. Similarly, when ${\sigma}_{x}^{2}{\left|h\left(0\right)\right|}^{2}>{\sigma}_{w}^{2}$, the values of ϕ'(n) in I_{3} and I_{4} are all negative. The functions, ϕ(n) (in property 1) and ϕ'(n), are used to prove property 2.
From the above equation, since ϕ(n) > 0, ϕ'(n) is a positive constant in the ISI-free region and is negative in the ISI regions, Λ(k, m) has a maximum value at (k; m) = (θ, L) (see Appendix B). The proof follows. ■
Property 2 can be relaxed for high SNRs, as described by the following property.
Property 3 For high SNRs, the maximum value of the timing function (6) occurs at k = θ and m = L (without the constraint that the signal power induced by the channel tap should be larger than the AWGN power).
Therefore, ϕ'(n) appears to be a positive constant ${\sigma}_{w}^{2}$ in I_{2}, ϕ'(n) is negative in I_{1}, I_{3} and I_{4}. With (15) and (16), the timing function (14) obviously has a maximum value of (N_{ G } - L)^{2}${\sigma}_{w}^{4}$ at k = θ and m = L. The proof follows.
where N_{ G } is assumed to be an even number, ⌊·⌋ and ⌈·⌉ denote the floor and ceiling functions, respectively.
Notably, when the symbol timing is located in the ISI-free region, only phase rotation is introduced, which can be simply compensated for by using a single-tap equalizer. Additionally, Property 3 indicates that an accurate estimate can be obtained when the SNR is high. Based on Property 2, from low to moderate SNRs, an accurate estimate can also be obtained if ${\sigma}_{x}^{2}{\left|h\left(L\right)\right|}^{2}>{\sigma}_{w}^{2}$ and ${\sigma}_{x}^{2}{\left|h\left(0\right)\right|}^{2}>{\sigma}_{w}^{2}$ are satisfied. If the above-mentioned conditions are not satisfied, $\widehat{\theta}$ will typically be around θ, because ϕ'(n) is a strictly increasing/decreasing function in I_{1}/I_{3}^{.} Besides, due to the SINR plateau, tolerance is allowed if the final estimate of symbol timing ${\widehat{\theta}}_{o}$ lies in the ISI-free region. In this condition, the channel length estimate assists in locating ${\widehat{\theta}}_{o}$ in the middle position of ISI-free region, thus increasing the estimation accuracy. Hence, the proposed method utilizes the plateau in the ISI-free region.
Following the introduction of the proposed timing function and its properties, its design rationale is brie y described here. The core function, ϕ(n), expressed in (8) is proportional to the incurred interference. By using a simple algebraic equation, ϕ'(n) is obtained from ϕ(n). Then, by considering all possible lengths of the ISI-free region, the timing function Λ(k, m) (14) is expressed by ϕ(n) and ϕ'(n) and can be further simplified as (6).
B Search algorithm
2-D search algorithm
ϒ_{max}(m) = maxValue; % the smallest negative value |
---|
for m = 0 to N_{ G } - 1 |
Θmax(k) = - maxValue; % the smallest negative value |
for k = 0 to N + N_{ G } - 1 % find the max. value for all k at a given m |
if Λ(k, m) > Θ_{max}(k) then |
Θ_{max}(k) = Λ(k, m); |
else |
break; % break for |
end if |
end for |
if Θ_{max}(k) > ϒ_{max}(m) then |
ϒ_{max}(m) = Θ_{max}(k); |
$\widehat{\theta}=k$; |
$\widehat{L}=m$; |
else |
break; % break for |
end if |
end for |
${\widehat{\theta}}_{o}=\widehat{\theta}+\frac{{N}_{G}}{2}+\u2308\frac{\widehat{L}}{2}\u2309$; |
When N_{ G } - m exceeds the length of the ISI-free region, based on Property 2, ϒ_{max}(m) is smaller than that of the global maximum value at m = L. The value of ϒ_{max}(m) increases until N_{ G } - m equals the length of the ISI-free region. ϒ_{max}(m) starts to decline, when N_{ G } - m decreases continuously and eventually becomes smaller than the ISI-free region length.
IV Implementation issues
A Auto- and cross-correlations
The timing function (6) requires theoretical auto- and cross-correlations, which are often realized using the sample correlation. When N is large, the sampled data $\stackrel{\u0303}{x}\left(n\right)$ can be modeled approximately as complex Gaussian using the central limit theorem. Therefore, the sample auto- and cross-correlations can be obtained by averaging all of the symbols.
B Computation complexity
Since the proposed algorithm may terminate before searching for all possible combinations of k and m, the worst-case complexity (for all k and m) is evaluated. The sampled correlation realizations of (4) and (5) both require N +N_{ G } complex multiplications. The timing function (6) requires additional 3(N + N_{ G } ) real multiplications. A real multiplication roughly costs 1/4 complex multiplication. In summary, the total number of required complex multiplications of the proposed symbol synchronization is (N + N_{ G } )(3 + 3/ 4) = 3: 75(N + N_{ G } ). The number of required complex additions of the proposed symbol synchronization in (7) is 1.5N_{ G } (N + NG)(NG + 1).
Since the complexity of an addition is substantially less than that of a multiplication, the proposed method has a worst-case complexity of approximately 3.75/ 3 = 1: 25 times that of the representative and simplest algorithm [5]. In other cases, complexity of the proposed method may be lower since its complexity depends on the channel length. Moreover, according to our results, the proposed method outperforms conventional methods, as presented in the next section.
V Simulation results
Monte Carlo simulations are conducted to evaluate the performance of the estimators. An OFDM system with N = 128 and N_{ G } = 16 is considered. The simulated modulation scheme is QPSK. The signal bandwidth is 2.5 MHz, and the radio frequency is 2.4 GHz. The subcarrier spacing is 19.5 kHz. The OFDM symbol duration is 57.6 μ s. The simulations are evaluated under the effect of the CFO = 33.3% subcarrier spacing, i.e., 6.5 kHz. To verify the performance of the proposed technique, channel length is assumed to be uniformly distributed within the range of [1,..., N_{ G } - 1]. In each simulation run, the channel taps are randomly generated by using independent zero-mean unit-variance complex Gaussian variables with ${\sum}_{l}{\left|h\left(l\right)\right|}^{2}=1$. Namely, the power of channel taps is normalized to one. In each run, 20 OFDM symbols are tested. Metrics of the proposed and compared estimators are averaged over simulated symbols.
A MSE of symbol synchronization in multipath channels
The noise variance used in this work and in [5] can be estimated by [20] which is beyond the scope of this paper. In the simulations, ${\sigma}_{w}^{2}$ is assumed to be perfectly known.
B MSE of symbol synchronization under the effect of CP length
C Bit error rate
VI Conclusion
This work has presented a novel channel length assisted synchronization scheme based on the properties of OFDM signals. Only simple operations, such as the multiplication and addition operations, are necessary. Simulation results demonstrate that the maximum value obtained by the proposed timing function is correct when the SNR is high. Otherwise, the correct timing estimate is ensured when the signal power induced by the channel tap exceeds the noise power. This finding suggests that the channel tap can be identified when its induced signal power exceeds the AWGN power. This work also identifies the symbol timing in the middle of the ISI-free region by estimating the channel length through use of the proposed timing function. Simulation results verify that the proposed estimation markedly reduces the MSE of the symbol timing estimate in multipath fading channels.
Appendix I
With θ ≤ n ≤ θ + N + N_{ G } - 1, the correlation characteristics can be easily shown to be (3).
Appendix II
Endnote
^{a}Since the SINR has a plateau in the ISI-free region that produces no penalty, the MSE is counted as zero when the estimate is located in the ISI-free region. Restated, MSE represents the distance from the estimated symbol timing to the ISI-free region.
Declarations
Acknowledgements
The author would like to thank the Editor and anonymous reviewers for their helpful comments and suggestions in improving the quality of this paper. This work is supported in part by the grants NSC 99-2221-E-006-101 and NSC 100-2221-E-006-172, Taiwan.
Authors’ Affiliations
References
- Steendam H, Moeneclaey M: Analysis and optimization of the performance of OFDM on frequency-selective time-selective fading channels. IEEE Trans Commun 1999, 47(12):1811-1819. 10.1109/26.809701View ArticleGoogle Scholar
- Mostofi Y, Cox DC: Mathematical analysis of the impact of timing synchronization errors on the performance of an OFDM system. IEEE Trans Commun 2006, 54(2):226-230.View ArticleGoogle Scholar
- Moose PH: A technique for orthogonal frequency division multiplexing frequency offset correction. IEEE Trans Commun 1994, 42(10):2908-2914. 10.1109/26.328961View ArticleGoogle Scholar
- Stantchev B, Fettweis G: Time-variant distortions in OFDM. IEEE Trans Commun 2000, 4(9):312-314.Google Scholar
- van de Beek JJ, Sandell M, Borjesson PO: ML estimation of time and frequency offset in OFDM systems. IEEE Trans Signal Process 1997, 45(7):1800-1805. 10.1109/78.599949View ArticleGoogle Scholar
- Minn H, Bhargava VK, Letaief KB: A robust timing and frequency synchronization for OFDM systems. IEEE Trans Wirel Commun 2003, 2(4):822-839.View ArticleGoogle Scholar
- Speth M, Fechtel S, Fock G, Meyer H: Optimum receiver design for OFDM-based broadband transmission-part II: a case study. IEEE Trans Commun 2001, 49(4):571-578. 10.1109/26.917759View ArticleGoogle Scholar
- Kim YH, Song I, Yoon S, Park SR: An efficient frequency offset estimator for OFDM systems and its performance characteristics. IEEE Trans Veh Technol 2001, 50(5):1307-1312. 10.1109/25.950332View ArticleGoogle Scholar
- Ren G, Chang Y, Zhang H, Zhang H: An efficient frequency offset estimation method with a large range for wireless OFDM systems. IEEE Trans Veh Technol 2007, 56(4):1892-1895.View ArticleGoogle Scholar
- Morelli M, Jay Kuo C-C, Pan M-O: Synchronization techniques for orthogonal frequency division multiple access (OFDMA): a tutorial review. IEEE Proc 2007, 95(7):1394-1427.View ArticleGoogle Scholar
- Schmidl TM, Cox DC: Robust frequency and timing synchronization for OFDM. IEEE Trans Commun 1997, 45(12):1613-1621. 10.1109/26.650240View ArticleGoogle Scholar
- Lee D, Cheun K: Coarse symbol synchronization algorithms for OFDM systems in multipath channels. IEEE Commun Lett 2002, 6(10):446-448. 10.1109/LCOMM.2002.804247View ArticleGoogle Scholar
- Ramasubramanian K, Baum K: An OFDM timing recovery scheme with inherent delay-spread estimation. Proceedings of IEEE GLOBE-COM'01 2001, 5: 3111-3115.Google Scholar
- Negi R, Cioffi JM: Blind OFDM symbol synchronization in ISI channels. IEEE Trans Commun 2002, 50(9):1525-1534. 10.1109/TCOMM.2002.802568MathSciNetView ArticleGoogle Scholar
- Williams C, Beach MA, McLaughlin S: Robust OFDM timing synchronization. Proceedings of IEEE Vehicular Technology Conference 2006.Google Scholar
- Krishnamurthy V, Athaudage C, Huang D: Adaptive OFDM synchronization algorithms based on discrete stochastic approximation. IEEE Trans Signal Process 2005, 53(4):1561-1574.MathSciNetView ArticleGoogle Scholar
- Chin WL: ML Estimation of timing and frequency offsets using distinctive correlation characteristics of OFDM signals over dispersive fading channels. IEEE Trans Veh Technol 2010, in press.Google Scholar
- Chin WL, Chen SG: A blind synchronizer for OFDM systems based on SINR maximization in multipath fading channels. IEEE Trans Veh Technol 2009, 58(2):625-635.View ArticleGoogle Scholar
- Chin WL, Chen SG: A low-complexity minimum-interference symbol time estimation for OFDM systems. IEICE Trans Commun 2009, E92-B(5):1828-1833. 10.1587/transcom.E92.B.1828View ArticleGoogle Scholar
- Cui T, Tellambura C: Power delay profile and noise variance estimation for OFDM. IEEE Commun Lett 2006, 10(1):25-27. 10.1109/LCOMM.2006.1576558View ArticleGoogle Scholar
- Recommendation ITU-R M.1225: Guideline for Evaluation of Radio Transmission Technologies for IMT-2000. 1997.Google Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.