tensor-based tracking schemes for time-delay estimation in
TRANSCRIPT
Universidade de BrasΓlia - UnBFaculdade de Tecnologia - FT
Engenharia ElΓ©trica
Tensor-based Tracking Schemes for Time-DelayEstimation in GNSS Multi-antenna Receivers
Autor: Caio CΓ©sar Rodrigues GarcezOrientador: Prof. Dr. JoΓ£o Paulo Carvalho Lustosa da Costa
BrasΓlia, DF07 de julho de 2017
Caio CΓ©sar Rodrigues Garcez
Tensor-based Tracking Schemes for Time-DelayEstimation in GNSS Multi-antenna Receivers
Monografia submetida ao curso de gradu-ação em Engenharia ElΓ©trica da Universi-dade de BrasΓlia, como requisito parcial paraobtenção do TΓtulo de Bacharel em Engen-haria ElΓ©trica.
Universidade de BrasΓlia - UnB
Faculdade de Tecnologia - FT
Supervisor: Prof. Dr. JoΓ£o Paulo Carvalho Lustosa da CostaCo-supervisor: Daniel Valle de Lima
BrasΓlia, DF07 de julho de 2017
Caio CΓ©sar Rodrigues GarcezTensor-based Tracking Schemes for Time-Delay Estimation in GNSS Multi-
antenna Receivers/ Caio CΓ©sar Rodrigues Garcez. β BrasΓlia, DF, 07 de julho de2017-
87 p. : il. (algumas color.) ; 30 cm.
Supervisor: Prof. Dr. JoΓ£o Paulo Carvalho Lustosa da Costa
Trabalho de ConclusΓ£o de Curso β Universidade de BrasΓlia - UnBFaculdade de Tecnologia - FT , 07 de julho de 2017.1. Array Signal Processing. 2. Global Navigation Satellite Systems. I. Prof.
Dr. JoΓ£o Paulo Carvalho Lustosa da Costa. II. Universidade de BrasΓlia. III.Faculdade de Tecnologia. IV. Tensor-based Tracking Schemes for Time-DelayEstimation in GNSS Multi-antenna Receivers
CDU 02:141:005.6
Caio CΓ©sar Rodrigues Garcez
Tensor-based Tracking Schemes for Time-DelayEstimation in GNSS Multi-antenna Receivers
Monografia submetida ao curso de gradu-ação em Engenharia ElΓ©trica da Universi-dade de BrasΓlia, como requisito parcial paraobtenção do TΓtulo de Bacharel em Engen-haria ElΓ©trica.
Trabalho aprovado. BrasΓlia, DF, 07 de julho de 2017:
Prof. Dr. JoΓ£o Paulo CarvalhoLustosa da Costa
Orientador
Prof. Dr. Ricardo ZelenovskyMembro 1
Ricardo Kehrle MirandaMembro 2
BrasΓlia, DF07 de julho de 2017
Agradecimentos
Em primeiro lugar, gostaria de agradecer ao professor JoΓ£o Paulo C. Lustosa daCosta pelo seu apoio, orientação e paciΓͺncia durante a conclusΓ£o deste trabalho. AgradeΓ§otambΓ©m aos meus orientadores Daniel Valle de Lima e Ricardo Kehrle Miranda por mefornecerem os recursos necessΓ‘rios para a execução do trabalho bem como perΓodos parao esclarecimento de dΓΊvidas.
Gostaria de deixar um agradecimento especial ao meu avΓ΄ Carlos Rodrigues Alves.
AbstractAlthough Global Navigation Satellite Systems (GNSS) receivers nowadays achieve highaccuracy when processing their geographic location under conditions of Line of Sight(LOS), errors due to interference by multipath and noise are the most degrading sourcesof accuracy. In order to solve the multipath interference, receivers based on multiple an-tennas have become the focus of technological research and development due to the factthey can mitigate multipath occurrence providing best estimates to the transmitted sig-nal time-delay, which is a relevant parameter for determining the userβs geolocation. Inthis context, tensor-based approaches based on PArallel FActor Analysis (PARAFAC)models have been proposed in the literature, providing optimal performance. As thesetechniques are subspace-based, considering a real-time tracking scenario, the computa-tion of a full Eigenvalue Decomposition (EVD)/Singular Value Decomposition (SVD) forsignal subspace estimation at every sampling instant is not suitable, due to complexityreasons. Therefore, an alternative to reduce the Time of Computing (ToC) of subspace es-timations has been the development of subspace tracking algorithms. This work proposesthe employment of two subspace tracking schemes to provide a reduction in the overallcomputational performance of tensor-based time-delay estimation techniques.
Key-words: Navigation. Satellites. GNSS receiver. Uniform Linear Array. Direction ofArrival. Correlation. Tracking.
ResumoEmbora os receptores GNSS (Global Navigation Satellite Systems) alcancem atualmentealta precisΓ£o ao processar sua localização geogrΓ‘fica sob condiçáes de Linha de VisΓ£o(Line of Sight), erros devido a interferΓͺncia por componentes multipercurso e ruΓdo sΓ£oas fontes mais degradantes desse sistema. A fim de resolver a interferΓͺncia multipercurso,receptores baseados em mΓΊltiplas antenas tornaram-se o foco de pesquisa e desenvolvi-mento tecnolΓ³gico devido ao fato de que podem mitigar a ocorrΓͺncia de multipercursofornecendo as melhores estimativas para o atraso do sinal transmitido, que Γ© um parΓ’metrorelevante para determinar a geolocalização do usuΓ‘rio. Neste contexto, abordagens tenso-riais baseadas em modelos PARAFAC (PArallel FActor Analysis) tΓͺm sido propostas naliteratura, proporcionando um Γ³timo desempenho. Como essas tΓ©cnicas sΓ£o baseadas emsubespaΓ§os, considerando um cenΓ‘rio de rastreamento em tempo real, o cΓ‘lculo de umaEVD (Eigenvalue Decomposition)/SVD (Singular Value Decomposition) completa paraestimativa de subespaΓ§o de sinal em cada instante de amostragem nΓ£o Γ© adequado, devidoa razΓ΅es de complexidade. Portanto, uma alternativa para reduzir o tempo de computação(Time of Computing) de estimativas de subespacos tem sido o desenvolvimento de algo-ritmos de rastreamento de subespaΓ§o. Este trabalho propΓ΅e o emprego de dois esquemasde rastreamento de subespaΓ§os para fornecer uma redução no desempenho computacionalgeral das tΓ©cnicas de estimativa de atraso de tempo baseadas em tensores.
Palavras-chave: Navegação. Satélites. Receptores GNSS. Arranjo Linear Uniforme. Cor-relação. Rastreamento.
List of Figures
Figure 1 β Signal transmission with multipath occurrence. . . . . . . . . . . . . . 21Figure 2 β GNSS segments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28Figure 3 β Positioning process for a general receiver. . . . . . . . . . . . . . . . . . 29Figure 4 β G1 Shift Register Generator Configuration for PRN=1. . . . . . . . . . 32Figure 5 β G2 Shift Register Generator Configuration for PRN=1. . . . . . . . . . 33Figure 6 β C/A along with P(Y) code and NAV(M) data power density spectrum
for PRN=1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34Figure 7 β BPSK-DSSS modulation of the C/A code along with the NAV data. . . 35Figure 8 β Far-field transmission. . . . . . . . . . . . . . . . . . . . . . . . . . . . 40Figure 9 β Uniform Linear Array with M antennas. . . . . . . . . . . . . . . . . . 40Figure 10 β The scenario under consideration. . . . . . . . . . . . . . . . . . . . . . 41Figure 11 β Triangle formed between the first and π-th antenna. . . . . . . . . . . 41Figure 12 β Illustration of the observed tensors in the batch-mode approach. . . . . 53Figure 13 β Illustration of an weighting exponential π½π₯ applied to the observed data. 53Figure 14 β Observed epochs being concatenated to the dimension πΎ of previously
observed data. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54Figure 15 β Resulting tensor (illustrated in purple) after applying a sliding window
of length πΎ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55Figure 16 β Unfolding perspective of the applied sliding window. Notice that the
length of the window changes to πΎπ. . . . . . . . . . . . . . . . . . . . 55Figure 17 β Process of appending an upcoming observation at time instant (π‘ + 1). 57Figure 18 β Block diagram of the proposed subspace tracking estimator to be added
to the DoA/KRF technique. Figure adapted from (1). . . . . . . . . . . 57Figure 19 β RMSE in meters. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68Figure 20 β Orthonormality Subspace RMSE for the subspace-based tracking tech-
niques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69Figure 21 β Time of Computing (ToC) of the simulation. . . . . . . . . . . . . . . . 69Figure 22 β Example of subarrays. . . . . . . . . . . . . . . . . . . . . . . . . . . . 82Figure 23 β N-modes vectors of a third order tensor. Figure adapted from (2). . . . 85Figure 24 β Unfoldings in reverse cyclical column ordering of a third-order tensor
of dimensions 4 x 5 x 3. Figure adapted from (3). . . . . . . . . . . . . 86
List of Tables
Table 1 β GPS constellation status. . . . . . . . . . . . . . . . . . . . . . . . . . . 29Table 2 β RF links components for the operational Block II series satellites. . . . . 31Table 3 β Selection of different register taps in order to generate the first 5 C/A
codes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33Table 4 β Summary of the ESPRIT algorithm. . . . . . . . . . . . . . . . . . . . . 49Table 5 β Summary of the DoA/KRF algorithm. . . . . . . . . . . . . . . . . . . . 52Table 6 β Summary of the PAST algorithm. . . . . . . . . . . . . . . . . . . . . . 59Table 7 β Summary of the proposed PAST-DoA/KRF algorithm. . . . . . . . . . . 60Table 8 β Power method for eigenvector tracking. . . . . . . . . . . . . . . . . . . 60Table 9 β Summary of the FDPM algorithm. . . . . . . . . . . . . . . . . . . . . . 61Table 10 β Summary of the proposed FDPM-DoA/KRF algorithm. . . . . . . . . . 62Table 11 β Numerical complexity of the algorithms. . . . . . . . . . . . . . . . . . . 63
List of abbreviations and acronyms
GNSS Global Navigation Satellite Systems.
LOS Line of Sight.
MI Multipath Interference.
NLOS Non Line Of Sight.
SCA Security Critical Applications.
LCA Liability Critical Applications.
PARAFAC Parallel Factor Analysis.
DoA/KRF Direction of Arrival/Khatri-Rao Factorization.
EVD Eigenvalue Decomposition.
SVD Singular Value Decomposition.
ToC Time of Computing.
RFI Radio Frequency Interference.
GPS Global Positioning System.
GLONASS GLObalβnaya NAvigasionnay Sputnikovaya Systema.
SV Spacial Vehicle.
ToA Time of Arrival.
SPS Standard Positioning Service.
AS Augmentaton System.
UHF Ultra High Frequency.
RF Radio frequency.
MA Multiple Access.
DS-CDMA Direct-Sequence Code Division Multiple Access.
DSSS Direct Sequence Spread Spectrum.
C/A Coarse Acquisition Code.
P(Y) Precise Encrypted Code.
LFSR Linear Feedback Shift Register.
(M) Navigation Data.
BPSK Binary Phase Shift Keying.
AWGN Additive White Gaussian Noise.
ULA Uniform Linear Array.
ESPRIT Estimation of Signal Parameter via Rotational Invariance Technique.
KRF Khatri-Rao Factorization.
FBA Forward-Backward Averaging.
ESPS Expanded Spatial Smoothing.
PAST Projection Approximation Subspace Tracking.
PCA Principal Component Analysis.
RLS Recursive Least Squares.
FDPM Fast Data Projection Method.
DPM Data Projection Method.
MAC Multiply Accumulate.
FLOP FLoating point OPeration.
RMSE Root Mean Squared Error.
OSRMSE Orthonormality Subspace Root Mean Squared Error.
Contents
ASPECTS OF THE WORK . . . . . . . . . . . . . . . . . . . . . . . 210.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210.2 Objective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210.3 Organization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220.4 Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
I INTRODUCTION 25
1 CONCEPTS OF GLOBAL NAVIGATION SATELLITE SYSTEMS . 271.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271.2 Components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271.3 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281.4 Fundamentals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281.4.1 The Global Positioning System - GPS . . . . . . . . . . . . . . . . . . . . 291.4.2 GLONASS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301.4.3 GALILEO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301.4.4 BeiDou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301.4.5 Augmentaton sytems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2 GNSS SIGNAL AND SYSTEM MODEL . . . . . . . . . . . . . . . 312.1 The GPS Signal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312.1.1 The C/A code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 322.1.2 Code Generation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 322.2 Navigation Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 342.3 Modulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 342.3.1 Binary Phase Shift Keying . . . . . . . . . . . . . . . . . . . . . . . . . . 342.3.2 BPSK-DSSS modulation . . . . . . . . . . . . . . . . . . . . . . . . . . . 352.4 Transmitted signal model . . . . . . . . . . . . . . . . . . . . . . . . . 35
II DATA MODEL 37
3 RECEIVED SIGNAL MODEL . . . . . . . . . . . . . . . . . . . . . . 393.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 393.2 The Uniform Linear Array - ULA . . . . . . . . . . . . . . . . . . . . . 403.3 Pre-correlation signal model . . . . . . . . . . . . . . . . . . . . . . . 44
3.4 Post-correlation signal model . . . . . . . . . . . . . . . . . . . . . . . 453.5 DoA Khatri-Rao Factorization - DoA/KRF . . . . . . . . . . . . . . . 473.5.1 Estimation of Signal Parameter via Rotational Invariance Technique - ESPRIT 473.5.2 Estimation of the factor matrices . . . . . . . . . . . . . . . . . . . . . . . 493.5.3 Time delay estimation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4 TENSOR-BASED TRACKING APPROACHES . . . . . . . . . . . . 534.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 534.2 Statement of the problem . . . . . . . . . . . . . . . . . . . . . . . . . 544.3 Tracking scenario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 554.4 Projection Approximation Subspace Tracking - PAST . . . . . . . . 584.5 Proposed PAST-DoA/KRF . . . . . . . . . . . . . . . . . . . . . . . . 594.6 Fast Data Projection Method - FDPM . . . . . . . . . . . . . . . . . 604.7 Proposed FDPM-DoA/KRF . . . . . . . . . . . . . . . . . . . . . . . 614.8 Review on the computational complexity of the algorithms . . . . . 63
III SIMULATIONS AND RESULTS 65
5 TRACKING SIMULATION . . . . . . . . . . . . . . . . . . . . . . . 675.1 Simulation parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . 675.2 Simulation results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 685.3 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
BIBLIOGRAPHY . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
APPENDIX 75
APPENDIX A β MATRIX OPERATIONS . . . . . . . . . . . . . . 77A.1 The Kronecker product . . . . . . . . . . . . . . . . . . . . . . . . . . 77A.2 The Khatri-Rao product . . . . . . . . . . . . . . . . . . . . . . . . . . 77A.3 Outer product . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77A.4 The vec{ } operator . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78A.5 The unvec{ } operator . . . . . . . . . . . . . . . . . . . . . . . . . . . 78A.6 The Singular Value Decomposition . . . . . . . . . . . . . . . . . . . 78A.7 The Khatri-Rao factorization . . . . . . . . . . . . . . . . . . . . . . . 78
APPENDIX B β ADAPTIVE ARRAY SIGNAL PROCESSING TECH-NIQUES . . . . . . . . . . . . . . . . . . . . . . . 81
B.1 Estimation of the Array Covariance Matrix . . . . . . . . . . . . . . . 81
B.2 Forward Backward Averaging . . . . . . . . . . . . . . . . . . . . . . . 81B.3 Spatial Smoothing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
APPENDIX C β TENSOR CALCULUS CONCEPTS . . . . . . . . 85C.1 Tensors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85C.2 The n-mode unfolding . . . . . . . . . . . . . . . . . . . . . . . . . . . 85C.3 The n-mode product . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86C.4 The PARAFAC decomposition . . . . . . . . . . . . . . . . . . . . . . 86
21
Aspects of the work
0.1 MotivationAlthough Global Navigation Satellite Systems (GNSS) receivers nowadays achieve
high accuracy when processing their geographic location under conditions of Line of Sight(LOS), errors due to interference by multipath and noise are the most degrading sourcesof accuracy in GNSS systems.
Multipath Interference (MI) occurs when the userβs device receives Non Line OfSight (NLOS) reflected signals in addition to the LOS signal. These interfering signalsare usually reflected from the ground, buildings, and other objects near the receiver. TheFigure (1) illustrates the scenario.
Figure 1 β Signal transmission with multipath occurrence.
0.2 ObjectiveIn order to mitigate multipath components, several techniques using one single
polarization antenna have been proposed in the literature, e. g. [4] [5], but their capabil-ities are not sufficient for safety-critical applications (SCA) or liability critical applica-tions (LCA). Thus, multi-antenna systems became the focus of research and technologicaldevelopment. In this context, tensor-based approaches based on Parallel Factor Analysis(PARAFAC) models [2] have been developed, providing optimal performance. The currentstate-of-the-art tensor-based multipath mitigation technique applied to time-delay estima-tion is referred as the DoA/Khatri-Rao Factorization (DoA/KRF) [1]. As this techniqueis subspace-based, when considering its implementation in a real-time tracking scenario,the computation of a full EVD/SVD for signal subspace estimation at every samplinginstant is not suitable, due to complexity reasons. Therefore, an alternative to reduce the
22 Aspects of the work
Time of Computing (ToC) of subspace estimations has been the development of subspacetracking algorithms. In this work we propose the employment of two subspace trackingschemes to provide a reduction in the overall computational performance of tensor-basedtime-delay estimation techniques.
0.3 OrganizationThe work is composed in three parts:
β Part [I]: Introduction.
Chapter (1) introduces to basic concepts necessary for the understanding of GNSSsystems. Chapter (2) deals with the characteristics of the transmitted signal for theGlobal Positioning System (GPS) technology related to its second generation.
β Part [II]: Data model.
Chapter (3) derives the data model for the signal reception. The multi-antennaconfiguration is presented along with state-of-the-art signal processing techniquesfor time delay estimation. Chapter (4) presents the tracking scenario along with thederivation of the proposed tensor-based tracking techniques.
β Part [III]: Simulations and results.
Chapter (5) presents the simulated results for the serial data sliding window trackingscenario.
0.4 NotationIn order to simplify the distinction between scalars, vectors, matrices and higher
order tensors, this work adopts the following notation:
Scalars are denoted by lower-case letters:
{π, π, π, . . . , πΌ, π½, . . .} β C1Γ1
π -dimensional vectors are written as bold lower case letters:
{a, b, c, . . . , πΌ, π½, . . .} β Cπ Γ1
πΌ Γ π½ matrices correspond to bold-face capitals:
{A, B, . . . , Ξ£, Ξ, . . .} β CπΌΓπ½
0.4. Notation 23
The entry with row index π and column index π in a matrix A, i.e. , Aππ, is symbolizedby πππ.
For a given π < π , given a matrix A β CπΓπ , such that:
A =[a1 Β· Β· Β· aQ Β· Β· Β· aπ Β· Β· Β· aπ
]β CπΓπ
The selection of the first π columns of A is denoted as:
[A]βπ=[a1 Β· Β· Β· aQ
]β CπΓπ
The suppression of the first π columns of A is denoted as:
[A]βπ=[aQ+1 Β· Β· Β· aπ
]β CπΓπβπ
To select a column of index π in the matrix A β CπΓπ , the following notation isadopted:
A(: , n) = aπ β CπΓ1
Now considering each row of the matrix A β CπΓπ , the selection of the first π
rows is denoted as:
[A]βπβ CπΓπ
Higher order tensors are written as calligraphic letters:
{π, β¬, . . .} β CπΌΓπ½ΓπΎΓ...
Information on the notation of operators is exposed in the Appendix (5.3).
27
1 Concepts of Global Navigation SatelliteSystems
1.1 Introduction
Satellite-based navigation systems establish geospatial positioning through the useof artificial satellites. These systems allow receivers on the Earthβs surface to determinetheir geolocation by means of the transmitted signals, acquiring their position in a conve-nient spatial reference system. The accuracy of the location will be given according to thetype of positioning technique used. When a satellite navigation system has the capabilityto provide positioning at any point on the earthβs surface, the Global Navigation SatelliteSystem (GNSS) nomenclature is adopted [6].
The current scenario consists of the modernization and improvement of the firstGNSS systems: the United States GPS (Global Positioning System) and the RussianGLONASS (GLObalβnaya NAvigasionnay Sputnikovaya Systema). In addition, new sys-tems are in employment phase, these being important to emphasize the European GALILEOand the Chinese BeiDou.
In line with so many augmentation systems and activities in progress: satellitelaunching, new component technologies and the emergence of new signals and systemsmodels, it becomes difficult to keep up with the latest developments. This rapid paceof progress expresses the continuous search for technologies that effectively promote asignificant improvement in the accuracy and integrity of GNSS systems.
1.2 Components
GNSS systems are composed of three segments: the space segment, the controlsegment and the user segment. The space segment consists of the orbiting Spacial Vehicle(SV) that provides signals containing navigation data to the userβs receiver. The controlsegment are reference stations scattered around the globe to monitor, correct and tracksatellites in space. Finally, the user segment composed of the receivers that perform thedetermination of the userβs position from the signals transmitted by the satellites inorder to provide navigation, synchronization, among other requisitions. These segmentsare almost similar in all satellite technologies currently found. Figure (2) illustrates eachsegments.
28 Chapter 1. Concepts of Global Navigation Satellite Systems
Figure 2 β GNSS segments.
1.3 Applications
The application of GNSS systems is a category with a wide range of areas such aslocation-based services, civil navigation, surveying and geographical mapping, maritimenavigation research, agriculture, autonomy, science, space, road flow, military operations,among others. In addition, it is worth mentioning other recent applications of GNSS sys-tems such as automatic toll vehicles [7], stand-alone vehicles that require high standardsof safety and precision [8], real-time fishing ships location in order to guarantee the sus-tainable management of the fishing commonwealth [9] and precision farming, where theGNSS system is used to improve, for example, precise application of fertilization and alsoto coordinate handling 24 hours a day of expensive agricultural machines [10].
1.4 Fundamentals
Satellite-based navigation systems determine the userβs position according to pseu-dorange measurements between the receiver and a set of visible satellites. These distancesare calculated thought the Time of Arrival (ToA) which is the interval the transmittedsignal takes to travel from the satellite to the receiver. This time corresponds to an ob-served carrier-phase difference among the satellite broadcasted signal and the receivedone.
Throughout the convention of expressing the userβs position based on a three-dimensional coordinate system: {π₯, π¦, π§} = R3 and a clock bias variable Ξπ related to thesynchronization of the clock of the satellite system and the receiverβs, a non-linear Euclid-ian system [6] can be solved for the four variables in order to obtain unambiguously theuserβs position. Since the satellitesβ position are known, it becomes necessary, regardlessof the adopted GNSS system, that the orbits of the satellites must be chosen such that
1.4. Fundamentals 29
for any place in the globe, the receiver will be available to visualize at least 4 satellites.The Figure (3) illustrates the positioning scenario.
Figure 3 β Positioning process for a general receiver.
1.4.1 The Global Positioning System - GPS
The Global Positioning System (GPS) became the first operational GNSS system.It is operated by the United States and presently provides two services: one for civilianusers, referred to as the Standard Positioning Service (SPS), and one restricted to militaryforces. In this work, the GPS system will be adopted as reference for the study of GNSSsystems.
Generation Number of satellites Status
Block II-A 0 Nonoperational.Block II-R 12 Operational.
Block IIR-M 7 Operational.Block II-F 12 Operational.GPS III 0 In production.
Table 1 β GPS constellation status.
Until the present moment of this work, the GPS constellation involves a mix of oldand new satellites. The operational SVs are part of the Block II series which stands for thesecond generation of satellites: The Block II-A (Advanced), Block II-R (Replenishment),Block IIR-M (Modernized) and Block II-F (Follow-on). It is also important to mention
30 Chapter 1. Concepts of Global Navigation Satellite Systems
the forthcoming GPS III which is the next generation of SVs. The Table (1) points out atotal of 31 operational satellites in the GPS constellation and their status.
1.4.2 GLONASS
Similar to the GPS system, the Russian system GLONASS uses 24 satellites. Orig-inally, the intention was strictly militaristic. However, in 2007, Russia made GLONASSavailable for civilian and commercial use. Most of the actual receivers have an architecturecompatible to GLONASS.
While GPS is the more accurate in most areas of the world, the Russian GLONASSsystem seems to operate more efficiently at northern latitudes as the purpose of GLONASSwas to operate in Russia, home of the highest latitudes on the planet.
1.4.3 GALILEO
Galileo is an European system developed with the intend to offer basic navigationsolution free of charge. The positioning services are more accurate when compared to anyother system. Once full operational, Galileo will be available to users worldwide thoughthe European Union.
1.4.4 BeiDou
Chinaβs Beidou satellite navigation system operates with 27 satellites that servicethe Asia-Pacific region, but current plans include global expansion to 30 satellites by 2020.The current system is accurate to within five meters and has designs on improvements toreach accuracy measurements within centimeters in order to compete with other solutions.
1.4.5 Augmentaton sytems
An Augmentaton System (AS) refers to any solution that helps improving theexactness, reliability, availability, or various other aspects of a GNSS receiver device.Several Augmentaton Systems have been developed for both military and civilian users.In order to meet the needs of both sectors, the US government has developed several typesof augmentation systems, which have been made available to the public. Some of thesesystems include: ground-based systems, reference stations and support systems.
31
2 GNSS Signal and System Model
2.1 The GPS SignalIn order to describe the GPS signal model referred to the present moment of this
work, the GPS 200 Interface Specification (IS-GPS-200) [11] will be adopted as reference.The IS-GPS-200 defines the characteristics of a signal transmitted from the operationalBlock II satellite series.
The GNSS signals are transmitted on the radio spectrum about 1.2 and 1.6 GHzin the Ultra High Frequency (UHF) band at a part of the L-band. This frequency rangehas been chosen for these signals since it enables measurements of adequate precision fora given simple user equipment and less signal attenuation from the atmosphere, undercommon weather conditions.
The GPS signals are broadcasted on two radio carriers denoted as L1 and L2. Theyare derived from a common frequency, π0 = 10.23 MHz such that ππΏ1 = 154π0 = 1575.42MHz and ππΏ2 = 120π0 = 1227.60 MHz. The Table (2) shows the signal content of eachcarrier component [12].
L1 Link L2 LinkSV In phase Quadrature In phase QuadratureBlock II P(Y) β D(t) C/A(t) β D(t) P(Y) -Block II-A P(Y) β D(t) C/A(t) β D(t) P(Y) -Block II-R P(Y) β D(t) C/A(t) β D(t) P(Y) β D(t) -Block IIR-M P(Y) β D(t) C/A(t) β D(t) P(Y) β D(t) L2 CM β D(t)Block IIR-F P(Y) β D(t) C/A(t) β D(t) P(Y) β D(t) L2 CM β D(t)GPS-III P(Y) β D(t) C/A(t) β D(t) P(Y) β D(t) L2 CM β D(t)
Table 2 β RF links components for the operational Block II series satellites.
As seen in Table (2) the GPS system carrier signal content may differ when con-sidering in-phase and quadrature components for the L2 link. Thus, as this work has anapproach for a civilian receiver, only the L1 RF link will be adopted.
Since several satellites need to share the same available channel bandwidth for thesignal transmission, Multiple Access (MA) techniques are employed in order to ensurethat signals from different satellites will be separated or even orthogonal to each other.This way the user is capable of identifying the transmitting satellites.
The GPS system protocol for MA is defined as Direct-Sequence Code DivisionMultiple Access (DS-CDMA), a form of CDMA. Each satellite has two unique DirectSequence Spread Spectrum (DSSS). The first is know as the Coarse Acquisition Code
32 Chapter 2. GNSS Signal and System Model
(C/A code), intended for civil applications. The other one is denoted as the PreciseEncrypted Code (P(Y)), reserved to military forces. This work restricts to the use of theC/A code for the signal processing.
2.1.1 The C/A code
The C/A code consists of a sequence of 1023 chips. The bit is called a chip toemphasize that it does not carry information. The code repeats over a period of 1 mswith a baud rate of 10.23 MHz. We define the chip sequence by:
c =[π1 π2 Β· Β· Β· π1023
]β N1Γ1023 (2.1)
2.1.2 Code Generation
The GPS C/A code is formed with two Linear Feedback Shift Registers (LFSR)of 10 registers driven with a clock frequency of 1.023 MHz. The tap positions of bothregisters are fixed, and their seeds are all one for all sequences. The code is created byadding specific taps of the first LFSR with other taps of the second LFSR. Differentsequences are generated when tap positions of the LFSRs are modified.
The Figures (4) and (5) illustrate the LFSRs used for the generation of the C/Acode for PRN=1. The register presented in the Figure (4) is detonated as G1. The otherregister illustrated on the Figure (5) is referred as G2. In order to illustrate the generationof other C/A code sequences, the Table (3) presents the convention for the tap positionsof RG1 used for generating other four sequences. The entire convention can be viewed in[11].
Figure 4 β G1 Shift Register Generator Configuration for PRN=1.
2.1. The GPS Signal 33
Figure 5 β G2 Shift Register Generator Configuration for PRN=1.
Sat ID Tap selections
1 2 β 62 3 β 73 4 β 84 5 β 95 1 β 9
Table 3 β Selection of different register taps in order to generate the first 5 C/A codes.
Considering the tap positions of the register G1, the polynomial ππΊ1 of the registeris given by: ππΊ1(π₯) = π₯10 + π₯3. For the register G2: ππΊ2(π₯) = π₯10 + π₯9 + π₯8 + π₯6 + π₯3 + π₯2.The C/A code bit is given by the modulo-2 sum of ππΊ1(π₯) and ππΊ2(π₯):
πΆ/π΄(π₯) = (ππΊ1(π₯) β ππΊ2(π₯)) (2.2)
Which results in a code of length of 1023 chips. These codes are also refereed asGold codes after the name of their inventor. One propriety is that they have low correlationfor different code sequences. This indicates that if the C/A code of a satellite is correlatedwith either itself or with another, the result will be zero or close to zero, as indicatedbelow:
E{cπ[π] β cπ[π β π ]} β 0 , if π = 0 (2.3)
E{cπ[π] β cπ[π β π ]} β 0 , if π = π (2.4)
Where E{ } denotes the expected value operator.
34 Chapter 2. GNSS Signal and System Model
2.2 Navigation Data
Referred as (M), the Navigation Data is a binary-coded message consisting of threemajor components. The first part contains the GPS date and time plus the satelliteβs statusand an indication of its health. The second part contains orbital information data, calledephemeris. It allows the receiver to calculate the position of the satellite. The third part,called the almanac, contains information concerning the status, location and C/A codenumber of all the satellites of the constellation. The navigation message is transmittedat 50 bits per second within a period of 20 ms. The Figure (6) shows the power densityspectrum of the GPS signal containing the C/A code sequence along with the P(Y) codeand the NAV(M) data.
Figure 6 β C/A along with P(Y) code and NAV(M) data power density spectrum forPRN=1.
2.3 Modulation
2.3.1 Binary Phase Shift Keying
The Binary Phase Shift Keying (BPSK) is the modulation process most used forGNSS systems nowadays. In this method, a 0 bit does not change the transmitted carrierand a 1 bit multiplies the carrier by -1, which is equivalent to shift the phase of thesinusoidal signal by 180β.
2.4. Transmitted signal model 35
2.3.2 BPSK-DSSS modulation
Direct Sequence Spread Spectrum (DSSS) technique adds the C/A code to thenavigation data obtaining a higher symbol rate signal. The Figure (7) illustrates themodulation process. At the receiver, the demodulation process obtains the original navi-gation data by multiplying the incoming signal by the same C/A code sequence used inthe modulation process.
Figure 7 β BPSK-DSSS modulation of the C/A code along with the NAV data.
2.4 Transmitted signal model
As seen in Table (2), the L1 link consists of two carrier components which arein phase quadrature with each other. Each carrier component is BPSK-DSSS modulatedby different bit trains. One bit train is the modulo-2 sum of the P(Y) code and NAVdata, while the other is the modulo-2 sum of the C/A-code and the NAV data. Eventhough both codes are broadcast on L1, they are distinguishable from one another bytheir transmission in quadrature. That means that the C/A code modulation on the L1carrier is phase shifted 90β from the P(Y) code modulation on the same carrier. Therefore,a model for the signal transmitted from the π-th satellite can be derived as [12]:
π (π)(π‘) =β
2ππ,πΏ1(π (π)(π‘) β π·(π)(π‘)) cos(2ππππ‘) +β
2ππΆ/π΄,πΏ1(πΆ/π΄(π)(π‘) β π·(π)(π‘)) sin(2ππππ‘)(2.5)
36 Chapter 2. GNSS Signal and System Model
Where ππ,πΏ1 is the power of the signal with the P(Y) code, ππΆ/π΄,πΏ1 is the power ofthe signal with the C/A code, π·(π‘) is the navigation data, π (π‘) is the P(Y) code, πΆ/π΄(π‘)is the C/A code and ππ is the central frequency of the carrier.
Since the P(Y) code is restricted to military forces, only the quadrature componentin Equation (2.5) will be considered in this work. Thus, The model for the transmittedsignal becomes:
π (π)(π‘) =β
2ππΆ/π΄,πΏ1(πΆ/π΄(π)(π‘)) sin(2ππππ‘) (2.6)
39
3 Received Signal Model
3.1 IntroductionMost of the modern approaches to signal processing are model-based, in the sense
that they rely on certain assumptions on the data observed in the real world. The receivedsignal consists of a carrier denoted by:
π β(π‘) = πΌβ(π‘) cos(2ππππ‘ + π½β(π‘)) (3.1)
Where πΌ(π‘) is the in-phase component, π½(π‘) the quadrature component. The indexβ = [1, 2, Β· Β· Β· , πΏ] denotes the LOS component, referred as (β = 1), and the remain (πΏ β 1)NLOS copies.
Another expression can be obtained for Equation (3.1) by defining the cosine as areal part of a complex exponential, such that:
π β(π‘) = πΌβ(π‘) β{ππ2ππππ‘+π½β(π‘)} (3.2)
From Equation (3.2) it is possible to obtain the phasor expression for the receivedsignal, denoted as π β(π‘) which is defined as:
π β(π‘) = πΌβ(π‘)ππ2ππππ‘+π½β(π‘) (3.3)
The nature of the signal in a complex domain form found in Equation (3.3) issupported by most GNSS receivers, which decompose the signal into both in-phase andquadrature components as seen in the section (2.4), such that only the quadrature com-ponent consisted of the C/A ranging code is of interest.
Throughout the description of the algorithms and derivation of the techniques, thefollowing scenario is assumed [13]:
β Isotropic and linear transmission medium.
The transmission medium between the satellites and the receiver is assumed to beisotropic and linear. In other words, the medium has the same physical propertiesin all different directions and the signals at any particular point can be superposedlinearly. This means that, particularly for this work, the πΏ received signals can beexpressed as a linear superposition of the LOS component along with the πΏ β 1NLOS components. In addition, it is important to mention that:
β The propagation property of the signal waves do not change in relation to thedirection of arrival of the signals.
40 Chapter 3. Received Signal Model
β The gain of each antenna or sensor element is assumed to be unitary.
β Far-field assumption.
The satellites are located far from the receiver such that the wavefront generated byeach transmitted signal arrives at all the elements of the antenna array at an equaldirection of propagation, leading to a planar impinging wavefront. The Figure (8)illustrates the scenario.
Figure 8 β Far-field transmission.
β Narrowband assumption. As the LOS component and the NLOS copies havethe same carrier frequency, their frequency contents must be concentrated in theneighborhood of the carrier frequency ππ. In orther words, the therms πΌ(π‘) and π½(π‘)in the equation (3.1) must vary slowly when the signal propagates from one antennaelement to another on the multi-antenna receiver, see Figure (10).
β AWGN Channel. The noise is assumed to be of a complex white Gaussian process.The additive noise is taken from a zero mean, spatially uncorrelated random process,which is uncorrelated with the signals. The noises have a common variance π2
π atall the array elements and are uncorrelated among all elements or sensors.
3.2 The Uniform Linear Array - ULAThe proposed multi-antenna receiver is configured as an Uniform Linear Array
(ULA). This antenna array consists of π identical and omni-directional antenna elementsaligned and equally spaced. The distance between the two adjacent elements is Ξ. TheULA geometry is illustrated in the Figure (9).
Figure 9 β Uniform Linear Array with M antennas.
3.2. The Uniform Linear Array - ULA 41
The data model states that the LOS component transmitted by the π-th satelliteimpinges on the ULA-based antenna receiver at an angle ππ. Therefore, the signal receivedby the first antenna is a delayed version of the transmitted signal expressed in equation(3.1) with a delay of ππ which is the time the signal takes to travel from the satellite toreach the first antenna element of the receiver. That is:
π β,1(π‘) = π β(π‘ β ππ) = πΌβ(π‘ β ππ)ππ2πππ(π‘βππ)+π½β(π‘βππ) (3.4)
Figure 10 β The scenario under consideration.
Figure 11 β Triangle formed between the first and π-th antenna.
The ULA places each element equally spaced such that is possible to form thetriangle in the Figure (11) for the remaining antennas. The only difference relies on theelement position which will increase the distance by (πβ1). Thus, the general expressionfor the π-th element is:
Ξππ = (π β 1)Ξ sin(πβ) (3.5)
Where π = [1, 2, Β· Β· Β· , π ]. The received signal of the π-th element is a delayedversion of π β,1(π‘). This additional delay is given by:
πππ = Ξππ
π(3.6)
42 Chapter 3. Received Signal Model
From the Equations (3.5) and (3.6) we can write:
πππ = (π β 1)Ξ sin(πβ)π
(3.7)
Thus, from Equations (3.4) and (3.7) we can write the expression for the receivedsignal by the π-th element as:
π β,π(π‘) = π β,1(π‘ β πππ) = π β(π‘ β ππ β πππ) (3.8)
π β,π(π‘) = πΌβ(π‘ β ππ β πππ)ππ2πππ(π‘βππβπππ)+π½β(π‘βππβπππ) (3.9)
Accordion to the narrowband assumption, the in-phase and quadrature compo-nents will not change during the propagation between each antenna element, such thatthe Equation (3.9) becomes:
π β,π(π‘) = πΌβ(π‘ β ππ)ππ2πππ(π‘βππβπππ)+π½β(π‘βππ) (3.10)
π β,π(π‘) = πΌβ(π‘ β ππ)ππ2πππ(π‘βππ)+π½β(π‘βππ)πβπ2ππππππ (3.11)
π β,π(π‘) = π β,1(π‘)πβπ2ππππππ (3.12)
From the Equation (3.7) we replace an expression for πππ in the Equation (3.12),such that:
π β,π(π‘) = π β,1(π‘)πβπ2πππ(πβ1) Ξ sin(πβ)π (3.13)
Defining πβ = β2πππ
πΞ sin(πβ) as the spatial frequency associated with the π-th
signal component and replacing π = πππ obtaining πβ = β2π
πΞ sin(πβ), the Equation
(3.13) can be rewritten as:
π β,π(π‘) = π β,1(π‘)ππ(πβ1)πβ (3.14)
Equation (3.14) shows that the signal received by the π-th element from the π-thsignal component is the same as that received by the first (leftmost) element but with anadditional phase shift factor of ππ(πβ1)πβ . This factor depends only on the spatial frequencyπβ, and the position of the π-th element relative to the first element.
As the spacial frequency depends on πβ. For each incident πβ related to a signalcomponent, there is a corresponding spatial frequency πβ. The objective of the Directionof Arrival (DoA) estimation is to obtain the spatial frequencies from the πΏ signals receivedby the array. A DoA scheme with good accuracy and low computational complexity ispresented in [14] as the Estimation of Signal Parameter via Rotational Invariance Tech-nique (ESPRIT) which requires a shift invariant array response. The ESPRIT algorithmis detailed in Subsection (3.5.1).
3.2. The Uniform Linear Array - ULA 43
Now considering the Isotropic and linear transmission medium, all the πΏ incidentsignals components can be superposed such that the overall signal π₯(π‘) received by theπ-th element of the array can be expressed as:
π₯(π‘) =πΏβ
β=1
πβπ=1
π β,1(π‘)ππ(πβ1)πβ (3.15)
For the sake of simplicity, the signal π β,1(π‘) received by the fist antenna elementwill be denoted as π β(π‘). Considering the AWGN characteristics of the channel, the signalπ₯(π‘) can be written as:
π₯(π‘) =πΏβ
β=1
πβπ=1
π β(π‘)ππ(πβ1)πβ + π(π‘) (3.16)
A convenient way to analyze Equation (3.16) is to express the signal in the matrixform. That is considering:
a(πβ) =[1 πππβ Β· Β· Β· ππ(πβ1)πβ
]Tβ CπΓ1 (3.17)
Where a(πβ) in Equation (3.17) is referred as the steering vector which containsthe additional phase shift factor for each antenna element in the array.
By concatenating the π steering vectors, we define the steering matrix A(π) in thefollowing fashion:
A(π) =[a(π1) a(π2) Β· Β· Β· a(πβ)
]Tβ CπΓπΏ (3.18)
Considering π (π‘) as a discrete time signal π [π] such that π = [1, 2, Β· Β· Β· , π ] are thenumber of samples, the signal vector sβ is given by:
sβ =[π β[1] Β· Β· Β· π β[π]
]β C1Γπ (3.19)
Concatenating the π signal vectors, we define the signal matrix S below:
S =[s1[π] Β· Β· Β· sβ[π]
]Tβ CπΏΓπ (3.20)
Therefore, the received signal x[π] can be expressed in a matrix fashion by:
X = AS + N (3.21)
Equation (3.21) establishes the signal model to be adopted in this work. In thenext sections this data model will be used throughout the derivation of the pre and post-correlation signal models for the GNSS ULA-based receiver.
44 Chapter 3. Received Signal Model
3.3 Pre-correlation signal modelBased on the signal model for an ULA receiver derived in Section (3.2) through the
Equation (3.16) and its matrix form expressed in Equation (3.21), the πΏ received signalsfor the ULA-based GNSS receiver [15] can be expressed as a linear superposition of theLOS component along with the πΏ β 1 NLOS replicas. Such that:
x(π‘) =πΏβ
β=1sβ(π‘) + πβ(π‘) (3.22)
Where sβ(π‘) can be expressed as:
sβ(π‘) = a(πβ) πΎβ cT[π‘ β πβ] (3.23)
Where a(πβ) β CMΓ1 is referred as the steering vector with azimuth angle of πβ.The vector c[π‘ β πβ] β C1Γπ denotes the C/A code sequence with time delay πβ and πΎβ isa complex amplitude. The additive complex white Gaussian noise is referred as πβ(π‘).
Since each C/A code contains π = 1023 samples and can be temporally groupedinto πΎ epochs for π = [1, 2, Β· Β· Β· , πΎ], the received signal matrix of the π-th epoch can bewritten as:
X[π] =[x[(π β 1)π + 1] Β· Β· Β· x[(π β 1)π + π ]
]β CπΓπ (3.24)
Concatenating the steering vectors of the π-th period into a matrix A[π], thecomplex amplitudes πΎβ into a diagonal matrix Ξ[π] and the sampled and delayed C/Acodes into a matrix C[π] the signal can be rewritten in a matrix notation. That is:
X[π] = A[π] Ξ[π] C[π] + N[π] β CπΓπ (3.25)
Where: Aβ =[a(π1) Β· Β· Β· a(πβ)
]β CπΓπΏ denotes the steering matrix of the π-th
observation period. Ξ[π] = diag{πΎβ} β CπΏΓπΏ is a diagonal matrix whose entries are thecomplex amplitudes of the signal. C[π] =
[c[π‘ β π1] Β· Β· Β· c[π‘ β πβ]
]Tβ CπΏΓπ contains the
sampled and delayed C/A codes.
Applying the vec{ } operator (see Appendix (A.4)) in the matrix X[π] in Equation(3.25), the following expression is obtained:
vec{X[π]} = x[π] = (CT β A)πΎ[π] + n[π] β CππΓ1 (3.26)
Where the symbol β denotes the Khatri-Rao product (see Appendix (A.2)) andthe vector πΎ =
[πΎ1 Β· Β· Β· πΎβ
]β CπΏΓπΎ contains the complex amplitudes related to each
epoch. The index [π] is omitted from the matrices CT and A due to the fact that theyremain the same for every πΎ period of collection of epochs.
3.4. Post-correlation signal model 45
Considering the πΎ collected epochs in Equation (3.26), it is possible to obtain amatrix X by concatenating each x[π] vector into columns, such that:
X =[x[1] Β· Β· Β· x[πΎ]
]β CππΓπΎ (3.27)
A matrix Ξ =[πΎ[1] Β· Β· Β· πΎ[πΎ]
]β CπΏΓπΎ is defined as the concatenation of the
complex amplitudes of each epoch. Then, from Equations (3.26) and (3.27) the matrix Xcan be rewritten as:
X = (CT β A)Ξ + N β CππΓπΎ (3.28)
X = X0 + N β CππΓπΎ (3.29)
Which is referred as the pre-correlation received signal matrix. In Equation (3.29)the term X0 = (CT β A)Ξ β CππΓπΎ is the noiseless received signal matrix. Notice thatthe transposed of X0 can be expressed as the first-mode reverse cyclical unfolding of atensor π³ 0 (see Appendix (C.2)) as it follows:
XT0 = ΞT(CT β A)T = [π³ 0](1) β CπΎΓππ (3.30)
In such a way that the unfolding [π³ 0](1) can be folded into the tensor π³ 0 whichfollows a Parallel Factor Analysis (PARAFAC) structure (see Appendix (C.4)). That is:
π³ 0 = β3,πΏ Γ1 ΞT Γ2 CT Γ3 A β CπΎΓπΓπ (3.31)
Where β3,πΏ β RπΏΓπΏΓπΏ is denoted as the third-order identity tensor. Besides, thereceived pre-correlation signal presented in Equation (3.29) can be expressed in a tensorfashion such that:
π³ = π³ 0 + π© β CπΎΓπΓπ (3.32)
Hence, the term π© β CπΎΓπΓπ refers to the channelβs AWGN characteristics,which can be expressed as a tensor.
3.4 Post-correlation signal modelAs previously seen in Section (2.3.2) GNSS receivers perform a series of cross-
correlations in order to align the incoming C/A code with the local generated replica.Towards conceiving this process, a bank of correlators, as presented in [15] [16], is employedto multiply the received signal with all possible shifted replicas for computing the cross-correlation vector necessary to estimate the time delay of the LOS component.
46 Chapter 3. Received Signal Model
The correlator bank contains π shifted signal replicas of a C/A code sequencec[π‘] β R1Γπ with corresponding time delay ππ, where π = {1, Β· Β· Β· , π}, that is:
Q =[c[π‘ β π1] Β· Β· Β· c[π‘ β ππ]
]Tβ RπΓπ (3.33)
The correlation operation multiplies the received signal X in Equation (3.25) bythe correlator bank Q in Equation (3.33). The result is referred as the post-correlationsignal Y. Therefore, for a given π-th epoch:
Y[π] = X[π]Q (3.34)
Y[π] = A[π] Ξ[π] C[π]Q + N[π] Q β CπΓπ (3.35)
Notice that in Equation (3.35) the term related to the noise becomes colored afterbeing multiplied by the correlator bank. In order to avoid this issue, a Fisher information-preserving compression criterion [16] is applied to the bank Q by means of the economy-size Singular Value Decomposition (SVD) (see Appendix (A.6)) allowing to write:
Q = UΞ£VH (3.36)
Where U β CπΓπ, Ξ£ β CπΓπ and V β CπΓπ. The compressed correlator bankis defined as Qπ = U. Since it is an orthogonal and unitary matrix, when multiplied bythe AWGN matrix N[π] the result preserves the statistical properties of the white Gaus-sian noise. Hence, the correlator bank in Equation (3.35) is replaced by the compressedcorrelator bank Qπ leading to:
Y[π] = A[π] Ξ[π] C[π] Qπ + N[π] Qπ (3.37)
Y[π] = A[π] Ξ[π] C[π] Qπ + Nπ[π] (3.38)
Where Nπ[π] preserves white Gaussian noiseβs nature.
Notice that the signal model presented in Equation (3.38) has a similar structureregarding the model shown in Equation (3.25). Similarly as as performed from Equations(3.26) to (3.32), the post-correlation signal model can be expressed in a tensor fashion by:
π΄ = β3,πΏ Γ1 ΞT Γ2 (CQπ)T Γ3 A + π© π β CπΎΓπΓπ (3.39)
The tensor-based signal model presented in Equation (3.39) has become subjectof intensive research, worth mentioning [17] [18]. Since the purpose of this work is to dealwith a tracking scenario, one state-of-the-art tensor-based time-delay estimation approachis presented. The technique is referred as the DoA/Khatri-Rao Factorization (DoA/KRF)[1] which has better performance and less computational complexity when compared toother solutions.
3.5. DoA Khatri-Rao Factorization - DoA/KRF 47
3.5 DoA Khatri-Rao Factorization - DoA/KRFSince the post-correlation received signal model shown in Equation (3.39) follows
a Parallel Factor Analysis (PARAFAC) model [2], DoA/KRF proposed in [1] estimatesthe modelβs factor matrices for later perform time-delay estimation. The approach startsby reconstructing the array steering factor matrix through an ESPRIT-DoA estimationtechnique presented in Subsection (3.5.1), the remaining factor matrices are then obtainedby means of the Khatri-Rao factorization (KRF) [19] shown in Subsection (3.5.2). Later,the time-delay estimation is performed via the signalβs greatest power approach, pointedin subsection (3.5.3).
In order to perform DoA estimation on the received signal tensor, the array steeringmatrix A β CπΓπ must be exposed in a similar fashion as the signal model seen previouslyon Equation (3.21). Hence, the received signal tensor is unfolded into its third-modereverse cyclical unfolding, given by:
[π΄ ](3) = A(ΞT β (CQπ)T
)T+ Nπ β CπΓπΎπ (3.40)
3.5.1 Estimation of Signal Parameter via Rotational Invariance Technique -ESPRIT
Proposed in [14] as a subspace-based method for DoA estimation, ESPRIT pro-vides a closed-form solution with low computational complexity. First, the EigenvalueDecomposition (EVD) is applied on the estimated received signal covariance matrix (seeAppendix (B.1)), such that:
R = UΞ£UH β CπΓπ (3.41)
Where U β CπΓπ denotes the matrix of the signalβs eigenvectors and Ξ£ β CπΓπ
is a diagonal matrix containing the signalβs eigenvalues.
Since the πΏ number of received signals by the Vandermonde left centro-hermitianULA is considered to be known, the signal subspace matrix can be obtained through alow-rank approximation by selecting the first πΏ columns of U that is:
U =[Uπ |Uπ
]β CπΓπ (3.42)
Where Uπ β CπΓπ is the signal subspace matrix and Uπ β CπΓ(πβπ) is thesubspace related to the noise. Now considering that the number of antenna elements π
in the ULA is greater than the number of πΏ received signals, the shift invariance equationexpressed below can be solved.
J1AΦ = J2A (3.43)
48 Chapter 3. Received Signal Model
Where A β CπΓπ is the steering matrix presented before in Equation (3.52),J1 = [Iπ 0πΓ1] β Cπβ1Γπ and J2 = [0πΓ1 Iπ ] β Cπβ1Γπ are selection matrices.
Since the matrix A can be re-obtained by multiplying the matrix Uπ by a trans-formation matrix T such that A = Uπ T, the Equation (3.43) becomes:
J1Uπ TΞ¦ = J2Uπ T (3.44)
Applying the Moore-Penrose pseudoinverse operator in term J1Uπ in Equation(3.44) and multiplying by T+, the shift invariance equation can be rewritten as:
TΞ¦T+ = (J1Uπ )+J2Uπ (3.45)
By defining Ψ = TΦT as a matrix which contains information about the spatialfrequencies, it is possible to apply EVD in Ψ obtaining:
Ξ¨ = Ξ£ΞΞ£H (3.46)
Where Ξ β CπΓπ is a diagonal matrix of interest which contains the desired spatialfrequencies πππβ , that is:
diag{Ξ} =[πππ1 , Β· Β· Β· , πππβ
](3.47)
The estimated spatial frequencies are given by:
οΏ½οΏ½β = arg{πππβ} (3.48)
And the corresponding angles of arrival can be expressed as:
πβ = arcsin(
β π
2πΞ οΏ½οΏ½β
)(3.49)
Considering that each antenna element is equally spaced in such a way that theirdistance matches the received signalβs wavelength, i.e. Ξ = π, the Equation (3.49) be-comes:
πβ = arcsin(
β 12π
οΏ½οΏ½β
)(3.50)
In order to apply ESPRIT in a highly multipath environment, decorrelating meth-ods are necessary for multipath mitigation. Thus, the techniques Forward-Backward Av-eraging (FBA) [20] and Expanded Spatial Smoothing (ESPS) [21] [22] are applied on thereceived signal model.
3.5. DoA Khatri-Rao Factorization - DoA/KRF 49
Algorithm 1 DoA estimation via ESPRIT [14]
1. Initialization:1.1 β Define the selection matrices J1 and J2.
J1 = [Iπ 0πΓ1]J2 = [0πΓ1 Iπ ]
2. Obtain an estimation for the signal subspace.Us = EVD (Rπ₯π₯)
3. Solve the shift invariance equation to obtain an estimation for Ξ¨.Ξ¨ = (J1Us)+J2Us
3. Obtain an estimation for the spatial frequencies οΏ½οΏ½β.{οΏ½οΏ½β} = diag
{EIG
(Ξ¨)}
4. Find the corresponding angles of arrival πβ.{πβ} = arcsin
(β 1
2π{οΏ½οΏ½β}
)
Table 4 β Summary of the ESPRIT algorithm.
3.5.2 Estimation of the factor matrices
As seen in Subsection (3.5.1) ESPRIT provides an estimation for the angle ofarrival of the πΏ received signals. Since the carrier frequency and array response are known,it is possible to estimate each steering vector a(πβ) related to the array steering factormatrix A β CπΓπΏ such that:
a(πβ) =[1 πππβ Β· Β· Β· ππ(πβ1)πβ
]β C1Γπ (3.51)
By concatenating the πΏ estimated steering vectors, an estimation for the arraysteering factor matrix is obtained:
A(πβ) =[a(π1) Β· Β· Β· a(πβ)
]Tβ CπΓπΏ (3.52)
Once A β CπΓπΏ is reconstructed, its pseudo-inverse can be applied to (3.40)leading to:
A+ [π΄ ](3) = A+A(ΞT β (CQπ)T
)T(3.53)
A+ [π΄ ](3) β(ΞT β (CQπ)T
)Tβ CπΏΓπΎπ (3.54)
Notice that the transposed of the output of Equation (3.54) results in:[A+ [π΄ ](3)
]Tβ(ΞT β (CQπ)T
)β CπΎπΓπΏ (3.55)
50 Chapter 3. Received Signal Model
Which is the Khatri-Rao product between the factor matrices ΞT β CπΎΓπΏ and(CQπ)T CπΓπΏ. By means of the Least-Squares Khatri-Rao factorization (see Appendix(A.7)) the remaining factor matrices can be estimated. Considering each β column of theoutput of Equation (3.54) as: (
ΞT β (CQπ)T)
(: , β)β CπΎπΓ1 (3.56)
Which can be reshaped into a matrix:
unvecπΓπΎ
{(ΞT β (CQπ)T
)(: , β)
}= (CQπ)T
(: , β) (ΞT(: , β))T β CπΓπΎ (3.57)
The result obtained in Equation (3.57) corresponds to a vectorized representationof a rank-1 matrix. Applying a SVD-based rank-one approximation yields:
unvecπΓπΎ
{(ΞT β (CQπ)T
)(: , β)
}= uβ πβ vH
β β CπΓπΎ (3.58)
An estimation for the π-th column of each factor matrix is obtained by taking thesquare root of the singular value in Equation (3.58) according to:
ΞT(: , β) = v*
β
βπβ (3.59)(
ΛCQπ
)T
(: , β)= uβ
βπβ (3.60)
The factor matrices are then rebuild by repeating the procedure from Equations(3.56) to (3.60) for all πΏ columns.
3.5.3 Time delay estimation
When realizing the procedure shown in Equation (3.54) occurrence of permutationambiguities is possible due to the order of concatenation of the estimated steering vectorsof Equation (3.52). In this scenario, the estimated factor matrix
(ΛCQπ
)Tβ CπΓπΏ may
present its πΏ columns permuted. To find which row corresponds to the LOS component,the greatest power based scheme approach [1] is considered.
Assuming that received signal LOS component has the greatest signal power incomparison with the NLOS replicas, the following expression can be used to locate thecolumn index of the LOS component:
πLOS = maxβ
||ΞT(: , β)||2 (3.61)
Where ΞT(: , π) is the π-th column of the estimated factor matrix ΞT β CπΎΓπΏ and
|| ||2 is the vector norm operator. The Equation (3.61) provides a column index πLOS tobe selected in the matrix
(ΛCQπ
)Tβ CπΓπΏ such that:
cLOS =(
ΛCQπ
)T
(: , βLOS)β CπΓ1 (3.62)
3.5. DoA Khatri-Rao Factorization - DoA/KRF 51
Then, an output for the correlator bank is computed by:
qDoA/KRF = cLOS Ξ£ VH β CπΓ1 (3.63)
The time-delay estimation is obtained by verifying the cross-correlation values ofqDoA/KRF in Equation (3.63). For this, a cubic spline interpolation based on |qDoA/KRF| isused to generate a cost function πΉ (π) such that the π variable that maximizes the costfunction will be the estimated time-delay for the LOS signal component, such that:
ππΏππ = arg maxπ
{πΉ (π)} (3.64)
The DoA/KRF Time-delay estimation algorithm is summarized in Table (5).
52 Chapter 3. Received Signal Model
Algorithm 2 DoA/KRF Time-delay estimation [1]
1. ESPRIT main section: Table (4). Estimate the angle of arrival of the L received signals.{πβ} = ESPRIT
([π΄ ](3)
)2. Obtain each steering vector a(πβ) related to the array steering factor matrix.
for β = 1, . . . , πΏ do:a(πβ) =
[1 πππβ Β· Β· Β· ππ(πβ1)πβ
]end
3. Rebuild the array steering factor matrix.A(πβ) =
[a(π1) Β· Β· Β· a(πβ)
]T4. Obtain an estimation for the Khatri-Rao product.(
ΞT β (CQπ)T)
= transpose{A+ [π΄ ](3)
}5. Estimate the remaining factor matrices by means of the Khatri-Rao factorization.
for β = 1, . . . , πΏ do:
unvecπΓπΎ
{(ΞT β (CQπ)T
)(: , β)
}= (CQπ)T
(: , β) (ΞT(: , β))T
SVD{(CQπ)T
(: , β) (ΞT(: , β))T
}= uβ πβ vH
β
ΞT(: , β) = v*
β
βπβ(
^CQπ
)T
(: , β)= uβ
βπβ
end
6. With ΞT and ^(CQπ)T
perform the time-delay estimation.for β = 1, . . . , πΏ do:
{βindex} = ||ΞT(: , β)||2
endβLOS = max
β{βindex}
cLOS =(
^CQπ
)T
(: , βLOS)qDoA/KRF = cLOS Ξ£ VH
ππΏππ = arg maxπ
{πΉ (π)}
Table 5 β Summary of the DoA/KRF algorithm.
53
4 Tensor-based Tracking Approaches
4.1 IntroductionAs seen on Chapter [3] on Section (3.5) the presented tensor-based technique
for time-delay estimation rely on collecting πΎ received signal epochs to later performestimations. This process is named as the batch-mode approach, which is illustrated onFigure (12) where π΄π = {1, . . . , π, . . . , π} is a group of π observed tensors. In thiscontext, considering a real-time tracking scenario, the computation of a full EVD/SVDat every sampling instant is not suitable, due to complexity reasons [23]. Therefore, analternative to reduce the Time of Computing (ToC) of subspace estimations has been thedevelopment of subspace tracking algorithms [24].
Figure 12 β Illustration of the observed tensors in the batch-mode approach.
Another issue that should be mentioned is that for a given πΎ collection of epochs,some column vectors of sequential data samples may be composed of different time-delayand direction of arrival parameters, which leads to imprecise estimates. Thus, each seriallyacquired data must be weighted in such a way that the most recent acquisitions arestrengthen when compared to past observations. Figure (13) shows this process:
Figure 13 β Illustration of an weighting exponential π½π₯ applied to the observed data.
54 Chapter 4. Tensor-based Tracking Approaches
4.2 Statement of the problemThe problem states that a sequence of π observed tensors expressed in Figure (12)
are serially acquired by means of their epochs. Each acquisition corresponds to a matrixto be concatenated into the dimension πΎ of the previously observed data. Figure (14)illustrates this process.
Figure 14 β Observed epochs being concatenated to the dimension πΎ of previously ob-served data.
The concatenation process results in a third-order tensor of which one dimensionincreases with time while the other two dimensions remain fixed. The resulting tensor canbe expressed as:
π΄ = [π΄1 | π΄2 | . . . | π΄π | . . . | π΄π ] β CπΎ (1+Β·Β·Β·+π+Β·Β·Β·+π)ΓπΓπ (4.1)
For the sake of simplicity, each factor matrix associated with its π-th tensor willbe referred as a π-th index element of a sequence of π factor matrices, such that thefollowing sequences:
A[π] = {A[π1] . . . A[ππ] . . . A[ππ ]} (4.2)
(CQπ)T [π ] = {(CQπ)T [π1] . . . (CQπ)T [ππ] . . . (CQπ)T [ππ ]} (4.3)
ΞT[n] = {ΞT[1] . . . ΞT[π] . . . ΞT[π ]} (4.4)
Represent all factor matrices associated to each upcoming received signal tensoras seen on Equation (3.39). For instance, the π-th observed tensor can be expressed as:
[π΄π](3) = β3,πΏ Γ1 ΞT[π] Γ2 (CQπ)T [ππ] Γ3 A[ππ] + π© π β CπΎΓπΓπ (4.5)
In order to perform time-delay estimation on Equation (4.1) we consider the prob-lem of tracking the PARAFAC decomposition of each upcoming third-order tensor. Inother words, at a given time instant, each factor matrix associated to the current ob-served tensor must be estimated. In addition, the influence of past observations must besuppressed.
4.3. Tracking scenario 55
4.3 Tracking scenarioThis section presents the data model for the tracking scenario, which takes into
account the problems stated on the previous section. The derivation begins by reducingthe influence of past observations, which is done by applying a sliding window of lengthπΎ to the current data such that the output tensor will have dimensions CπΎΓπΓπ asillustrated on Figure (15).
Figure 15 β Resulting tensor (illustrated in purple) after applying a sliding window oflength πΎ.
Since the estimates are performed on the observed tensorβs third-mode unfolding,the tensor provided by the sliding window is unfolded into a matrix of dimensions CπΓπΎπ
as seen on Equation (3.40) which in most of the cases will be composed of past observationsdenoted as (π β 1) and present contributions referred as (π). This setting is exposed inFigure (16).
Figure 16 β Unfolding perspective of the applied sliding window. Notice that the lengthof the window changes to πΎπ.
56 Chapter 4. Tensor-based Tracking Approaches
The tracking scenario assumes at a given time instant (π‘) the existence of a pre-viously analyzed data matrix [π΄ ](3)(π‘) β CπΓπΎπ. For instance, we will take π΄1 fromEquation (4.1). Its third-mode unfolding [π΄1](3) is expressed as:
[π΄ ](3)(π‘) = [π΄1](3) = A[π1](ΞT[1] β (CQπ)T [π1]
)T+ Nπ β CπΓπΎπ (4.6)
At time instant (π‘ + 1) an upcoming epoch from π΄2 is received, that is:
[π΄2](3)βπ= A[π2]
(ΞT
β1[2] β (CQπ)T [π2])T
β CπΓπ (4.7)
Where ΞTβ1[2] β C1ΓπΏ selects the first row vector from ΞT[2] in Equation (4.4).
The observed epoch is appended to Equation (4.6) according to:
[π΄ ](3)(π‘ + 1) =[[π΄1](3)βπ
[π΄2](3)βπ
]β CπΓπΎπ (4.8)
Where [π΄1](3)βπβ CπΓ(πΎβ1)π suppresses the first π columns of [π΄1](3) related to
the oldest observed epoch. The process is repeated for π‘ = (1, 2, . . . , (π β 1)πΎ) such thatthe following expressions:
[π΄ ](3)(π‘) = [π΄1](3) β CπΓπΎπ (4.9)
[π΄ ](3)(π‘ + 1) =[[π΄1](3)βπ
[π΄2](3)βπ
]β CπΓπΎπ (4.10)
[π΄ ](3)(π‘ + 2) =[[π΄1](3)β2*π
[π΄2](3)β2*π
]β CπΓπΎπ (4.11)
... (4.12)
[π΄ ](3)(π‘ + πΎ) =[[π΄2](3)
]β CπΓπΎπ (4.13)
[π΄ ](3)(π‘ + πΎ + 1) =[[π΄2](3)βπ
[π΄3](3)βπ
]β CπΓπΎπ (4.14)
[π΄ ](3)(π‘ + πΎ + 2) =[[π΄2](3)β2*π
[π΄3](3)β2*π
]β CπΓπΎπ (4.15)
... (4.16)
[π΄ ](3)(π‘ + 2πΎ) =[[π΄3](3)
]β CπΓπΎπ (4.17)
[π΄ ](3)(π‘ + 2πΎ + 1) =[[π΄3](3)β2*π
[π΄4](3)β2*π
]β CπΓπΎπ (4.18)
... (4.19)
[π΄ ](3)(π‘ + (π β 1)πΎ) =[[π΄π ](3)
]β CπΓπΎπ (4.20)
Represent the tracking scenario over time. Notice that at each time instant, theresulting data has dimensions CπΓπΎπ which corresponds to the third-mode unfolding ofthe output tensor of the sliding window of length πΎ. For instance, Figure (17) illustratesthe concatenation process for a given time instant (π‘ + 1) between the π-th and thesubsequent π + 1-th observed tensor.
4.3. Tracking scenario 57
Figure 17 β Process of appending an upcoming observation at time instant (π‘ + 1).
In order to perform DoA/KRF on Equations (4.9) to (4.20) instead of applyingan SVD at each upcoming epoch to obtain an estimation for the signal subspace Uπ (π‘ +1) β CπΓπΏ, a subspace tracking technique based on the past observation Uπ (π‘) can beemployed. The objective is to decide for a low computational complexity technique whichmust also provide a high convergence rate to Uπ (π‘ + 1). In this sense, this work proposesa subspace tracker to be added to the DoA/KRF technique. Figure (18) presents theresulting block diagram of the proposed approach.
Figure 18 β Block diagram of the proposed subspace tracking estimator to be added tothe DoA/KRF technique. Figure adapted from [1].
When selecting a subspace tracking algorithm for a desired application, the sce-nario under consideration must be discussed. The reader may refer to [25] for an exhaustiveliterature review of the current state-of-the-art techniques. This work focus on the classof the low complexity methods [26], which are the most important ones from a real timeimplementation point of view.
58 Chapter 4. Tensor-based Tracking Approaches
Before start to detail the selected techniques, some considerations regarding thebehaviour of the data during the tracking scenario are assumed:
β The direction of arrival and time-delay parameters have a smooth variation betweeneach collected epoch. There are no sudden changes on the received signal.
β For ESPRIT-based DoA estimation, only a small part of the eigenstructure of theestimated signal subspace is sufficient. There is no need to compute an orthornomalsubspace basis at each time step. [24] [26]
β Tracking the eigenvalues is not necessary.
Throughout the Sections (4.4) and (4.6) the selected subspace tracking methodsare described. Their implementation on the DoA/KRF time-delay estimation technique ispresented on Sections (4.5) and (4.7). Later, the review of the computational complexityof the proposed techniques is discussed on Section (4.8).
4.4 Projection Approximation Subspace Tracking - PASTThe PAST algorithm proposed by [27] derives from the minimization of the linear
Principal Component Analysis (PCA) criterion [28] which is a measure for the correlationbetween sequential observed data snapshots {x(π)} and is a reference for signal subspaceinterpretation. The expression is defined as:
π½(Us(π)) = E{ ||x(π) β U(π)U(π)Hx(π)||2πΉ } (4.21)
Which has a global minimum when U(π) is equal to the signal subspace basis ofthe covariance matrix of each observed data vector {x(π)}. In this circumstance, x(π)and its projection U(π)U(π)Hx(π) into the signal subspace are most similar.
In order to provide a solution for Equation (4.21) the expectation operator isreplaced by an exponentially weighted sum over n samples and the projection termU(π)Hx(π) is rewritten by means of its previous estimation U(π β 1)Hx(π) leading tothe following cost function to me minimized:
π½ β²(Us(π)) =π‘β
π=1π½π‘βπ||x(π) β Us(π)Us(π β 1)Hx(π)||2πΉ (4.22)
Where π½ < 1 is referred as the forgetting factor, Us(π) is the signal subspaceestimation at a given time instant (π) and {x(π)} is a sequence of π observed datavectors. After manipulation [27], the minimization of Equation (4.22) is given by a seriesof recursive updates for the estimation of the signal subspace Us(π). The result providesa computational complexity of πͺ(ππ) instead of πͺ(π3) operations for a full EVD. Thepseudo-code of the technique is presented in Table (6).
4.5. Proposed PAST-DoA/KRF 59
Algorithm 3 Projection Approximation Subspace Tracking - PAST [27]
1. Initialization:P(0) = Iπ
Us(0) = IπΓπ
2. PAST main section:for π = 1, 2, . . . do:
y(π) = UHs (π β 1) x(π)
h(π) = P(π β 1) y(π)g(π) = h(π β 1)/
(π½ + yH(π) h(π)
)P(π) = π½β1 Tri
{P(π β 1) β g(π) hH(π)
}e(π) = x(π) β Us(π β 1) y(π)Us(π) = Us(π β 1) + e(π) gH(π)
end
Table 6 β Summary of the PAST algorithm.
Where x(π) is the observed data vector at time instant (π). P(π) corresponds tothe inverse of the correlation matrix of the projected vector y(π) = Us(π β 1) x(π). Thevector g(π) is defined as the gain vector and e(π) is referred as the approximation error.
4.5 Proposed PAST-DoA/KRFThe proposed approach links the PAST algorithm to the DoA/KRF time-delay
estimation technique by providing a signal subspace estimation at each time instant,instead of performing a full SVD on each observed epoch or on a πΎ collection period ofepochs. After obtaining an estimation for the signal subspace, the time delay estimationis performed according to the DoA/KRF technique previously discussed on Section (3.5).
Since PAST is based on RLS (Recursive Least Squares) [29] proposed a tensor-based version of PAST, which consists of processing the entire new batch of observationsfor a given n-mode unfolding [π΄ ](π). Recall that in this work the estimates are performedon the observed tensorβs third-mode unfolding [π΄ ](3) therefore, the tensor-based PASTmethod will be implemented for the third-mode unfolding in order to provide a signalsubspace estimation at each time instant (π). The pseudo-code of the proposed techniquecan be consulted in Table (7).
Notice that the tensor-based PAST technique consists of a rank-1 update of theestimated signal subspace matrix. The method does not provide the exact basis of eigen-vectors related to the signal subspace of the covariance matrix of the observed data, buta mere basis to span it, which is sufficient for solving the shift invariance equation ofESPRIT and reconstruct the array steering factor matrix.
60 Chapter 4. Tensor-based Tracking Approaches
Algorithm 4 PAST-DoA/KRF Time-delay estimation
1. Initialization.P(0) = Iπ
Us(0) = IπΓπ
2. Tensor-based PAST main section.
for π = 1, 2, . . . do:Y(π) = UH
s (π β 1) [π΄ ](3)(π)Cπ¦π¦(π) = π½ Cπ¦π¦(π β 1) + Y(π)YH(π)G(π) = Cβ1
π¦π¦ (π)Y(π)E(π) = [π΄ ](3)(π) β Us(π β 1) Y(π)Us(π) = Us(π β 1) + E(π) GH(π)
3. DoA/KRF main section: Table (5).3.1 Concerning the ESPRIT section, proceed direct to step (3) to solvethe shift invariance equation by means of Us(π) estimated previously.
end
Table 7 β Summary of the proposed PAST-DoA/KRF algorithm.
4.6 Fast Data Projection Method - FDPMThe FDPM algorithm proposed by [26] is based on the power method derived
from the numerical analysis [30]. For instance, given a non-zero matrix W β CπΓπΏ anda matrix R β CπΓπ , the following simultaneous iteration:
Algorithm 5 Simultaneous iteration
for π = 1, 2, . . . do:
W(π) = RW(π)||RW(π)||
end
Table 8 β Power method for eigenvector tracking.
Converges to W(π) forming a basis for the greatest πΏ eigenvectors of R, i.e. theyspan the same subspace. However, depending on the scenario, at each successive iteration,orthogonalising W(π) and normalising its columns may be required. Thus, [31] proposedan iterative solution based on the adaptive orthogonal iteration algorithm. The resultingtechnique is referred as the Data Projection Method. Later, [26] introduced the Fast DataProjection Method (FDPM) algorithm which has complexity of πͺ(ππΏ) and providesstable subspace estimates with exponentially convergence towards orthonormality. The
4.7. Proposed FDPM-DoA/KRF 61
method is detailed in the pseudo-algorithm presented in Table (9).
Algorithm 6 Fast Data Projection Method - FDPM [26]
1. Initialization.Us(0) = IπΓπ
e1 = [1 0πβ1]Define the step size οΏ½οΏ½ = 1 β π½
2. FDPM main section.for π = 1, 2, . . . do:
r(π) = Us(π β 1) x(π)T(π) = Us(π β 1) + οΏ½οΏ½
||x(π)||2 x(π)rH(π)
a(π) = r(π) β ||r(π)|| e1
Z(π) = T(π) 2||a||2
(T(π) a(π)) aH(π)
Us(π) = normalize each column of{Z(π)}end
Table 9 β Summary of the FDPM algorithm.
4.7 Proposed FDPM-DoA/KRFThe proposed approach links the FDPM algorithm to the DoA/KRF time-delay
estimation technique by providing a signal subspace estimation at each time instant,instead of performing a full SVD on each observed epoch or on a πΎ collection period ofepochs. After obtaining an estimation for the signal subspace, the time delay estimationis performed according to the DoA/KRF technique previously discussed on Section (3.5).
As seen on Section (4.3) each upcoming epoch to be concatenated to the previousdata provides a number of π observation vectors. In this context, to update the signalsubspace estimate Us(π + 1) the matrix-based FDPM method has to be modified inorder to process a batch of π columns. Therefore, as similarly as performed in [32] toa subspace tracking technique based on the power method, we propose the tensor-basedversion of the FDPM algorithm. It starts by considering each column of π΄ (π+1) as anew observation vector. The columns are processed sequentially, and in order to weighta batch of π observation vectors, the forgetting factor is altered according to the indexof each processed column. For instance, at a given time instant (π + 1) the first columnof a batch of π observation vectors from π΄ (π+1) is considered as the new observationvector, the forgetting factor stays the same as that used in the matrix-based case. Forthe second column, which is treated as the second equivalent observation vector, theforgetting factor is set to one. The proposed FDPM-DoA/KRF technique is detailed inthe pseudo-algorithm shown in Table (9).
62 Chapter 4. Tensor-based Tracking Approaches
The purpose of adopting FDPM as a recursive update algorithm to Us(π + 1) isdue to the output basis provided by the method, which is orthonormal, required if thearray response does not satisfy the shift invariance equation. In this scenario, the arraysteering factor matrix can be rebuild by means of other subspace-based techniques thatrequire this orthonormality, such as MUSIC [33].
Algorithm 7 FDPM-DoA/KRF Time-delay estimation
1. Initialization.Us(0) = IπΓπ
e1 = [1 0πβ1]Define the step size οΏ½οΏ½ = 1 β π½
for π = 1, 2, . . . do:
2. Tensor-based FDPM main section.
for π = 1, 2, . . . , π do:if π = 1
π½β² = π½else
π½β² = 1end
r(π) = Uπ (π β 1) [π΄π](3)(: , π)
T(π) = Us(π β 1) + οΏ½οΏ½
||[π΄π](3)(: , π)||2
[π΄π](3)(: , π)rH(π)
a(π) = r(π) β ||r(π)|| e1
Z(π) = T(π) 2||a||2
(T(π) a(π)) aH(π)
Us(π) = normalize each column of{Z(π)}
end
3. DoA/KRF main section: Table (5).3.1 Concerning the ESPRIT section, proceed direct to step (3) to solvethe shift invariance equation by means of Us(π) estimated previously.
end
Table 10 β Summary of the proposed FDPM-DoA/KRF algorithm.
4.8. Review on the computational complexity of the algorithms 63
4.8 Review on the computational complexity of the algorithmsIn this assessment, the operation counts on the study of the computational com-
plexity of the algorithms are expressed in terms of Multiply Accumulate (MAC) op-erations, referred as FLoating point OPeration (FLOP) counts [34] [35]. As similarly asconsidered in [15] some operations such as the unfolding and the inverse-unfolding are nottaken into account in the computational complexity, since both functions are only aboutdata representation rather than operating on the data. In addition, the stage of finishingthe correlation by multiplying the solution vector by Ξ£Vπ» will also be ignored. Hence,this discussion is more about the relative complexity difference between each algorithmrather than their absolute complexity.
As the DoA/KRF scheme applies a SVD on a πΎπ collection of vectors of length π
its complexity requires πͺ(ππΎπ) operations. Considering the number of impinging signalsas πΏ, the computational complexity of FDPM-DoA/KRF requires πͺ(ππΏ π) operationswhile the computational cost of PAST-DoA/KRF consists of πͺ(ππΏ) operations. Table(11) exposes the overall complexity of the algorithms.
Algorithm Complexity
DoAKRF πͺ(ππΎπ)FDPMDoA/KRF πͺ(ππΏ π)PASTDoA/KRF πͺ(ππΏ)
Table 11 β Numerical complexity of the algorithms.
Notice in Table (11) that if the receiver decides to increase the number of collectepochs, the computational cost of DoA/KRF increases linearly while the complexity ofthe proposed techniques remains unaltered.
67
5 Tracking Simulation
5.1 Simulation parametersSimilarly to [1] [15] we consider a scenario with a left centro-hermitian uniform
linear array receiver with π = 8 elements and half-wavelength Ξ = π/2 spacing. TheGNSS signal is a GPS course acquisition PR code from D = 1 satellite at a carrierfrequency ππ = 1575.42 MHz, bandwidth π΅ = 1.023 MHz and chip duration ππ = 1/π΅ =977.52 ns with π = 2046 samples collected every π-th observation period during πΎ = 30epochs. Each epoch has duration Ξπ‘ = 1 ms. The number of impinging signals on thereceiver is πΏ = 2, one LOS component with time-delay πLOS and one NLOS multipathreplica with time-delay πNLOS, such that πNLOS = πLOS + Ξπ , where Ξπ is the delaydifference between each component. Their azimuth angle difference is Ξπ = 25β.
For the pre-processing techniques SPS/ESPS the array is divided into πΏπ = 5subarrays with ππ = 4 elements each. Signal phases are independent and identicallydistributed βΌU[0, 2π[. The number of correlators in the bank is π = 11 equally spacedbetween βππ and ππ. The carrier-to-noise ratio is πΆ/π0 = 48 dB-Hz, resulting in apre-correlation SNRpre = πΆ/π0 β 10 log10(2π΅) β β15.11 dB. Processing gain πΊ =10 log10(π΅Ξπ‘) β 30.1 dB, post-correlation SNRpost = SNRpre + πΊ β 15 dB and signalto multipath ratio (SMR) of 5 dB.
For the tracking scenario, we consider a total of π = 50 received tensors. Thelength of the sliding window applied on the data is πΎ= 30 epochs. The step variation ofthe angle of arrival between each acquired tensor is Ξππ = 0.5β. For the PAST subspacetracker, the forgetting factor π½PAST = 0.95. For the FDPM technique π½FDPM = 0.97.
The results are obtained by performing ππ = 1000 Monte Carlo (MC) simulationsto plot the Root Mean Squared Error (RMSE) expressed in meters, which is a measure-ment of the estimated time-delay multiplied by the speed of light, π = 299792458 m/s.The expression is written as:
RMSE (m) = π
β―βΈβΈβ· 1ππ
ππβπ=1
(ππ β ππ)2 (5.1)
The Orthonormality Subspace Root Mean Squared Error (OSRMSE) will measurehow far the estimated subspaces are far from being orthornomal with respect to theidentity matrix. The computation of the expression is given by:
OSRMSE =
β―βΈβΈβ· 1ππ
ππβπ=1
(||I β (WπWHπ )||2πΉ )2 (5.2)
68 Chapter 5. Tracking Simulation
5.2 Simulation resultsThe RMSE (πLOS) [m] for the techniques: DoA/KRF, PAST-DoA/KRF and FDPM-
DoA/KRF simulated in the tracking scenario with the parameters described before ispresented in Figure (19).
1 5 10 15 20 25 30 35 40 45 50
Number of Observed Tensors
0
0.25
0.5
0.75
1
RMSE
[m]
DoA/KRF
PAST-DoA/KRF
FDPM-DoA/KRF
Figure 19 β RMSE in meters.
Notice that PAST-DoA/KRF and FDPM-DoA/KRF have similar performance.The average RMSE of both techniques is of 0.65 meters, which has a slight greater averagewhen compared to DoA/KRF RMSE of 0.48 meters. In short we can affirm that thesubspace-based tracking techniques achieve similar time-delay estimation performancewith respect to DoA/KRF.
Concerning the Orthonormality Subspace RMSE of the proposed techniques, weobserve in Figure (20) that the basis provided by FDPM-DoA/KRF is more close toorthornomality when compared to PAST-DoA/KRF.
On the computational cost of the simulation, we notice in Figure (21) that theresults correspond to the theoretical computational complexity discussed in Section (4.8).In addition, PAST-DoA/KRF and FDPM-DoA/KRF have similar performance and showsubstantially lower complexity when compared to DoA/KRF.
5.3. Conclusion 69
1 5 10 15 20 25 30 35 40 45 50
Number of Observed Tensors
0.3
0.35
0.4
0.45
0.5
Orthonorm
ality
Subspace
RMSE
PAST-DoA/KRF
FDPM-DoA/KRF
Figure 20 β Orthonormality Subspace RMSE for the subspace-based tracking techniques.
1 5 10 15 20 25 30 35 40 45 50
Number of Observed Tensors
3.5
4
4.5
5
5.5
6
6.5
7
Tim
eof
Com
puting[s]
Γ10-5
DoA/KRF
PAST-DoA/KRF
FDPM-DoA/KRF
Figure 21 β Time of Computing (ToC) of the simulation.
5.3 ConclusionIn this work we proposed two subspace-based tracking techniques that achieve
similar time-delay estimation performance with respect to the studied state-of-the-arttechnique. Concerning the computational complexity, both proposed approaches providea lower computational cost.
71
Bibliography
1 LIMA, D. V. d. et al. High Resolution Time-Delay Estimation via Direction of ArrivalEstimation and Khatri-Rao Factorization for Multipath Mitigation. In: WSA 2017; 21thInternational ITG Workshop on Smart Antennas. [S.l.: s.n.], 2017. p. 1β8.
2 KOLDA, T. G.; BADER, B. W. Tensor Decompositions and Applications. SIAMREVIEW, v. 51, n. 3, p. 455β500, 2009.
3 ROEMER, F. Advanced Algebraic Concepts for Efficient Multi-Channel SignalProcessing. [S.l.].
4 SOUBIELLE, J. et al. GPS positioning in a multipath environment. IEEETransactions on Signal Processing, v. 50, n. 1, p. 141β150, 2002.
5 NEE, R. van et al. The multipath estimating delay lock loop: approaching theoreticalaccuracy limits. In: Proceedings of 1994 IEEE Position, Location and NavigationSymposium - PLANSβ94. [S.l.]: IEEE. p. 246β251. ISBN 0-7803-1435-2.
6 TEUNISSEN, P. J.; MONTENBRUCK, O. (Ed.). Springer Handbook of GlobalNavigation Satellite Systems. Cham: Springer International Publishing, 2017. ISBN978-3-319-42926-7.
7 ANTONINI, M. et al. Vehicular remote tolling services using EGNOS. In: PLANS2004. Position Location and Navigation Symposium (IEEE Cat. No.04CH37556). [S.l.:s.n.], 2004. p. 375β379.
8 KANG, C.; LEE, S.; CHUNG, C. C. On-Road Vehicle Localization with GPS underLong Term Failure of a Vision Sensor. In: 2015 IEEE 18th International Conference onIntelligent Transportation Systems. [S.l.: s.n.], 2015. p. 1638β1643. ISSN 2153-0017.
9 UCHIDA, K. et al. Development of automatic system for monitoring fishing effort inconger-eel tube fishery using radio frequency identification and global positioning system.Fisheries Science, John Wiley & Sons, Ltd (10.1111), v. 71, n. 5, p. 992β1002, 10 2005.
10 ESAU, T. et al. Economic analysis for smart sprayer application in wild blueberryfields. Precision Agriculture, Springer US, v. 17, n. 6, p. 753β765, 12 2016.
11 DUNN, M. INTERFACE SPECIFICATION IS-GPS-200. NAVSTAR GPS SpaceSegment/Navigation User Segment Interface. [S.l.], 2018.
12 BORRE, K. K. A software-defined GPS and Galileo receiver : a single-frequencyapproach. [S.l.]: Birkhauser, 2007. 176 p. ISBN 9780817643904.
13 CHEN, Z.; GOKEDA, G.; YU, Y. Introduction to direction-of-arrival estimation.[S.l.]: Artech House, 2010. 193 p. ISBN 1596930896.
14 ROY, R.; KAILATH, T. ESPRIT-estimation of signal parameters via rotationalinvariance techniques. IEEE Transactions on Acoustics, Speech, and Signal Processing,v. 37, n. 7, p. 984β995, 1989. ISSN 0096-3518.
72 Bibliography
15 HAMMOUD, B. et al. Tensor-Based Approach for Time-Delay Estimation. In: WSA2016; 20th International ITG Workshop on Smart Antennas. [S.l.: s.n.], 2016. p. 1β7.
16 SELVA, J. Efficient Multipath Mitigation in Navigation Systems. [S.l.], 2004.
17 LIMA, D. V. de et al. Time-Delay estimation via CPD-GEVD applied to tensor-basedGNSS arrays with errors. In: 2017 IEEE 7th International Workshop on ComputationalAdvances in Multi-Sensor Adaptive Processing (CAMSAP). [S.l.]: IEEE, 2017. p. 1β5.ISBN 978-1-5386-1251-4.
18 ZANATTA, M. d. R. Tensor-based time-delay estimation techniques for thirdgeneration global positioning system. 2 2018.
19 ROEMER, F.; HAARDT, M. Tensor-based channel estimation (TENCE) fortwo-way relaying with multiple antennas and spatial reuse. In: 2009 IEEE InternationalConference on Acoustics, Speech and Signal Processing. [S.l.]: IEEE, 2009. p. 3641β3644.ISBN 978-1-4244-2353-8.
20 PILLAI, S.; KWON, B. Forward/backward spatial smoothing techniques for coherentsignal identification. IEEE Transactions on Acoustics, Speech, and Signal Processing,v. 37, n. 1, p. 8β15, 1 1989.
21 Tie-Jun Shan; WAX, M.; KAILATH, T. On spatial smoothing for direction-of-arrivalestimation of coherent signals. IEEE Transactions on Acoustics, Speech, and SignalProcessing, v. 33, n. 4, p. 806β811, 8 1985.
22 GOMES, P. R. et al. Tensor-based methods for blind spatial signature estimationunder arbitrary and unknown source covariance structure. Digital Signal Processing,Academic Press, v. 62, p. 197β210, 3 2017.
23 NION, D.; SIDIROPOULOS, N. D. Adaptive Algorithms to Track the PARAFACDecomposition of a Third-Order Tensor. IEEE Transactions on Signal Processing, v. 57,n. 6, p. 2299β2310, 2009. ISSN 1053-587X.
24 BADEAU, R.; RICHARD, G.; DAVID, B. Fast and Stable YAST Algorithm forPrincipal and Minor Subspace Tracking. IEEE Transactions on Signal Processing, v. 56,n. 8, p. 3437β3446, 2008. ISSN 1053-587X.
25 ADALI, T.; HAYKIN, S. S. Adaptive signal processing : next generation solutions.[S.l.]: IEEE, Institute of Electrical and Electronics Engineers, 2010. 407 p. ISBN0470195177.
26 DOUKOPOULOS, X. G.; MOUSTAKIDES, G. V. The fast Data Projection Methodfor stable subspace tracking. In: 2005 13th European Signal Processing Conference. [S.l.:s.n.], 2005. p. 1β4.
27 YANG, B. Projection approximation subspace tracking. IEEE Transactions onSignal Processing, v. 43, n. 1, p. 95β107, 1 1995. ISSN 1053-587X.
28 DOUKOPOULOS, X. G.; MOUSTAKIDES, G. V. Fast and Stable SubspaceTracking. IEEE Transactions on Signal Processing, v. 56, n. 4, p. 1452β1465, 2008. ISSN1053-587X.
Bibliography 73
29 ROEMER, F. et al. Tensor subspace tracking via Kronecker structured projections(TeTraKron). In: 2013 5th IEEE International Workshop on Computational Advancesin Multi-Sensor Adaptive Processing (CAMSAP). [S.l.]: IEEE, 2013. p. 212β215. ISBN978-1-4673-3146-3.
30 GOLUB, G. H. G. H.; LOAN, C. F. V. Matrix computations. [S.l.]: Johns HopkinsUniversity Press, 1996. 694 p. ISBN 0801854148.
31 YANG, J.-F.; KAVEH, M. Adaptive eigensubspace algorithms for direction orfrequency estimation and tracking. IEEE Transactions on Acoustics, Speech, and SignalProcessing, v. 36, n. 2, p. 241β251, 1988.
32 CHENG, Y. et al. Tensor subspace Tracking via Kronecker structured projections(TeTraKron) for time-varying multidimensional harmonic retrieval. EURASIP Journalon Advances in Signal Processing, Springer International Publishing, v. 2014, n. 1,p. 123, 12 2014.
33 SCHMIDT, R. O. A signal subspace approach to multiple emitter location andspectral estimation /. [S.l.: s.n.], 1981.
34 STOTHERS, A. J. On the Complexity of Matrix Multiplication. 2010.
35 HALKO, N.; MARTINSSON, P.; TROPP, J. Finding Structure with Randomness:Probabilistic Algorithms for Constructing Approximate Matrix Decompositions. SIAMReview, v. 53, n. 2, p. 217β288, 2011.
36 LATHAUWER, L. D.; MOOR, B. D.; VANDEWALLE, J. On the Best Rank-1 andRank-R Approximation of Higher-Order Tensors. SIAM Journal on Matrix Analysis andApplications, Society for Industrial and Applied Mathematics, v. 21, n. 4, p. 1324β1342,1 2000.
37 HARSHMAN, R. A. PARAFAC2: Mathematical and technical notes. Michigan, 1972.30β44 p.
38 KRUSKAL, J. B. Three-way arrays: rank and uniqueness of trilinear decompositions,with application to arithmetic complexity and statistics. Linear Algebra and itsApplications, North-Holland, v. 18, n. 2, p. 95β138, 1 1977.
77
APPENDIX A β Matrix operations
In this section, matrix operations employed in the conception of the data modelderived in Chapter (3) are presented.
A.1 The Kronecker productThe Kronecker product of two matrices A β CπΌΓπ½ and B β CπΎΓπΏ is a matrix of
dimensions πΌπΎ Γ π½πΏ. The product is defined as:
A β B =
β‘β’β’β’β’β’β’β’β£
π1,1B π1,2B Β· Β· Β· π1,π½Bπ2,1B π2,2B Β· Β· Β· π2,π½B
... ... ... ...ππΌ,1B ππΌ,2B
. . . ππΌ,π½B
β€β₯β₯β₯β₯β₯β₯β₯β¦ β CπΌπ½ΓπΎπΏ (A.1)
A.2 The Khatri-Rao productThe Khatri-Rao product of two matrices A β CπΌΓπ½ and B β CπΎΓπΏ is a matrix of
dimensions πΌπΎ Γ πΏ. The product is defined as:
A β B =
β‘β’β’β’β’β’β’β£π1,1b1 π1,2b2 Β· Β· Β· π1,π½bπΏ
π2,1b1 π2,2b2 Β· Β· Β· π1,π½bπΏ
... ... ... ...ππΌ,1b1 ππΌ,2b2 Β· Β· Β· ππΌ,π½bπΏ
β€β₯β₯β₯β₯β₯β₯β¦ (A.2)
=[a1 β b1 a2 β b2 Β· Β· Β· aπΏ β bπΏ
]β CπΌπΎΓπΏ (A.3)
A.3 Outer productThe outer product of two vectors a β CπΌΓ1 and b β Cπ½Γ1 results in a matrix of
dimensions πΌ Γ π½ . The product is defined as:
a β b = abT =
β‘β’β’β’β’β’β’β£π1π1 π1π2 Β· Β· Β· π1ππ½
π2π1 π2π2 Β· Β· Β· π2ππ½
... ... . . . ...ππΌπ1 ππΌπ2 Β· Β· Β· ππΌππ½
β€β₯β₯β₯β₯β₯β₯β¦ β CπΌΓπ½ (A.4)
Notice that the outer product of three vectors results in a tensor, such that:
π = a β b β c β CπΌΓπ½ΓπΎ (A.5)
Where c β CπΎΓ1.
78 APPENDIX A. Matrix operations
A.4 The vec{ } operatorDenoting aπ as the π-th column of a matrix A β CπΌΓπ½ . The vec operator stacks the
columns of A in a single vector resulting:
vec{A} =
β‘β’β’β’β£a1...
aπ½
β€β₯β₯β₯β¦ β CπΌπ½Γ1 (A.6)
Another important propriety of the vec operator is for X = ABC, where A βCπΌΓπ½ , B β CπΌΓπΌ is a diagonal matrix and C β CπΌΓπΎ .
vec{ABC} =(CT β A
)diag{B} β CπΌπΎ (A.7)
A.5 The unvec{ } operatorThe unvec operator concatenates a chosen amount of columns of a vector a =[
a1, Β· Β· Β· , aπ½
]β CπΌπ½Γ1 forming a matrix A β CπΌΓπ½ . Where aπ β C1Γπ½ denotes a group of π½
elements in the vector a.
The result of the unvec operator is given by:
unvec{a} =[a1 a2 Β· Β· Β· a3
]β CπΌΓπΎ (A.8)
A.6 The Singular Value DecompositionEvery matrix M that has itβs entries from the real or the complex domain, admits
a factorization called Singular Value Decomposition (SVD) in such a way that for M βCπΓπ :
M = UΞ£VH (A.9)
Where U β CπΓπ is an unitary matrix, Ξ£ β Cπ Γ π is a diagonal matrix andV β CπΓπ is an unitary matrix.
A.7 The Khatri-Rao factorizationGiven the Khatri-Rao product: (A β B) =
[a1 β b1 Β· Β· Β· aR β bR
]β CπΌπ½Γπ be-
tween the matrices A β CπΌΓπ B β Cπ½Γπ each element ar β br can be reshaped in such away that:
unvecπ½ΓπΌ
{ar β br} =
β‘β’β’β’β£π1,rπ1,r Β· Β· Β· πI,rπ1,r
... ... ...π1,rππ½,r Β· Β· Β· πI,rπJ,r
β€β₯β₯β₯β¦ β Cπ½ΓπΌ (A.10)
A.7. The Khatri-Rao factorization 79
The structure of the matrix obtained in Equation (A.10) is equivalent to the followingoperation:
unvecπ½ΓπΌ
{ar β br} = br aTr (A.11)
Where each ar and br can be estimated using a rank-1 singular value decomposition:
braTr = ur π r (vr
*)T (A.12)
The estimations are then obtained by taking the square root of the singular valueto distribute to the singular vector, such that:
ar = vr*βπ r (A.13)
br = urβ
π r (A.14)
81
APPENDIX B β Adaptive Array SignalProcessing Techniques
B.1 Estimation of the Array Covariance MatrixThe nature of the GPS received signal is not deterministic, which means that for
performing signal processing operations it is necessary to resort to the stochastic theory.Due to the need to perform autocorrelation operations, the received signal covariancematrix is defined as:
Rπ₯π₯ = E{XXH} (B.1)
Taking into account the π amount of signal samples, the stochastic theory providesan approximation for the signal covariance matrix such that:
Rπ₯π₯ = 1π
πβπ=1
x[π]xH[π] = 1π
XXH (B.2)
Where: limπββ Rπ₯π₯ = Rπ₯π₯
B.2 Forward Backward AveragingThe Forward Backward Averaging technique is capable of decorrelating signals and
allowing the improving and application of subspace based methods for DoA estimation.For an uniform linear array (ULA) let the matrices Ξ π β ZπΓπ e Ξ π β ZπΓπ , definidedbelow:
Ξ π =
β‘β’β’β’β’β’β’β’β’β’β’β£
0 0 0 10 0 ... 00 ... 1 ... 0... 1 0 01 0 0 1
β€β₯β₯β₯β₯β₯β₯β₯β₯β₯β₯β¦β ZπΓπ Ξ π =
β‘β’β’β’β’β’β’β’β’β’β’β£
0 0 0 10 0 ... 00 ... 1 ... 0... 1 0 01 0 0 1
β€β₯β₯β₯β₯β₯β₯β₯β₯β₯β₯β¦β ZπΓπ (B.3)
The ULA is considered a centro-hermitian antenna array due to the followingpropriety being satisfied:
Rπ₯π₯ = Ξ πRπ₯π₯Ξ π (B.4)
82 APPENDIX B. Adaptive Array Signal Processing Techniques
The presented technique enables doubling the number of samples for the arrayconfiguration. Dimensional size reduction will not occur. The technique is used accordingto Equation:
XFBA = [X|Ξ MX*Ξ N] β CπΓ2π (B.5)
B.3 Spatial SmoothingIn scenarios where more than two highly correlated sources are present the FBA
cannot by itself restore the full rank of the signal covariance matrix. Therefore SpatialSmoothing presents as another solution. This technique divides the ULA into multiplesubarrays as shown in Figure (22).
Figure 22 β Example of subarrays.
The steering vector for subarray 1 considering the β-th impinging wave is givenby:
a1(πβ) =[1 ππππβ (Β· Β· Β· ) π(πβ2)πππβ
]Tβ C(πβ1)ΓπΏ (B.6)
The steering matrix is obtained by concatenating the steering vectors for eachsignal received by the array:
A1(πβ) =[a1(π1) a1(π2) (Β· Β· Β· ) a1(ππΏ)
]β C(πβ1)ΓπΏ (B.7)
The steering vector for subarray 2 considering the π-th impiging wave is given by:
a2(πβ) =[ππππβ π2πππβ (Β· Β· Β· ) π(πβ1)πππβ
]Tβ C(πβ1)ΓπΏ (B.8)
The steerig matrix is obtained by concatenating the stering vectors for each signalrecceived by the array:
A2(πβ) =[a2(π1) a2(π2) (Β· Β· Β· ) a2(ππΏ)
]β C(πβ1)ΓπΏ (B.9)
The received signal model for each one of the subarrays can be described as:
X1 = A1S + N1 β Cπβ1ΓπΏ (B.10)
X2 = A2S + N2 β Cπβ1ΓπΏ (B.11)
B.3. Spatial Smoothing 83
The dimension of the matrices A1 and A2 is reduced leading to a reduced steeringmatrix of each subarray. However, it is possible to express the received signal without anyloss of structure by concatenating these matrices.
Let the matrix Ξ© β CπΏΓπΏ given by:
Ξ© =
β‘β’β’β’β’β’β’β£ππππ1 ππππ2 Β· Β· Β· πππππΏ
ππππ1 ππππ2 Β· Β· Β· πππππΏ
... ... ... ...ππππ1 ππππ2 Β· Β· Β· πππππΏ
β€β₯β₯β₯β₯β₯β₯β¦ β CπΏΓπΏ (B.12)
Considering the following relation:
A2 = A1π Ξ© (B.13)
Where π denotes the Hadamard product.
The matrix obtained throught the SPS techinique XSPS has the double ammountof samples when compared to the original received signal matrix such that:
XSPS =[X1|X2
]=[A1S|A1π Ξ©
]+[N1|N2
]β Cπβ1Γ2π (B.14)
It is important to mention that it is possible to apply FBA on the covariancematrice of each subarray.
85
APPENDIX C β Tensor Calculus Concepts
In this section, general tensor-based operations necessary for deriving the tech-niques presented in the Chapters (3) and (4) are presented.
C.1 TensorsIn the same way vectors can be seen as a set of scalars, and matrices as a set of
vectors, tensors can be viewed as a set of matrices, however, while matrices are limitedto only two dimensions, tensors can have an unlimited number of dimensions. In thiscontext, an π -dimensional tensor is denoted as π³ β Cπ1Γπ2Β·Β·Β·ΓππΒ·Β·Β·Γππ . In addition,tensors can be seen as a collection of n-mode vectors, which are obtained if a given n-th index is varied and all other indices are kept fixed. For instance, given a third-ordertensor π³ β CπΌΓπ½ΓπΎ , its n-mode vectors are given by: {x(π, :, :) x(:, π, :) x(:, :, π)}. Figure (23)illustrates the n-modes vectors of a third order tensor.
Figure 23 β N-modes vectors of a third order tensor. Figure adapted from [2].
C.2 The n-mode unfoldingThe n-mode unfolding is a process that reorders the elements of a π -order tensor
into a matrix. This is done by rearranging the n-modes vectors of the tensor to be thecolumns of the resulting matrix. Different works sometimes use different orderings. Thenotation adopted in this work is consistent to [3].
The column ordering chosen in this work is referred as the reverse cyclical un-folding, proposed in [36] which starts with the (π β 1)-th index and proceeds backwards,up to the (π + 1)-th index. Figure (24) illustrates this process for a third-order tensor ofdimensions 4 x 5 x 3.
Proprieties of the n-mode unfoldings are discussed in Sections (C.4) and (C.3).
86 APPENDIX C. Tensor Calculus Concepts
Figure 24 β Unfoldings in reverse cyclical column ordering of a third-order tensor of di-mensions 4 x 5 x 3. Figure adapted from [3].
C.3 The n-mode productA tensor can be multiplied by a matrix by means of the n-mode product. For an
π -order tensor π³ β Cπ1Γπ2Β·Β·Β·ΓππΒ·Β·Β·Γππ and a matrix B β CπΓππ , the n-mode productof these two terms is given by:
π³ Γπ B = B [π³ ](π) (C.1)
Where [π³ ](π) β CππΓπ1π2...ππ is the n-mode unfolding of π³ . The output tensoris the matrix product of Equation (C.1) folded back into a tensor of size π1 Γ π2 Β· Β· Β· Γπ Β· Β· Β· Γ ππ .
C.4 The PARAFAC decompositionThe Parallel Factor Analysis (PARAFAC) [37] is a polyadic form of a tensor. It
expresses a given tensor as the sum of a finite number of rank-one tensors. For instance,given a π -rank third-order tensor π³ β CπΌΓπ½ΓπΎ the following expression:
π³ βπ β
π=1a β b β c β CπΌΓπ½ΓπΎ (C.2)
Factorizes the tensor π³ into a sum of component rank-one tensors. The factormatrices are referred as the combination of the vectors from each one of the rank-one
C.4. The PARAFAC decomposition 87
components. Therefore, the factor matrices associated to the PARAFAC decompositionof the tensor π³ are written as:
A =[a1 Β· Β· Β· aπ
]β CπΌΓπ (C.3)
B =[b1 Β· Β· Β· bπ
]β Cπ½Γπ (C.4)
C =[c1 Β· Β· Β· cπ
]β CπΎΓπ (C.5)
Under the condition of uniqueness [23] (when criteria involving the rank of thestudied tensor and the size its factors matrices are satisfied [38]) the PARAFAC decom-position of a tensor can be expressed in terms of its factor matrices, such that:
π³ = β3,π Γ1 A Γ2 B Γ3 C β CπΌΓπ½ΓπΎ (C.6)
A propriety is that for a given third-order tensor that follows Equation (C.6) itsunfoldings can be expressed by:
[π³ ](1) = A (B β C)T β CπΌΓπ½πΎ (C.7)
[π³ ](2) = B (C β A)T β Cπ½ΓπΎπΌ (C.8)
[π³ ](3) = C (A β B)T β CπΎΓπΌπ½ (C.9)