1. Introduction

Antenna arrays have been used in many fields, such as radar, sonar, communications, seismic data processing, and so on. The direction-of-arrival (DOA) estimation of signals impinging on an array of sensors is a fundamental problem in array processing, and many DOA estimation methods have been proposed for its solution [110]. Uniform linear arrays for estimation of wave arrival have extensively been studied. Compared with uniform linear array, L-shaped array can identify two-dimensional (2D) DOA. 2D-DOA estimation with L-shaped array has been received considerable attention in the field of array signal processing [513], and it contains estimation of signal parameters via rotational invariance techniques (ESPRIT) algorithms [57], multiple signal classification (MUSIC) algorithm [8], matrix pencil methods [9, 10], propagator methods [1113], and high-order cumulant method [14].

High-order cumulant method requires the signal statistical properties, and it needs a heavy computation load. MUSIC algorithm is based on the noise subspace, and has a good DOA estimation performance. However, MUSIC requires spectral peak searching, which is computationally expensive. Propagator method has low complexity, but its 2D-DOA estimation performance is less than ESPRIT algorithm. ESPRIT produces signal parameter estimates directly in terms of (generalized) eigenvalues, and the primary computational advantage of ESPRIT is that it eliminates the search procedure inherent. Authors of [5, 6] used ESPRIT method for 2D-DOA estimation with L-shaped array, and Zhang et al. [7] proposed the improved ESPRIT algorithm for 2D-DOA estimation, which had better 2D-DOA estimation performance than that of [5, 6]. The algorithms in [57] require an extra paring within 2D-DOA estimation. Paring usually fails to work in the condition of low signal-to-noise ratio (SNR) and the large number of sources.

This study links 2D-DOA estimation problem of L-shaped array to trilinear model, and derives a novel blind 2D-DOA algorithm whose performance is better DOA estimation than ESPRIT algorithms and propagator method. Furthermore, our algorithm employs well without spectral peak searching and pairing. Bro et al. [15] proposed a 2D-DOA algorithm for uniform squares array using trilinear decomposition. There are some differences between this study and that of [15] in some aspects. First, Bro et al. [15] proposed a 2D-DOA algorithm for uniform squares array, while this study is to estimate 2D-DOA for L-shaped array. Second, the received signal of uniform squares array can be modeled directly with trilinear model, and then that of [15] proposed joint azimuth-elevation estimation using trilinear decomposition in uniform squares array. This article is to estimate 2D-DOA estimation in L-shaped array, and the received signal of L-shaped array cannot be modeled directly with trilinear model. We use the cross correlation of received signal for constructing the trilinear model.

The rest of the article is structured as follows. Section 2 develops a data model. Section 3 deals with algorithmic issues. Section 4 presents simulation results, and Section 5 provides conclusions.

2. Data model

We consider an L-shaped array with 2M - 1 sensors at different locations as shown in Figure 1. A uniform linear array containing M elements is located in y-axis, and the other uniform linear array containing M elements is located in x-axis. We suppose that there are K sources impinge on the L-shaped array with (θ k k ), k = 1,2,...,K, where θ k k are the elevation and the azimuth angles of the k th source, respectively. The received signal of M elements in x-axis is

Figure 1
figure 1

The structure of L-shaped array.

x ( t ) = A x s ( t ) + n x ( t )
(1)

where s ( t ) K is the source matrix, n x ( t ) M is an M × 1 Gaussian white noise vector of zeros mean and covariance matrix σ2I M , and A x M × K is

A x = 1 1 1 e - j α 1 e - j α 2 e - j α K e - j ( M - 1 ) α 1 e - j ( M - 1 ) α 2 e - j ( M - 1 ) α K
(2)

where α k = 2πd cosθ k sin ϕ k / λ (k = 1, ..., K), d is the element spacing, and λ is the wavelength. d ≤ λ/2 is required in the array.

The received signal of M elements in y-axis is denoted as

y ( t ) = A y s ( t ) + n y ( t )
(3)

where n y (t) is an M × 1 Gaussian white noise vector of zeros mean and covariance matrix σ2I M , and A y M × K is

