A method for estimating and tracking locally oscillating signals. The method comprises the steps of taking measurements of an input signal that approximately preserve the inner products among signals in a class of signals of interest and computing an estimate of parameters of the input signal from its inner products with other signals. The step of taking measurements may be linear and approximately preserve inner products, or may be non-linear and approximately preserves inner products. Further, the step of taking measurements is nonadaptive and may comprise compressive sensing. In turn, the compressive sensing may comprise projection using one of a random matrix, a pseudorandom matrix, a sparse matrix and a code matrix. The step of tracking said signal of interest with a phase-locked loop may comprise, for example, operating on compressively sampled data or by operating on compressively sampled frequency modulated data, tracking phase and frequency.
|
1. A method for estimating and tracking locally oscillating signals, the method comprising the steps of:
acquiring compressive samples of a locally oscillating analog or digital input signal with a first compressive sampler;
computing an estimate of parameters of the input signal from inner products of said acquired compressive samples with compressive samples of an estimated output;
generating said estimated output with an oscillator, where said estimated output comprises samples of said estimated parameters; and
converting with a second compressive sampler said samples of said estimated parameters into said compressive samples of said estimated output.
16. A system for estimating and tracking locally oscillating signals, the system comprising:
a first compressive sampler for acquiring samples of a locally oscillating analog or digital input signal;
means for computing an estimate of a parameters of the input signal, said means for computing having an input connected to out output of said first compressive sampler;
an oscillator connected to an output of said means for computing; and
a second compressive sampler having an input connected to an output of said oscillator and an output connected to an input of said means for computing; wherein,
said oscillator generates an estimated output of said means for computing, said estimated output comprising samples of said estimated parameters;
said second compressive sampler converts said samples of said estimated parameters into compressive samples of said estimated output; and
said means for computing computes an estimate of parameters of the input signal from inner products of said acquired compressive samples with compressive samples of an estimated output.
2. A method according to
3. A method according to
4. A method according to
5. A method according to
6. A method according to
7. A method according to
8. A method according to
9. A method according to
10. A method according to
11. A method according to
12. A method according to of
13. A method according to
14. A method according to
15. A method according to
17. A system for estimating and tracking locally oscillating signals according to
18. A system for estimating and tracking locally oscillating signals according to
|
The present application claims the benefit of the filing date of U.S. Provisional Patent Application Ser. No. 61/161,753 filed by the present inventors on Mar. 19, 2009.
The aforementioned provisional patent application is hereby incorporated by reference in its entirety.
The present inventions was made with government support under the following government grants or contracts: DARPA/ONR Grant No. N66001-08-1-2065, DARPA/SPAWAR Grant No. N66001-061-2011 and National Science Foundation Grant No. CCF 0431150.
1. Field of the Invention
Many applications in communications and signal processing require that the parameters of a signal be estimated and tracked over time.
One particularly important example in radio communications is frequency and phase tracking of a complex-valued sinusoidal signal
s(t)=Aej(2πft+θ), (1)
or a real-valued sinusoidal signal
s(t)=A cos(2πft+θ), (2)
where A is the amplitude, j=√{square root over (−1)}, f is the frequency of the sinusoid in Hz, t represents time in seconds, and θ is the phase.
It is often useful to estimate the frequency f and phase θ of a received version x(t) of such as sinusoid that has been corrupted by some linear or nonlinear transformation, interference, and/or noise. This estimation plays an important role in many radio receivers, for example, to estimate the carrier frequency of a radio transmission for subsequent demodulation of some message signal (see John G. Proakis and Masoud Salehi. “Communication Systems Engineering, Second Edition,” Prentice Hall, New Jersey, 2002). Additional applications of such parameter estimation and tracking include but are not limited to: ultrasound imaging (see C. Bartoletti, M. Caciotta, and F. Leccese (Italy), “New PLL System to High Accuracy Ultrasound Measurement,” in Circuits, Signals, and Systems (449)-2004), satellite communication (see Seki Kazuhiko and Kato Shuzo, “A Self Frequency Preset PLL Synthesizer (Special Issue on Satellite Communications Networking and Applications),” in IEICE transactions on communications, Vol. E76-B, No. 5(19930525) pp. 473-479), and radar (see Jian Zhang, Minghui Yang, Shuqi Zheng, and Xiaowei Sun, “A low-cost Doppler radar system with 24 GHz PLL for remote detection of heart beat,” in Microwave and Optical Technology Letters, Volume 50 Issue 12, Pages 3139-3142 Published Online: 24 Sep. 2008).
Moreover, it is often useful track changes in the frequency and phase as they become functions of time, that is, f(t) and θ(t). Without loss of generality, one typically considers tracking only θ(t), since one can incorporate changes in f(t) into θ(t). That is, changing the frequency over time by Δf changes the phase by Δft. This combined estimation and tracking plays an important role in many applications, such as the demodulation of frequency modulated (FM) communication signals.
Estimation and tracking of analog signals can be performed either in the analog or digital domains (by first sampling via an analog-to-digital converter).
2. Brief Description of the Related Art
A standard and widely used method and apparatus for tracking the frequency and phase of sinusoidal and other signals is the phase locked loop (PLL) (see S. Goldman, Phase-Locked Loop Engineering Handbook for Integrated Circuits. Artech House, 2007). The PLL is an analog or digital (we will use the term discrete-time interchangeably) device that uses a feedback loop to continuously update an estimate of the frequency or phase (or both quantities) of the signal. One representative embodiment of a discrete-time PLL for real-valued sinusoidal signals like in equation (2) is shown in
Complex-valued PLLs operate similarly. For example to track a complex signal, instead of using an oscillator that generates a sine or cosine wave (sin(2πft+θ(t)) for example), the oscillator can attempt to match the phase with an exponential signal, generating e−jθ(t). Sithamparanathan Kandeepan and Sam Reisenfeld, “Phase Detector Models and Their Performances for IF/Baseband Frequency Recovery for Complex Envelope Based DSP Implemented PLL,” IEEE ICCS, 2002 offers a solid explanation of operating in the complex domain, and the tradeoffs for several different models of phase detection.
Consider an oscillatory digital (discrete-time) signal x[n] whose phase one wishes to track. The PLL tracks the signal phase by generating an estimated signal u[n] (using an estimated frequency and phase) and then comparing the input and estimated signals. If the phase of the estimated signal u[n] lags behind the input signal x[n], then the PLL feedback loop advances the phase of u[n], and vice versa. The goal of the feedback loop in this case is for the estimated signal to be orthogonal to the input. For example, if the input is sin(α), we want our oscillator to be at cos(β), where β≈α, due to the trigonometric relation,
If we multiply a sinusoidal input sin(2πf0t+θ1(t)) by cos(2πf1t+θ2(t)), then we obtain a high frequency component
and low frequency component
The high frequency component is removed by a loop filter, and if the estimate was approximately equal to the input, then the argument of sin(2π(f0−f1)t+(θ1(t)−θ2(t))), thus returning the phase difference by the approximation θ≈ sin(θ). This phase difference then provides the necessary information to update the oscillator, either in continuous or discrete-time.
The classical PLL of
where h[n−k] is the impulse response of the low-pass filter. The output {circumflex over (θ)}[n] can be interpreted as the correlation or the inner product of x[n] with u[n] using h[−n] as the inner product kernel (see T. Jebara, R. Kondor, and A. Howard, “Probability Product Kernels,” in Journal of Machine Learning Research, Vol 5, pg 819-844, 2004). This interpretation is the key insight that enables the generalization of the PLL in our invention.
The loop filter 130 operates on {circumflex over (θ)}[n]. Among one of many possibilities for this is an exponentially decaying moving average filter. Its output is the phase estimate θ[n] that controls the oscillator. In the case of a simple first-order moving average filter, we have
θ[n]=θ[n−1]+μ{circumflex over (θ)}[n], (5)
where μ is the decay rate of the exponential moving average. This filtering is usually performed to smooth the phase estimate θ[n] and stabilize the PLL in the presence of noise.
Note that, although the moving average is often described in the literature as a separate component of the PLL, its action can be incorporated in the impulse response of the low-pass filter h[n]. That is, defining the impulse response of the loop filter in equation (5) as g[n], we can compute that the estimated phase θ [n] corresponds to the inner product of x[n] with u[n] using h[−n]*g[−n] as the inner product kernel, where * denotes convolution (p[n]*z[n]=Σkp[k]z[n−k]).
The oscillator then uses the phase estimate θ[n] to produce the oscillating estimated signal x[n]=cos(2πf0n+θ[n]). Here f0 is the frequency of the oscillator, which is provided to PLL and should hopefully be near the frequencies of the signal being tracked. The ability to lock-on to an oscillation frequency in a large frequency band is one performance characteristics considered when designing/analyzing a PLL. If the PLL tracks both frequency and phase properly, then f0 just needs to be a rough estimate of fc
Several variations of this basic design exist; for example, components such as a multiplier or a divider can be inserted between the loop filter and the oscillator in order to allow tracking of a frequency that is at a multiple of the oscillator frequency (see D. Banerjee, PLL Performance, Simulation, and Design, 4th ed. Dog Ear Publishing, LLC, 2006).
A PLL can be implemented in analog hardware, software, or a mixture of both. For the mixed analog/digital PLL, the input is sampled from analog to digital, and provided to a discrete-time processor, Adjustments to the design can be made to handle delays in the loop if necessary. There are also some all-digital PLLs that rely on counting clock periods and thus perform a similar tracking function but not with a broad range of input signals.
For mixed analog/digital (analog input, digital processing) and all-digital (digital input, digital processing) PLLs, the delay of the loop should be considered when designing loop components such as filters and integrators, but the fundamental ideas of phase detection, filtering, and signal generation are the same. Each component has a digital counterpart; signal generation can become sin(2πf/fsn+θ[n]), where fs is the sampling frequency, filters can be designed digitally, and phase detection can be replaced with an ideal multiplier.
There has been some previous work on implementations of random sampling and simple non-uniform sampling schemes in phase-locked loops. Theoretical results of random sampling on loops such as a digital lock-in amplifier were addressed in M. O. Sonnaillon, R. Urteaga, F. J. Bonetto, M. Ordonez, “Implementation of a high-frequency digital lock-in amplifier,” in Electrical and Computer Engineering, 2005, Canadian Conference on, 1229-1232 May 2005, M. O. Sonnaillon, R. Urteaga, F. J. Bonetto, and M. Ordonez, “Random sampling in high-frequency digital Lock-In amplifiers,” in X1 Reunion de Trabajo en Procsamiento de la Informacion y Control, 752, September 2005, and M. O. Sonnaillon, R. Urteaga, and F. J. Bonetto, “High-Frequency Digital Lock-In Amplifier Using Random Sampling”, in Instrumentation and Measurement, IEEE Transactions on, vol 57, num 3, 616-621, March 2008. M. O. Sonnaillon and F. J. Bonetto, “FPGA Implementation of a Phase Locked Loop Based on Random Sampling,” in Programmable Logic, 2007. SPL '07. 2007 3rd Southern Conference on, 1-6, February 2007 follows up with a simple FPGA implementation of a phase-locked loop for quantized additive random sampling (ARS).
The basic effects of non-uniform sampling in PLLs have been analyzed, often in the context of considering sampling jitter. PLL's have been shown to work under these circumstances. For example, A. Weinberg and B. Liu, “Discrete Time Analyses of Nonuniform Sampling First- and Second-Order Digital Phase Lock Loops”, in Communications, IEEE Transactions on, vol 22, num 2, pps 123-137, February 1974 addresses the issue.
Some digital PLLs attempt to sample the signal at or near zero-crossings (see Saleh R Al-Araji, Zahir M. Hussain, and Mahmoud A. Al-Qutayri, “Digital Phase Lock Loops: Architectures and Applications,”Springer, The Netherlands, 2006). Additionally the digital tan-lock loop uses the sampling from the output of the loop to adjust the new sampling time.
Compressive sensing and other demodulators differ from these schemes by taking random linear combinations of the signal inputs. The fundamental difference in underlying principle is that the measurements preserve weighted inner products, and thus do not destroy signal phase information.
Compressive Sensing and the Restricted Isometry Property
In the standard CS framework, we acquire a signal xεN via the linear measurements
y=Φx, (6)
where Φ is an M×N matrix representing the sampling system and yεM is the vector of measurements acquired. For simplicity, we deal with real-valued rather than quantized measurements y. Classical sampling theory dictates that to ensure that there is no loss of information the number of samples M should be at least the signal dimension N. The CS theory, on the other hand, permits the acquisition of significantly fewer samples than N, as long as the signal x is sparse or compressible in some basis (see E. Candès, J. Romberg, and T. Tao, “Robust uncertainty principles: Exact signal reconstruction from highly incomplete frequency information,” IEEE Trans. Inform. Theory, vol. 52, no. 2, pp. 489-509, 2006; E. J. Candès, “Compressive sampling,” in Proc. International Congress of Mathematicians, Madrid, Spain, 2006, vol. 3, pp. 1433-1452; D. L. Donoho, “Compressed sensing,” IEEE Trans. Info. Theory, vol. 52, no. 4, pp. 1289-1306, September 2006; and E. J. Candès and T. Tao, “Decoding by linear programming,” IEEE Trans. Inform. Theory, vol. 51, pp. 4203-4215, December 2005).
To understand precisely how many measurements are required to enable the recovery of a signal x, we must first examine the properties of Φ that guarantee satisfactory performance of the sensing system. Candès and Tao (see E. J. Candès and T. Tao, “Decoding by linear programming,” IEEE Trans. Inform. Theory, vol. 51, pp. 4203-4215, December 2005) introduced the restricted isometry property (RIP) of a matrix Φ and established its important role in CS. First we define to be the set of all K-sparse signals in N, i.e.,
ΣK={xεN:∥x∥0≦K},
where ∥·∥0 denotes the l0 quasi-norm, which simply counts the number of non-zero entries of a vector. We say that a matrix Φ satisfies the RIP of order K if there exists a constant δε(0, 1), such that
(1−δ)∥x∥22≦∥Φx∥22≦(1+δ)∥x∥22 (7)
holds for all xεΣK. In other words, Φ acts as an approximate isometry on the set of vectors that are K-sparse.
It is clear that if we wish to be able to recover all K-sparse signals x from the measurements y, then a necessary condition on Φ is that Φx1≠Φx2 for any pair x1, x2εΣK with x1≠x2. Equivalently, we require ∥Φ(x1−x2)∥22>0, which is guaranteed if Φ satisfies the RIP of order 2K with constant δ<1. Furthermore, the RIP also ensures that a variety of practical algorithms can successfully recover any compressible signal from noisy measurements. The following theorem, a slight modification of Theorem 1.2 from E. J. Candès, “The restricted isometry property and its implications for compressed sensing,” in Compte Rendus de l'Academie des Sciences, Paris, Series I, 2008, vol. 346, pp. 589-592, makes this precise by bounding the recovery error of x with respect to the sampling noise and with respect to the l1-distance from x to its best K-term approximation denoted xK:
Theorem 1. Suppose that Φ satisfies the RIP of order 2K with isometry constant satisfying δ<√{square root over (2)}−1. Given measurements of the form y=Φx+e, where ∥e∥2<ε, the solution to
Note that in practice we may wish to acquire signals that are sparse or compressible with respect to a certain sparsity basis Ψ, i.e., x=Ψα where Ψ is represented as an N×N matrix and αεΣK. In this case we would require instead that ΦΨ satisfy the RIP, and the performance guarantee would be on ∥{circumflex over (α)}−α∥2.
Before we discuss how one can actually obtain a matrix Φ that satisfies the RIP, we observe that we can restate the RIP in a slightly more general form. If δε(0, 1) and D,F⊂N, we will say that a mapping Φ is a δ-stable embedding of (D,F) if
(1−δ)∥d−f∥22≦∥Φd−Φf∥22≦(1+δ)∥d−f∥22 (9)
for all dεD and fεF. A mapping satisfying this property is also commonly called bi-Lipschitz. Observe that for a matrix Φ, satisfying the RIP of order 2K is equivalent to being a δ-stable embedding of (ΣK,ΣK) or of (Σ2K, {0}). (In general, if Φ is a δ-stable embedding of (D, F), this is equivalent to it being a δ-stable embedding of ({tilde over (D)}, {0}) where {tilde over (D)}={d−f:dεD, fεF}. This formulation can sometimes be more convenient.) Furthermore, if the matrix ΦΨ satisfies the RIP of order 2K then Φ is a δ-stable embedding of (Ψ(ΣK), Ψ(ΣK)) or ((Ψ(Σ2K), {0}), where Ψ(ΣK)={x=Ψα:αεΣk}.
A key consequence of the RIP is that inner products are approximately preserved between any two sparse or compressible signals:
<Φx1,Φx2>≈<x1,x2>. (10)
This property ensures that the signal geometry between the signals of interest is preserved by the sampling process, i.e., (10) is an equality up to a small difference, ±η, that can be controlled by the number of measurements.
Random Matrix Constructions
We now turn to the more general question of how to construct linear mappings Φ that satisfy (9) for particular sets D and F. While it is possible to obtain deterministic constructions of such operators, in order to obtain Φ with the fewest number of rows possible, we often turn to random matrix constructions. One of several possibilities, we will construct our random matrices as follows: given M and N, generate random M×N matrices Φ by choosing the entries φij as independent and identically distributed (i.i.d.) random variables. For our embodiment, we will impose two conditions on the random distribution. First, we use a distribution that will yield a matrix that is norm-preserving, which will require that
Second, we utilize a distribution that is a sub-Gaussian distribution, meaning that there exists a constant C>0 such that
(eΦ
for all tε This says that the moment-generating function of our distribution is dominated by that of a Gaussian distribution, which is also equivalent to requiring that tails of our distribution decay at least as fast as the tails of a Gaussian distribution. Examples of sub-Gaussian distributions include the Gaussian distribution, the Rademacher distribution, and the uniform distribution. In general, any distribution with bounded support is sub-Gaussian (see V. V. Buldygin and Yu. V. Kozachenko, Metric Characterization of Random Variables and Random Processes, American Mathematical Society, Providence, R.I., 2000).
The key property of sub-Gaussian random variables that will be of use in our discussion is that for any xεN, the random variable ∥Φx∥22 is strongly concentrated about its expected value; that is, there exists a constant c>0 that depends only on the constant C in (12) such that
Pr(|∥Φx∥22−∥x∥22|≧δ∥x∥22)≦2e−cMδ
where the probability is taken over all M×N matrices Φ (see D. Achlioptas, “Database-friendly random projections,” in Proc. Symp. Principles of Database Systems, 2001).
Stable Embeddings
We now provide a number of results that we will use extensively in the sequel to ensure the stability of our compressive detection, classification, estimation, and filtering algorithms.
We will start by considering the simple case where we want to have a δ-stable embedding of (D, F) where D={di}i=1|D| and F={fj}j=1|F| are finite sets of points in N. In the case where D=F, this is essentially the Johnson-Lindenstrauss (JL) lemma (see W. B Johnson and J. Lindenstrauss, “Extensions of Lipschitz mappings into a Hilbert space,” in Proc. Conf. in Modern Analysis and Probability, 1984, pp. 189-206; S. Dasgupta and A. Gupta, “An elementary proof of the Johnson-Lindenstrauss lemma,” Tech. Rep. TR-99-006, Berkeley, Calif., 1999; and D. Achlioptas, “Database-friendly random projections,” in Proc. Symp. Principles of Database Systems, 2001). |D| denotes the number of points in D.
Lemma 1. Let D and F be sets of points in N. Fix δ, βε(0, 1). Let Φ be an M×N random matrix with i.i.d. entries chosen from a distribution that satisfies (13). If
then with probability exceeding 1−β, Φ is a δ-stable embedding of (D, F).
Proof. To prove the result we apply (13) to the |D∥F| vectors corresponding to all possible di−fj. By applying the union bound, we obtain that the probability of (9) not holding, β, is bounded by
β≦2|D∥F|e−−cMδ
By solving for M we obtain the desired result.
We now consider the case where D=(ΨJ) and F={0}, where ΨJ is an orthonormal basis for a K-dimensional subspace of
N, and
(·) denotes the range, or column span, of an operator. Thus, we wish to obtain a Φ that preserves the norm of any vector xε
(ΨJ). At first glance, this might seem very different than the setting for Lemma 14, since the former involves an uncountable point set, and the latter deals only with embedding a finite number of points. However, we will see that the dimension K bounds the complexity of this space and thus it can be characterized in terms of a finite number of points. The following lemma follows from Lemma 5.1 in R. G. Baraniuk, M. Davenport, R. A. DeVore, and M. B. Wakin, “A simple proof of the restricted isometry property for random matrices,” Constructive Approximation, vol. 28, no. 3, pp. 253-263, December 2008.
Lemma 2. Suppose that ΨJ is an orthonormal basis for a K-dimensional subspace of N. Fix δ,βε(0, 1). Let Φ be an M×N random matrix with i.i.d. entries chosen from a distribution that satisfies (13). If
then with probability exceeding 1−β, Φ is a δ-stable embedding of ((ΨJ, {0}).
We now observe that we can extend this result beyond a single K-dimensional subspace to all possible subspaces of K-sparse signals, i.e., ΣK (see R. G. Baraniuk, M. Davenport, R. A. DeVore, and M. B. Wakin, “A simple proof of the restricted isometry property for random matrices,” Constructive Approximation, vol. 28, no. 3, pp. 253-263, December 2008).
Lemma 3. Let Ψ be an orthonormal basis and fix δ,βε(0, 1). Let Φ be an M×N random matrix with i.i.d. entries chosen from a distribution that satisfies (13). If
with e denoting the base of the natural logarithm, then with probability exceeding 1−β, Φ is a δ-stable embedding of (Ψ(ΣK), {0}).
A similar technique has recently been used to demonstrate that random projections also provide a stable embedding of nonlinear manifolds (see R. G. Baraniuk and M. B. Wakin, “Random projections of smooth manifolds,” Foundations of Computational Mathematics, vol. 9, no. 1, pp. 51-77, February 2009): under certain assumptions on the curvature and volume of a K-dimensional manifold ⊂
N, a random sensing matrix with
will with high probability provide a δ-stable embedding of (,
).
We will make further use of these connections in the following sections to aid in our analysis of solving inference problems using compressive measurements.
Compressive Samplers
Compressive sensing (CS) theory opens the door for alternative acquisition and sampling systems. In particular, CS allows us to achieve sub-Nyquist sampling rates and new practical sampling techniques or implementations. In this document, we discuss one way in which the discrete CS framework can be extended to the analog domain, and several new acquisition modalities which exploit the theory. Such sampling modalities include random demodulation (see J. N. Laska, S. Kirolos, M. E Duarte, T. Ragheb, R. G. Baraniuk, and Y. Massoud, “Theory and implementation of an analog-to-information conversion using random demodulation,” in Proc. IEEE Int. Symposium on Circuits and Systems (ISCAS), New Orleans, La., May 2007, to appear and S. Kirolos, J. Laska, M. Wakin, M. Duarte, D. Baron, T. Ragheb, Y. Massoud, and R. Baraniuk, “Analog-to-information conversion via random demodulation,” in In Proc. IEEE Dallas Circuits and Systems Workshop (DCAS), 2006), an architecture based on a wideband pseudorandom modulator and a low-rate sampler, random sampling (see A. C. Gilbert, S. Muthukrishnan, and M. J. Strauss, “Improved time bounds for near-optimal sparse Fourier representations,” in Proc. Wavelets XI at SPIE Optics and Photonics, San Diego, Calif., August 2005), an architecture based on pseudo-random non-uniform time samples, and coset sampling (see R. Shenoy, “Nonuniform sampling of signals and applications,” Circuits and Systems, 1994. ISCAS '94., 1994 IEEE International Symposium on, vol. 2, pp. 181-184 vol. 2, May-2 Jun. 1994). Both of these systems can efficiently acquire a large class of compressible signals. Additionally, we discuss sampling from zero-crossings which can result in very low cost and low power acquisition systems, and recovery from samples that are quantized to 1-bit.
Analog Signal Model for CS
CS theory is framed in terms of discrete vectors and dictionaries, but the concepts can also be extended to continuous-time signals. One possible model is that of an analog signal x(t) that is a periodic or a finite-length signal which can be represented by its Fourier series. When the signal is also bandlimited, its samples at the Nyquist rate suffice to represent it. Under these assumptions, the discrete Fourier transform (DFT) coefficients of the regular samples of the signal are the same as the Fourier series coefficients. We refer to such signals as Fourier-sparse or Fourier-compressible if the vector of DFT coefficients is sparse or compressible, respectively. Thus, we can assume and operate on a discretized signal, x, which consists of samples of x(t) at or faster than the Nyquist rate. While this model is used in the systems introduced in this document, similar models may be applied for other acquisition systems.
Random Demodulator
The architecture of the random demodulator is depicted in
In our simulations with real data, it is possible to sample bandwidths of 6 MHz using 1/10 of the Nyquist rate and recover the signal with blocks as small as N=256. This system can be represented by a banded matrix Φ containing N/M pseudo-random ±1s per row, which operates on x. For example, with N=9 and M=3, such a Φ is expressed as
There are many ways to design a practical random demodulator system. For instance, the integrate and dump feature can be replaced by any number of analog or digital filters, the chipping sequence can be chosen to have values other than ±1, and the ADC can be non-uniform.
Random Sampling
One of the fundamental requirements in CS is that signals which are sparse in dictionary Ψ should be sampled with projections onto a set of functions Φ that are incoherent with Ψ. It is well known that the Fourier basis is maximally incoherent with the canonical basis; this has been applied to CS time-sparse signals from random subsets of its Fourier coefficients (see E. J. Candès, J. Romberg, and T. Tao, “Robust uncertainty principles: Exact signal reconstruction from highly incomplete frequency information,” IEEE Trans. Info. Theory, vol. 52, no. 2, pp. 489-509, February 2006). Equivalently, random subsets of the identity matrix, i.e., non-uniform random time samples, provide enough information to recover Fourier-sparse signals using CS. For example, with N=9 and M=3, one such resulting matrix Φ is
Such a system can be implemented in several ways. One implementation may include a high-rate Nyquist sampler that does not transmit or store all of the samples. Alternatively, random sampling can be implemented as a bank of parallel low-rate samplers potentially at different rates and out of phase with each other.
Non-uniform pseudo-random sampling has been studied in other contexts outside of the CS framework. For example, there exist specialized fast algorithms for recovery of extremely large Fourier-sparse signals. The algorithm uses samples obtained from a structured non-uniform scheme based on random seeds, and it provides guarantees similar to those available from standard CS (see A. C. Gilbert, S. Muthukrishnan, and M. J. Strauss, “Improved time bounds for near-optimal sparse Fourier representations,” in Proc. Wavelets XI at SPIE Optics and Photonics, San Diego, Calif., August 2005).
The Democracy of Compressive Sensing
Among the advantages of random measurements is a property commonly referred to as democracy. While it is not usually rigorously defined in the literature, democracy is usually taken to mean that each measurement contributes a similar amount of information about the signal x to the compressed representation y (see A. R. Calderbank and I. Daubechies, “The pros and cons of democracy,” in IEEE Trans. Inform. Theory, vol. 48, no. 6, pp. 1721-1725, June 2002., S. Güntürk, “Harmonic analysis of two problems in signalcompression,” Ph.D. dissertation, Program in Applied and Computation Mathematics, Princeton University, Princeton, N.J., September 2000., and E. Candès, “Integration of sensing and processing,” IMA annual program year workshop, December 2005). Others have described democracy to mean that each measurement is equally important (or unimportant) (see J. Romberg and M. Wakin, “Compressed sensing: A tutorial,” IEEE Stat. Signal Proc. Workshop, August 2007. Despite the fact that democracy is so frequently touted as an advantage of random measurements, it has received little analytical attention in the CS context. Perhaps more surprisingly, the property has not been explicitly exploited in applications until recently (see J. N. Laska, P. Boufounos, M. A. Davenport, and R. G. Baraniuk, “Democracy in action: Quantization, saturation, and compressive sensing,” Preprint, 2009.).
The fact that random measurements are democratic seems intuitive; when using random measurements, each measurement is a randomly weighted sum of a large fraction (or all) of the entries of x, and since the weights are chosen independently at random, no preference is given to any particular entries. More concretely, suppose that the measurements y1, y2, . . . , yM are independent and identically distributed (i.i.d.) according to some distribution fY, as is the case for the Φ considered in this report. Now suppose that we select {tilde over (M)}<M of the yi at random (or according to some procedure that is independent of y). Then clearly, we are left with a length-{tilde over (M)} measurement vector {tilde over (y)} such that each {tilde over (y)}1˜fY. Stated another way, if we set D=M−{tilde over (M)}, then there is no difference between collecting {tilde over (M)} measurements and collecting M measurements and deleting D of them, provided that this deletion is done independently of the actual values of y.
However, following this line of reasoning will ultimately lead to a rather weak definition of democracy. To see this, consider the case where the measurements are deleted by an adversary. By adaptively deleting the entries of y one can change the distribution of {tilde over (y)}. For example, the adversary can delete the D largest elements of y, thereby skewing the distribution of {tilde over (y)}. In many cases, especially if the same matrix Φ will be used repeatedly with different measurements being deleted each time, it would be far better to know that any {tilde over (M)} measurements will be sufficient to reconstruct the signal. This is a significantly stronger requirement.
In order to formally define this stronger notion of democracy, we must first describe the properties that a matrix must satisfy to ensure stable reconstruction. Towards that end, we recall the definition of the restricted isometry property (RIP) for the matrix Φ (see E. J. Candès and T. Tao, “Decoding by linear programming,” IEEE Trans. Inform. Theory, vol. 51, pp. 4203-4215, December 2005).
Definition 1. A matrix Φ satisfies the RIP of order K with constant δε(0, 1) if
(1−δ)∥x∥22≦∥Φx∥22≦(1+δ)∥x∥22 (17)
holds for all x such that ∥x∥0≦K.
Much is known about matrices that satisfy the RIP, but for our purposes it suffices to note that if we draw a random M×N matrix Φ whose entries φij are i.i.d. sub-Gaussian random variables, then provided that
M=O(K log(N/K)), (18)
we have that with high probability Φ will satisfy the RIP of order K with constant δ (see R. G. Baraniuk, M. A. Davenport, R. DeVore, and M. B. Wakin, “A simple proof of the restricted isometry property for random matrices,” Constructive Approximation, vol. 28, no. 3, pp. 253-263, December 2008, and R. DeVore, G. Petrova, and P. Wojtaszczyk, “Instance-optimality in probability with an l1-minimization decoder,” Appl. Comput. Harmon. Anal., vol. 27, no. 3, pp. 275-288, 2009.).
When it is satisfied, the RIP for a matrix Φ provides a sufficient condition to guarantee successful sparse recovery using a wide variety of algorithms (see E. J. Candès and T. Tao, “Decoding by linear programming,” IEEE Trans. Inform. Theory, vol. 51, pp. 4203-4215, December 2005, E. J. Candès, “The restricted isometry property and its implications for compressed sensing,” in Compte Rendus de l'Academie des Sciences, Paris, Series I, 2008, vol. 346, pp. 589-592, T. Cai, X. Guangwu, and J. Zhang, “On recovery of sparse signals via l1 minimization,”IEEE Trans. Inform. Theory, vol. 55, no. 7, pp. 3388-3397, 2009., M. Davenport and M. Wakin, “Analysis of Orthogonal Matching Pursuit using the restricted isometry property,” Preprint, 2009., D. Needell and R. Vershynin, “Uniform uncertainty principle and signal recovery via regularized orthogonal matching pursuit,” Found. Comput. Math., vol. 9, no. 3, pp. 317-334, 2009, “Signal recovery from incomplete and inaccurate measurements via regularized orthogonal matching pursuit,” 2007, to appear in IEEE J. Selected Topics in Signal Processing., D. Needell and J. A. Tropp, “Cosamp: Iterative signal recovery from incomplete and inaccurate samples,” Accepted to Appl. Comp. Harmonic Anal., 2008, W. Dai and O. Milenkovic, “Subspace pursuit for compressive sensing signal reconstruction,” IEEE Trans. Inform. Theory, vol. 55, no. 5, pp. 2230-2249, 2009., A. Cohen, W. Dahmen, and R. DeVore, “Instance optimal decoding by thresholding in compressed sensing,” 2008, preprint., T. Blumensath and M. E. Davies, “Iterative hard thresholding for compressive sensing,” Appl. Comp. Harmonic Anal., vol. 27, no. 3, pp. 265-274, November 2009., R. Chartrand and V. Staneva, “Restricted isometry properties and nonconvex compressive sensing,” Inverse Problems, vol. 24, no. 035020, pp. 1-14, 2008.). As an example, the RIP of order 2K (with isometry constant δ<√{square root over (2)}−1) is a sufficient condition to permit l1-minimization (the canonical convex optimization problem for sparse approximation) to exactly recover any K-sparse signal and to approximately recover those that are nearly sparse (see E. J. Candès, “The restricted isometry property and its implications for compressed sensing,” in Compte Rendus de l'Academie des Sciences, Paris, Series I, 2008, vol. 346, pp. 589-592). The same assumption is also a sufficient condition for robust recovery in noise using a modified l1-minimization (see E. J. Candès, “The restricted isometry property and its implications for compressed sensing,” in Compte Rendus de l'Academie des Sciences, Paris, Series I, 2008, vol. 346, pp. 589-592).
The RIP also provides us with a way to quantify our notion of democracy. To do so, we first establish some notation that will prove useful throughout this report. Let Γ⊂{1, 2, . . . , M}. By ΦΓ we mean the |Γ|×M matrix obtained by selecting the rows of Φ indexed by Γ. Alternatively, if Λ⊂{1, 2, . . . , N}, then we use ΦΛ to indicate the M×|Λ| matrix obtained by selecting the columns of Φ indexed by Λ. Following (see J. N. Laska, P. Boufounos, M. A. Davenport, and R. G. Baraniuk, “Democracy in action: Quantization, saturation, and compressive sensing,” Preprint, 2009.), we now formally define democracy as follows.
Definition 2. Let Φ be and M×N matrix, and let {tilde over (M)}≦M be given. We say that Φ is ({tilde over (M)}, K, δ)-democratic if for all Γ such that |Γ|≧{tilde over (M)} the matrix ΦΓ satisfies the RIP of order K with constant δ.
Theorem 2. Let Φ by an M×N matrix with elements Φij drawn according to N(0,1/M) and let {tilde over (M)}≦M, K≦{tilde over (M)}, and δε(0, 1) be given. Define D=M−{tilde over (M)}. If
then with probability exceeding 1−3e−C
Observe that we require roughly O(D log(N)) additional measurements to ensure that Φ is ({tilde over (M)}, K, δ)-democratic compared to the number of measurements required to simply ensure that Φ satisfies the RIP of order K. This seems intuitive; if we wish to be robust to the loss of any D measurements while retaining the RIP of order K, then we should expect to take at least D additional measurements. This is not unique to the CS framework. For instance, by oversampling, i.e., sampling faster than the minimum required Nyquist rate, uniform sampling systems can also improve robustness with respect to the loss of measurements. Reconstruction can be performed in principle on the remaining non-uniform grid, as long as the remaining samples satisfy the Nyquist range on average.
However, linear reconstruction in such cases is known to be unstable. Furthermore the linear reconstruction kernels are difficult to compute. Under certain conditions stable non-linear reconstruction is possible, although this poses further requirements on the subset set of samples that can be lost and the computation can be expensive. For example, dropping contiguous groups of measurements can be a challenge for the stability of the reconstruction algorithms. Instead, the democratic principle of CS allows dropping of an arbitrary subset D of the measurements without compromising the reconstruction stability, independent of the way these measurements are chosen.
In some applications, this difference may have significant impact. For example, in finite dynamic range quantizers, the measurements saturate when their magnitude exceeds some level. Thus, when uniformly sampling with a low saturation level, if one sample saturates, then the likelihood that any of the neighboring samples will saturate is high, and significant oversampling may be required to ensure any benefit. However, in CS, if many adjacent measurements were to saturate, then for only a slight increase in the number of measurements we can mitigate this kind of error by simply rejecting the saturated measurements; the fact that Φ is democratic ensures that this strategy will be effective.
Theorem 2 further guarantees graceful degradation due to loss of samples. Specifically, the theorem implies that reconstruction from any subset of CS measurements is stable to the loss of a potentially larger number of measurements than anticipated. To see this, suppose that and M×N matrix Φ is (M−D, K,δ)-democratic, but consider the situation where D+{tilde over (D)} measurements are dropped. It is clear from the proof of Theorem 2 that if {tilde over (D)}<K, then the resulting matrix ΦΓ will satisfy the RIP of order K−{tilde over (D)} with constant δ. Thus, from E. Candès, J. K. Romberg, and T. Tao, “Stable signal recovery from incomplete and inaccurate measurements,” Comm. Pure and Appl. Math., vol. 59, no. 8, pp. 1207-1223, 2006., if we define {tilde over (K)}=(K−{tilde over (D)})/2, then the reconstruction error is then bounded by
where x{tilde over (K)} denotes the best {tilde over (K)}-term approximation of x and C3 is an absolute constant depending on Φ that can be bounded using the constants derived in Theorem 2. Thus, if {tilde over (D)} is small then the additional error caused by dropping too many measurements will also be relatively small. To our knowledge, there is simply no analog to this kind of graceful degradation result for uniform sampling with linear reconstruction. When the number of dropped samples exceeds D, there is are no guarantees as to the accuracy of the reconstruction.
The present invention is a new method and apparatus for tracking and estimating parameters of locally oscillating signals from measurements that approximately preserve the inner product among signals in a class of signals of interest. Standard uniform sampling measurements are a classic example when gathered at the Nyquist rate. However, there is a far more general class of measurement schemes that offer advantages over standard Nyquist sampling. Random demodulation, random sampling, and coset sampling are three prime examples of these techniques.
Locally oscillating signals are sparse or compressible in a basis such as Fourier. The compressed sensing community and others have introduced the notion of the restricted isometry property. This property offers a way of justifying whether a sampling scheme will sufficiently preserve the inner product among signals within the class. However the present measurement schemes are not limited to those justified by this framework but offer it solely as an exemplary embodiment.
The primary application area for the examples was a compressive phase locked loops (PLL), which has a wide variety of applications, including but not limited to communications, phase tracking, robust control, sensing, and frequency modulation (FM) demodulation.
Below we present two novel designs and preferred embodiments:
The concept of democracy is also introduced into a CS-PLL with quantization effects, a concept recently introduced into the compressive sensing community. Due to the universality of compressive measurements, we can drop a few saturated measurements, yet still maintain performance (dropping too many would be problematic however).
The CS-PLL and QCS-PLL enable one to track oscillating signals in very large bandwidths using a small number of measurements. In addition to potentially operating below the Nyquist rate, however, our new PLL designs offer very low computational complexity that does not involve intermediate compressive sensing signal reconstruction. The traditional methods of greedy algorithms or l1 minimization may require many iterations and arithmetic operations, and to date operate on fixed length signals. One the other hand, the CS-PLL operates on a permeasurement basis, offering much more immediate feedback to other systems relying on the output signal.
In a preferred embodiment, the present invention is a method for estimating and tracking locally oscillating signals. The method comprises the steps of taking measurements of an analog or digital input signal that approximately preserve the inner products among signals in a class of signals of interest and computing an estimate of parameters of the input signal from its inner products with other signals. The step of taking measurements may be linear and approximately preserve inner products, or may be non-linear and approximately preserves inner products. Further, the step of taking measurements is nonadaptive. And may comprise compressive sensing. In turn, the compressive sensing may comprise projection using one of a random matrix, a pseudorandom matrix, a sparse matrix and a code matrix. The step of tracking said signal of interest with a phase-locked loop may comprise, for example, operating on compressively sampled data or by operating on compressively sampled frequency modulated data, tracking phase and frequency. The step of taking measurements may comprise taking measurements using one of a random demodulator, a random sampler, or another compressive sensing sensor. The step of computing an estimate may comprise estimating the parameters with a feedback loop. The signals of interest, for example may be locally periodic signals with time-varying fundamental frequency and/or phase or sinusoids with time varying frequency and/or phase. The step of computing an estimate of the parameters may comprise estimating the phase and/or frequency with a single feedback loop. The single feedback loop may operate in real-time.
In another embodiment, the present invention is a method for estimating and tracking locally oscillating signals. The method comprises the steps of taking measurements of an analog or digital input signal that is a stable embedding between a class of signals of interest and computing an estimate of parameters of the input signal from its inner products with other signals. The step of taking measurements may comprise a linear measurement technique and said linear measurement technique is a stable embedding between a class of signals of interest. The linear measurement technique may be nonadaptive.
In another embodiment, the present invention is a system for estimating and tracking locally oscillating signals. The system comprises means for taking measurements of an analog or digital input signal that approximately preserve inner products among signals in a class of signals of interest and means for computing an estimate of parameters of the input signal from its inner products with other signals.
Still other aspects, features, and advantages of the present invention are readily apparent from the following detailed description, simply by illustrating a preferable embodiments and implementations. The present invention is also capable of other and different embodiments and its several details can be modified in various obvious respects, all without departing from the spirit and scope of the present invention. Accordingly, the drawings and descriptions are to be regarded as illustrative in nature, and not as restrictive. Additional objects and advantages of the invention will be set forth in part in the description which follows and in part will be obvious from the description, or may be learned by practice of the invention.
if the saturated measurements are used for reconstruction (
(
Current digital and mixed analog/digital PLL designs in the literature operate under the assumption that the input signal is sampled uniformly at or above the Nyquist rate. However, as discussed in Section 1.3, in some applications the bandwidth of the signal of interest is so large that sampling at the Nyquist rate is prohibitive or impossible. However, some of these applications feature sparse or compressible signals that can be compressively sampled using CS techniques. Intuitively, a sinusoid whose frequency and phase we are interested in measuring and tracking could have a very high frequency but is (at least locally) sparse in the Fourier basis with K=1. Hence, such parameter estimation and tracking is a potential candidate for CS techniques.
The present invention is a new family of digital and mixed analog/digital PLLs based on CS. Recall that the calculation used to update the phase estimate in the basic PLL of
Therefore, we introduce into the basic PLL block diagram of
In one possible embodiment of the invention, the two compressive samplers are synchronized to apply the same compressive sampling operation Φ to the signals x(t) and u[n]. In one embodiment, the compressive sampler Φ is the random demodulator shown in
As with the classical PLL, the CS-PLL computes the inner product using a multiplier and a filter:
where the filter impulse response h[m] acts as the kernel of the inner product. We may also use a non-linear and/or time varying filter. This filter is not necessarily the same as in the classical PLL, and the use of index m denotes a lower sampling rate than the Nyquist sampling counterpart. Specifically, the introduction of the compressive sampler component in the CS-PLL implies that the kernel of the inner product in the compressive domain should also be designed according to the sampler used. In the ideal design, the inner product in the compressive domain is as close to the correlation of the signals as possible, as described in Eq. (10). This would reduce the error of the CS-PLL, but is only one of many tradeoffs to consider; others are group delay, filter order, and model accuracy.
The resulting estimate is smoothed using an additional filter, the “loop” filter, and input into an oscillator. Both of these components, the filters and oscillator, are the same as those used in the classical PLL. However, due to the rate reduction in the CS-PLL, filters must be redesigned to operate properly at the lower rate. For example, in some embodiments, the memory parameter of the exponential moving average loop filter—μ in Eq. (5)—could be scaled by the sampling rate reduction factor. Despite these details, our invention differs from the PLL in the use of compressive measurements instead of linear samples.
In one possible embodiment of the invention, we will use a conventional oscillator to generate the signal u[n] at Nyquist rate and then compressively sample it to obtain v[m]. In another possible embodiment, we combine the oscillator and the subsequent compressive sampling into one single digital operation. This is primarily an implementation issue. In another embodiment, the oscillator can operate at in the digital domain, at the Nyquist rate, and be sampled by a digital domain compressive sampler. Furthermore—depending on the architecture of the compressive sampler—the oscillator and the compressive sampler can often be combined into one component, which produces the same output as the two components acting independently.
We call the system in
PLLs are designed to obtain the frequency and/phase of the input signal after a reasonable number of iterations, and retain the frequency information as the signal progresses through time. For applications such as FM demodulation, the message signal actually turns out to be the error of the PLL when the correct frequency is maintained. For clock synchronization applications, the ideal error is perfectly zero. When the signal is accurately outputting the desired signal, the PLL has locked.
The theory of compressive sensing indicates that lock should be achieved and maintained under similar conditions as the traditional PLL. As stated earlier, we can assume that θ(t) contains both varying phase and frequency information. If we can obtain lock in a traditional PLL, the correlation between the input and generated signal is returning the desired correlation (zero for clock synchronization, or the message signal in FM demodulation, for example). Because inner products are preserved, the correlation between the compressively sampled input y[m] and compressively sampled oscillator signal v[m] will be very close to the desired output Similarly, by RIP, once loop is locked the correlation of the compressive loop will closely match that of the traditional and thus it will maintain lock similar to a traditional scenerio. Thus the ability to retain lock for a compressive PLL versus a traditional PLL is determined by how accurately the phase correlations of compressive measurements match the correlation of traditional measurements.
Classical PLLs aim to drive a signal and an oscillator to be perfectly out of phase with each other. In another possible embodiment of the CS-PLL, which we call the Quadrature CS-PLL (QCS-PLL), we track and estimate parameters by comparing the input signal to two oscillatory signals that are generated to be exactly 90° out of phase, i.e., two quadrature channels. The feedback loop aims to place one generated signal in phase with the input and the other at 90° out of phase. By comparing the phase differences of both signals with the input and by intelligently combining the results, the QCS-PLL design can address certain errors in the model, such as improper normalization of the sampling matrix.
An embodiment of the QCS-PLL is depicted in
where h1[−m] and h2[−m] are the inner product kernels. Often h1[−m] and h2[−m] will be the same.
The feedback loop aims to make one of the two channels as orthogonal to the input as possible and the other as correlated with the input as possible. The channels need not be designed orthogonal to the input initially, such as −45° and 45°. However an offset like this can just be viewed as an offset of 45° in the input signal, so we suppose without loss of generality that we have 0° and 90°. One of many possible ways to combine the phase estimates is by computing the arctan(·) of the two channels:
{circumflex over (θ)}[m]=arctan(b[m]/a[m]). (24)
The feedback loop can be designed to drive the estimate to 0 or to π/2, i.e., to b[m]=0, a[m]=1, or to b[m]=1, a[m]=0, respectively. For numerical stability in practical implementations the former design might be preferred, although careful implementation avoids the stability problems of the latter design.
Of course, trivial modifications include, but are not limited to, using the inverse ratio to estimate the phase through the arctan(·) function:
{circumflex over (θ)}[m]=arctan(a[m]/b[m]), (25)
or linearizing the arctangent around the origin and using only the ratio to estimate the phase difference:
{circumflex over (θ)}[m]=a[m]/b[m], or {circumflex over (θ)}[m]=b[m]/a[m]. (26)
One of the advantages of the QCS-PLL over the CS-PLL is that dividing the output of one channel by the other removes any gain constants attributable to the random coefficents in Phi, for example in an unnormalized ±random demodulation scheme.
As with the classical PLL and the CS-PLL, the estimate can be filtered using a loop filter, divided to lock to a different frequency multiples, or otherwise processed before being the input to the oscillators.
In addition to the notes on one embodiment of a CS-PLL in the previous subsection, we note that in the embodiment of the QCS-PLL the signal generation can be combined in one component that produces compressive samples of the signals of both oscillators. This component can be implemented in a number of ways. Some examples are: separate distinct oscillators and distinct compressive samplers, one combined quadrature oscillator and two compressive samples, or a single generator directly producing the output. Additionally, although the motivation of the QCS-PLL is to perform PLL functionality in the compressive domain, the QCS-PLL can be used when the input is a Nyquist-rate uniformly sampled signal. In this case the oscillator generates signals sampled at the Nyquist rate and the compressive samplers are eliminated from the design.
In practice, CS measurements are quantized with a finite-range quantizer before they enter the CS-PLL. In some cases, the quantizer may saturate, i.e., measurements that exceed the range T of the quantizer will take the value T. This can result in large measurement error. Furthermore, saturated measurements can make it significantly harder for the CS-PLL to lock on the carrier frequency.
Consider the following extreme example. Suppose we have vector y of length=2. By saturating both elements of y, i.e., y[0]=y[1]=T, the vector is necessarily re-oriented to 45 degrees, regardless of its angle before saturation. Thus, saturation changes the orientation of a vector, and the angle estimate between y and v can be highly inaccurate, so much so that the PLL may not converge.
In an additional embodiment of the CS-PLL and the QCS-PLL, we exploit the democracy property of CS measurements to combat finite range measurements. The adjustment to the design is as follows. The angle estimate {circumflex over (θ)}[m] is computed as before, however, in a time-instance m where a measurement exceeds the threshold, i.e., y[m]>T or y[m]<−T, the angle estimate is not updated. This results in a vector of angle estimates that is no longer uniformly sampled in time. To adjust the final estimate to be on a uniform time sample grid, we may choose from a variety of techniques including, but not limited to, interpolation, resampling, or functional approximation. In some embodiments, we may choose not to alter the output of the CS-PLL or QCS-PLL. Additionally, further processing may be performed directly on the output estimates.
The democracy property of CS measurement systems ensures that if we do not saturate too often, then the sampling system maintains RIP and the preservation of angles is secured. Uniformly sampled PLLs may also drop saturated samples to improve performance. In contrast, by using saturated measurements with the CS- or QCS-PLL, it may take much longer to converge or it may not converge at all.
The above new PLLs can operate with arbitrary locally period signals that are described in terms of a fundamental frequency and phase, including but not limited to square waves, triangle waves, sawtooth waves, etc.
A second order CS- and QCS-PLL embodiment can designed in similar fashion to Christian Stimming, “Frequency offset tracking in mcma systems,” Technical report, Berkley Wireless Research Center, May 2001. In this case, we have a loop filter and phase update described by the transfer function
where C1=ωn2, and C2=2ζωn. This embodiment can be used to track frequency as opposed to phase in the other designs.
Other variations of the basic PLL design (for example, with a multiplier or a divider inserted into the feedback loop to estimate the phase difference (see D. Banerjee, PLL Performance, Simulation, and Design, 4th ed. Dog Ear Publishing, LLC, 2006) that exploit the inner product between signals can be converted to a CS-based design.
Frequency modulated (FM) signals are commonly used in analog and digital communications. FM signals encode a signal of interest, r(t) by modulating the phase of a sinusoidal carrier:
where fc is the carrier frequency and fΔ is a parameter that controls the spectral occupancy of the FM signal.
In the examples, we demonstrate an FM signal with a carrier frequency fc that may lie anywhere in a bandwidth of interest significantly larger than the spectral occupancy of the FM signal. We test the case where the remaining bandwidth is free of other signals and contains only background noise. A classical approach in monitoring the whole bandwidth and using a digital PLL to demodulate the FM signal requires sampling at twice the bandwidth of interest where the FM signal may lie. However, since the FM signal is a very sparse signal in this bandwidth, compressive sampling is a promising approach to reduce the sampling rate.
The setup is as follows. We use a random demodulator as the compressive sampler. The kernel h in the PLL was defined as a moving average filter
where, L=128 is a parameter of the system and p is the undersampling rate of the compressive sampler. Furthermore, in the loop filter we set μ=0.01p. We choose the carrier frequency fc at random. The bandwidth of the message signal is 1.6 kHz, and it is embedded in a larger bandwidth of 10 kHz. We take measurements of the signal at ⅛ of the Nyquist rate for the larger bandwidth. To recover the signal of interest we differentiate the phase estimate of the PLL using a first order difference operator.
In a classical Nyquist-rate PLL the output s[m] would also be computed at the Nyquist rate of the whole bandwidth. With a compressive PLL the output is computed at the significantly lower rate in which the compressive sampler operates. In both cases the output is produced at a higher rate than the Nyquist rate corresponding to the signal of interest s(t), and, therefore, s[m] can be further downsampled without loss of information.
Once our system converges, it follows the input signal and the conventional PLL very closely. We admit a small attenuation in the recovered signal, however the rate at which we sampled was significantly below the Nyquist rate. In conventional systems, sampling at this rate would not permit the signal to be recovered.
This experiment demonstrates the feasibility of one of our embodiments. The FM signal can be demodulated using compressive measurements over a large bandwidth.
In this subsection we demonstrate the frequency locking capability of the CS-PLL embodiment.
The setup is as follows. We use a second order PLL defined by the loop filter equation
where C1=ωn2, and C2=2ζωn. The particular parameters used in our implementation were
where Bloop represents the desired loop bandwidth, fs is the sampling frequency. The measurements were taken at one fourth the Nyquist rate (i.e., M=1/(4N)). To compare results, the filter designed for the traditional PLL was taken with fs=16.384 MHz, but since the CS-PLL was operating at one-fourth the rate, ωn was recomputed for fs=16.384/4 MHz, and the new filter was implemented. An FM message signal was used, with a random unit magnitude spectrum from roughly 100 Hz to 3400 Hz with a narrow deep notch, and stopband everywhere else. The oscillator frequency was adjusted to be 98% of the FM center frequency, which was varied over trials. The output message after digital differentiation of a traditional PLL and the subsampled system were compared to the input.
Both the conventional PLL and the CS-PLL converge with fewer than 1×104 samples, with the CS-PLL taking slightly longer to converge. Convergence means that we are properly demodulating the input signal. In this plot, convergence is occurring when the demodulated signals are hovering around amplitude 43. The offset in amplitude is due to error in our original estimate of the carrier frequency. To demonstrate that the recovered signal is in fact correct, we display a zoomed in version of the plot in
Democracy as discussed in section was also applied to the PLL. As in the case of testing the PLL frequency locking ability, we use a second order filter with the same transfer function. This time we use fs=2.048 MHz and fix the FM center frequency at 800 kHz, but we continue to design the filters in the same fashion (with the adjusted sample rate parameter) and set the oscillator frequency at 98% of the FM center frequency. We again apply Nyquist sampling and compressive sampling with one-fourth the measurements. The signal follows the same description as above. The single channel system design (CS-PLL) was used here.
Two output signals are created, one in which the samples are allowed to saturate with any saturating samples are assigned the limit value, and another where saturating samples are dropped as explained in the democracy section. This implies for our PLL that the time index is incremented (we are still aware of when the measurement was taken), but but no stored values, (ie in the integrator) are changed. Note: a simple first order digital differentiator model is used to return the message; in the case when points are dropped due to democracy, the two difference points that would be computed from each dropped point (i.e. the difference between the dropped point and the previous point as well as the difference between the dropped point and the previous point) are ignored. This model does not affect the operation of the PLL as it occurs on an output of the feedback loop and while non-uniform filtering or other models could be used, the model is sufficient for justifying convergence.
The trends are demonstrated in the plots in
The CS-PLL and the QCS-PLL designs can be used in any application in which a PLL is useful. The main advantage in comparison to a classical PLL is the reduced rate of operation if a compressive sampler can be used, i.e., if the spectral occupancy of the input is relatively small compared to the acquired bandwidth.
The usage of a compressive sampler in the feedback loop is the critical difference between our designs and traditional PLLs. The fundamental principle that enables a PLL implementation in the compressive domain is Eq. 10. This guarantees that compressive sampling of signals maintains the geometry of the signal space in the compressive domain. Thus our designs are able to maintain the fundamental PLL building blocks and operate them at a significantly lower rate compared to a classical PLL.
A further novelty of the QCS-PLL design is the introduction of the second channel, which is 90° out of phase with the primary channel of the classical PLL or the CS-PLL. The intelligent combination of information from two channels instead of one enables one to handle things such as unnormalization of the sampling system. An important component of this design is how the combination of the two estimates is performed. The design choice balances trade-offs in loop stability, numerical stability, accuracy of approximation, and computational efficiency. Some examples are discussed in Sec. 4.2.
The emphasis in the system design has been placed on low-cost and low sampling rate operation. Still, the design mimics the fundamental design of a classical PLL. Since a PLL is a widely used signal processing component, a number of variations exist and can be used in a straightforward manner using compressive domain samples. For example, the inner product kernel h[−m] and the loop filter design can be modified depending on the application requirements.
An assumption of classical PLL designs is that the central frequency fc is approximately known during the operation of the PLL. Besides using a second order PLL to track frequency, another design that is sometimes used a dual PLL (see C. R. J. Jr and W. A. Sethares, Telecommunication Breakdown. Prentice Hall, 2004). In this setup, two loops are run in parellel with oscillators, with each one the same as before except that the first passes phase information to the second. The phase generated from the first loop is added to phase output from the loop filter of the second loop. The first loop in essence tracks phase for the second loop. This modification can be applied in a straightforward way to the CS-PLL or the QCS-PLL, as the phase detector component remains the same. If the inner product is preserved in the first loop it passes the correct frequency information to the second, which also would have a good correlation measure independent of the first loop if its inner product was also preserved. The second loop only affects the final phase update. See
Although the oscillators in our designs are sinusoidal, other oscillators can also be used to better match the input signal, depending on the application. These include, but are not limited to, square, sawtooth, and triangle waveforms.
The CS-PLL and QCS-PLL are applicable to many of the same signal processing problems where a traditional PLL is used on Nyquist-rate data. There are tradeoffs to consider when choosing whether a PLL will be driven with either real or complex input. This holds true for the traditional, CS-PLL and QCS-PLL. Using complex data generally increases the SNR, while a real PLL may be easier to implement. In the ideal case we would like to work directly with complex data. However this implies taking compressive measurements of the complex FM signal. We cannot convert to complex data using a digital Hilbert transform after taking measurements; these operations do not commute. Generally, however, even if complex data is used in a PLL, real data is actually obtained at the receiver and the data is converted to complex after the traditional analog-to-digital conversion. The conversion can be done in analog hardware at the antenna and if this is done or complex FM data is obtained in another manner we can utilize the performance boost, though an analog Hilbert transformer has its own drawbacks.
FM modulation is prone to larger noise at higher frequencies. Typical FM demodulators use a low-pass filter to de-emphasize this high frequency noise. So that the message signal's high-frequency components are not diminished relative to the low-frequency components, the FM transmitter pre-emphasizes those high-frequency components. The overall effect of this compensation strategy is that the message signal maintains its original power spectrum while high frequency noise is reduced.
For the CS-PLL and QCS-PLL, we allow the input signal to be pre-emphasized if desired for an application. The CS-PLL and QCS-PLL operate with similar disadvantages as the traditional PLL and will add noise at higher frequencies. The uses of a pre-emphasizer does not directly require modifications to the CS-PLL or QCS-PLL and a de-emphasizer can still be used on the output of the CS-PLL. We will continue to use the same sequence for the random demodulator or other compressive sampler as we do for the model in the feedback loop. The same loop filter can be used.
Similar to the traditional PLL case, the de-emphasis circuit should invert the frequency response of the pre-emphasis circuit. However, the major distinction between the output of the traditional and CS-PLLs and QCS-PLLs is that the signal is now at the lower (compressed) rate. Thus when designing the de-emphasis circuit, we would design the filter to operate at this new rate.
Phase-lock loops are designed to lock onto a relatively narrowband signal. Because we often have an estimate of the carrier frequency we can easily apply a traditional bandpass filter around the signal of interest when applying a traditional PLL. If we know the location in the spectrum of the signal before acquiring with the compressive sampler, we could apply an analog bandpass filter as in the traditional case and proceed with processing through a CS-PLL or QCS-PLL. However, the motivations for using CS often preclude filtering beforehand. This may be because we do not know initially where any signal or inteferer is, but find out later. Alternatively, we may wish to monitor the entire spectral band with the same set of data while using the PLL in parallel with other processing. Filtering of the compressive sampled data can also be done as shown in M. A. Davenport, P. T. Boufounos, and R. G. Baraniuk, “Compressive Domain Interference Cancellation”, in Workshop on Signal Processing with Adaptive Sparse Structured Representations (SPARS), Saint-Malo, France, April 2009. We can decompose the signal x as x=xS+xI, where xS is the desired signal and xi is interference noise The procedure is different from standard bandpass filtering. Rather than design taps to implement an FIR or IIR filter for a given sampling frequency, a projection matrix is computed that will map the spectral components of the interfering signal to the nullspace. In essence we are removing columns of the sampling matrix ΦΨ that correspond to the unwanted components. The interference cancellation matrix is written as
P=I−ΦJΦJ†, (31)
where ΦJ† denotes the pseudoinverse ΦJ†=(ΦJ*ΦJ)−1ΦJ*. In this instance Φ must include the basis transform to the frequency domain, not just the random demodulator'±1 structure.
The projection matrix P may be dense. The density would imply that a block-wise algorithm is necessary, making it very difficult to implement interference cancellation in real time. Given the way the CS-PLL and QCS-PLL were constructed by added a compressive sampler after the oscillator, it would suggest that the cancellation matrix P could be added to the loop after the sampler. Because P cannot easily be implemented on a per-sample basis like the random demodulator, this would introduce inordinate amount of delays in the loop. In most instances, we drop P from the loop. Fortunately, dropping the matrix results in minimal error for compressive sensing systems with low RIP constants δ. In M. A. Davenport, J. N. Laska, P. T. Boufounos, and R. G. Baraniuk, “A Simple Proof that Random Matrices are Democratic”, November 2009. [Online], it is shown that
for the RIP constant δ of matrix Φ and desired signal xS. The RIP constant of the Φ must be O(KS+KI), where KS is the sparsity of the desired signal support and KI is the sparsity of the interference signal. Hence, while the interference signal will be removed by applying the projection matrix, the norm of the new signal support components differs at most from the original by a factor of δ/1−δ. A scalar gain could be handled simply enough in the feedback loop, but support components must otherwise not be modified.
Furthermore, if we know the signal support of interest, we can actually design matrices that focus solely on eliminating the interference signal and preserving the signal support of interest. This would mean that we may slightly increase error in spectral components that do not lie in either the support or interference bands, but the assumption is that the original components will be minimal beforehand and thus the effect may not be significant. We solve a set of equations
P[ΦT
where TI and TS refer to the set of columns defining the support of the interference and desired signal respectively. ΦT
The foregoing description of the preferred embodiments of the invention has been presented for purposes of illustration and description. It is not intended to be exhaustive or to limit the invention to the precise form disclosed, and modifications and variations are possible in light of the above teachings or may be acquired from practice of the invention. The embodiments were chosen and described in order to explain the principles of the invention and its practical application to enable one skilled in the art to utilize the invention in various embodiments as are suited to the particular use contemplated. It is intended that the scope of the invention be defined by the claims appended hereto, and their equivalents. The entirety of each of the aforementioned documents is incorporated by reference herein.
Baraniuk, Richard G., Boufounos, Petros T., Schnelle, Stephen R., Davenport, Mark A., Laska, Jason N.
Patent | Priority | Assignee | Title |
8725784, | Mar 19 2009 | William Marsh Rice University | Method and apparatus for compressive domain filtering and interference cancellation |
9070218, | Jul 01 2013 | Xerox Corporation | Reconstructing an image of a scene captured using a compressed sensing device |
9412185, | Jul 01 2013 | Xerox Corporation | Reconstructing an image of a scene captured using a compressed sensing device |
Patent | Priority | Assignee | Title |
4894662, | Mar 01 1982 | WESTERN ATLAS INTERNATIONAL, INC , A CORP OF DE | Method and system for determining position on a moving platform, such as a ship, using signals from GPS satellites |
5412755, | Nov 26 1991 | The United States of America as represented by the Administrator of the | Optical implementation of inner product neural associative memory |
5465321, | Apr 07 1993 | The United States of America as represented by the Administrator of the | Hidden markov models for fault detection in dynamic systems |
6273571, | May 23 1995 | RealD Inc | Display architectures using an electronically controlled optical retarder stack |
6714585, | Jun 25 1999 | Ericsson Inc. | Rake combining methods and apparatus using weighting factors derived from knowledge of spreading spectrum signal characteristics |
6819469, | May 05 2003 | High-resolution spatial light modulator for 3-dimensional holographic display | |
7271747, | May 10 2005 | William Marsh Rice University | Method and apparatus for distributed compressed sensing |
7450032, | Dec 27 2005 | AT&T Corp | System and method for encoding a signal using compressed sensor measurements |
7511643, | May 10 2005 | William Marsh Rice University | Method and apparatus for distributed compressed sensing |
20020101546, | |||
20040263989, | |||
20060029279, | |||
20060239336, | |||
20070027656, | |||
20080228446, | |||
20090222226, |
Executed on | Assignor | Assignee | Conveyance | Frame | Reel | Doc |
Mar 19 2010 | William Marsh Rice University | (assignment on the face of the patent) | / | |||
May 14 2010 | BARANIUK, RICHARD G | William Marsh Rice University | ASSIGNMENT OF ASSIGNORS INTEREST SEE DOCUMENT FOR DETAILS | 025216 | /0926 | |
Jul 22 2010 | Rice University | NATIONAL SCIENCE FOUNDATION | CONFIRMATORY LICENSE SEE DOCUMENT FOR DETAILS | 025574 | /0025 | |
Jul 29 2010 | DAVENPORT, MARK A | William Marsh Rice University | ASSIGNMENT OF ASSIGNORS INTEREST SEE DOCUMENT FOR DETAILS | 025216 | /0926 | |
Aug 03 2010 | SCHNELLE, STEPHEN R | William Marsh Rice University | ASSIGNMENT OF ASSIGNORS INTEREST SEE DOCUMENT FOR DETAILS | 025216 | /0926 | |
Aug 23 2010 | BOUFOUNOS, PETROS T | William Marsh Rice University | ASSIGNMENT OF ASSIGNORS INTEREST SEE DOCUMENT FOR DETAILS | 025216 | /0926 | |
Sep 03 2010 | LASKA, JASON N | William Marsh Rice University | ASSIGNMENT OF ASSIGNORS INTEREST SEE DOCUMENT FOR DETAILS | 025216 | /0926 |
Date | Maintenance Fee Events |
Apr 24 2017 | M2551: Payment of Maintenance Fee, 4th Yr, Small Entity. |
Apr 22 2021 | M2552: Payment of Maintenance Fee, 8th Yr, Small Entity. |
Date | Maintenance Schedule |
Oct 22 2016 | 4 years fee payment window open |
Apr 22 2017 | 6 months grace period start (w surcharge) |
Oct 22 2017 | patent expiry (for year 4) |
Oct 22 2019 | 2 years to revive unintentionally abandoned end. (for year 4) |
Oct 22 2020 | 8 years fee payment window open |
Apr 22 2021 | 6 months grace period start (w surcharge) |
Oct 22 2021 | patent expiry (for year 8) |
Oct 22 2023 | 2 years to revive unintentionally abandoned end. (for year 8) |
Oct 22 2024 | 12 years fee payment window open |
Apr 22 2025 | 6 months grace period start (w surcharge) |
Oct 22 2025 | patent expiry (for year 12) |
Oct 22 2027 | 2 years to revive unintentionally abandoned end. (for year 12) |