 Research
 Open Access
 Published:
Decoupled 2D directionofarrival estimation based on sparse signal reconstruction
EURASIP Journal on Advances in Signal Processing volume 2015, Article number: 7 (2015)
Abstract
A new twodimensional directionofarrival estimation algorithm called 2D l _{1}singular value decomposition (SVD) and its improved version called enhanced2D l _{1}SVD are proposed in this paper. They are designed for rectangular arrays and can also be extended to rectangular arrays with faulty or missing elements. The key idea is to represent directionofarrival with two decoupled angles and then successively estimate them. Therefore, twodimensional direction finding can be achieved by applying several times of onedimensional sparse reconstructionbased direction finding methods instead of directly extending them to twodimensional situation. Performance analysis and simulation results reveal that the proposed method has a much lower computational complexity and a similar statistical performance compared with the wellknown l _{1}SVD algorithm, which has several advantages over conventional direction finding techniques due to the application of sparse signal reconstruction. Moreover, 2D l _{1}SVD has better robustness to the assumed number of sources over l _{1}SVD.
1 Introduction
Directionofarrival (DOA) estimation has been playing a significant role in many applications such as radar and wireless communication, and it has been well studied in literature [1,2]. Conventional DOA estimation algorithms can be classified into three broad categories: beamforming [3], subspacebased methods [4,5], and maximum likelihood methods [6]. In the last decade, DOA estimation algorithms based on sparse signal reconstruction (SSR) were proposed. They enforce sparsity on the spatial spectrum and pose source localization as an overcomplete basis representation problem. Many of them such as l _{1}singular value decomposition (SVD) [7] and JLZADOA [8] work directly on the input data while others such as SPICE [9] and SpSF [10] work on the covariance matrix. DOA estimation algorithms based on SSR have several advantages over conventional methods, including increased resolution, better robustness to noise, limitations in data quantity, and correlated sources, as well as not requiring an accurate initialization [7]. Improvements like [11] which are based on weighted l _{1} minimization can get a better performance.
Although onedimensional (1D) DOA estimation has been widely investigated, twodimensional (2D) DOA estimation is of greater practical importance. However, most existing 2D DOA estimation methods have met problems of high arithmetic complexity and pairmatching due to a more complicated array manifold [12]. What is more, 2D methods extended from 1D conventional algorithms may still have shortcomings such as requirement of sufficient samples and performance degradation in the presence of correlated sources. In [13], the authors proposed a 2D algorithm whose key idea is to successively apply several times of 1D multiple signal classification (MUSIC) [4] in tree structure. It has a much lower complexity than 2D MUSIC but is limited to uniform rectangular arrays (URAs) and needs extra processes to deal with coherent sources. Sparse methods can also be directly extended to 2D situation, but they will significantly increase the dimension of overcomplete basis or the dictionary [14]. A fast orthogonal matching pursuit (OMP) method for 2D angle estimation in multipleinput multipleoutput (MIMO) radar has been proposed in [15], which decomposes the 2D dictionary into two subdictionaries. However, the bistatic MIMO radar considered in [15] consists of a transmit array and a receive array, and the signal at the receiver is analyzed to estimate the transmit angle and the receive angle. So its model differs from 2D DOA estimation. Some 2D DOA estimation algorithms using Lshaped array have also been proposed [16,17]. They may have a low computational complexity and need less antenna elements than those algorithms using rectangular arrays. However, these methods are based on the secondorder statistics or the crosscorrelation matrix of the received data, so their performances may deteriorate in the presence of correlated sources or insufficient snapshots.
In this paper, a 2D DOA estimation method based on SSR for rectangular arrays called 2D l _{1}SVD is proposed. The key idea is that 2D DOA estimation, which is usually implemented by estimating azimuth and elevation angles jointly, can be accomplished by successively solving several 1D direction finding problems. It is illustrated in this paper that 2D l _{1}SVD reduces the computational load due to the successive parameter estimation and has a similar performance with the direct extension of l _{1}SVD [7] to 2D situation. What is more, the other SSR based DOA estimation methods that work directly on the input data, including the weighted version of l _{1}SVD [11] or JLZADOA [8], can also be extended to 2D situations similar with a much lower complexity than direct extensions. Moreover, it is possible that the array is conformal to follow some prescribed shape or a few elements fail to work in practical applications, and 2D l _{1}SVD also works properly for these nonrectangular applications. Therefore, 2D l _{1}SVD keeps robustness to nonuniform array manifolds. It is illustrated in both theoretical analysis and simulation results that the proposed algorithm performs properly and effectively.
The rest of this paper is organized as follows. Section 1 addresses the problem formulation. Section 1 presents the proposed algorithm. Section 1 investigates the performance of the proposed method and Section 1 demonstrates the simulation results. Section 1 concludes the paper.
In this paper, we use a bold small letter to represent a vector and a bold capital letter to represent a matrix.
2 Problem formulation
2.1 Array configuration
Firstly, consider a rectangular planar array that consists of M×N omnidirectional and wellcalibrated antenna elements. The coordinates (x _{ mn },y _{ mn }) of the antenna element at the mth row and nth column (1≤n≤M,1≤n≤N) satisfy:
so they are denoted as (x _{ m },y _{ n }) and the element at the mth row and nth column is indexed as (m,n). The rectangular array may be nonuniform.
Although rectangular arrays, including uniform rectangular arrays (URA), are quite common in practical applications, it is possible that the array is conformal to follow some prescribed shape or some of the elements fail to work, as illustrated in Figure 1, where the valid elements are denoted as circles in the area rounded up by the deep blue line while the blue ‘X’ denotes missing or faulty elements (similarly hereinafter). So the array manifold is no longer rectangular, and it turns out to be a subarray of the rectangular array.
In order to deal with irregular arrays mentioned above, consider the rectangular array that consists of M×N antenna elements in Equation 1. And it is assumed that there are D invalid (missing or faulty) sensors indexed as (m _{ d },n _{ d }), d=1,⋯,D, where m _{ d } and n _{ d } are the row and column number of the dth invalid sensor, correspondingly. The location of all invalid sensors is supposed to be known a priori in this paper.
2.2 Representation of 2D DOA
Most existing 2D DOA algorithms try to estimate the azimuth and elevation angle (θ,φ), which is (∠ B O C,∠ A O B) in Figure 2a. However, we consider another definition of 2D DOA [16] in this paper, as given in Figure 2b or (∠ A O C,∠ A O D) in Figure 2a, where the purpose of direction finding is to estimate the two angles (α,β) between the incoming signal and xaxis or yaxis, respectively. It is assumed that the signals come from above the antenna, as shown in Figure 2. Since O C⊥B C and O C⊥A B, then we have O C⊥A C. As a result, O C=O A· cosα=O B· cosθ=O A· cosφ cosθ. Similarly, O D=O A· cosβ=O B· sinθ=O A· cosφ sinθ. Therefore, there exists a correspondence between (θ,φ) and (α,β):
In this paper, we focus on the narrowband DOA estimation problem and the noise signals are assumed to be Gaussian additive noises. The incoming signals can be correlated or even coherent with each other. Using the narrowband model, we get the digital vector \(\boldsymbol {y}\left (k\right) = {\left [ {{y_{1}}\left (k \right), \cdots,{y_{MN  D}}\left (k \right)} \right ]^{\mathrm {T}}} \in {\mathbb {C}^{\left ({MND} \right) \times 1}}\) of complex amplitudes of the sensors at time instant k bellow (the superscript T denotes the transpose operation):
where it is assumed that there are P narrowband farfield signals \(\boldsymbol {s}\left (k \right) = {\left [{s_{1}}\left (k \right), \cdots,{s_{P}}\left (k \right)\right ]^{\mathrm {T}}} \in {\mathbb {C}^{P \times 1}}\). \(\boldsymbol {n}\left (k \right) = {\left [{n_{1}}\left (k \right), \cdots,{n_{MN  D}}\left (k \right)\right ]^{\mathrm {T}}} \in {\mathbb {C}^{\left ({MN  D} \right) \times 1}}\) is the noise vector and \(\boldsymbol {A} = \left [ \boldsymbol {a}\left ({{\alpha _{1}},{\beta _{1}}} \right), \cdots,\boldsymbol {a}\left ({{\alpha _{P}},{\beta _{P}}} \right)\right ] = \left [\boldsymbol {a}\left ({{\theta _{1}},{\varphi _{1}}} \right), \cdots,\boldsymbol {a}\left ({{\theta _{P}},{\varphi _{P}}} \right) \right ] \in {\mathbb {C}^{\left ({MN  D} \right) \times P}}\) is the array manifold matrix whose columns are comprised of P manifold vectors. According to Equation 2, the element corresponding to a valid sensor at the mth row and nth column in the manifold vector a(α _{ p },β _{ p }) is:
where the exponential term is written as the sum of factors related to α and β, respectively, hence the two parameters to be estimated can be decoupled from each other.
If there are no invalid elements, the complex amplitudes of sensors are \(\boldsymbol {y}(k) \buildrel \Delta \over = [{y_{1,1}}(k), \cdots,{y_{M,1}}(k), \cdots,{y_{1,N}}(k), \cdots,{y_{M,N}}\left (k \right)]^{\mathrm {T}} \in {\mathbb {C}^{MN \times 1}}\) and we have
where \(\boldsymbol {n}\left (k \right) = [\!{n_{1,1}}\left (k \right), \cdots,{n_{M,1}}\left (k \right), \cdots,{n_{1,N}}\left (k \right), \cdots,{n_{M,N}}\left (k \right)]^{\mathrm {T}} \in {\mathbb {C}^{MN \times 1}}\), and \(\boldsymbol {a}\left ({{\alpha _{p}},{\beta _{p}}} \right) = \left [{a_{1,1}}\left ({{\alpha _{p}},{\beta _{p}}} \right),\! \cdots \!,{a{M,1}}\left ({{\alpha _{p}},{\beta _{p}}} \right), \cdots,{a_{1,N}}\left ({{\alpha _{p}},{\beta _{p}}} \right), \cdots, {a_{M,N}}\left ({{\alpha _{p}},{\beta _{p}}} \right)\right ]^{\mathrm {T}} \in {\mathbb {C}^{MN \times 1}}\) is the manifold vector.
According to (4), the manifold vector can be rewritten as the Kronecker product of two vectors:
where \({\boldsymbol {a}^{L}}\left ({{\alpha _{p}}} \right) \buildrel \Delta \over = {\left [ {{e^{ j2\pi {x_{1}}\cos {\alpha _{p}}/\lambda }}, \cdots,{e^{ j2\pi {x_{M}}\cos {\alpha _{p}}/\lambda }}} \right ]^{\mathrm {T}}} \in {\mathbb {C}^{M \times 1}}\) and \({{\boldsymbol {b}^{L}}\left ({{\beta _{p}}} \right) \buildrel \Delta \over = {\left [ {{e^{ j2\pi {y_{1}}\cos {\beta _{p}}/\lambda }}, \cdots,{e^{ j2\pi {y_{N}}\cos {\beta _{p}}/\lambda }}} \right ]^{\mathrm {T}}} }\in {^{N \times 1}}\) denote the steering vectors of the linear subarrays that lie on the xaxis and yaxis, respectively. The superscript L denotes ‘linear’. Thus, we can rewrite the signals received at the array in a decoupled form:
where \(\boldsymbol {Y}\left (k \right) \buildrel \Delta \over = \left [ {\begin {array}{*{20}{c}} {{y_{1,1}}\left (k \right)}& \cdots &{{y_{1,N}}\left (k \right)}\\ \vdots & \ddots & \vdots \\ {{y_{M,1}}\left (k \right)}& \cdots &{{y_{M,N}}\left (k \right)} \end {array}} \right ] \in {\mathbb {C}^{M \times N}}\) is the matrix form of y(k), \({\boldsymbol {A}^{L}} \buildrel \Delta \over = \left [ {{\boldsymbol {a}^{L}}\left ({{\alpha _{1}}} \right), \cdots,{\boldsymbol {a}^{L}}\left ({{\alpha _{P}}} \right)} \right ] \in {\mathbb {C}^{M \times P}}\) denotes manifold matrix whose columns are comprised of P manifold vectors of the linear subarray on the xaxis, \(\boldsymbol {X}\left (k \right) \buildrel \Delta \over = \left [ {\begin {array}{*{20}{c}} {{s_{1}}\left (k \right){{\left ({{\boldsymbol {b}^{L}}\left ({{\beta _{1}}} \right)} \right)}^{\mathrm {T}}}}\\ \vdots \\ {{s_{P}}\left (k \right){{\left ({{\boldsymbol {b}^{L}}\left ({{\beta _{P}}} \right)} \right)}^{\mathrm {T}}}} \end {array}} \right ] \in {\mathbb {C}^{P \times N}}\)denotes the signal matrix in the decoupled signal model, and \(\boldsymbol {N}\left (k \right) \buildrel \Delta \over = \left [ {\begin {array}{*{20}{c}} {{n_{1,1}}\left (k \right)}& \cdots &{{n_{1,N}}\left (k \right)}\\ \vdots & \ddots & \vdots \\ {{n_{M,1}}\left (k \right)}& \cdots &{{n_{M,N}}\left (k \right)} \end {array}} \right ] \in {\mathbb {C}^{M \times N}}\) is the matrix form of n(k).
Although the 2D DOA (α _{ p },β _{ p }) of multiple sources are different from each other, it is possible that some of the incoming sources have the same α and there exist multiple identical columns in the manifold matrix A ^{L}. Therefore, in order to make sure that all columns in the manifold matrix A ^{L} are different from each other, the 2D DOA of incoming sources can be denoted as (α _{1},β _{1,1}), ⋯,\(\left ({{\alpha _{1}},{\beta _{1,{f_{1}}}}} \right)\), ⋯, (α _{ P },β _{ P,1}), ⋯,\(\left ({{\alpha _{P}},{\beta _{P,{f_{P}}}}} \right)\), where f _{1},⋯,f _{ P } are positive integers. So the total number of incoming sources is \({P_{0}} \buildrel \Delta \over = \sum \limits _{p = 1}^{P} {f_{p}}\). Correspondingly, the incoming signals are denoted as \(\boldsymbol {s}\left (k \right) = {\left [\!{s_{1,1}}\left (k \right), \cdots,{s_{1,{f_{1}}}}\left (k \right), \cdots,{s_{P,1}}\left (k \right), \cdots,{s_{P,{f_{P}}}}\left (k \right)\!\right ]^{\mathrm {T}}} \in {\mathbb {C}^{{P_{0}} \times 1}}\). Therefore, the signal matrix X(k) in Equation 7 becomes
From Equation 7, it can be observed that the information of α and β is in the column and row spaces of Y(k), respectively. The manifold matrix A ^{L} is decided by α and is not related to β, while the signal matrix X(k) is determined by β. Equation 7 can also be explained in terms of the rectangular manifold. Alpha can be estimated by analyzing the samples of the subarray that lies on the xaxis and consists of sensors at {(x _{ m },y _{1})},m=1,⋯,M. The linear subarrays that are parallel to xaxis in the rectangular array share the same manifold when only the estimation of α is taken into account. Therefore, in order to estimate α, each snapshot received by the rectangular array can be regarded as N correlated snapshots of the linear subarray that lies on the xaxis. Then, 2D DOA can be estimated by solving two 1D DOA estimation problems successively instead of directly estimating 2D DOA. Since α is decoupled from β, we can also estimate β firstly and then estimate α. What is more, we will show in Section 1 that integrating the results of these two problems helps to improve the performance.
Now we still consider the rectangular array whose elements are all valid and concentrate on the elements indexed (m _{ d },n _{ d }),d=1,⋯,D. Obviously, we have:
which can be rewritten as:
where \(\boldsymbol {Y}^{f}=\left [ {\begin {array}{*{20}{c}} {{y_{1,1}}\left (k \right)}& \cdots & \cdots & \cdots &{{y_{1,N}}\left (k \right)}\\ \vdots & \ddots & \ddots & \ddots & \vdots \\ \vdots & \ddots &0& \ddots & \vdots \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ {{y_{M,1}}\left (k \right)}& \cdots & \cdots & \cdots &{{y_{M,N}}\left (k \right)} \end {array}} \right ]\).
In Equation 9, the received signals at the elements indexed (m _{ d },n _{ d }),d=1,⋯,D are disregarded and set to zeros while the noise signals at these sensors change into \(n_{{m_{d}},{n_{d}}}^{f}\left (k \right) = {n_{{m_{d}},{n_{d}}}}\left (k \right)  {y_{{m_{d}},{n_{d}}}}\left (k \right)\). The superscript f denotes ‘faulty.’ The case of faulty sensors can be processed in the above form. If there are D invalid elements, then no restriction is placed on the range of \({y_{{m_{d}},{n_{d}}}}\left (k \right),d = 1, \cdots,D\) since there are no valid samples at these invalid sensors. As a result, \(n_{{m_{d}},{n_{d}}}^{f}\left (k \right),d = 1, \cdots,D\) in Equation 9 is unconstrained. In this way, the complex amplitudes of the sensors at a faulty rectangular array can still be written in the form of the decoupled signal model (Equation 9). However, it should be taken into account that the noise signals at the faulty sensors are unconstrained and no longer distribute as noise signals at valid sensors. As a result, when the decoupled signal model is exploited, it should be noticed that the received signals at the faulty elements are set to be zero and the noise signals at these faulty elements are totally unknown and do not provide any additional information.
3 Proposed algorithm
Based on the above decoupled model, 2D DOA estimation can be achieved by two steps. Firstly, solve a 1D direction finding problem to estimate the first parameter α and get the information about the second parameter β. This process can be accomplished by 1D DOA estimator directly working on the input data instead of using the covariance estimator, and information about the second parameter (signal matrix in Equation 7) can be obtained as well. Secondly, solve another several 1D direction finding problems to estimate β based on the rows extracted from the signal matrix and the corresponding α can be obtained from the row number.
DOA estimation methods based on SSR have been found to have several advantages over conventional direction finding methods and many of them work directly on the input data. Here, we pick l _{1}SVD [7] as our 1D DOA estimation algorithm and propose a new 2D DOA estimation method called 2D l _{1}SVD. Exploiting the decoupled signal model, 2D l _{1}SVD has a much lower computational load than l _{1}SVD due to the successive estimation of 2D DOA parameters. Moreover, an improved version called enhanced2D l _{1}SVD is also proposed in this section to deal with multiple sources that are close to each other in α or β domain but well separated in the other domain.
Obviously, l _{1}SVD does not need specific array shape. However, rectangular arrays are more suitable to exploit the decoupled signal model. As a result, although techniques such as manifold separation [18] can be used for modeling the steering vector of antenna arrays with practical interest with arbitrary geometry, we only consider rectangular arrays and faulty rectangular arrays in this paper. On the other hand, it is obvious that JLZADOA [8] and the other sparse reconstruction based methods that work directly on the input data can also be extended to 2D situation using the aforementioned decoupled signal model similarly.
3.1 2D l _{1}SVD algorithm
The steps of the 2D l _{1}SVD algorithm are illustrated in Figure 3.
The notations that are used in this section are given in Table 1. For each notation, the superscript denotes the description of the variable and the subscript denotes the index of the variable. Step 1: Exploiting the decoupled signal model
The multiple snapshots received at the antenna array can be denoted as a M N×T data matrix \({\boldsymbol {Y}^{\text {ant}}} \buildrel \Delta \over = \left [ {{\boldsymbol {y}^{\text {ant}}}\left (1 \right), \cdots,{\boldsymbol {y}^{\text {ant}}}\left (T \right)} \right ] \in {\mathbb {C}^{MN \times T}}\) where T is the number of the snapshots. Here, \({\boldsymbol {y}^{\text {ant}}}\left (k \right) \buildrel \Delta \over = {\left [ {y_{1,1}^{\text {ant}}\left (k \right), \cdots,y_{1,N}^{\text {ant}}\left (k \right), \cdots,y_{M,1}^{\text {ant}}\left (k \right), \cdots,y_{M,N}^{\text {ant}}\left (k \right)} \right ]^{\mathrm {T}}} \in {\mathbb {C}^{MN \times 1}}\) denotes the signal sampled at time instant k (1≤k≤T). The superscript ant denotes ‘antenna.’ According to the narrowband signal model, we have:
where \(\boldsymbol {A} = \left [ \boldsymbol {a}\left ({{\alpha _{1}},{\beta _{1,1}}} \right), \cdots, \boldsymbol {a}\left ({{\alpha _{1}},{\beta _{1,{f_{1}}}}} \right), \cdots,\boldsymbol {a}\left ({{\alpha _{P}},{\beta _{P,1}}} \right)\!, \cdots,\boldsymbol {a}\left ({{\alpha _{P}},{\beta _{P,{f_{P}}}}} \right) \right ] \in {\mathbb {C}^{MN \times {P_{0}}}}\) is the manifold matrix of P _{0} incoming signals, \(\boldsymbol {S} = \left [ {\boldsymbol {s}\left (1 \right), \cdots,\boldsymbol {s}\left (T \right)} \right ] \in {\mathbb {C}^{P_{0} \times T}}\) is the signal matrix of the incoming signals and \({\boldsymbol {N}^{\text {ant}}} = \left [ {{\boldsymbol {n}^{\mathrm {\,ant}}}\left (1 \right), \cdots,{\boldsymbol {n}^{\mathrm {\,ant}}}\left (T \right)} \right ] \in {\mathbb {C}^{MN \times T}}\) is the noisesignal matrix at the sensor array. Here, \(\boldsymbol {s}\left (k \right) = \;[\!{s_{1,1}}\left (k \right),\! \cdots \!,{s_{1,{f_{1}}}}\left (k \right), \cdots,{s_{P,1}}\left (k \right), \cdots,{s_{P,{f_{P}}}}\left (k \right) ]^{\mathrm {T}} \in {\mathbb {C}^{P_{0} \times 1}}\) and \({\boldsymbol {n}^{\text {ant}}}\left (k \right) = [ n_{1,1}^{\text {ant}}\left (k \right), \cdots,n_{1,N}^{\text {ant}}(k), \cdots, n_{M,1}^{\text {ant}}(k), \cdots,n_{M,N}^{\text {ant}}(k) ]^{\mathrm {T}} \in {\mathbb {C}^{MN \times 1}}\) denote the incoming signals and the noise signals sampled at time instant k (1≤k≤T), respectively. As mentioned before, faulty arrays can be treated in a similar way as a complete rectangular array. For rectangular arrays with faulty or missing elements, the manifold vector a(α _{ p },β _{ p,i }) (1≤i≤f _{ p }) refers to the manifold vector of the complete rectangular array and the data matrix Y ^{ant} satisfies \({y_{{m_{d}},{n_{d}}}}\left (k \right) = 0\), d=1,⋯,D, k=1,⋯,T. Also, it should be noticed that noise signals at the faulty sensors \({n_{{m_{d}},{n_{d}}}}\left (k \right)\) are unconstrained.
For practical direction finding problems, we use the SVD of the data matrix to reduce both the computational complexity and the sensitivity to noise, just like l _{1}SVD [7]. The SVD of the data matrix is Y ^{ant}=UΛ V ^{H}, where the superscript H denotes the conjugate transpose operation. Therefore, the data matrix is decomposed into the signal and noise subspaces. Then, the signal subspace that contains most of the signal power is kept to reduce the dimension. Let D _{ K }=[I _{ K },0 _{ K×(T−K)}]^{T} where I _{ K } is a K×K identity matrix. Here, K denotes the assumed number of sources and does not need to be equal to the actual number of sources P _{0}. And it is indicated in [7] that l _{1}SVD maintains robustness to the assumed number of sources. Then, let \({\boldsymbol {Y}^{\text {sg}}} = {\boldsymbol {Y}^{\text {ant}}}\boldsymbol {V}{\boldsymbol {D}_{K}} \buildrel \Delta \over = \left [ {{\boldsymbol {y}^{\text {sg}}}\left (1 \right), \cdots,{\boldsymbol {y}^{\text {sg}}}\left (K \right)} \right ] \in {\mathbb {C}^{MN \times K}}\), \({\boldsymbol {S}^{\text {sg}}} = \boldsymbol {SV}{\boldsymbol {D}_{K}} = \left [ {{\boldsymbol {s}^{\text {sg}}}\left (1 \right), \cdots,{\boldsymbol {s}^{\text {sg}}}\left (K \right)} \right ] \in \mathbb {C} {^{{P_{0}} \times K}}\) and \({{\boldsymbol {N}^{\text {sg}}} = {\boldsymbol {N}^{\text {ant}}}\boldsymbol {V}{\boldsymbol {D}_{K}} \buildrel \Delta \over = [ {{\boldsymbol {n}^{\text {sg}}}\left (1 \right), \cdots, {\boldsymbol {n}^{\text {sg}}}\left (K \right)} ] \in {\mathbb {C}^{MN \times K}}}\) where the superscript sg denotes ‘signal’. More specifically, \({\boldsymbol {y}^{\text {sg}}}\left (k \right) \!\buildrel \Delta \over =\! {\left [ {y_{1,1}^{\text {sg}}\!(k),\! \cdots \!,y_{1,N}^{\text {sg}}\left (k \right), \cdots,y_{M,1}^{\text {sg}}\left (k \right), \cdots,y_{M,N}^{\text {sg}}\left (k \right)} \right ]^{\mathrm {T}}} \in {\mathbb {C}^{MN \times 1}}, \boldsymbol {s}^{\text {sg}}\left (k \right) \,=\, \left [ s_{1,1}^{\text {sg}}\left (k \right), \cdots,s_{1,{f_{1}}}^{\text {sg}}\left (k \right), \cdots, s_{P,1}^{\text {sg}}\,(k), \cdots,s_{P,{f_{P}}}^{\text {sg}}\left (k \right) \right ]^{\mathrm {T}} \in {\mathbb {C}^{P_{0} \times 1}}\) and \({\boldsymbol {n}^{\text {sg}}}\left (k \right) \buildrel \Delta \over = \left [ n_{1,1}^{\text {sg}}\left (k \right), \cdots,\right.n_{1,N}^{\text {sg}}\left.\left (k \right), \cdots,n_{M,1}^{\text {sg}}\left (k \right), \cdots,n_{M,N}^{\text {sg}}\left (k \right) \right ]^{\mathrm {T}} \in {\mathbb {C}^{MN \times 1}}\). Therefore:
The manifold vector of the rectangular array can be rewritten as Kronecker product of two manifold vectors corresponding to the linear subarrays, i.e., a(α _{ p },β _{ p,i })=b ^{L}(β _{ p,i })⊗a ^{L}(α _{ p }) (see Equation 6). Then, expressing the equation above in a matrix form similarly as Equation 7, we have:
where \(\boldsymbol {Y} \buildrel \Delta \over = \left [ {{\boldsymbol {Y}_{1}}, \cdots, {\boldsymbol {Y}_{K}}} \right ] \in {\mathbb {C}^{M \times NK}}\), \(\boldsymbol {N} \buildrel \Delta \over = \left [ {{\boldsymbol {N}_{1}}, \cdots, {\boldsymbol {N}_{K}}} \right ] \in {\mathbb {C}^{M \times NK}}\) and:
\({\boldsymbol {A}^{L}} = \left [ {{\boldsymbol {a}^{L}}\left ({{\alpha _{1}}} \right), \cdots, {\boldsymbol {a}^{L}}\left ({{\alpha _{P}}} \right)} \right ] \in {\mathbb {C}^{M \times P}}\) is the manifold matrix of the linear subarray on the xaxis and no longer depends on βDOA while the information of βDOA is now contained in the signal matrix X. And:
It is easy to see that \(y_{{m_{d}},{n_{d}}}^{\text {sg}}\left (k \right) = 0\) and \(n_{{m_{d}},{n_{d}}}^{\text {sg}}\left (k \right)\) is unconstrained for d=1,⋯,D, k=1,⋯,T.Step 2: Estimate α from multiple measurement vectors (MMV)
An overcomplete representation of A ^{L} in terms of all possible α, which is denoted as \({\boldsymbol {\tilde {A}}}^{L}\), is introduced here. Let \(\left \{ {{{\tilde \alpha }_{1}}, \cdots, {{\tilde \alpha }_{{K_{\alpha } }}}} \right \}\) be a sampling grid of all directions of interest in the α domain. The number of potential directions in the α domain K _{ α } is typically much greater than the number of different α, i.e., K _{ α }≫P. Then, \({\boldsymbol {\tilde {A}}}^{L}\) is composed of steering vectors corresponding to each potential α as its columns. Here, the steering vectors in \({\boldsymbol {\tilde {A}}}^{L}\) correspond to the linear subarray on the xaxis. Therefore, Equation 12 can be rewritten in a sparse reconstruction form:
where \({\boldsymbol {{\tilde {A}}}^{L}} \buildrel \Delta \over = \left [ {{\boldsymbol {a}^{L}}\left ({{{\tilde {\alpha }}_{1}}} \right), \cdots,{\boldsymbol {a}^{L}}\left ({{{\tilde {\alpha }}_{{K_{\alpha } }}}} \right)} \right ] \in {\mathbb {C}^{M \times {K_{\alpha }}}}\) and \(\boldsymbol {\tilde {X}} \buildrel \Delta \over = \left [ {\begin {array}{*{20}{c}} {\boldsymbol {\tilde {x}}_{1}^{\mathrm {T}}}\\ \vdots \\ {\boldsymbol {\tilde {x}}_{{K_{\alpha } }}^{\mathrm {T}}} \end {array}} \right ] \in {\mathbb {C}^{{K_{\alpha } } \times NK}}\). The k _{ α }th row of the signal matrix \(\boldsymbol {\tilde X}\) is:
where \({{\tilde {f}}_{{k_{\alpha }}}},{k_{\alpha }} = 1, \cdots,{K_{\alpha }}\) are positive integers and \({{\tilde {f}}_{{k_{\alpha }}}} = f_{p}\) if \({{\tilde {\alpha }}_{{k_{\alpha }}}} = \alpha _{p}\). The source signal \(\tilde {s}_{{k_{\alpha }},i}^{\text {sg}}\left (k \right)\) is nonzero and equal to \(s_{p,i}^{\text {sg}}(k)\) if \({{\tilde {\alpha }}_{{k_{\alpha } }}} = \alpha _{p}\) and zero otherwise. So each column in \(\boldsymbol {\tilde {X}}\) is sparse.
As a result, the overcomplete representation in Equation 14 allows us to exchange the estimation of α for the problem of sparse spectrum of each column in \(\boldsymbol {\tilde X}\), which can be solved via regularizing it to favor sparse signal fields using the l _{1} methodology. In the case that there are no invalid elements, estimation of α can be accomplished by solving a MMV problem based on l _{1}norm minimization:
where the l _{1}term enforces sparsity of the representation. \({{\boldsymbol {\tilde {x}}}^{{l_{2}}}} \buildrel \Delta \over = \left ({{{\left \ {{{\boldsymbol {\tilde {x}}}_{1}}} \right \}_{2}}, \cdots,{{\left \ {{{\boldsymbol {\tilde {x}}}_{{K_{\alpha } }}}} \right \}_{2}}} \right) \in {\mathbb {C}^{1 \times {K_{\alpha } }}}\) and ∥·∥_{ F } denotes the Frobenius norm which is defined as \(\left \ {\boldsymbol {Y}  {{\boldsymbol {\tilde {A}}}^{L}}\boldsymbol {\tilde {X}}} \right \_{F}^{2} = \left \ {{\text {vec}}\left ({\boldsymbol {Y}  {{\boldsymbol {\tilde {A}}}^{L}}\boldsymbol {\tilde {X}}} \right)} \right \_{2}^{2}\). Let \(\boldsymbol {\hat {X}} \in {\mathbb {C}^{{K_{\alpha } } \times NK}}\) denote the result of the above MMV problem. Then, the pseudo spectrum of α is obtained by calculating the l _{2}norm of each row in the signal matrix \(\boldsymbol {\hat {X}}\), i.e., the amplitude of the pseudo spectrum at \({{\tilde {\alpha }}_{{k_{\alpha }}}}\) is \({\left \ {{{\boldsymbol {\hat {x}}}_{{k_{\alpha } }}}} \right \_{2}}\).
In the MMV problems based on l _{1}norm minimization mentioned above, l _{1}term enforces sparsity while l _{2}term forces the residual to be small. The residual specifies how much noise we wish to allow. For rectangular arrays with invalid elements, the noise signals or residuals of invalid elements are unknown while the residuals of valid elements are forced to be small. Hence, the constrained condition of the l _{2}term should be revised, taking into consideration of invalid elements. On the other hand, the spatial sparsity still exists, so l _{1}term remains unchanged.
When there are invalid elements, the columns of Y in the above MMV problem can be regarded as multiple snapshots of a linear subarray, in which there exists invalid data. Residual at these invalid elements should be unconstrained since no information of these elements is known a priori. Let \({\boldsymbol {N}^{\text {res}}} \buildrel \Delta \over = \boldsymbol {Y}  {{\boldsymbol {\tilde {A}}}^{L}}\boldsymbol {\tilde {X}} \in {\mathbb {C}^{M \times NK}}\). Therefore, estimation of α can be accomplished by solving a modified MMV problem based on l _{1}norm minimization:
where the l _{1}term enforces sparsity of the representation. We will specify the sufficient condition of correct recovery of the signal matrix \(\boldsymbol {\hat X}\) in Section 1. Then, the pseudo spectrum of α is obtained by calculating the l _{2} norm of each row in the signal matrix \(\boldsymbol {\hat X}\) similarly.
Just like [7], with the knowledge of the distribution of noise, we can find a confidence interval for \(\left \ {{\boldsymbol {N}}} \right \_{F}^{2}\), then use its upper value for \({\sigma _{1}^{2}}\).Step 3: Estimate β based on the signal matrix
Let P denote the number of different α of the sources. Then, the pseudo spectrum of α may have P local maxima which are denoted as \(\left \{ {{{\hat \alpha }_{1}}, \cdots,{{\hat \alpha }_{P}}} \right \}\). The row number in the signal matrix \(\boldsymbol {\hat X}\) that corresponds to these local maxima is denoted as {i _{1},⋯,i _{ P }}. The rows of \(\boldsymbol {\hat X}\) corresponding to possible α contain information about β. Let the ith row of \(\boldsymbol {\hat X}\) be \(\left ({{{\hat x}_{1,1}}\left (i \right), \cdots,{{\hat x}_{N,1}}\left (i \right), \cdots,{{\hat x}_{1,K}}\left (i \right), \cdots,{{\hat x}_{N,K}}(i)} \right) \in \mathbb {C}^{1 \times NK}\), and \({{\boldsymbol {\hat X}}_{i}} \buildrel \Delta \over = \left [ {\begin {array}{*{20}{c}} {{{\hat x}_{1,1}}\left (i \right)}& \cdots &{{{\hat x}_{1,K}}\left (i \right)}\\ \vdots & \ddots & \vdots \\ {{{\hat x}_{N,1}}\left (i \right)}& \cdots &{{{\hat x}_{N,K}}\left (i \right)} \end {array}} \right ] \in {\mathbb {C}^{N \times K}}\). According to Equation 15, we have:
where \(\boldsymbol {B}_{p}^{L} = \left [\boldsymbol {b}^{L}(\beta _{p,1}), \cdots, \boldsymbol {b}^{L}(\beta _{p,f_{p}})\right ] \in {\mathbb {C}^{N \times f_{p}}}\) and \(\boldsymbol {S}_{p} ={ \left [\boldsymbol {s}_{p}^{sg}(1), \cdots, \boldsymbol {s}_{p}^{sg}(K)\right ] \in {\mathbb {C}^{f_{p} \times K}}}\). Here, \(\boldsymbol {s}_{p}^{\text {sg}}(k) = \left [s_{p,1}^{\text {sg}}(k), \cdots \right.\), \(\left. s_{p,f_{p}}^{\text {sg}}(k)\right ]^{\mathrm {T}}\). Similarly, an overcomplete representation of \(\boldsymbol {B}_{p}^{L}\) is introduced. Let \({{\boldsymbol {\tilde {B}}}^{L}} = \left [ {\boldsymbol {b}^{L}({{{\tilde {\beta }}_{1}}}), \cdots,\boldsymbol {b}^{L}({{{\tilde {\beta }}_{{K_{\beta }}}}})}\right ] \in {\mathbb {C}^{N \times {K_{\beta }}}}\) where \(\{ {{{\tilde {\beta }}_{1}}, \cdots,{{\tilde {\beta }}_{{K_{\beta }}}}} \}\) are all potential β. And K _{ β }≫f _{ p } (1≤p≤P). Taking into consideration of the noises introduced in the above MMV problems, we can solve another P MMV problems to estimate β:
where \({{\boldsymbol {\tilde {S}}}_{{p}}} = \left [ {\begin {array}{*{20}{c}} {\boldsymbol {\tilde {s}}_{p,1}^{\mathrm {T}}}\\ \vdots \\ {\boldsymbol {\tilde {s}}_{p,{K_{\beta }}}^{\mathrm {T}}} \end {array}} \right ] \in {\mathbb {C}^{{K_{\beta }} \times K}}\) and \({\boldsymbol {\tilde {s}}_{p}^{{l_{2}}}}\) denotes the vector whose k _{ β }th element is the l _{2}norm of the k _{ β }th row in \({{\boldsymbol {\tilde {S}}}_{p}}\). Then, the pseudo spectrum of β is \(\{\boldsymbol {\tilde {s}}_{p}^{{l_{2}}}}\\) and the estimation of β is accomplished.
Although the distribution of the elements in \({{\boldsymbol {\hat {X}}}_{i}}\) is difficult to estimate, \({\sigma _{2}^{2}}\) can be determined by the upper value of \(K\left \ {\left ({n_{m1}^{\text {sg}}\left (k \right), \cdots,n_{\textit {mN}}^{\text {sg}}\left (k \right)} \right)} \right \_{2}^{2}\) empirically.
Step 4: Calculate (θ,φ) based on (α,β) if needed. The effects of invalid elements on the degree of freedom will be studied in Section 1.
3.2 Enhanced 2D l _{1}SVD algorithm
We will show in Section 1 that 2D l _{1}SVD works properly when the sources are well separated in both α and β domains. As illustrated in [14], there exists a source of bias inherent in the nature of the sparsity enforcing functionals. For example, consider a 1D case:
where \(\boldsymbol {A} \buildrel \Delta \over = \left [ {\boldsymbol {a}({{{\tilde \theta }_{1}}}), \cdots, \boldsymbol {a}({{{\tilde \theta }_{{K_{\theta } }}}})} \right ]\) and \(\left \{ {{{\tilde \theta }_{1}}, \cdots, {{\tilde \theta }_{{K_{\theta } }}}} \right \}\) are all potential θ. a(θ) is the steering vector of a linear array. It is assumed that there are only two sources, which are from θ _{1} and θ _{2}, impinging on the linear array. Obviously, the sparsity condition is satisfied with proper \(\left \{ {{{\tilde \theta }_{1}}, \cdots, {{\tilde \theta }_{{K_{\theta }}}}} \right \}\) and the sources can be well resolved if they are not too close to each other. However, there is notable bias when two sources are too close to each other although the sparsity condition is still satisfied [14].
The problem still exists when l _{1}SVD is extended to 2D cases. If two sources, which are from (α _{1},β _{1}) and (α _{2},β _{2}), are close to each other in both α and β domains so a(α _{1},β _{1}) is quite similar to a(α _{2},β _{2}), then l _{1}SVD will get biased results. However, l _{1}SVD can work properly and get nearly unbiased results when distinguished signals are close to each other in α domain but well separated to each other in β domain while 2D l _{1}SVD gets biased results in the α domain. An enhanced 2D l _{1}SVD is proposed to solve this problem, and it still has a much lower complexity than l _{1}SVD.
We demonstrate the problem of the primary 2D l _{1}SVD algorithm with an example and then illustrate the main idea of the enhanced2D l _{1}SVD. As illustrated in Figure 4a,b, there are five sources impinging on the array. The true DOAs of these five sources are (α _{ p },β _{ p }), p=1,⋯,5. And α _{1}≈α _{2}, α _{4}≈α _{5}, β _{1}≈β _{5}, and β _{2}≈β _{4}. Using 2D l _{1}SVD, we estimate α firstly and then estimate β (denoted as 2D l _{1}SVD α), as shown in Figure 4a. Since α _{1} is very close to α _{2}, they cannot be identified from each other in α domain. α _{4} and α _{5} cannot be identified either. As a result, only three estimates, \({{\hat \alpha }_{1}} \approx \left ({{\alpha _{1}} + {\alpha _{2}}} \right)/2\), \({{\hat \alpha }_{2}} \approx \alpha _{3}\), and \({{\hat \alpha }_{3}} \approx \left ({{\alpha _{4}} + {\alpha _{5}}} \right)/2\), are obtained by solving a MMV problem due to the signals gathering in the α domain. Then, another three MMV problems are solved to get the estimates in the β domain. For example, we can extract the row information that corresponds to \({{\hat \alpha }_{1}}\) from the signal matrix \(\boldsymbol {\hat X}\) and get two estimates, \({{\hat \beta }_{1,1}}\) and \({{\hat \beta }_{1,2}}\). So the estimates of DOAs of sources 1 and 2 are \(({{{\hat \alpha }_{1}},{{\hat \beta }_{1,2}}})\) and \(({{{\hat \alpha }_{1}},{{\hat \beta }_{1,1}}})\), as illustrated in Figure 4a. Similarly, the estimates of the DOAs of sources 3 to 5 are \(({{{\hat \alpha }_{2}},{{\hat \beta }_{2,1}}})\), \(({{{\hat \alpha }_{3}},{{\hat \beta }_{3,1}}})\), and \(({{{\hat \alpha }_{3}},{{\hat \beta }_{3,2}}})\). Apparently, the estimation of the DOAs of sources 1, 2, 4, and 5 in α domain is not accurate. If we estimate β firstly and then estimate α(denoted as 2D l _{1}SVD β), there is a similar problem since β _{1}≈β _{5} and β _{2}≈β _{4}, as shown in Figure 4b. And the estimates of the DOAs of sources 1 to 5 using 2D l _{1}SVD β are denoted as \(({{{\hat \alpha }_{3,1}},{{\hat \beta }_{3}}})\), \(({{{\hat \alpha }_{1,1}},{{\hat \beta }_{1}}})\), \(({{{\hat \alpha }_{2,1}},{{\hat \beta }_{2}}})\), \(({{{\hat \alpha }_{1,2}},{{\hat \beta }_{1}}})\), and \(({{{\hat \alpha }_{3,2}},{{\hat \beta }_{3}}})\), respectively. However, these sources can be distinguished from each other using l _{1}SVD since the DOAs of the sources are well separated either in α domain or β domain.
Although 2D l _{1}SVD α cannot accurately estimate α when there exist multiple sources close to each other in α domain, it can provide precise βDOA if the sources are not too close to each other in β domain since the information of β is in the column of the input data matrix. Similar results can be obtained if β is firstly estimated using 2D l _{1}SVD β. So the enhanced algorithm is designed to combine the estimation results in conjunction with a selection strategy.
The selection strategy is based on the condition that any two sources are not too close to each other in both α and β domains. The main idea is to make pairs of the estimation results of 2D l _{1}SVD α and 2D l _{1}SVD β so that in each pair, the DOA estimated by 2D l _{1}SVD α and 2D l _{1}SVD β corresponds to the same source. In Figure 4a, sources 1 and 2 are close to each other in α domain, so \({{\hat \alpha }_{1}}\) is inaccurate while \({{\hat \beta }_{1,2}}\) and \({{\hat \beta }_{1,1}}\) are precise. In Figure 4b, we get three different β, in which \({{\hat \beta }_{3}}\) is closest to \({{\hat \beta }_{1,2}}\) and \({{\hat \beta }_{1}}\) is closest to \({{\hat \beta }_{1,1}}\). Consider the estimation of α corresponding to \({{\hat \beta }_{3}}\) and we find that \({{\hat \alpha }_{3,1}}\) is the closest to \({{\hat \alpha }_{1}}\). Therefore, \(({{{\hat \alpha }_{1}},{{\hat \beta }_{1,2}}})\) and \(({{{\hat \alpha }_{3,1}},{{\hat \beta }_{3}}})\) are considered to be a pair. Similarly, we have the other four pairs. For pairs corresponding to sources 1, 2, 4, and 5, 2D l _{1}SVD α has got more precise estimation of β and 2D l _{1}SVD β has got more precise estimation of α. Therefore, primary results of 2D l _{1}SVD α and 2D l _{1}SVD β are corrected, as illustrated in Figure 4c. It should be noticed that the pairing process in enhanced2D l _{1}SVD is quite different from the pairmatching in [16]. Given the set of elevation angles and azimuth angles, which is {θ _{1},⋯,θ _{ P }} and {φ _{1},⋯,φ _{ P }}, respectively, the conventional pairmatching process in [16] choose P final estimates from P ^{2} possible pairs by making use of the statistical analysis of the received data. In enhanced2D l _{1}SVD, final DOA estimates are extracted from two existed set of 2D DOA without using information of the received data.
Another issue that needs to be taken into account is that spurious peaks may appear in the pseudo spectrum of l _{1}SVD due to inappropriate regularization parameter but the selection strategy in enhanced2D l _{1}SVD provides a detection of spurious peaks. For a certain \(({{{\hat \alpha }_{i}},{{\hat \beta }_{i}}})\) got by 2D l _{1}SVD α, a corresponding \(({{{\hat \alpha }_{j}},{{\hat \beta }_{j}}})\) got by 2D l _{1}SVD β can be found to make a pair with \(({{{\hat \alpha }_{i}},{{\hat \beta }_{i}}})\). Then, \(({{{\hat \alpha }_{i}},{{\hat \beta }_{i}}})\) is considered to be a false peak if:
where δ is a threshold and the beamwidth of the array pattern is a reasonable choice for δ. The overall procedure of the enhanced 2D l _{1}SVD is summarized as follows:

Step 1:
Complete the 2D l _{1}SVD α.
Estimate α firstly and then estimate β. There are P different α and the estimation results are denoted as \({\Omega _{\alpha } } = \{ ({{{\hat \alpha }_{1}},{{\hat \beta }_{1,1}}}), \cdots,({{{\hat \alpha }_{1}},{{\hat \beta }_{1,{f_{1}}}}}), \cdots,\) \(({{{\hat \alpha }_{P}},{{\hat \beta }_{P,1}}}), \cdots,({{{\hat \alpha }_{P}},{{\hat \beta }_{P,{f_{P}}}}}) \}\). For \({{\hat \alpha }_{p}}\), there are f _{ p } different β.

Step 2:
Complete the 2D l _{1}SVD β.
Estimate β firstly and then estimate α. There are Q different β and the estimation results are denoted as \({\Omega _{\beta } } = \{ ({{{\hat \alpha }_{1,1}},{{\hat \beta }_{1}}}), \cdots,({{{\hat \alpha }_{1,{g_{1}}}},{{\hat \beta }_{1}}}), \cdots,({{{\hat \alpha }_{Q,1}},{{\hat \beta }_{Q}}}), \cdots,({{{\hat \alpha }_{Q,{g_{Q}}}},{{\hat \beta }_{Q}}}) \}\). For \({{\hat \beta }_{q}}\), there are g _{ q } different α.