A y = 1 1 1 e - j β 1 e - j β 2 e - j β K e - j ( M - 1 ) β 1 e - j ( M - 1 ) β 2 e - j ( M - 1 ) β K
(4)

where β k = 2πd sinθ k sin ϕ k / λ, k = 1, ..., K. A x and A y are Vandermonde matrices. x ( t ) M , y ( t ) M , A x M × K and A y M × K are denoted as

x ( t ) = x 1 ( t ) x M = x 1 x 2 ( t )
(5)
y ( t ) = y 1 ( t ) y M = y 1 y 2 ( t )
(6)
A x = A x 1 a x M = a x 1 A x 2
(7)
A y = A y 1 a y M = a y 1 A y 2
(8)

where x1 and x M are first and last rows of x(t), respectively. y1 and y M are first and last rows of the y(t), respectively. ax 1and a xM are first and last rows of the matrix A x , respectively. ay 1and a yM are first and last rows of the matrix A y , respectively.

According to Equations 5-8, we construct the following matrices

C 1 = E { x 1 ( t ) y 1 ( t ) H } = A x 1 R S A y 1 H + N 1
(9)
C 2 = E { x 2 ( t ) y 1 ( t ) H } = A x 1 Φ x R S A y 1 H + N 2
(10)
C 3 = E { x 1 ( t ) y 2 ( t ) H } = A x 1 R S Φ y H A y 1 H + N 3
(11)
C 4 = E { x 2 ( t ) y 2 ( t ) H } = A x 1 Φ x R S Φ y H A y 1 H + N 4
(12)

where Φ x = diag ( e - j α 1 , e - j α 2 , , e - j α K ) , E{.} is the expectation, Φ y = diag ( e - j β 1 , e - j β 2 , , e - j β K ) , R S = E{s(t)s(t) H } is the source correlation matrix. For independent sources, R S should be a diagonal matrix with main diagonal vector r = [r1r2 ... r K ]. N1, N2, and N4 are shown as follows.

N 1 = σ 2 0 0 0 0 0 0 0 0 K × K
N 2 = N 3 = N 4 = 0 0 0 0 0 0 0 0 0 K × K

We define the matrix Ω as

Ω = r 1 r 1 e - j α 1 r 1 e j β 1 r 1 e - j ( α 1 - β 1 ) r 2 r 2 e - j α 2 r 2 e j β 2 r 2 e - j ( α 2 - β 2 ) r K r K e - j α K r K e j β K r K e j ( α K - β K )
(13)

Equations 9-12 can be denoted by

C l = A x 1 D l ( Ω ) A y 1 H + N l , l = 1 , 2 , . . . , 4
(14)

where D l (.) is to extract the l th row of its matrix and construct a diagonal matrix out of it. Now, the noiseless signal in (14) can be denoted as a trilinear model [1620], which is shown as

x m , n , l = k = 1 K a m , k b n , k h l , k , m = 1 , , M - 1 , n = 1 , , M - 1 , l = 1 , , 4
(15)

where a m, k is the (m,k) element of the matrix Ax 1, h l, k stands for the (l,k) element of the matrix Ω, b n, k represents the (n,k) element of the matrix A y 1 * . We hereby consider the signal in (15) as slicing the trilinear model along a direction, within which the symmetry characteristics allow other matrix system rearrangements

Y m = A y 1 * D m ( A x 1 ) Ω T , m = 1 , , M - 1
(16)
Z n = Ω D n ( A y 1 * ) A x 1 T n = 1 , , M - 1
(17)

3. Blind 2D DOA estimation

In this section, we utilize the trilinear decomposition for blind 2D-DOA estimation in L-shaped array, where the received signal has been reconstructed with trilinear model. We use trilinear decomposition for obtaining the direction matrices A ^ x 1 and A ^ y 1 , and then DOAs are estimated according to least square (LS) principle.

3.1 Trilinear decomposition

Since trilinear alternating LS (TALS) algorithm is a common data detection method for trilinear model [19], it can be discussed in detail as follows. According to (14), we construct the following matrix in this form

