Ranging at high accuracy is a core problem in many technical fields. For example, high precision ranging can increase efficiency and productivity in agriculture by using robots for pruning, weeding and crop-spraying. In marine navigation, ranging with high accuracy can help to enter a port with big ships. Also the landing phase of an airplane can be automated by reliable high precision ranging techniques.
Ranging with radio systems is usually performed by measuring the propagation delay of an electro-magnetic wave with known structure. If the radio signal is transmitted on a high carrier frequency, it is understood that the carrier phase conveys significant information about the delay parameter. However, as the mapping between phase and delay parameter is ambiguous, it is believed that the carrier phase can only be exploited by combining measurements attained with different signal sources.
In the application of satellite-based synchronization and navigation (GPS, GLONASS, Galileo, etc.), high precision is therefore achieved by performing three independent steps, as illustrated in
where
is the carrier frequency,
is the propagation-delay, c velocity of light and eζ() the measurement error. Resolving the integer Ψ() precisely with measurements from one transmitter is not possible. Measurements from multiple transmitters and multiple time instances must be combined in order to resolve the ambiguity problem and obtain a ranging solution with high accuracy.
Approaches pertaining to the technological background of the present invention are described in the following references:
[1] G. Seco-Granados, J. A. Lopez-Salcedo, D. Jumenez-Baňos and G. Lopez-Risueňo, “Challenges in Indoor Global Navigation Satellite Systems,” IEEE Signal Processing Magazine, vol. 29, no. 2, pp. 108-131, 2012.
[2] P. Misra and P. Enge, “Global Positioning System—Signals, Measurements, and Performance”, Second Edition, Ganga-Jamuna Press, 2006.
[3] G. Blewitt, “Carrier Phase Ambiguity Resolution for the Global Positioning System Applied to Geodetic Baselines up to 2000 km,” Journal of Geophysical Research, vol. 94, no. B8, pp. 10187-10203, 1989.
[4] P. Teunissen, “Least-Squares Estimation of the Integer GPS Ambiguities”, Invited lecture, Section IV “Theory and Methodology,” Proc. Of Gen. Meet. of the Int. Assoc. of Geodesy, Bejing, China, pp. 1-16, 1993.
[5] P. Teunissen, “A new method for fast carrier phase ambiguity estimation,” Proc. of IEEE Pos., Loc. and Nav. Symp. (PLANS), Las Vegas, USA, pp. 562-573, 1994.
[6] P. Teunissen, “The least-squares ambiguity decorrelation adjustment: a method for fast GPS ambiguity estimation,” Journal of Geodesy, vol. 70, pp. 65-82, 1995.
[7] P. Teunissen, “Statistical GNSS carrier phase ambiguity resolution: A review,” Proc. of the 1-th IEEE Workshop of Statistical Signal Processing (SSP), pp. 4-12, 2001.
[8] C. Günther, P. Henkel, “Integer Ambiguity Estimation for Satellite Navigation,” IEEE Transactions on Signal Processing, vol. 60, no. 7, pp. 3387-3393, 2012.
[9] S. M. Kay, “Fundamentals of Statistical Signal Processing: Estimation Theory,” Pretice Hall, 1993.
[10] B. Ristic, S. Arulampalam and N. Gordon, “Beyond the Kalman Filter—Particle Filters for Tracking Applications,” Artech House Inc., 2004.
[11] A. Doucet and A. Johansen, “A Tutorial on Particle Filtering and Smoothing: Fifteen Years later,” Oxford Handbook of Nonlinear Filtering, Oxford University Press, 2011.
[12] A. Kong, J. Liu and W. Wong, “Sequential imputations and Bayesian missing data problems,” Journal of the American Statistical Association, vol. 89, no. 425, pp. 278-288, 1994.
[13] A. Doucet, S. Godsill and C. Andrieu, “On sequential Monte Carlo sampling methods for Bayesian filtering,” Statistics and Computing, vo. 10, pp. 197-208, 2000.
[14] N. J. Gordon, D. J. Salmond and A. F. M. Smith, “Novel approach to nonlinear/non-Gaussian Bayesian state estimation,” IEE Proc. F Radar Signal Process., vol. 140, no. 2, pp. 107-113, 1993.
[15] T. Li, T. P. Sattar, Q. Han and S. Sun, “Roughening Methods to Prevent Sample Impoverishment in the particle PHD filter,” 16th International Conference on Information Fusion (FUSION), 2013.
[16] K. Borre, D. M. Akos, N. Bertelsen, P. Rinder, S. H. Jensen, A Software-Defined GPS and Galileo Receiver: A Single-Frequency Approach, Birkhauser Boston, 2007.
[17] M. Simandl, J. Kralovec, P. Tichaysky, “Filtering, Predictive, and Smoothing Cram'er-Rao Bounds for Discrete-time Nonlinear Dynamic Systems”, Automatica, vol. 37, no. 11, pp. 1703-1716, 2001.
[18] H. L. Van Trees, K. L. Bell, “Bayesian Bounds for Parameter Estimation and Nonlinear Filtering/Tracking,” 1th ed. Piscataway, N.J.: Wiley-IEEE Press, 2007.
[19] P. Misra and P. Enge, “Global Positioning System—Signals, Measurements, and Performance”, Second Edition, Ganga-Jamuna Press, 2006.
[20] B. Ristic, S. Arulampalam and N. Gordon, “Beyond the Kalman Filter—Particle Filters for Tracking Applications,” Artech House Inc., 2004.
The present invention aims to solve the above mentioned problems. In particular, the present invention aims to provide a method and apparatus that provides robust ranging at high accuracy and high processing rate.
The present invention is recited in the independent claims. Optional features are recited in the sub-claims.
In an embodiment, the present invention enables to exploit the carrier phase information directly, i.e. to resolve the ambiguity problem directly and independently for each signal source in a tracking module. To this end, the noise-free part of the receive signal is modelled as an exact function of the propagation delay. In particular, the dependency between the carrier phase and the delay parameter is taken into account in an explicit way. Additionally, a statistical model for the temporal evolution of the delay parameter is used to align a tracking algorithm to the grid of possible delay solutions. Over subsequent observation blocks then a long integration ambiguity histogram (LIAH) is constructed with the likelihood function evaluated on the ambiguity grid. This allows to resolve the ambiguity issue and to output a precise unbiased measurement of the delay parameter. The potential of this approach can be demonstrated within a Global Navigation Satellite System (GNSS) scenario where each millisecond it becomes possible to measure the range between a fast moving satellite and a GPS receiver with millimeter accuracy. The present invention is not limited to a GPS application and may also be implemented, for example, in FMCW radar positioning.
In another embodiment, the present invention demonstrates that it is possible to combine carrier and baseband information at the physical layer in order to obtain an ultra-precise and unambiguous time-delay estimate with a single narrowband transmit signal. To this end, a precise observation model is derived and side-information about the temporal evolution of the delay process is taken into account. By applying a Bayesian error bound, the present invention explores the fundamental performance limit for delay estimation with the established models. In order to make this theoretic accuracy accessible at moderate complexity, a two-step approximation of the optimum tracking algorithm is formulated. The presented estimation theoretic analysis and the Monte-Carlo simulations of the developed algorithm according to the present invention show that it is possible to increase the ranging and synchronization accuracy of wireless systems by a factor of 100.
Embodiments of the invention are now described with reference to the accompanying drawings in which:
An embodiment is described which allows a receive device to measure precisely and unambiguously the time-delay of a radio wave signal with known structure s(t) and carrier frequency ωc. The procedure is performed in the digital domain, i.e. the receive device preprocesses the analog receive sensor signal by a radio front-end consisting of amplifiers, filters, two mixers and two samplers.
The two sampling devices operate at a frequency
Within a time period of T=NTs, which is referred to as the duration of one processing block, a buffering device collects N=T/Ts samples from each digital output of the radio front-end. Therefore in the k-th processing block the digital data
is available, where
y
k,n=γkxk,n(θk)+nk,n
are the two samples at each sampling instance, in the following referred to as snapshot. Each snapshot contains the sampled version of the received radio wave
x
k,n(θk)=T(τk)dn(νk)sk,n(τk,νk),
scaled by the signal attenuation γk, with the matrix
due to the propagation delay τk and the carrier frequency ωc of the radio wave from the transmitter to the receiver and a vector
due to the rate of νk change of the propagation delay (relative velocity between transmitter and receiver). The signal ss
E[n
k,n
n
k,n
T
]=I
2.
For brevity of notation, the signal parameters (delay and velocity) are summarized in vector notation
θk=[τk νk]T.
The temporal evolution of the two parameters (delay and velocity) over subsequent processing blocks follows an autoregressive model of first order
where the process matrix is
and zk is additive process noise with the covariance matrix
Precise Time-Delay Measurement with LIAH
The aim of the receiver is to output accurate measurements (estimates) of the signal parameters {circumflex over (γ)}k, {circumflex over (τ)}k and {circumflex over (ν)}k for a large number K of subsequent processing blocks. As accurate estimates of {circumflex over (τ)}k exhibit a strong ambiguity the procedure contains a tracking module (ambiguity alignment) and an ambiguity resolution module (LIAH). The two modules perform individual steps and exchange information within each processing block.
The alignment filter provides the estimates {circumflex over (γ)}k and {circumflex over (ν)}k and produces an alignment center estimate {circumflex over (τ)}A,k, which allows to deduce the grid of possible ambiguous solutions for {circumflex over (τ)}k. In each block a signal generator produces replicas xk(θk1), xk(θk2), . . . , xk(θkJ) of the transmit signal for J different versions of the parameters θk. The signal generator forwards the replicas to J calculation units. The signal generator also generates a replica xk({tilde over (θ)}k) and forwards it to the ambiguity alignment unit. The j-th unit performs the calculation
The calculation result fkj is forwarded to the alignment unit. The alignment unit holds J weighting wkj factors. With the calculations fkj the weightings are updated
w
k
j
=w
k−1
jexp(−fkj)
and subsequently normalized such that
The tracking estimates are calculated
The effective filter size
is calculated. If Jeff<βJ, a resampling step is performed, which recalculates the parameter points θk1, θk2, . . . , θkJ by systematic resampling, adds roughening noise
θkj=θkj+rkj
and sets
for all j=1,2, . . . , J. Finally, the parameter points θk1, θk2, . . . , θkJ are propagated by the process model
θk+1j=Fθkj+zkj
for all j=1,2, . . . , J. A prediction for the next block is produced by
The estimates {circumflex over (τ)}A,k and {circumflex over (ν)}k are forwarded to the LIAH module. The attenuation estimate is calculated
Initialization: For the initialization of the ambiguity alignment filter, i.e. for the first processing block k=0 the parameter points θ01, θ02, . . . , θ0J are initialized by
τ0j˜[μunit,r−0.5Δ, μunit,τ+0.5Δ]
ν0j˜(μinit,, σinit,ν2),
where μunit,τand μunit,ν are the estimates of an acquisition algorithm and σunit,ν is the standard deviation of the algorithm with respect to the velocity. Δ is proportional to half the carrier wave-length
The weighting factors are initialized
for all j=1,2, . . . , J and the prediction for the first block is produced by
Shift Event: If the LIAH filter triggers the shift event and provides a shift lshift, all parameter versions are shifted such that
τkj←τkj+lshiftΔ.
The long integration ambiguity histogram (LIAH) filter provides an likelihood histogram pk on the grid of possible ambiguous solutions for {circumflex over (τ)}k. In each block a signal generator produces replicas of the transmit signal
with A (A is an odd number) different versions of the parameters
where αk ∈ a×1 is a vector containing the number of intervals Δ between the ambiguity grid point a and the alignment center point {circumflex over (τ)}A,k. The signal generator forwards the replicas to A calculation units. The a-th unit performs the calculation
The calculation result fka is forwarded to the LIAH unit. The LIAH unit holds A histogram values pka. With the calculations fka the histogram values are updated
and subsequently normalized such that
The delay estimate {circumflex over (τ)}k is determined by
The LIAH unit holds A counters cka. If a histogram value exceeds pka>ρ, where
is incremented by one. If cka>C the filter triggers a shift event, sets all counters cka to to zero, resets the histogram
and feedbacks the shift lshift (number of intervals Δ between old and new alignment center) to the alignment filter.
Select Checked Ambiguities: The LIAH unit checks a set of A ambiguities within the delay interval
[{circumflex over (τ)}a,k−AmaxΔ, {circumflex over (τ)}A,k+AmaxΔ].
Therefore, the checked positions on the ambiguity grid are
Every time the shift event occurs the interval width is updated by
under the constraint |u−v|=1.
Initialize Checked Ambiguities: In the beginning of the procedure, i.e. k=0 the initialization is
with ϵ being a design parameter and σinit,r the standard deviation of the acquisition algorithm with respect to the delay parameter.
Integration into a Conventional Receiver
A possible approach to integrate the presented technique into a conventional receiver is to use a conventional DLL/PLL receiver as alignment filter. The DLL/PLL provides a carrier-phase measurement {circumflex over (ψ)}k and a coarse time-delay estimate {circumflex over (τ)}k from which an alignment center point can de deduced by solving
and setting
Consider a scenario with one radio transmitter and a receiver. The transmitter emits an electromagnetic wave of known periodic structure
x′(t)=s′(t)cos(Ωct),
where s′(t) ∈ is a periodic baseband signal and ωc is the carrier frequency. The power of the transmitted signal x′(t) is assumed to be normalized
∫˜∞∞|X′(ω)|2dω=1,
where X′(ω)|2 is the Fourier transform of the autocorrelation function of x′(t). The signal at the receive sensor)
is characterized by a time-dependent propagation delay τ(t) ∈ and an attenuation γ′(t) ∈, while the additive random noise n′(t) is assumed to have flat power spectral density (PSD) Ψ′(ω)=N0. The receive signal y′(t) is demodulated with two orthogonal functions
d
1(t)=cos(ωct)
d
2(t)=−sin(ωct)
oscillating at carrier frequency (see
Note that n′1(t) and n′2(t) are uncorrelated, i.e. E[n′1(t)n′2(t)]=0, ∀ t. Moreover, the PSD of the additive white Gaussian noise components n′1(t) is given by
The ideal low-pass filters h(t) of the two channels are assumed to have one-sided bandwidth B. The filtered analog signals can, thus, be written as
with * being the convolution operator. The signals of the two channels can be written in compact matrix-vector representation
After filtering, the analog signals are sampled at a rate of
In the following one observation block consists of N samples from each channel, i.e. yk ∈ 2N is the observation in block k. The time-delay process is assumed to be approximately linear within one block
τ(t)≈τk+νk(t−tk), t ∈ [tk;tk+NTS),
where τk is the time-delay of the first sample in block k and νk is the relative velocity (normalized by speed of light c) between receiver and transmitter in block k. The signal strength γ(t) is assumed to be constant over one block
γ(t)=γk, t ∈[tk;tk+NTS).
For brevity of notation, the two parameter vectors
θ′k=[τk νk γk]T
θk=[τk νk]T
are introduced. The n-th sample in the k-th block is given by
where τk,n is the delay of the n-th sample in the k-th block
τk,n(θk)=τk+νk(n−1)TS.
The vector bn(θk) can be decomposed
b
n(θk)=T(τk)dn(νk)
into a matrix
which only depends on the delay parameter τk and a vector
which only depends on the relative velocity νk. The receive signal can, thus, be modeled as
x
k,n(θ′k)=γkT(τk)d,(νk)sk,n(θk).
The vector of one observation block yk is defined as
The noise nk is assumed to be uncorrelated. Hence, the noise covariance matrix is given as
R=E[nknkT]=BN0I2N,
where I2N is the identity matrix of dimension 2N.
ML Estimation with a Single Block
The receiver is interested in estimating the parameters of the receive signal in order to gain information about the propagation channel between transmitter and receiver. Using only one observation block for estimation, the maximum likelihood (ML) estimator is the best unbiased estimator. The ML estimator is attained by solving the optimization
The ML estimate for the signal strength can be computed in closed form as a function of θk and is given by
Substituting γk in the ML function results in a compact version
and the problem can be reformulated
Note that only the maximization with respect to τk and νk is required, while the ML estimate for γk can be computed in closed form with the solution {circumflex over (θ)}k. In
with block length N=2046 and chip duration Ct=977.53 ns is used, whereb ∈ {−1, +1} is a sequence of M=1023 binary symbols, each of duration Tc, mod (·) is the modulo operator and g(t) is a bandlimited transmit pulse. The carrier frequency is given as fc==1575.42 MHz. The one-sided bandwidth of the ideal low-pass filter at the receiver is equal to B=Tc−1=1.023 MHz: The sampling frequency is chosen according to the sampling theorem fs=2B=2.046 MHz. The ML function is plotted in a range from 0 m to 0.4 m in τk-direction. There is no clear global maximum within this range, however, there are many local maxima. The distance between two neighboring maxima is half the wavelength
m as the sign of the signal amplitude is not known at the receiver. As the height of the local maxima decays slowly in the direction of τk, the multi-modal shape of the ML function makes estimation with one observation block impossible. The idea of the following sections is to resolve this ambiguity issue with the help of an likelihood histogram which is constructed over a long integration time.
In order to realize a long integration time within a dynamic scenario, the temporal evolution of the channel parameters has to be modeled precisely. Here an autoregressive model of first order is used
where the matrix F ∈ 2×2 is the process matrix and wk is additive process noise with the covariance matrix
This simple model turns out to be quiet accurate for practical GNSS scenarios. A meaningful assumption for practical scenarios is that the first derivative {dot over (τ)}(t) of the continuous time-delay process τ(t) given in (19) is nearly constant over the duration of one block. Consequently, higher order derivatives are almost equal to zero and the second order derivative {umlaut over (τ)}(t) can be modeled as a zero mean white noise process {umlaut over (τ)}(t)=w(t) with
The process matrix F is then given as
where T=tk+1−tk is the duration of one block, i.e. T=NTs and the covariance matrix Q as
Precise Delay Estimation with Ambiguity Resolution
Apart from the observation model and the process model, the prior knowledge from the acquisition algorithm is assumed to be Gaussian, i.e. τ1˜−(μinit,τ,σinit,τ2
Ambiguity Grid Alignment with a Particle Filter
The optimal estimator for the considered estimation problem is the conditional mean estimator (CME). Since the observation model shows severe non-linearities, the CME cannot be stated in closed form. Hence, suboptimal approaches need to be used. An estimation method, which approximates the CME and is able to handle strong non-linearities, is particle filtering. Note that the PF is identical to the CME only for an infinite number of particles. However, a large number of particles results in high computational complexity. In order to guarantee a correct and precise delay-estimation with a small number of particles, step 1 only focuses on finding one arbitrary ambiguity. Therefore, the particles are initialized
τ1j˜[μinit,τ−0.5Δ, μinit,τ+0.5Δ]
ν1j˜(μinit,ν, σinit,ν2)
for j=1, . . . , J, where J is the number of used particles. Note that the time-delay particles are initialized uniformly in the range of one ambiguity. With this initialization, it is possible to estimate and track one ambiguity with high accuracy. The weight wkj of particle j is updated
wbj×wk−1jpy(yk|θkj, {circumflex over (γ)}k(θkj))
exploiting the observation yk of block k. Note that the weights are initialized uniformly, i.e.
and are normalized in every step such that Σj 1Jwkj=1. The tracking estimates are
In every block the effective sample size
is computed. If Jeff<0.5·J, a resampling and roughening step is needed to guarantee the stability of the PF. Here systematic resampling is used. The process model is used to update the particles
θk+1j=Fθkj+wkj, j ∈ {1, . . . , J}.
Ambiguity Resolution with LIAH
In the second step the structural information of the likelihood function is exploited. As the distance Δ between two neighboring ambiguities is known, the positions of all ambiguities, referred to as the ambiguity grid Ak, can be estimated from {dot over (τ)}A,k. In the following the algorithm only considers the ambiguities within the interval
[{dot over (τ)}A,k−∈σinit,τ, {circumflex over (τ)}A,k+∈σinit,τ].
Note that there is a trade-off between complexity and reliability which needs to be taken into account when choosing the design parameter ϵ. The probability that the true ambiguity, i.e. the time-delay τk is within the interval
[μinit,τ−ϵσinit,τ, μinit,τ+ϵσinit,τ]
can be computed with the initial knowledge of the acquisition. The core part of the presented delay estimation process consists of different stages. In every stage the likelihood of a fixed number A≥5 of ambiguities out of the grid Ak is tested. Without loss of generality, A is assumed to be odd. Within one stage the algorithm decides for one of the A ambiguities. The search is refined in the next stage. The A ambiguities for the first stage are
with round (·) being the rounding operator, i ∈ {1, . . . , A} and
where ┌ ┐ is the ceiling operator, i.e. the time-delay values
akjΔ+{dot over (τ)}A,k, i ∈ {1, . . . , A}
are checked. In order to decide for one of these ambiguities, a probability measure pki is introduced and assigned to each of the tested ambiguities. The likelihood histogram pki is initialized
and updated in each block
pki×pk−1ipy(yk|{circumflex over (θ)}ki, {umlaut over (γ)}k({circumflex over (θ)}ki)),
with
{circumflex over (θ)}ki=[αkiΔ+{circumflex over (τ)}A,k {circumflex over (ν)}k]T.
where {circumflex over (τ)}A,k and {circumflex over (ν)}k are the estimates of the aligning filter. The histogram is then normalized such that Σi=1Apki=1. The delay parameter can be determined with the histogram
where i =argmaxj∈{1, . . . , A}pki. Clearly, the true ambiguity needs not to be among the tested ambiguities in the first stage if the initial search interval is wider than A ambiguities. In order to find the true ambiguity, the search needs to be refined. Thus, a counter cki, i=1, . . . , A, is introduced and initialized with zero, coi=0, ∀i. Every time pk>ρ, where
ckby one. If a block is reached where ckexceeds the design parameter C ∈ , the algorithm decides for ambiguity aand refines the search on the ambiguity grid. The particles τkof the grid aligning filter are shifted
i.e. also the estimate of the ambiguity τA,k is shifted
and amax is updated as
with
under the constraint |u−v|=1. The interval which is considered in the following blocks is a [{circumflex over (τ)}A,k−amaxΔ, {circumflex over (τ)}A,k+amaxΔ]. The tested ambiguities are computed as stated above. Note that if a
no further refinement is necessary since all ambiguities in the considered interval are tested.
For the simulations a simple two-dimensional GNSS scenario depicted in
where T0 is the circulation time of the transmitter Tx and α0=α(0). Applying the law of cosine results in
for the range between transmitter and receiver, where R=RE+h. The velocity is given by
For the simulations, the geometry is chosen according to a GPS scenario. RE=6371·103 m is equal to the radius of the earth. To=11 h 58 min and h=20200·103 m are chosen according to the satellites of GPS
The parameter σω2 of the nearly constant velocity model is determined with a least squares approach. For the scenario this results in σω2=2.6279·10−14 The GPS-signal g′(t), the bandwidth B, the carrier frequency fc and the sampling frequency are chosen as described above. The signal strength is assumed to be 55 dB-Hz. The initial uncertainty of the acquisition is
The design parameters for the algorithm are =3.5, A=9, J=100 and C=10. In
the mean error (MSE)
and the variance
are measured for the estimation via LIAH with 250 realizations. It is observed, that the RMSE decreases to millimeter level within 1000 observation blocks
Apart from that, the estimation result is unbiased, i.e.
for k sufficiently large. As a reference, the range estimation result attained with a standard DLL/PLL approach, which is described and implemented in [16], is plotted in
of this prior art method is dominated by the bias, i.e. a systematic estimation error. Ignoring this error and considering the variance, it is possible to estimate the range on meter-level
with this conventional approach.
In a further embodiment of the invention, the ranging problem is addressed by means of a frequency-modulated continuous-wave (FMCW) radar example with a single transmit and a single receive antenna. A complex-valued representation of a wireless transmit signal x(t) ∈ C can in general be factorized
where the carrier signal xc(t) ∈ C is a complex sinusoid
oscillating at carrier frequency ωc ∈ R. The signal xb(t) ∈ C denotes an application-dependent modulating baseband component. For FMCW radar the baseband signal is given by a complex-valued chirp
where μ denotes the rate of change in rad per s2 and To the duration of the chirp signal. The bandwidth of the baseband signal is
The receiver observes a delayed and attenuated version of the transmit signal
distorted by an additive white noise process η z (t) ∈ C. The attenuation parameter γ ∈ R models the effect of the path loss and the antenna gain while τ ∈ R represents the time-delay due to the propagation of the electro-magnetic radio wave between the transmitter and the receiver. For FMCW applications the receiver usually performs compression in the analog domain by multiplying the receive signal with the complex-conjugate transmit signal
The compressed signal is low-pass filtered to a bandwidth of Bs>μτ/π and sampled at a rate
such that we finally obtain N digital receive samples
with the vector entries
wherein η(t) is the low-pass filtered version of ηy(t) such that the digital noise samples η exhibit a white temporal covariance matrix
The ranging problem deals with the question how to extract a high-resolution estimate τ(y) for the time-delay parameter τ given the receive vector y.
The achievable mean squared error (MSE) with an unbiased estimator is lower bounded by the Cramér-Rao lower bound (CRLB).
where the Fisher information with respect to the delay parameter is defined
The optimum estimator which asymptotically achieves the theoretic limit is the maximum-likelihood estimator (MLE)
Based on the above three formulas, it becomes clear that the performance and complexity of the ranging problem depends on the statistical receive model p(y; τ).
Conventional Baseband-oriented Ranging: The conventional approach to the ranging problem is based on the simplification that the effect of the propagation delay τ onto the carrier component xc (t) can be modeled as a constant independent phase shift φ, i.e.,
such that the parametric probability density function of the received signal is modeled as
The Fisher information with respect to the delay parameter is given by
where it has been used that
Joint Carrier-Baseband Ranging: In the case where the exact model and the parametric probability density function (the carrier-oriented model)
is used. Then the time-delay Fisher information is
In
between both Fisher information measures is depicted for a system with carrier frequency fc=24 GHz and with fc=77 GHz. The values To=10 μs, τ=40 ns are set and χ (τ) calculated as a function of the bandwidth B in MHz. It can be observed that switching from the model applied in the conventional approach to the carrier-oriented model is associated with a significant Fisher information gain. Measured in equivalent signal-to-noise ratio (SNR) the carrier-oriented model provides an information gain of 40 dB for a system with fc=24 GHz and B=200 MHz which, due to the relation between the MSE and the Fisher information, is equivalent to diminishing the root-mean squared error √{square root over (MSE(τ))} by a factor of 100. This approximately corresponds to the ratio
Consequently, the performance gain which is associated with the configuration fc=77 GHz is higher than for the system with fc=24 GHz.
While the carrier-oriented model seems highly attractive with respect to its estimation theoretic performance, it has a serious drawback when considering the complexity associated with practical estimation algorithms. In order to envision this aspect, the maximum-likelihood estimator for the model applied in the conventional approach is considered. Given a specific ranging parameter τ the complex attenuation can be substituted
such that the time-delay maximum-likelihood estimate is found by solving (maximization task)
Depicted in
under the true parameter τ0 to for the exemplary system with fc=24 GHz and B=200 MHz. It can be observed that the likelihood function decays smoothly and that the maximization task can be solved at low complexity as the objective function has a one pronounced global extremum. Using the carrier-oriented model we obtain the substitution
for the real-valued attenuation γ, such that the likelihood function obtains the form
In
It becomes obvious that the expected likelihood function has a significantly sharper extremum at τ0 to than the baseband-oriented counterpart normalized expected value of the likelihood function. However, maximization of the likelihood function fc (y;τ) under an individual realization of the observation datay is difficult as the likelihood function exhibits pronounced side lobes around the true parameter. This also causes the problem that for certain noise realizations a side lobe attains a higher likelihood value than the main lobe which is close to the true parameter, therefore causing a high estimation error. However, the discussed FMCW radar example shows that using the joint carrier-baseband model is in theory associated with a significant accuracy gain but might in practice require high computational complexity and high integration time in order to benefit from this estimation theoretic fact.
As will be described in more detail below, the present invention discloses a method wherein it is possible to derive a reliable low-complexity algorithm which enables the full ranging precision provided by the exact measurement (carrier-oriented) model of the line-of-sight propagation delay after a short transient phase to be obtained. According to this exemplary implementation of the present invention, a joint carrier-baseband time-delay estimation is formulated as a state-space estimation problem wherein access to side information about the temporal evolution of the propagation delay process is utilized and signal processing may be performed over subsequent observation blocks. Based on the state-space model, a theoretic Bayesian performance bound and a nonlinear tracking algorithm is formulated which allows to accurately align to the moving set of likelihood extrema. In addition, a LIAH is constructed by evaluating and accumulating the likelihood function in an efficient way on a subset of possible range estimation solutions. After a short transient phase the histogram allows to detect the most probable ambiguity out of the solution set and to output an ultra-precise and unambiguous delay estimate for every observation block. With the applications of FMCW radar and GPS satellite-based positioning the efficiency of this approach is demonstrated by the present invention and the possible performance level highlighted. For a traffic control scenario, a sub-millimeter accuracy with a 24 GHz FMCW radar (240 MHz bandwidth) is obtained by performing ranging with the proposed approach of the present invention. For a GPS setup with fc=1.57 GHz (6.138 MHz bandwidth) it is shown that LIAH allows unambiguous low SNR tracking of the range parameter with respect to a fast moving narrowb and transmit satellite at a RMSE level of a few millimeters.
A mobile sender x(tx) and a mobile receive sensor z(t) both comprise individual clocks tx and t. The transmitter emits an analog radio wave
x(tx)=ejω t
on the carrier frequency fc with a baseband component xb(tx) ∈ . At the receive sensor z(t) the transmit signal arrives attenuated by γ(t) ∈ R and delayed by τ(t) ∈ R
After demodulation and low-pass filtering to a bandwidth of Bs, the analog output (receive signal) is obtained
This receive signal is further processed in blocks. In the k-th block, where
(k−1)To≤t<kTo,
it is assumed that the rate of change of the delay process and the attenuation are approximately constant, i.e.,
τ(t)≈τk+νk(t−(k−1)To)
γ(t)≈γk.
Sampling the analog signal at a rate of fs=2Bs the k-th receive block is obtained
where all parameters of the delay process have been summarized into a state-space vector
θk=[τk νk]T.
The measurement model is therefore fully characterized by the parametric probability density function
Substituting the attenuation parameter by its maximum-likelihood estimate
a compressed measurement model can be stated in the form
Due to the assumption that during one observation block the rate of change of the delay process νk stays nearly constant, additionally to the measurement equation a state-space model can be formulated
where σW is an application-specific variable, such that the state-space model is fully characterized by the process model
For the initialization of the state-space model it is assumed that prior knowledge
is available. According to the process model, the marginal p(θk) is a Gaussian random variable with mean
and covariance
Σk=Q(Σk−1+W)QT.
The resulting signal processing task of deducing an accurate estimate for the delay process τ(t) is identified as a nonlinear Bayesian tracking problem. The solution to such a problem is to combine the measurement model and the process (state-space) model in order to calculate the optimum filter
{circumflex over (θ)}k(Yk)=∫⊖
(optimum estimate) of the block-wise state parameter vector θk, where the receive matrix
contains the receive signals of the k-th block and all k−1 blocks received in the past. The average tracking error in the k-th block is given by the MSE matrix
Tracking with a Low-Complexity Filter
In order to calculate the optimum estimate for the problem at hand it is required to find an appropriate representation of the a posteriori probability density
by using the measurement model while, with the process (state-space) model, the a priori probability density is given by
Achieving a performance close to the theoretic limit through a low-complexity approximation of the optimum estimate is challenging. This is due to the fact that for a problem with nonlinear measurement model no closed-form solutions for the required calculation of these aforementioned formulas exist.
Additionally, here the probability density function of the measurement model has a highly multimodal shape within the delay parameter τk. In the direction of the velocity parameter νk, the probability density function decays smoothly. This problem is known as ambiguity problem and is visualized by the expected likelihood function fc (τ; τ 0) depicted in
where λ is the wave-length and the speed of light. Therefore, the values of the a posteriori probability density are tracked exclusively at points which are located lΔ, l ∈ Z around the aligning mode. This is achieved by constructing a LIAH over subsequent blocks. Combining the information of the aligning filter and the ambiguity histogram enables deduction of an unambiguous and precise solution for the ranging problem.
Ambiguity Aligning with a Gaussian Particle Filter
For the adaptive alignment and tracking of the ambiguity grid a Gaussian particle filter is used. To this end, a single mode of the a posteriori density in block k is approximated by a multivariate normal distribution N (μk, Σk) with mean μk and covariance Σk and the single-mode a priori density is approximated by N (˜ {tilde over (μ)}k, ˜ {tilde over (Σ)}k) with mean ˜ {tilde over (μ)}k and covariance ˜ {tilde over (Σ)}k. In order to update these representations, in the k-th block J particles are drawn from the approximation of the a priori density
θkj˜({tilde over (μ)}k, {tilde over (Σ)}k)
and the measurement model is used to calculate the weights
ũkj˜{tilde over (p)}(yk|θkj)
with the received signal yk. After normalization of the particle weights
the mean and covariance of the a posteriori density are estimated by
Then a correction is applied in order to form the a posteriori mean
μk={tilde over (μ)}k+μΔ(lk),
where
μΔ(l)=[lΔ 0]T
is a shift of the delay estimate by l ∈ Z modes. The shift information lk for each block is provided by the ambiguity resolution algorithm described in the next section. In a prediction step the a priori for the (k+1)-th block is formed by
{tilde over (μ)}k+1=Qμk
{tilde over (Σ)}k+1=QΣkQT+Z.
In order to focus on a single mode in the direction of the delay parameter, in the first block k=1 the alignment filter is initialized with the a priori knowledge
where ΣP<1. As the measurement model is highly informative with respect to the delay parameter, the estimate of the a posterior covariance matrix degenerates within the first tracking blocks, i.e., the entries of the a posterior covariance matrix become very small. Further, with the update by the precise state-space model, the degeneracy propagates into the next block. This forms a severe problem for the convergence of the velocity parameter estimates νk which is essential for the correct behavior of the LIAH algorithm. In order to counteract the effect of fast degeneration of the covariance matrices, while preserving the ability of the algorithm to take advantage of the precise measurement and state-space model, the a posterior covariance estimate is smoothed by the a prior covariance matrix with a smoothing factor ρS<1. Further, in order to prevent divergence of the algorithm, the individual entries of the a prior covariance are restricted to the values of the initialization matrix
while preserving positive semi-definiteness by
These steps result in a smooth convergence of the covariance matrices during the alignment process and an increasing tracking accuracy over time while avoiding degeneracy.
While the alignment filter provides local information about the a posteriori density around the aligning mode, the ambiguity resolution algorithm aims at the likelihood characterization of a set A of surrounding modes. In order to select the best mode for the solution for the ranging problem a likelihood ambiguity histogram (LIAH) with |A|=A elements is adaptively updated in each block by calculating the histogram weights
{tilde over (w)}kawk−1a{circumflex over (p)}(yk|θka)
with
θka={circumflex over (μ)}k+μΔ(lka)
and performing the normalization
The sequence lak characterizes the set A of modes which are evaluated around the aligning mode μk. In order to reduce and fix the complexity of the algorithm the sequence lak is designed such that the A bins of the histogram cover values
la ∈ [−σH;σH],
i.e., not all modes are checked when σH>A-1 2. Note, that in order to obtain a symmetric histogram A=|A| is restricted to odd numbers. After each update, the histogram is monitored by calculating its mean and standard deviation
In order to adjust the aligning algorithm to the dominant mode, a counter ca* is incremented if the histogram uncertainty falls below
where the most likely mode is selected from the histogram by
If the uncertainty is higher than the aforementioned threshold, all counters ca are set to zero. In the case that ca exceeds the threshold ca>C, a histogram shift is triggered. Therefore, the ambiguity resolution algorithm informs the aligning filter to shift the a priori and a posteriori estimates by lk=la*k modes. In the case of no shift event lk=0 is set. After each shift event the histogram size is adjusted
with ρ H<1, a new sequence lak is formed according to the A bins of the histogram values and the histogram weights are initialized by
The computational complexity of the LIAH algorithm is restricted by checking only a subset of modes within a certain delay interval. In the initial phase of the tracking process, the correct ambiguity is not necessarily part of the ambiguity set A. The approach of diminishing the size of the histogram range σH assures that the set of tested ambiguities is refined with each shift event in a conservative way until A neighboring ambiguities, centered by the aligning mode, are checked. When the histogram size has reached the smallest range, i.e.,
with each subsequent shift event the shift threshold C is increased and the histogram initialized by
wka=(l=lka;0,ρwσH)
and a subsequent normalization, in order to diminish the probability of further shift events and favor bins in the middle of the histogram.
In order to demonstrate the possible ranging performance under a precise observation model and exploitation of the available side information provided by the state-space model two technical applications are considered by the present invention i.e. ranging with a FMCW radar and synchronization with GPS. For both examples, a typical scenario and a strict reference is defined in order to measure the estimation error with Monte-Carlo simulations.
Ranging with a FMCW Radar
In addressing the initial radar problem, a velocity control scenario on a highway with a FMCW radar system is considered. A car is driving at a constant velocity v along a road. A FMCW transceiver with a single transmit and a single collocated receive sensor is placed at a distance h from the middle of the traffic lane (see
By measuring the propagation delay process τ(t) from the receive blocks yk the radar system is able to deduce the velocity v of the car and check for compliance with the traffic rules. In this example, the position of the car is parameterized
β(t)=β0+νt.
This allows calculation of an exact reference for the distance
and and the relative velocity
between car and the FMCW radar transceiver, such that it is possible to use
in order to evaluate the range estimation error and
for the estimation error of the relative velocity. For this example a car velocity of ν=120 km/h is assumed and a measurement distance of h=10 m. For the FMCW transceiver the carrier frequency
GHz is set, the observation time for each block to To=1 μs and the bandwidth to B=240 MHz. Measuring the error of the autoregressive model (43) by
for K0=20000 blocks around the starting point
a process error level of
is obtained. For each run the algorithm is initialized randomly by
For the alignment algorithm J=100 particles and P= are used. The histogram has size A=11, a shift threshold of C=10, an initial width of σH=9·1 m/Δc modes, a resizing factor of ρH=0.5 and a low-level initialization factor of ρW=0.33. For covariance smoothing ρS=0.99 is used.
As a second technical application, the present invention contemplates satellite-based position with the GPS system. For the example scenario a single in-view transmitting satellite moving on a circular orbit around the earth is considered. The height of the satellite is h and the radius of the earth is RE (see
The scenario is parameterized by a time-dependent angle
where α0 is the starting angle at t=0 and TR is the duration of one full orbit. This simple model allows the generation of a rigorous reference
τ(t)=√{square root over (RE2+R2−2RER cos(α(t)))}
for the distance between satellite and receiver and its rate of change
A reasonable setup according to a GPS application is RE=6371·103 m, TR=11 h 58 min and h=20200·103 m. The GPS baseband signal has the structure
where dm is a satellite-dependent chip sequence of length M=1023,
is the duration of each chip and g(t) is a bandlimited transmit pulse. Due to the signal structure the duration of one signal period is To=1 ms. A typical GPS carrier frequency is =1.57 GHz and a bandwidth of B=6·1.023=6.138 MHz is assumed. Measuring the error of the auto-regressive model for K0=20000 blocks around the starting angle
a process error level of
is obtained. For each run the algorithm is initialized randomly by
For the alignment algorithm J=25 particles and ρP=¼ are used. The histogram has size A=11, a shift threshold of C=10, an initial width of
modes, a resizing factor of ρH=0.5 and a low-level initialization factor of ρW=0.33. For covariance smoothing ρS=0.9975 is used.
after approximately 5 s.
As described in respect of embodiments of the present invention, unbiased ranging with high precision with one single transmitter is possible in the tracking module of a receiver at moderate complexity. This is achieved by modeling the carrier phase as an exact function of the propagation delay parameter in the statistical model of the receive signal. The ambiguity issue is resolved by means of a tracking based alignment filter and a long integration histogram which assigns probabilities to each ambiguity. In a satellite-based synchronization and positioning application (GPS), the presented approach can outperform prior art ranging methods (DLL/PLL) with respect to the RMSE.
Number | Date | Country | Kind |
---|---|---|---|
102015103605.3 | Mar 2015 | DE | national |
This application is a National Stage Application under 35 U.S.C. § 371 of PCT Application No. PCT/EP2016/055380, filed Mar. 11, 2016, which claims priority to German Patent Application No. 102015103605.3, filed Mar. 11, 2015, the entire disclosures of which are hereby incorporated by reference.
Filing Document | Filing Date | Country | Kind |
---|---|---|---|
PCT/EP2016/055380 | 3/11/2016 | WO | 00 |