Step 3:
Selection strategy.
For each \(({{{\hat \alpha }_{p}},{{\hat \beta }_{\textit {pq}}}}) \in {\Omega _{\alpha } }\), 1≤q≤g _{ p }, find \({{\hat \beta }_{q}}\) in \(\{ {{{\hat \beta }_{1}}, \cdots,{{\hat \beta }_{Q}}} \}\) that is closest to \({{\hat \beta }_{p,q}}\). The estimation of α corresponding to \({{\hat \beta }_{q}}\) is \(\{ {{{\hat \alpha }_{q,1}}, \cdots,{{\hat \alpha }_{q,{f_{q}}}}} \}\). Find \({{\hat \alpha }_{\textit {qk}}}\) in \(\{ {{{\hat \alpha }_{q,1}}, \cdots,{{\hat \alpha }_{q,{f_{q}}}}} \}\) that is closest to \({{\hat \alpha }_{p}}\). Then, \(({{{\hat \alpha }_{p}},{{\hat \beta }_{p,q}}})\) and \(({{{\hat \alpha }_{q,k}},{{\hat \beta }_{q}}})\) are considered to be a pair.
If \(\sqrt {{{ {{{\hat \alpha }_{p}}  {{\hat \alpha }_{q,k}}} }^{2}} + {{ {{{\hat \beta }_{p,q}}  {{\hat \beta }_{q}}} }^{2}}} > \delta \), then, \(({{{\hat \alpha }_{q,k}},{{\hat \beta }_{p,q}}})\) was considered to be a false peak. If \(\sqrt {{{ {{{\hat \alpha }_{p}}  {{\hat \alpha }_{q,k}}} }^{2}} + {{ {{{\hat \beta }_{p,q}}  {{\hat \beta }_{q}}} }^{2}}} \le \delta \), then \(({{{\hat \alpha }_{q,k}},{{\hat \beta }_{p,q}}})\) is the correct DOA.
4 Performance
Using l _{1}SVD as 1D DOA estimators during successive estimation, 2D l _{1}SVD has several advantages over conventional 2D methods, including high resolution, robustness to the number of snapshots, low SNR, and coherent sources due to the use of sparse reconstruction [7]. In this section, we compare the performance of 2D l _{1}SVD and l _{1}SVD and study about the effect of invalid elements. Firstly, we demonstrate that the computational complexity of 2D l _{1}SVD is much lower than that of l _{1}SVD. Secondly, we study about the degree of freedom of 2D l _{1}SVD. Then, we will show that 2D l _{1}SVD keeps better robustness over the assumed number of sources in the presence of multiple sources. And finally, we investigate the number of sources that 2D l _{1}SVD can process with both rectangular arrays and faulty rectangular arrays.
4.1 Computational complexity
Sparse reconstruction methods based on l _{1}norm minimization can be achieved by secondorder cone programming (SOCP). For optimizing the joint optimization problem over K vectors in SOCP framework using an interior point method, the arithmetic complexity is \({\mathrm {O}}\left ({{K^{3}}K_{\theta }^{3}} \right)\), where K _{ θ } is the number of potential directions [7,19]. Therefore, we have the computational load of 2D l _{1}SVD and l _{1}SVD in Table 2. Since K _{ α } and K _{ β } are always much bigger than M,N,K, the arithmetic cost of 2D l _{1}SVD is much smaller than l _{1}SVD.
4.2 Degrees of freedom
A necessary and sufficient condition [20] from the measurements X=AS, supp(S)=k, to uniquely determine S is (supp(S) denotes the union over all the individual supports ∪_{ i }supp(s _{ i }) for S=[s _{1},⋯,s _{ l }]):
where the spark of A is defined as the smallest number of columns in A that are linearly dependent. For DOA estimation problems, the measurement matrix X and the signal matrix S stand for the sampled snapshots at the array and the incoming source signals, respectively. The dictionary A is a matrix composed of the steering vectors corresponding to each potential DOA as its columns. And the number of columns in A is much bigger than the number of rows in A. Let L _{0} denote the number of sensors in the array. For linear or rectangular arrays whose manifold matrix is similar to a Vandermonde matrix, spark(A) is equal to L _{0}+1 if the potential DOAs in the dictionary are not too close to each other so that the mutual coherence [20] is small. On the hand, rank(X) = 1 if the number of snapshots is only one and rank(X) = K if the number of singular vectors used is sufficient, e.g., equal to the number of sources. So empirically, the l _{1}SVD technique can resolve M−1 sources with an Msensors array if they are not located too close to each other [7]. This holds under the assumption that the number of singular vectors used in l _{1}SVD is sufficient, e.g., equal to the number of sources. When fewer singular vectors are taken than the number of sources, the number of resolvable sources may decrease.
For a M×N rectangular array, with no consideration of array ambiguity and only one snapshot available, l _{1}SVD can process up to M N/2 sources. For 2D l _{1}SVD α, there exists a coherence between the samples of subarrays at different columns of the array as far as the estimation of α is concerned, so 2D l _{1}SVD α can process M/2 different α and up to N/2 different β for each α. When there are enough snapshots and the number of uncorrelated columns in the data matrix X is not less than the number of sensors, l _{1}SVD can process up to M N−1 sources, while 2D l _{1}SVD α can process up to M−1 different α and N−1 different β for each certain α. Similarly, 2D l _{1}SVD β can process up to N/2 different β and M/2 different α with only one snapshot. When there are enough snapshots, 2D l _{1}SVD β can process up to N−1 different β and M−1 different α. So the number of sources that 2D l _{1}SVD or enhanced2D l _{1}SVD can process is less than l _{1}SVD when the sources are well separated in both α and β domains. However, when the sources are gathering in α or β domains and several sources may be treated as one group in successive parameter estimation, enhanced2D l _{1}SVD can resolve up to (M−1)(N−1) sources, which is close to l _{1}SVD if M and N are sufficiently large in practical application. The degrees of freedom of different methods are illustrated in Table 3.
4.3 The assumed number of sources
The l _{1}SVD technique works on the K singular vectors where K is the assumed number of sources. It has been illustrated in [7] that l _{1}SVD has a low sensitivity to K.
In [7], it is illustrated that l _{1}SVD can resolve M−1 sources using an Msensor array. However, when fewer singular vectors are taken than the number of sources, the condition in (22) may be not satisfied and the number of resolvable sources may decrease. This limitation still exists in 2D situation. Assume that the 2D DOA of incoming sources are \(\phantom {\dot {i}\!}\{(\alpha _{1},\beta _{1,1}), \cdots, (\alpha _{1},\beta _{1,f_{1}}), \cdots, (\alpha _{P},\beta _{P,1}), \cdots, (\alpha _{P},\beta _{P,f_{P}})\}\), and \({P_{0}} \buildrel \Delta \over = \sum \limits _{p = 1}^{P} {f_{p}}\). To resolve P _{0} sources that have P different α, the assumed number of sources for l _{1}SVD should be not less than P _{0} if P _{0} is sufficiently large (for example, P _{0} is close to the number of sensors). The number of singular vectors should not be less than P or f _{ p } to resolve P different α and f _{ p } different β, correspondingly. As a result, if the assumed number of sources for 2D l _{1}SVD is not less than max{P,f _{1},⋯,f _{ P }}, the 2D l _{1}SVD can resolve P _{0} sources. So 2D l _{1}SVD may resolve more sources with fewer singular vectors. Moreover, 2D l _{1}SVD may have an even smaller computational complexity by taking a smaller number of singular vectors.
4.4 Faulty or nonrectangular arrays
When there are only a small number of elements with failure in the array, the faulty elements have little effect on the performance of 2D l _{1}SVD. The faulty array is no longer rectangular while it can be regarded as a rectangular array with missing elements. Under this circumstance, the degree of freedom may be affected while 2D l _{1}SVD is still able to produce correct DOA estimates. Empirically, 2D l _{1}SVD α can resolve M _{0}−1 different α and N _{0}−1 different β for each α when the sources are not too close to each other. Here, M _{0} and N _{0} denote the minimum number of valid elements in each row or column of the rectangular array. On the other hand, there should not be too many invalid elements, or the distances between valid elements become so large that there will be grating lobes.
5 Simulation results
In this section, several simulations are conducted to validate the advantages of 2D l _{1}SVD. All simulations are performed using MATLAB 2012a running on an Intel Core i7 3770 CPU @ 3.4 GHz with 16 GB RAM, under Windows 7.
5.1 Time cost
Firstly, we compare the computation time of 2DMUSIC, l _{1}SVD, 2D l _{1}SVD, and enhanced 2D l _{1}SVD. Consider a 5×5 URA with sensors spaced half a wavelength apart and there are three uncorrelated sources with 100 snapshots. The DOAs of the three sources are (120°, 70°), (80°, 50°), and (50°, 130°). And SNR = 10 dB. The time that the four methods cost against K _{ α β }, which represents the density of the grids or the number of potential source locations (the grids or potential locations are set as [0,π/(K _{ α β }−1),⋯,(K _{ α β }−2)π/(K _{ α β }−1),π] for both α and β domains), is demonstrated in Table 4. Each value in the table is an average over 50 trials. Table 4 shows that 2D l _{1}SVD and enhanced 2D l _{1}SVD have a much lower computational load than other methods. The cost time of enhanced 2D l _{1}SVD is nearly twice of that of 2D l _{1}SVD, and it is affected by the number of different α and β.
5.2 Pseudo spectrum with multiple sources
The pseudo spectrum of 2D l _{1}SVD and l _{1}SVD when there are 13 independent sources (four different α) impinging on the 5×5 URA with sensors spaced half a wavelength apart is illustrated in Figure 5. The true DOAs are (50°, 65°), (50°, 95°), (80°, 60°), (80°, 90°), (80°, 120°), (80°, 145°), (100°, 50°), (100°, 70°), (100°, 100°), (127°, 50°), (127°, 80°), (127°, 110°), and (127°, 140°). SNR = 10 dB, and there are 100 snapshots. 2D l _{1}SVD is able to identify four different α and give correct DOA estimation when the assumed number of sources is K=3 (Figure 5a,b,d). l _{1}SVD has given correct estimation if K=13 (Figure 5d) while there are spurious peaks in the spectrum of l _{1}SVD if K=3 (Figure 5c). So 2D l _{1}SVD may perform better with fewer singular vectors.
5.3 Bias
Many DOA estimation methods may have difficulty resolving closely spaced sources, and there is bias inherent in the nature of sparsity enforcing functionals [14]. Consider the faulty array in Figure 6 with sensors spaced half a wavelength apart. There are four uncorrelated sources with a SNR = 10 dB. And there are 100 snapshots. The pseudo spectrum of 2D l _{1}SVD α and 2D l _{1}SVD β when the true DOAs are (61°, 60°), (64°, 103°), (100°, 63°), and (102°, 101°) is illustrated in Figure 7. We can see that the peaks of the spectrum in Figure 7a,c are biased. A final estimation of DOA is given in Figure 8 by combining the results got by 2D l _{1}SVD α and 2D l _{1}SVD β, and the results are correct.
The bias of the DOA estimation of two sources with different angular separation between them is investigated here. Consider the faulty array in Figure 6. The source 1 is held fixed at (62.6°, 58.7°) and the source 2 is moving from the location of source 1 linearly. And SNR = 10 dB. Bias in the α or β domain of 2D l _{1}SVD and l _{1}SVD as a function of the source separation δ _{0} (degrees) is demonstrated in Figure 9 while source 2 is located at (62.6° + δ _{0}, 58.7° + δ _{0}). The values on each curve are an average over 50 trials. Figure 9 shows the presence of bias for low separations using both enhanced2D l _{1}SVD and l _{1}SVD, and the bias disappears when δ _{0}>20° for both algorithms.
5.4 Resolution capability
The resolution performance of the proposed algorithms and the 2DMUSIC algorithm is compared here. Consider the faulty array in Figure 6. There are two incoming sources from (80.3°, 106.4°) and (85.3°, 111.4°). There are 100 snapshots. The probability of resolution [21] as a function of SNR is illustrated in the Figure 10, and it is based on 100 trials. We can see that both l _{1}SVD and 2D l _{1}SVD outperform 2DMUSIC when the SNR is less than 8 dB. And 2D l _{1}SVD performs close to l _{1}SVD. Note that the resolution probability of enhanced2D l _{1}SVD is the same to that of 2D l _{1}SVD since the results of the enhanced algorithm are based on the estimates of 2D l _{1}SVD.
5.5 RMSE
The root mean squared error (RMSE) is defined as
where \({{\text {RMSE}}\left ({{\alpha _{p}}} \right)\! =\!\! {\left [ {\sum \limits _{l = 1}^{L} {{\left ({{{\hat \alpha }_{p}}\left (l \right)\! \! {\alpha _{p}}} \right)}^{2}}/L} \right ]^{1/2}}, {\text {RMSE}}\left ({{\beta _{p}}} \right)\! =} {\left [ {\sum \limits _{l = 1}^{L} {{\left ({{{\hat \beta }_{p}}\left (l \right)  {\beta _{p}}} \right)}^{2}}/L} \right ]^{1/2}}\) and \(\left ({{{\hat \alpha }_{p}}\left (l \right),{{\hat \beta }_{p}}\left (l \right)} \right)\) is the lth estimates of the DOA of pth signal (α _{ p },β _{ p }). L is the number of realizations.
Consider the faulty array in Figure 6. The RMSE of different methods against SNR based on 100 realizations compared with the CramerRao lower bound (CRLB) [22] when there are a single source from (80.3°, 106.4°) with 100 snapshots is given in Figure 11a. And the RMSE against the number of snapshots when SNR of the single source is 5 dB is given in Figure 11b. It shows that 2DMUSIC, 2D l _{1}SVD, and enhanced2D l _{1}SVD perform close to the CRLB when there is only one source. The RMSE as a function of SNR based on 100 realizations when there are two uncorrelated sources from (80.3°, 106.4°) and (100.9°, 127.1°) is given in Figure 11c, and the RMSE against the number of snapshots when SNR of the two sources is 5 dB is given in Figure 11d. We can see that the performance of 2DMUSIC deteriorates when there are not enough snapshots (less than twice of the number of antennas) while SSR based algorithms work properly.
6 Conclusions
In this paper, a new 2D estimation method called 2D l _{1}SVD and its improved version enhanced2D l _{1}SVD are proposed for rectangular arrays. They are proved to be able to work for rectangular arrays even with missing or faulty elements. Theoretical analysis and simulation results indicate that 2D l _{1}SVD has a much lower arithmetic complexity due to successive parameter estimation while performing close to the popular l _{1}SVD. What is more, 2D l _{1}SVD has better robustness to the assumed number of sources and enhanced2D l _{1}SVD is able to detect spurious peaks which are caused by inappropriate regularization parameter.
References
H Krim, M Viberg, Two decades of array signal processing research: the parametric approach. IEEE Signal Process. Mag. 13(4), 67–94 (1996).
E Tuncer, B Friedlander, Classical and Modern DirectionofArrival Estimation (Elsevier Academic Press, Burlington, USA, 2009).
J Capon, Highresolution frequencywavenumber spectrum analysis. Proc IEEE. 57(8), 1408–1418 (1969).
R Schmidt, Multiple emitter location and signal parameter estimation. IEEE Trans. Antennas Propag. 34(3), 276–280 (1986).
R Roy, T Kailath, ESPRITestimation of signal parameters via rotational invariance techniques. IEEE Trans. Acoustics Speech Signal. Process. 37(7), 984–995 (1989).
P Stoica, K Sharman, Maximum likelihood methods for directionofarrival estimation. IEEE Trans. Acoustics Speech Signal. Process. 38(7), 1132–1143 (1990).
D Malioutov, M Cetin, A Willsky, A sparse signal reconstruction perspective for source localization with sensor arrays. IEEE Trans. Signal Process. 53(8), 3010–3022 (2005).
M Hyder, K Mahata, Directionofarrival estimation using a mixed l _{2,0} norm approximation. IEEE Trans. Signal Process. 58(9), 4646–4655 (2010).
P Stoica, P Babu, J Li, A sparse covariancebased estimation method for array processing. IEEE Trans. Signal Process. 59(2), 629–638 (2011).
J Zheng, M Kaveh, Sparse spatial spectral estimation: a covariance fitting algorithm, performance and regularization. IEEE Trans. Signal Process. 61(11), 2767–2777 (2013).
X Xu, X Wei, Z Ye, DOA estimation based on sparse signal recovery utilizing weighted l _{1}norm penalty. IEEE Signal Process. Lett. 19(3), 155–158 (2012).
A Gershman, M Rubsamen, M Pesavento, Oneand twodimensional directionofarrival estimation: an overview of searchfree techniques. Signal Process. 90, 1338–1349 (2010).
Y Wang, L Lee, A tree structure onedimensional based algorithm for estimating the twodimensional direction of arrivals and its performance analysis. IEEE Trans. Antennas Propag. 56(1), 178–188 (2008).
D Malioutov, A sparse signal reconstruction perspective for source localization with sensor arrays. PhD thesis, Massachusetts Institute of Technology (2003).
Y Liu, M Wu, S Wu, Fast OMP algorithm for 2D angle estimation in MIMO radar. Electronics Lett. 46(6), 444–445 (2010).
S Kikuchi, H Tsuji, A Sano, Pairmatching method for estimating 2D angle of arrival with a crosscorrelation matrix. IEEE Antennas Wireless Propag. Lett. 5(1), 35–40 (2006).
Q Liu, S OuYang, L Jin, Twodimensional DOA estimation with Lshaped array based on a jointly sparse representation. Inf. Technol. J. 12, 2037–2042 (2013).
F Belloni, A Richter, V Koivunen, DOA estimation via manifold separation for arbitrary array structures. IEEE Trans. Signal Process. 55(10), 4800–4810 (2007).
M Lobo, L Vandenberghe, S Boyd, H Lebret, Applications of secondorder cone programming. Linear Algebra Its Applicat. Special Issue Linear Algebra Control Signals Image Process. 284, 193–228 (1998).
M Davies, Y Eldar, Rank awareness in joint sparse recovery. IEEE Trans. Inf. Theory. 58(2), 1135–1146 (2012).
Q Zhang, Probability of resolution of the MUSIC algorithm. IEEE Trans. Signal Process. 43(4), 978–987 (1995).
Y Hua, T Sarkar, A note on the CramerRao bound for 2D direction finding based on 2D array. IEEE Trans. Signal Process. 39(5), 1215–1218 (1991).
Acknowledgements
The authors would like to thank the anonymous reviewers for their valuable comments that improved the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wang, F., Cui, X., Lu, M. et al. Decoupled 2D directionofarrival estimation based on sparse signal reconstruction. EURASIP J. Adv. Signal Process. 2015, 7 (2015). https://doi.org/10.1186/s136340150198x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136340150198x
Keywords
 Antenna arrays
 Directionofarrival estimation
 Sparse signal reconstruction