C = C 1 C 2 C 3 C 4 = [ Ω A x 1 ] A y 1 H + N 1 N 2 N 3 N 4
(18)

where ⊙ stands for Khatri-Rao product. LS fitting is given by

min Ω , A x 1 , A y 1 C - [ Ω A x 1 ] A y 1 H F
(19)

LS update for Ay 1can be shown as

A ^ y 1 H = [ Ω A x 1 ] + C
(20)

Similarly, from the second way of slicing, we have Y m = A y 1 * D m ( A x 1 ) Ω T , m = 1 , , M - 1 , which can be rewritten as

Y = Y 1 Y 2 Y M - 1 = [ A x 1 A y 1 * ] Ω T
(21)

and the LS update for Ω is

Ω ^ T = [ A x 1 A y 1 * ] + Y ̃
(22)

where Y ̃ is the noisy signal. Finally, from the third way of slicing, we have Z n = Ω D n ( A y 1 * ) A x 1 T , n = 1 , , M - 1 , which can be rewritten as

Z = Z 1 Z 2 Z M - 1 = [ A y 1 * Ω ] A x 1 T
(23)

and the LS update for Ax 1is

A x 1 T = [ A y 1 * Ω ] + Z ̃
(24)

where Z ̃ is the noisy signal.

According to (20), (22), and (24), the matrices Ay 1, Ω, and Ax 1are continually updated with conditional LSs, respectively, until convergence. TALS algorithm has several advantages: it is quite easy to implement, guarantee to converge, and comparatively simple to be expanded to the higher-order data. In this article, we use the complex-valued parallel factor analysis model (COMFAC) algorithm [17] for trilinear decomposition. COMFAC algorithm is essentially a fast implementation of TALS, and it can speed up the LS fitting.

For the blind 2D-DOA estimation algorithm that we have investigated, trilinear decomposition has been adopted for obtaining the estimated matrices, and then 2D-DOA estimation is correspondingly shown.

3.2 Identifiablity

In this section, we discuss the sufficient and necessary conditions for uniqueness of trilinear decomposition.

Theorem 1 [19]: Considering C l = A x 1 D l ( Ω ) A y 1 H + N l , l = 1,2, ...,4, where A x 1 ( M - 1 ) × K , A y 1 ( M - 1 ) × K , and Ω 4 × K . Concerning that matrix, Ax 1and Ay 1have been provided with Vandermonde characteristics that the identifiability condition satisfies

k Ω + 2 ( M - 1 ) 2 K + 2
(25)

where kΩ is the k th rank [18] of the matrix Ω, the matrices Ay 1, Ω, and Ax 1are unique up to permutation and scaling of columns.

When the matrix Ω 4 × K is full k th rank, Equation 25 becomes

min ( 4 , K ) + 2 ( M - 1 ) 2 K + 2

If K ≥ 4, then min(4,K) = 4 and hence, the identifiability is KM. If K ≤ 4, then min(4,K) = K and hence, the identifiability in practice becomes K ≤ 2M - 4.

For the received noisy signal, we use trilinear decomposition for obtaining the estimated matrices A ^ x 1 , Ω ^ , and A ^ y 1 , which are related to Ay 1, Ω, and Ax 1via

A ^ x 1 = A x 1 Π Δ 1 + V 1
(26a)
A ^ y 1 = A y 1 Π Δ 3 + V 3
(26b)
Ω ^ = Ω Π Δ 2 + V 2
(26c)

where ∏ is a permutation matrix, Δ1, Δ2, Δ3 are diagonal scaling matrices satisfying Δ1, Δ2, Δ3 = I K , V1, V2, and V3 are estimation error matrices. Within trilinear decomposition, permutation and scale ambiguities are inherent. Notably, the scale ambiguity can be resolved by means of normalization.

3.3 DOA estimation for L-shaped array

The direction matrices A ^ x 1 and A ^ y 1 are obtained with trilinear decomposition, and then angles are estimated. ax 1(θ k , ϕ k ) is the k th column of Ax 1, and it is

a x 1 ( θ k , ϕ k ) = [ 1 , e - j α k , , e - j ( M - 2 ) α k ] T

and then the following vector is obtained by

