These teachings relate generally to data communications signal processing. This invention is more specifically directed to demodulating a received waveform to correct for a bias of a Gaussian Minimum Shift Keying (GMSK) phase estimate, such as a bias introduced by employing a Laurent decomposition of the waveform.
Many wireless communication systems transfer information by modulating the information onto a carrier signal such as a sine wave to more efficiently use the available bandwidth for multiple or intensive communications. The carrier signal is modulated by varying one or more parameters such as amplitude, frequency, and phase. Phase shift keying (PSK) is frequently used, and includes shifting the phase of the carrier according to the content of the information being transmitted. There are several techniques known to modulate a transmission phase including binary phase shift keying (BPSK), quadrature phase shift keying (QPSK), and Guassian minimum shift keying (GMSK). The power spectral density of both BPSK and QPSK is fairly broad, and these techniques have been found inadequate for certain applications due to interference between closely packed adjacent channels. A signal transmitted with phase shift keying must be demodulated at the receive end of a communication system by estimating the phase shift or offset. Data demodulation is directly dependent upon the accuracy of that estimate of the phase shift.
GMSK is a form of continuous phase modulation, and therefore achieves smooth phase modulation that requires less bandwidth than other techniques. Under GMSK, input bits defining a rectangular waveform (+1, −1) are converted to Gaussian (bell shaped) pulses by a Gaussian smoothing filter. The Gaussian pulse typically is allowed to last longer than its corresponding rectangular pulse, resulting in pulse overlap known as intersymbol interference (ISI). The extent of ISI is determined by the product of the bandwidth (B) of the Gaussian filter and the data-bit duration (Tb) or bit rate; the smaller the product, the greater the pulse overlap. Applications using GMSK have been used where the product BTb is generally 0.3 or greater. Applications with lower BTb (e.g., ⅕, ⅙, and less) tend to include higher levels of ISI that generally degrade performance to unacceptable levels. This is true because prior art demodulators introduce a phase error (the difference between the actual phase offset in the transmitted signal and the estimate of the phase offset in the received signal) that increases with decreasing BTb.
In a burst transmission system, an estimate of the phase offset is typically included within a header or training sequence of the message stream. Theoretically, where the length L0 of the training sequence approaches infinity, the estimate of the phase offset exactly replicates the actual phase offset and phase error approaches zero. In more pragmatic applications, the use of finite length training sequences results in a discrepancy between the estimate of the phase offset and the actual phase offset. The maximum allowable size of this discrepancy depends upon the demands of a particular communications system. The required training sequence length increases as the maximum allowable discrepancy decreases and as BTb decreases. Because the training sequence header is present in each transmission burst, shorter training sequences are desirable to ensure that that the available bandwidth is used for substantive data rather than inordinately long training sequences.
Phase error in prior art systems arises during demodulation. While a GMSK waveform defines a constant envelope that is simple to generate and transmit using efficient amplifiers, it is a fairly complex function to demodulate at the receiving end of a communication system.
Pierre Laurent first demonstrated that a GMSK waveform could be represented by amplitude modulated pulses h0(t), h1(t), h2(t), . . . , and a corresponding coherent detector could be designed. This representation is known as the Laurent decomposition, and it allowed bit error rates (BER) associated with GMSK communications to match those of other PSK techniques. Prior art has demonstrated that detectors based on only the first two amplitude pulses, h0(t) and h1(t), or only the first amplitude pulse h0(t), provide adequate performance for most applications.
Many GMSK systems calculate the phase estimate as the angle resulting from the inner product of two vectors, one representing pseudo symbols (which are related to channel symbols and the modulation index) and the other representing the filter output (which is matched to the first Laurent pulse). The above approach yields only an approximation since the last L filter outputs, x(L0−1−L), x(L0−L), . . . , x(L0−1), are integrated over less than a full symbol, because the first Laurent pulse spans (L+1)Tb seconds. This is the bias in demodulating a GMSK signal that has previously limited GMSK systems to about BTb>0.3 and high L0. At those system parameters, the above bias in the Laurent decomposition can be ignored without adverse effect on demodulation at the receive end of the communication. At lower BTb using shorter L0, the bias becomes more significant and cannot be ignored; the bias signal drives the phase estimate further from the true phase modulation, causing the BER to rise.
The foregoing and other problems are overcome, and other advantages are realized, in accordance with the presently preferred embodiments of these teachings. A method for demodulating a phase-modulated signal is one aspect of the present invention. The method includes receiving a carrier signal r(t) that includes a known number of training bits L0. The received carrier signal is then passed through a matched filter having a filter output. The filter output is sampled and the samples are then combined into a sample vector x=ejθp+v defining elements [x(0), x(1), x(2), . . . x(L0−1)]T. For brevity, bold indicates vectors. In the vector x, θ is a phase of the carrier signal, p is a vector defining elements [p(0), p(1), p(2), . . . p(L0−1)]T that represents data and intersymbol interference (ISI) of the vector x, and v is a noise vector. The method further includes determining a phase estimate from an angle between the sample vector x and a vector derived from one of a pseudo-symbol vector a and the vector p.
Preferably, the phase estimate is the inner product of x and the conjugate transpose vector aH with a phase bias estimate subtracted therefrom, the phase bias estimate being the inner product of p and aH. In a most preferred embodiment, the elements of aH alternate between purely real and purely imaginary pseudo symbols ±l and ±j. Alternatively, the phase estimate is the inner product of x and the conjugate transpose vector pH, of the inner product of x, pH, and Rh−1, wherein Rh−1 is the autocovariance matrix of the noise vector v scaled by 2/N0 or the variance. Each of these alternative phase estimates are unbiased, so there is no need to subtract a phase bias estimate therefrom.
In accordance with another aspect of the present invention, a serial detector for demodulating a received phase-modulated signal is described. The detector includes a matched filter, a sampler, and a phase estimator block. The matched filter receives a signal r(t) that defines a carrier phase θ. The sampler has an input coupled to an output of the matched filter and outputs a plurality of discrete samples x. Each of the samples x are of the form x=ejθp+v, using the same notation as described in the paragraphs above. The phase estimator block has an input coupled to an output of the sampler and determines a phase estimate. The phase estimate is derived from an angle between a sample vector x and a vector derived from one of a and p, wherein the vector x comprises elements x, the vector a comprises pseudo symbol elements, and the vector p comprises elements p.
Preferably, the phase estimate is as described in the above paragraphs describing the method of practicing the invention. In either aspect, use of the present invention is particularly advantageous when used with training sequences in the header of a transmission burst that is less than about L0=about 5000 bits, and/or when BTb<about 0.3, wherein B represents bandwidth and Tb represents bit or symbol rate.
The foregoing and other aspects of these teachings are made more evident in the following Detailed Description of the Preferred Embodiments, when read in conjunction with the attached Drawing Figures, wherein:
GMSK is a constant envelope waveform, and the transmitted signal may be represented by:
where f(x) is the frequency pulse shape which is a unit area Gaussian pulse with a 3-dB bandwidth B and which is truncated to a length LTb. In practice, LTb is usually set to 1/B. For minimum shift keying, the modulation index h=½.
An alternate amplitude modulated pulse (AMP) is also possible, wherein z(t) is expressed as a superposition of 2L−1 time and phase shifted amplitude modulated pulses:
In the Laurent decomposition, the ak,n are the pseudo-symbols which are related to the channel symbols αn and the modulation index h. The hk(t) are the amplitude pulses that are a function of g(t), h and L.
The Laurent AMP representation suggests a linear detector structure consisting of 2L−1 matched filters: one filter matched to each of the Laurent pulses hk(t). Since the pulses hk(t) do not satisfy the Nyquist condition for no ISI, maximum likelihood (ML) sequence estimation using the 2L−1 parallel matched filter outputs is required. The Laurent representation also provides a guide for studying the tradeoff between performance and complexity. The detector structure can be simplified by truncating the Laurent representation to fewer than 2L−1 pulses. For example, a linear detector for GMSK with BTb=¼ and L=4 based on two matched filters (rather than 2L−1=8 matched filters) achieves the performance of the optimal detector for all practical purposes. The same result for two matched filters was shown for BTb>⅕.
Simple linear detectors based on the first Laurent pulse have been examined under the names “serial detector”, “threshold detector” and “MSK-type detector”. As used herein, the term serial detector indicates serial architecture comprising at least the first Laurent amplitude pulse h0(t) followed by a sampler, with symbol detection performed by subsequent digital signal processing. In general, the performance of the serial detector approach is worse than that of the detector using two matched filters, especially as BTb gets smaller. In these cases, ISI increases so that a Viterbi-based ML sequence estimator or equalizer must follow the matched filter. One exception to this trend is the case of severe adjacent channel interference. In this case, the serial detector with an equalizer outperforms the serial detector based on the first two Laurent pulses in the detector. This is due to inclusion of the second Laurent pulse in the detector. It has a wider bandwidth than the first pulse, thus allowing more energy from the adjacent channels into the decision making process.
Carrier phase synchronization for GMSK has been studied both in theory and in practice. The prior art shows a ML carrier phase estimator can be derived assuming a serial or MSK-type detector. Similarly, a phase lock-loop-based phase estimator has been proposed that bases the phase error signal on the same quantity. This disclosure focuses on data aided carrier phase estimation as applied to a serial detector with a single filter matched to at least the first Laurent pulse. Once the bias in the phase error estimate is removed, the performance of a ML estimator is able to achieve the Cramer-Rao bound.
Serial Detector Structure
A serial detector,
where, for h=½, c(t) is given by:
The filter h0(t) spans (L+1)Tb seconds and introduces ISI spanning 2(L+1) symbols. The matched filter output x(t) is sampled at the bit rate, every Tb seconds. For large values of BTb, the sign of x(kTb) can be used as a decision for ak with reasonably good performance. For smaller values of BTb, a ML sequence estimator or equalization must be used. The first psuedo symbol stream a0,k=ak (the first subscript is dropped since only the first Laurent pulse h0 is considered) is related to the data symbols α by:
As a consequence, the pseudo symbols alternate between purely real (for even indices) and purely imaginary (for odd indices). For this reason, a slicer that follows the matched filter need only examine the real or imaginary parts of the matched filter output at alternating bit times.
Let r(t)=z(t)+w(t) be the equivalent complex baseband received signal, where w(t) is a zero mean complex Gaussian random process whose real and imaginary parts have power spectral density N0/2 Watt/Hz. The sampled matched filter output may be expressed as:
x(kTb)=p(k)+v(k), [7]
where p(k) denotes the contribution of the k-th data symbol as well as the adjacent 2(L+1) data symbols to the matched filter output. Thus, p(k) quantifies the intersymbol interference at the matched filter output as illustrated in
By approximating the transmitted signal using only the first Laurent pulse, p(k) can be approximated by:
where Rh(n) is the deterministic autocorrelation function for the first Laurent pulse given by:
The second term v(k) in equation [7] above is due to noise and is given by:
The sequence v(k) is a sequence of correlated Gaussian random variables with autocorrelation function:
Rv(n)=E{v(k+n)v*(k)}=σ2Rh(n). [11]
Carrier Phase Estimation
ML Phase Estimation Observing the Received Signal
The received signal can be given by:
R(t)=z(t)ejθ+w(t), [12]
where θ is the unknown carrier phase offset. For data aided carrier phase estimation, assume L0 known bits are available to aid the estimator, such as is typical in a burst mode application with a header or training sequence. The prior art provides the ML estimator for θ after observing r(t) in the interval 0≦t≦L0Tb is:
θmL=arg{aHx}, [13]
where a=[a0, a1, a2, . . . aL0−1]T is the column vector of psuedo symbols and x=[x(0), x(1), x(2), . . . X(L0−1)]T is the column vector of matched filter outputs. The term “arg” represents the phase angle, or the angle resulting from the inner product of the bracketed vectors. The estimator θML is only an approximation since the last L matched filter outputs result from integrations over a portion of the symbol since h0(t) spans (L+1)Tb seconds. The inaccuracies due to this approximation are termed “edge effects’, which diminish as the length L0 of the training sequence increases, or as BTb increases. The edge effects cause the variance of the phase error estimate to increase because edge effects introduce bias into the phase error estimate. An expression for the bias is derived and applied below.
First, let x=ejθp+v, wherein x=[x(0), x(1), x(2), . . . x(L0−1)]T is the vector matched filter outputs, p=[p(0), p(1), p(2), . . . p(L0−1)]T is the vector representing the data plus ISI contribution to the matched filter output, and v=[v(0), v(1), v(2), . . . v(L0−1)]T is the vector of correlated noise samples at the matched filter output. The vector v is a jointly Gaussian random variable with zero mean and autocovariance matrix M given by:
Substituting yields:
aHx=aH(ejθp+v)=ejθaHp[1+e−jθ(aHv/aHp)], [15]
so that
arg{aHx}=θ+arg{aHp}+arg{1+e−jθ(aHv/aHp)}. [16]
This shows that arg{aHx} consists of the true phase θ, a bias term arg{aHp}, and a remaining noise term. The bias term, θbias=arg{aHp}, diminishes as the approximation of equation [8] improves. If equation [8] were exact, then p=Rha and θbias=arg{aHp}=arg{aHRha}=0.
The noise term contains the complex valued random variable u=e−jθ(aHv/aHp), which is a zero mean Gaussian random variable whose real and imaginary parts have variance [1/(2Eb/N0)][(aHRha)/(|aHp|2)]. The last term in equation [16] (the noise term) may be expressed as:
arg{1+e−jθ(aHv/aHp)}=arg{1+u}=tan−1[Im{u}/(1+Re{u})]˜Im{u}, [17]
where the last approximation holds for L0 sufficiently large so that the variance of Im{u} and Re{u} are small relative to 1. Taking the bias into account, the ML estimate is redefined to be:
θML=arg{aHx}−θbias. [18]
The mean and variance of the phase error θML−θ are:
E{θML−θ}˜E{θ+arg{aHp}+Im{u}−arg{aHp}−θ}=0, [19]
and
E{|θML−θ|2}˜E{|θ+arg{aHp}+Im{u}−arg{aHp}−θ2}=[1/(2Eb/N0)][(aHRha)/(|aHp|2)]. [20]
This shows that the estimator θML of equation [18] is unbiased and has a variance inversely proportional to signal to noise ratio and L0. As used herein, an estimate θest for the unknown parameter θ is biased if E{θest−θ}≠0.
ML Phase Estimation Observing Matched Filter Outputs
The term aHx may be interpreted as an operation that re-rotates the matched filter output x by the phase of the data symbols. It is assumed that any residual phase must be due to the carrier phase θ. Since the data dependent phase component of x is due to data and ISI, a de-rotation by p rather than by a would eliminate the need to subtract the bias from the phase estimate.
The estimator then becomes:
θMF=arg{pHx}, [21]
Wherein the subscript MF stands for matched filter. Substituting x=ejθp+v produces:
pHx=pH(ejθp+v)=ejθpHp[1+e−jθ(pHv/pHp)], [22]
so that
arg{pHx}=θ+arg{pHp}+arg{1+e−jθ(pHv/pHp)}). [23]
Since pHp is real, the estimate θMF is unbiased. The variance is:
E{|θ−θMF|2}=[1/(2Eb/N0)][(pHRhp)/(|pHp|2)]. [24]
The variance of the estimate θMF is greater than that of the estimate θML because the former does not account for the correlation of the noise samples. This correlation can be incorporated into the phase estimate by formulating an ML estimator based on an observation of L0 matched filter outputs. The conditional probability f(x|a,θ) is:
f(x|a,θ)=[1/{(2π)L0/2|σ2Rh|2}]exp{−(½σ2)(x−ejθp)HRh−1(x−ejθp)}, [25]
where σ2=N0/2. Computing the derivative of ln[f(x|a,θ)] with respect to θ, setting it to zero, and solving for θ produces the estimator:
θML−2=arg{pHRh−1x}. [26]
Substituting x=ejθp+v produces:
pHRh−1x=pHRh−1(ejθp+v)=ejθpHRh−1p[1+ejθ(pHRh−1v/pHRh−1p)], [27]
so that
arg{pHRh−1x}=θ+arg{pHRh−1p}+arg{1+ejθ(pHRh−1v/pHRh−1p)}. [28]
Since pHRh−1p is real, the estimate θML−2 is unbiased. The variance of this estimator is:
E{|θ−θMF|2}=[1/(2Eb/N0)][1/(pHRh−1p)]. [29]
Numerical Results
The behavior of the ML estimate bias as a function of BTb and the training sequence length L0 is illustrated in
The performance of the ML estimators θML=arg{aHx} (equation [13]) and θML=arg{aHx}−θbias (equation [18]) is illustrated in
A performance comparison of the three estimators θML, θMF, and θML−2, defined by Equations [18], [21], and [26], respectively, is illustrated in
Each of the phase estimators described herein are shown in block diagram form at
Data-aided carrier phase estimation for GMSK using the serial or MSK-type detector has been discussed above. Previously published ML solutions were approximate, since partial integrations produced edge effects that reduced the performance of the estimator. The contribution of edge effects was shown to produce a bias in the maximum likelihood estimator. Once the bias is removed, the performance of the corrected (unbiased) ML estimator achieved the Cramer-Rao bound.
Two alternate solutions were also disclosed: one heuristic (denoted θMF) and the other based on the maximum likelihood principle (denoted θML−2). The performance of θML−2 matches that of the corrected (unbiased) estimator θML. In fact, the performance of the two is identical when the approximation
is replaced by equality. In this case, p=Rha, and the phase error variances are E{|θ−θMF|2}=[1/(2Eb/N0)][1/(pHRh−1p)]. The performance of the estimator θMF is inferior to the other two.
The complexity of the estimator θML−2 is significantly greater than that of the estimator θMF since the former requires full-width multiplier to form the dot product. The estimator θML, on the other hand, only requires adds since the pseudo symbols are the set {−1, +1, −j, +j}
While described in the context of presently preferred embodiments, those skilled in the art should appreciate that various modifications of and alterations to the foregoing embodiments can be made, and that all such modifications and alterations remain within the scope of this invention. For example, the present invention is not limited only to GMSK systems used as an example, but may be applied to any modulated signal wherein smoothing of the waveform results in ISI. Examples herein are stipulated as illustrative and not exhaustive.
Number | Name | Date | Kind |
---|---|---|---|
5473637 | Gardner | Dec 1995 | A |
6421399 | Avidor et al. | Jul 2002 | B1 |
6771713 | Lui et al. | Aug 2004 | B1 |
6862324 | Lui et al. | Mar 2005 | B1 |
7054658 | Lobo | May 2006 | B1 |