g x = - angle ( a x 1 ( θ k , ϕ k ) ) = [ 0 , α k , , ( M - 2 ) α k ] T
(27)

where angle(.) is get the phase angles, for each element of complex array. Thereafter, LS principle is adopted for estimating sin ϕ k cos θ k . The estimated array steer vector a ^ x 1 ( θ k , ϕ k ) (the k th column of the estimated matrix A ^ x 1 ) is processed through normalization, which also resolves the scale ambiguity, and then normalized sequence is processed for attaining g ^ x according to (27). LSs' fitting is P w = g ^ x , where

P = 1 1 1 0 2 π d λ ( M - 2 ) 2 π d λ ,

w = [w0,w x ]T, in which w x is the estimated value of sin ϕ k cos θ k , and w0 is the other estimation parameter. The LS solution to w is

w ^ = ŵ 0 ŵ x = ( P T P ) - 1 P T g ^ x
(28)

Similarly, a y 1 ( θ k , ϕ k ) = [ 1 , e - j β k , , e - j ( M - 2 ) β k ] T is the k th column of Ay 1, and then the corresponding vector is g y = -angle(ay 1(θ k , ϕ k )) = [0, β k ,...,(M-2) β k ] T . We use A ^ y 1 and LS principle to obtain ŵ y , which is the estimation of sin ϕ k sin θ k . The 2D-DOAs are estimated via

ϕ ^ k = sin - 1 ŵ x 2 + ŵ y 2
(29)
θ ^ k = tan - 1 ( ŵ y ŵ x )
(30)

Up to now, as deducted above, we have proposed the trilinear decomposition-based 2D-DOA estimation for L-shaped array in this section. The algorithmic steps in detail are shown as follows:

Step 1. We collect L snapshots to construct the matrices C i , i = 1,2,...,4.

Step 2. According to the symmetry characteristics of trilinear model, we obtain Y m , m = 1,...,M - 1, and Z n n = 1, ...,M- 1.

Step 3. Initialize randomly for the matrices Ay 1, Ω and Ax 1.

Step 4. LS update for the source matrix Ay 1according to (20).

Step 5. LS update for the source matrix Ω according to (22).

Step 6. LS update for the channel matrix Ax 1according to (24).

Step 7. Repeat Steps 4-6 until convergence.

Step 8. Estimate 2D-DOA according to the estimated matrices and LSs principle.

It is noted that our algorithm can obtain automatically paired 2D-DOA estimation. In our algorithm, we employ trilinear decomposition for obtaining the estimated direction matrices A ^ x 1 = A x 1 Π Δ 1 + V 1 , A ^ y 1 = A y 1 Π Δ 3 + V 3 , which suffer from the same column permutation ambiguity, i.e., the i th column of A ^ x 1 corresponds to the i th column of A ^ y 1 . So, our algorithm can estimate 2D-DOA estimation without extra pairing.

It is also noted that for the coherent source, spatial smoothing technique is used for attaining full-rank source matrix, followed by our algorithm to estimate coherent DOA. However, the spatial smoothing decreases the array aperture and the identifiable number of targets.

3.4 Complexity analysis and Cramer-Rao lower bounds (CRLB)

In contrast to ESPRIT algorithms in [6, 7], our algorithm has a heavy computational load. For our algorithm, the complexity of each TALS iteration is O(3K3 + 12(M - 1)2K) [16], only a few iterations of this algorithm with COMFAC are usually required to achieve convergence. The total complexity of our algorithm is O{4L(M - 1)2 + n(3K3 + 12(M - 1)2K)}, where L is the number of snapshots, and n is the number of iterations. The algorithm in [6] requires O(4L(M - 1)2 + 36(M - 1)3 + 2K3), and the ESPRIT algorithm in [7] needs O(4L(M - 1)2 + 80(M - 1)3 + 2K3).

We define the matrix A

A = A x A y 2 ( 2 M - 1 ) × K

which is also denoted by A = [a1a2 ... a K ], where a K is the k th column of the matrix A. According to [21], we derive the CRLB for angle estimation in L-shaped array,

CRLB = σ 2 2 L Re ( D H Π A D ) P T - 1
(31)

where ⊕ stands for Hadamard product.

Π A = I 2 M - 1 - A ( A H A ) - 1 A H , P = 1 L l = 1 L s ( t l ) s H ( t l ) , D = [ d 1 , d 2 , , d K , f 1 , f 2 , , f K ] , d k = a k ϕ k , f k = a k θ k .

4. Simulation results

We present Monte Carlo simulations that are to assess 2D-DOA estimation performance of the proposed algorithm. The number of Monte Carlo trials is 1000. There are two signals impinging on L-shaped array with (30°, 30°) and (40°, 40°), respectively. We consider the L-shaped array with 2M - 1 sensors, and a half wavelength of the incoming signals is used for the spacing between the adjacent elements in each uniform linear array. L = 300 snapshots are used in the simulations.

Let RMSE = 1 K k = 1 K 1 1 0 0 0 n = 1 1 0 0 0 [ ( ϕ ^ k , n - ϕ k ) 2 + ( θ ^ k , n - θ k ) 2 ] , where θ ^ k , n is the estimate of the elevation angle θ n of the n th Monte Carlo trial. ϕ ^ k , n is the estimation of the azimuth angle ϕ k of the n th Monte Carlo trial.

We first investigate the convergence performance of our proposed algorithm in this simulation. The sum of squared residuals (SSR) in the trilinear fitting is defined as

SSR = m = 1 M 1 m = 1 M 1 l = 1 4 [ x ˜ m , n , l k = 1 K a ^ m , k b ^ n , k h ^ l , k ] 2

where x ̃ m , n , l is the noisy data. Define DSSR = SSR i - SSR0, where SSR i is the SSR of the i th iteration, SSR0 is the SSR in the convergence condition. Figure 2 shows the algorithmic convergence performance of COMFAC with 13-antenna-array and SNR = 15 dB. From Figure 2, we find that COMFAC needs few iterations to achieve convergence.

Figure 2
figure 2

Algorithmic convergence performance.

Figure 3 shows 2D-DOA estimation of the proposed algorithm at SNR = 15 dB, and Figure 4 shows 2D-DOA estimation of our algorithm at SNR = 24 dB. The L-shaped array with 13 antennas is used in Figures 3 and 4. From Figures 3 and 4, we find that our proposed algorithm employs well.

Figure 3
figure 3

2D-DOA estimation performance at SNR = 15 dB.

Figure 4
figure 4

2D-DOA estimation performance at SNR = 24 dB.

We compare our algorithm against ESPRIT algorithms [6, 7], propagator method, and CRLB. Their DOA estimation performance comparison is shown in Figure 5, where the L-shaped array with 13 antennas is used. From Figure 5, we find that our algorithm has much better DOA estimation performance than ESPRIT algorithms and propagator method.

Figure 5
figure 5

Angle estimation performance comparison.

Figure 6 shows 2D-DOA estimation performance of our algorithm with different array configurations. It is seen from Figure 6 that 2D-DOA estimation performance of our algorithm is improved with the number of antennas increasing. When the number of antennas increases, our algorithm has higher received diversity.

Figure 6
figure 6

Angle estimation performance with different array.

5. Conclusion

This article links the L-shaped array 2D-DOA estimation problem to the trilinear model. To exploit this link, we have proposed trilinear decomposition-based DOA estimation in L-shaped array. Without spectral peak searching and pairing, the proposed algorithm employs well. Furthermore, the proposed algorithm has much better 2D-DOA estimation performance than conventional ESPRIT algorithms and propagator method.

Notations

Bold symbols denote matrices or vectors. Operators (.)*, (.)T, (.) H , (.)-1, (.)+ , and ||.|| F denote the complex conjugation, transpose, conjugate-transpose, inverse, pseudo-inverse, and Forbenius norm, respectively. I P denotes a P × P identity matrix. 1 1is an N × 1 vector of ones. diag(v) stands for diagonal matrix whose diagonal is the vector v. ⊙ and ⊕ stand for Khatri-Rao and Hadamard product, respectively. E{.} denotes statistical expectation.