Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 ›...

82
Méthodes de poursuite de phase pour signaux GNSS multifréquence en environnement dégradé 19/12/2013 Soutenance de thèse, Sébastien ROCHE 1 SOUTENANCE DE THESE Sébastien ROCHE JURY Doctorat réalisé en collaboration avec CNES, Thales Alenia Space, TéSA et l’ISAE Emmanuel DUFLOS Lionel FILLATRE Sylvie MARCOS Lionel RIES Olivier BESSON Stéphanie BIDON Rapporteur Rapporteur Examinatrice Examinateur Directeur de thèse Co-directrice de thèse

Transcript of Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 ›...

Page 1: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

Méthodes de poursuite de phase pour

signaux GNSS multifréquence en

environnement dégradé

19/12/2013 Soutenance de thèse, Sébastien ROCHE 1

SOUTENANCE DE THESE

Sébastien ROCHE

JURY

Doctorat réalisé en collaboration avec

CNES, Thales Alenia Space, TéSA et l’ISAE

Emmanuel DUFLOS

Lionel FILLATRE

Sylvie MARCOS

Lionel RIES

Olivier BESSON

Stéphanie BIDON

Rapporteur

Rapporteur Examinatrice

Examinateur

Directeur de thèse

Co-directrice de thèse

Page 2: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 2

Plan de la présentation Pla

n

SOUTENANCE DE THESE

Sébastien ROCHE

Introduction

Systèmes de développement de

phase monofréquence pour DPLL

Structures de DPLL avec système de

développement de phase multifréquence

Poursuite de phase bifréquence par

filtrage Bayésien variationnel

SECTION 1

SECTION 2

SECTION 3

SECTION 4

SECTION 5

Conclusions et perspectives

Page 3: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 3

INTRODUCTION

Sec

tio

n 1

INTRODUCTION

Sec

tio

n 1

Présentation des systèmes GNSS

Objectif de la thèse

Poursuite de la phase porteuse

Plan du chapitre

Page 4: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 4

GNSS Global Navigation Satellite System

Systèmes de positionnement par satellites offrant la possibilité à un

récepteur de déterminer à n’importe quel moment sa position en trois

dimensions sur l’ensemble de la Terre.

Exemples de système GNSS :

GPS Galileo

INTRODUCTION

Sec

tio

n 1

Présentation des systèmes GNSS

Qu’est-ce que le GNSS ?

Page 5: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 5

Les systèmes GPS et Galileo sont composés des trois segments suivants :

- Le segment spatial

- Le segment sol

- Le segment utilisateur

INTRODUCTION

Sec

tio

n 1

Présentation des systèmes GNSS

Les segments GNSS

Page 6: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 6

Les signaux GPS et Galileo ont des architectures similaires : par exemple, une

fréquence porteuse sinusoïdale qui véhicule différents signaux binaires

modulés en BPSK.

INTRODUCTION

Sec

tio

n 1

Présentation des systèmes GNSS

Les signaux GNSS

Page 7: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 7

Grâce au principe de trilatération, un récepteur peut déterminer sa position s’il

parvient à estimer les distances qui le séparent d’un nombre minimum de

satellites.

La distance satellite/utilisateur est mesurée via les estimations :

- du délai induit sur le code pseudo-aléatoire,

- de la rotation de phase induite sur la phase porteuse du signal.

INTRODUCTION

Sec

tio

n 1

Présentation des systèmes GNSS

La trilatération

Page 8: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 8

Le suivi dans le temps du délai de propagation et le calcul de la position sont

réalisés grâce à une chaîne de réception.

Méthodes de

positionnement précis + Robuste

- Peu précis

+ Précis

- Peu robuste

Deux méthodes pour calculer la position de l’utilisateur :

Méthodes de

positionnement standards Utilisation des observations

du délai et de la phase

Utilisation des observations

du délai

INTRODUCTION

Sec

tio

n 1

Présentation des systèmes GNSS

Chaîne de réception GNSS

Page 9: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 9

Les applications GNSS étant de plus en plus exigeantes en termes de

précision, les techniques de positionnement précis suscitent de plus en

plus d’intérêt.

OBJECTIF DE LA THESE

Développer des nouvelles méthodes de poursuite de phase

multifréquence pouvant opérer à des niveaux de bruit inférieurs

aux limites actuelles

Cependant, le manque de robustesse au bruit des algorithmes de

poursuite de phase ne permet pas leurs implémentations dans des

récepteurs grand public.

INTRODUCTION

Sec

tio

n 1

Objectif de la thèse

Page 10: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 10

Nous allons dans un premier temps étudier la poursuite de phase scalaire

réalisée via une DPLL (Digital Phase Locked Loop).

Notations :

• x[ke]=x(kTe) avec Te le temps d’échantillonnage à la réception

• x[k]=x(kTcorr) avec Tcorr le temps de corrélation

INTRODUCTION

Sec

tio

n 1

Poursuite de la phase porteuse

Les boucles à verrouillage de phase

er kj

eer ekTCPks2

)(

Discriminateur de

phase Filtre de boucle

Intégrateur Générateur de réplique

Corrélation

Signal reçu

Réplique

locale

Observation de phase

Erreur d’estimation de phase

]])[[( ekkr

][k

][k

][k

Produit de corrélation

])[ˆ( kg r

bruit

Page 11: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 11

Il existe plusieurs types de discriminateurs de phase.

Four-Quadrant

Arctangent

Cross-product

(Costas)

Decision Direct

Cross-product (Costas)

Arctangent

(Costas)

)ˆ( rP gI )ˆ( rP gQ

PP IQ ,arctan2

PP IQ

PP IQ sign

PP IQ /arctan

Fonctionnement de la boucle en régime linéaire :

ˆ)ˆ(D rrg

avec D(.) l’opération d’extraction de phase

INTRODUCTION

Sec

tio

n 1

Poursuite de la phase porteuse

Les boucles à verrouillage de phase

Page 12: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 12

Le modèle linéaire de la DPLL est donné par :

On définit la bande de boucle BL :

dzzzHzH

TiB

corr

L

11)()(2

12

La bande de boucle représente grossièrement la bande

passante de la DPLL.

Filtre de boucle Intégrateur

nr

-

+

Phase

d’intérêt

Bruit de

phase

H(z)

Filtrage

du bruit

Suivi de la

dynamique

INTRODUCTION

Sec

tio

n 1

Poursuite de la phase porteuse

Les boucles à verrouillage de phase

Page 13: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 13

Sous certaines conditions de dynamique et de bruit, on a :

ˆ)ˆ(D rrg

L’une des conséquences de ce comportement non-linéaire est le phénomène de

saut de cycles

Biais dans

l’estimation de la

phase d’intérêt (avec possibilité de décrochage)

conséquence directe de la nature périodique des discriminateurs de phase

INTRODUCTION

Sec

tio

n 1

Poursuite de la phase porteuse

Les sauts de cycle

Page 14: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 14

Exemple d’un saut de cycle dû à une forte dynamique de phase :

INTRODUCTION

Sec

tio

n 1

Poursuite de la phase porteuse

Les sauts de cycle

Page 15: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 15

En présence de sauts de cycles, la distribution de l’erreur d’estimation est

multimodale.

Les métriques de performance basées sur un modèle linéaire de la DPLL ne

sont plus valables en présence du phénomène de saut de cycles.

INTRODUCTION

Sec

tio

n 1

Poursuite de la phase porteuse

Les sauts de cycle

Page 16: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 16

Il est possible de trouver dans la littérature des structures de DPLL développant

la phase en sortie du discriminateur.

Ces méthodes utilisent des fonctions de seuillage pour détecter et corriger les

sauts de cycle.

Faible robustesse au bruit de phase

INTRODUCTION

Sec

tio

n 1

Poursuite de la phase porteuse

Les sauts de cycle

Page 17: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 17

Il est possible de rendre les poursuites de phase plus robustes grâce à une

approche multifréquence.

INTRODUCTION

Sec

tio

n 1

Poursuite de la phase porteuse

Poursuite de phase multifréquence

Ionosphère

Perturbation ionosphérique sur la phase

Impact sur la fréquence du signal :

négligeable en condition non-critique

À la réception

À la réception

(théorie)

Page 18: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 18

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL

Sec

tio

n 2

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL

Sec

tio

n 2

Approche de développement de phase par prédiction et pré-compensation

Développement de phase par analyse des sorties du discriminateur

Développement de phase par analyse des sorties du filtre de boucle

Simulations numériques

Plan du chapitre

Page 19: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 19

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Approche de développement de phase par

prédiction et pré-compensation

La technique de développement de phase par seuillage n’étant pas robuste en

régime bruité, nous avons envisagé une nouvelle approche :

jUW k+1[ ] = D g(j)e- j 2pjUW k+1kéë ùû( ) +jUW k+1 kéë ùû

(1) (2) (3)

(4)

(1) (2) (3) (4)

Observations

contenant la phase

à développer

Discriminateur de

phase Phase développée

Prédiction de

phase

Sec

tio

n 2

Page 20: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 20

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Développement de phase par analyse des

sorties du discriminateur

Discriminateur

de phase Filtre de boucle

Intégrateur Générateur

de réplique

Corrélation

1 – Prédiction de la prochaine

sortie du discriminateur

Bloc de

prédiction

Modèle d’analyse

(pour la suite on prendra M=1)

Les coefficients sont estimés au cours du temps par

l’algorithme des moindres carrés récursifs pondérés

(WRLS).

Modèle d’analyse polynomial d’ordre M :

La prédiction est réalisée via l’estimation des

coefficients am .

K

2 – Gain correctif

(réduction du bruit)

3 – Pré-compensation de la

prédiction

+

+

+

+

K

Sec

tio

n 2

Page 21: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 21

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Développement de phase par analyse des

sorties du discriminateur

Sec

tio

n 2

Page 22: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 22

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Développement de phase par analyse des

sorties du filtre de boucle

1 – Prédiction de la prochaine

sortie du filtre de boucle

3 – Gain correctif

(réduction du bruit)

4 – Pré-compensation

de la prédiction

Discriminateur

de phase Filtre de boucle

Intégrateur Générateur

de réplique

Corrélation

][ er ks

][ 1ˆ][ eUW kkkKkr ][k

][kUW

][k

][ 1ˆˆ kkkKg UWr

kkUW 1ˆ

+

+

+

+

kk 1ˆ

K

2 – Conversion

(fréquence - phase)

Etape de

conversion

Bloc de

prédiction

Sec

tio

n 2

Page 23: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 23

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Développement de phase par analyse des

sorties du filtre de boucle

Sec

tio

n 2

Page 24: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 24

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Simulations numériques

Modèle du signal et métriques de performance

Modèle du signal

][][ ][2 knePks kj

r

2,0~][ nCNkn 2

)(]0[]0[][

2

ee

kTkTk

Le signal reçu est généré de la sorte :

Réglages de la simulation

• DPLL d’ordre 2

• BL=3Hz

• Tcorr=20ms

• K=0.6, γ=0.8 et M=1 pour les deux

DPLL présentées dans ce chapitre

(réglages empiriques)

Réglage des boucles : Réglage de la dynamique :

Hz22/]0[

avec et

Hz/s5.02/]0[

Sec

tio

n 2

Page 25: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 25

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Simulations numériques

Modèle du signal et métriques de performance

Sec

tio

n 2

Temps de poursuite

Erreur d’estimation

de phase

Taux de saut de cycle

Décrochage

Temps d’apparition du décrochage

Temps du

premier saut

Tcritique

Temps de poursuite avant décrochage

Page 26: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 26

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Simulations numériques

Les résultats

Sec

tio

n 2

Tcritique=3s :

Tcritique=1s :

Tcritique=3s

Page 27: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

Tcritique=1s

19/12/2013 Soutenance de thèse, Sébastien ROCHE 27

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Simulations numériques

Les résultats

Sec

tio

n 2

Tcritique=3s

Page 28: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 28

STRUCTURES DE DPLL AVEC SYSTÈME

DE DEVELOPPEMENT DE PHASE

MULTIFREQUENCE Sec

tio

n 3

STRUCTURES DE DPLL AVEC SYSTEME

DE DEVELOPPEMENT DE PHASE

MULTIFREQUENCE Sec

tio

n 3

Système de fusion des données

Structures de DPLL multifréquence

Simulations numériques

Plan du chapitre

Page 29: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 29

STRUCTURES DE DPLL AVEC SYSTÈME

DE DEVELOPPEMENT DE PHASE

MULTIFREQUENCE

Système de fusion de données

refinotation

ref

refp

ip

i rf

f

,

,

i

M

m

m

corrrefmi

i

M

m

m

corrimi

nkTbr

nkTb

,0

,

,0

,

)(

)(

Proportionnalité des observations de

fréquence (sorties du filtre de boucle)

Proportionnalité des coefficients polynomiaux

En supposant travailler en condition ionosphérique non-critique, on peut écrire :

fp,ref est une fréquence porteuse

servant de référence

Pour adapter le système de développement de phase précédemment décrit, nous

allons utiliser la diversité en fréquence du signal de navigation (émis par un

même satellite).

Sec

tio

n 3

Page 30: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 30

STRUCTURES DE DPLL AVEC SYSTÈME

DE DEVELOPPEMENT DE PHASE

MULTIFREQUENCE

Fonctionnement schématique des méthodes d’estimation centralisée et

décentralisée :

Système de fusion de données

Sorties du filtre de

boucle Porteuse 1

Sorties du filtre de

boucle Porteuse 2

Sorties du filtre de

boucle Porteuse NP

Estimation des

coefficients

Estimation des

coefficients

Fusion des sorties

des filtres

Estimation des

coefficients

Estimation des

coefficients

Nouvelle estimation

des coefficients

Fusion des

coefficients

Méthode d’estimation centralisée Méthode d’estimation décentralisée

Sec

tio

n 3

Page 31: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 31

STRUCTURES DE DPLL AVEC SYSTÈME

DE DEVELOPPEMENT DE PHASE

MULTIFREQUENCE

Structures de DPLL multifréquence

Méthode d’estimation centralisée

Sec

tio

n 3

Page 32: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 32

STRUCTURES DE DPLL AVEC SYSTÈME

DE DEVELOPPEMENT DE PHASE

MULTIFREQUENCE

Méthode d’estimation décentralisée

Structures de DPLL multifréquence S

ecti

on

3

Page 33: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

][][][2

, knePks i

krj

iiri

19/12/2013 Soutenance de thèse, Sébastien ROCHE 33

SYSTEMES DE DEVELOPPEMENT DE

PHASE MONOFREQUENCE POUR DPLL Simulations numériques

Modèle du signal et métriques de performance

Modèle du signal

2

)(]0[]0[][

2

ee

kTkTk

Le signal reçu est généré de la sorte :

Réglages de la simulation

• DPLL d’ordre 2

• BL=5Hz

• Tcorr=20ms

• K=0.6, γ=0.8 et M=1 pour les deux DPLL

(réglages empiriques)

• Bifréquence (NP=2) : L1 (1,57GHz) et L2 (1,22GHz)

Réglage des boucles : Réglage de la dynamique :

Hz32/]0[

avec et

Hz/s12/]0[

PNi ,,1

Sec

tio

n 3

Porteuse L1

Page 34: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 34

Simulations numériques

Les résultats

STRUCTURES DE DPLL AVEC SYSTÈME

DE DEVELOPPEMENT DE PHASE

MULTIFREQUENCE Sec

tio

n 3

Les deux porteuses ont

la même puissance à la

réception

Page 35: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 35

Simulations numériques

Les résultats

STRUCTURES DE DPLL AVEC SYSTÈME

DE DEVELOPPEMENT DE PHASE

MULTIFREQUENCE Sec

tio

n 3

La porteuse L1 est plus

puissante que la

porteuse L2

Page 36: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 36

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN

VARIATIONNEL Sec

tio

n 4

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN VARIATIONNEL

Sec

tio

n 4

Modèle du signal

Discriminateur de phase bifréquence

Poursuite de phase RVB

Simulations numériques

Plan du chapitre

Page 37: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN

VARIATIONNEL

Modèle d’analyse du signal

Les résultats

37

Corrélation

Porteuse 2

Réplique corrigée en délai et

en fréquence (fréquence

d’acquisition)

Porteuse 2

Corrélation

Porteuse 1

Réplique corrigée en délai et

en fréquence (fréquence

d’acquisition)

Porteuse 1

Signal bifréquence

][1 ks ][2 ks

Nous allons maintenant étudier le signal en sortie de corrélation.

Soit le nouveau modèle de signal en sortie de corrélation :

knekks

knekks

k

k

jr

j

222

111

I0n22 ,~ nnk CN

Tk knkn 21 ,n

1 , 1,2,2

1 ppk ffrr

kk

avec

Sec

tio

n 4

Page 38: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN

VARIATIONNEL

Discriminateur de phase bifréquence

38

En maximisant la vraisemblance marginalisée par rapport à αk on a :

R0α ,~,2 CNk

1

1*

2

R

2

1

2

1 ,~, kkk N

r

f kkk

MML

kk

smaxargˆ

1 rr

,2

*

1 ksksk

Discriminateur de

phase bifréquence

• A priori sur l’amplitude

• A priori sur la dynamique

Sec

tio

n 4

Estimation de phase bruitée

et non-développée

• Observations

Page 39: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN

VARIATIONNEL

Poursuite de phase RVB

Mise en place du système de filtrage

39

Sec

tio

n 4

Filtrage Bayésien Approche Variationnelle Approximation restreinte

L’algorithme récursif VB (Variational Bayesian) est donné par :

L’approche variationnelle est la suivante :

- Mise à jour de la distribution de filtrage

- Prédiction

(minimisation de la divergence de Kullback-Liebler)

Filtrage Bayésien Approche Variationnelle Approximation restreinte

L’algorithme récursif RVB (Restricted Variational Bayesian) est donné par :

- Mise à jour de la distribution de filtrage

- Prédiction

L’approximation restreinte est la suivante :

Filtrage Bayésien Approche Variationnelle Approximation restreinte

- Prédiction

- Mise à jour de la distribution de filtrage

(k=1)

(k>1)

(k≥1)

Afin de développer l’estimation de phase MML, nous allons mettre en place un

système de filtrage bayésien exploitant le modèle de phase Markovien.

Filtrage Bayésien

Page 40: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN

VARIATIONNEL

Poursuite de phase RVB

L’estimateur RVB

On définit l’estimateur RVB comme :

kkkkfk

rvb

k dfkk

SS

~ˆ~

40

L’algorithme récursif RVB nous donne une forme analytique manipulable de

la distribution de filtrage approchée.

Sec

tio

n 4

avec 42222

2

n

kskszk 2

*

1 et

Page 41: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN

VARIATIONNEL

Poursuite de phase RVB

L’estimateur RVB

1

210

1

21

2

1 222

222

ˆˆ cos2

ˆˆ sin2

ˆˆ

q

rq

rvb

k

mml

kkqk

q

rq

rvb

k

mml

kkq

rvb

k

rvb

k

erqII

erqqIr

41

En combinant l’estimateur MML et le processus de filtrage RVB, on obtient la

structure de poursuite suivante

Sec

tio

n 4

Page 42: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN

VARIATIONNEL

Poursuite de phase RVB

Exemple de poursuite

42

Exemple de poursuite bifréquence L1/L2

Sec

tio

n 4

Page 43: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 43

La méthode RVB affiche un comportement « non-linéaire » en fonction de

(dynamique de type échelon de π/4 rad)

Sec

tio

n 4

Poursuite de phase RVB

Réglage du paramètre σФ2

2

Réglage réalisant le meilleur compromis

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN

VARIATIONNEL

Page 44: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE

POURSUITE DE PHASE BIFREQUENCE

PAR FILTRAGE BAYESIEN

VARIATIONNEL

44

Sec

tio

n 4

Simulations numériques

Comparaison avec les DPLL multifréquence

échelon

rampe

Dynamique

accél.

Poursuite d’un échelon de π/4 rad :

La méthode de poursuite RVB affiche de meilleures performances pour

une dynamique de type échelon.

Poursuite d’un échelon de π/4 rad :

La poursuite de phase RVB affiche des valeurs de RMSE-mod plus

importantes que la DPLL multifréquence centralisée.

Poursuite d’une rampe de 2Hz :

La méthode de poursuite RVB affiche de meilleures performances pour

une dynamique de type rampe.

Poursuite d’une rampe de 2Hz

La poursuite de phase RVB affiche une RMSE-mod plus importante

que la DPLL multifréquence centralisée.

La méthode de poursuite RVB ne peut pas poursuivre une dynamique de

type accélération.

Le modèle de phase Markovien d’ordre 1 n’est

plus suffisant dans ce cas

Poursuite d’une dynamique de 3Hz+1Hz/s : Bifréquence L1/L2

Page 45: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

Conclusions

Perspectives

19/12/2013 Soutenance de thèse, Sébastien ROCHE 45

CONCLUSIONS ET PERSPECTIVES

CONCLUSIONS ET PERSPECTIVES

Plan du chapitre S

ecti

on

5

Sec

tio

n 5

Page 46: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 46

Conclusion

Développer des méthodes de poursuite de phase robustes au bruit.

Sec

tio

n 5

CONCLUSIONS ET PERSPECTIVES

Développement d’une DPLL monofréquence munie d’un système de

développement de phase.

Adaptation de la DPLL à la poursuite de phase multifréquence.

Mise en place d’une nouvelle approche de poursuite de phase bifréquence

par technique de filtrage Bayésien.

Objectif

Réduire l’apparition du phénomène de sauts de cycle.

Opter pour une approche multifréquence de la poursuite de phase.

Solutions

Page 47: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 47

Perspectives

Sec

tio

n 5

CONCLUSIONS ET PERSPECTIVES

• Elaborer un système de pondération entre porteuses afin

d’éviter les phénomènes de pollution.

• Prendre en compte les effets ionosphériques.

DPLL multifréquence

• Affiner les modèles du signal (modèle des amplitudes, modèle

de dynamique Markovien) afin de palier les problèmes de

robustesse de la méthode.

• Prendre en compte les effets ionosphériques.

Poursuite RVB

Page 48: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 48

SOUTENANCE DE THESE

Sébastien ROCHE

Merci de votre attention.

Méthodes de poursuite de phase pour

signaux GNSS multifréquence en

environnement dégradé

Page 49: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 49

Poursuite de phase Kalman

Modèle du signal

2

1

2

1 ,~, kkk N

2,~ kk N

kk

klmn

k

klmn

k K 1ˆˆ

klm

kkk 1

En supposant utiliser le discriminateur de phase MML pour linéariser

les équations de mesure, nous définissons le nouveau système :

avec

r

r

k

Sec

tio

n 1

Page 50: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 50

Poursuite de phase Kalman

Comparaison avec la poursuite RVB

Résultats obtenus pour une dynamique de type échelon de r2

Sec

tio

n 1

Page 51: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 51

Poursuite de phase Kalman

Performances théoriques

Le gain de Kalman est donné par :

12

2

1

11

k

k

K

K

Lorsque le système a convergé :

141

2 2

2

2

2

K

141

2 2

22

P

21 T

kkkk HPK

Sec

tio

n 1

Page 52: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 52

DPLL d’ordre 3

Résultats des simulations numériques

sHzHz /5.03

HzBL 5

msTcorr 20

ATAN

ssimulation 200

Paramètres

Sec

tio

n 1

Page 53: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 53

Les discriminateurs

Gain de performance

51 / LL

Gain par rapport à ATAN

ATAN 2

MML

52 / LL

21 / LL

61 / EE

BA EE 55 /

6 dBHz

10 dBHz

28 dBHz

11 dBHz

13 dBHz

30 dBHz

Sec

tio

n 1

Page 54: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 54

Discriminateur MML

Performances intrinsèques

Sec

tio

n 1

Page 55: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 55

Les algorithmes de poursuite fournissent une observation de phase pouvant se

décomposer de la sorte :

NmTIhhf srp2ˆ

Distance

satellite/utilisateur

Erreurs d’horloge

satellite et récepteur

Multitrajets

Perturbations

atmosphériques

Bruit thermique et

effet relativistes

Saut de cycles

géom. perturbations

c

df p 2

Hnot

.

TECcf

Ip

3.402

TfT p 2

Sec

tio

n 1

Poursuite de la phase porteuse

Poursuite de phase multifréquence

Page 56: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 56

Simulations numériques

Les résultats

Sec

tio

n 3

Les deux porteuses ont

la même puissance à la

réception

Page 57: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 57

Simulations numériques

Les résultats

Sec

tio

n 3

Page 58: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 58

Simulations numériques

Les résultats

Sec

tio

n 3

La porteuse L1 est plus

puissante que la

porteuse L2

Page 59: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 59

Simulations numériques

Les résultats

Sec

tio

n 3

Page 60: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 60

Sec

tio

n 1

Poursuite de la phase porteuse

Poursuite de phase multifréquence

Structure de DPLL bifréquence assistée en phase

Le délai ionosphérique ne permet pas d’exploiter la diversité en fréquence directement

au niveau des observation de phase

Simulation : poursuite d’une rampe de phase bifréquence avec un

délai ionosphérique de 0,5rad entre les deux porteuses

Structure de DPLL bifréquence assistée en fréquence

Travailler en sortie de filtre (observations de fréquence) permet de s’affranchir des biais

ionosphériques (mais pas des fluctuations).

Simulation : poursuite d’une rampe de phase bifréquence avec un

délai ionosphérique de 0,5rad entre les deux porteuses

Page 61: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 61

Les boucles à verrouillage de phase C

hap

itre

2

Modèle linéaire

Comportement en présence d’une dynamique de phase

La valeur de la bande de boucle va également influer sur la vitesse de

convergence et l’erreur en régime permanent.

Page 62: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 62

Les boucles à verrouillage de phase C

hap

itre

2

Modèle linéaire

Comportement en présence d’un bruit de phase

2,0~rr

Nn r

nr

Supposons que la phase reçue est uniquement composée d’un bruit de phase

eFNC

Pr

0

2

/avec et

Définition

La grandeur C/N0 exprime le rapport

entre la puissance du signal et la

puissance du bruit par unité de largeur

de bande

BSNRNC 0/

(ici B=Fe la fréquence

d’échantillonnage à la réception)

corr

L

TNCNC

B

00

/2

11

/

En supposant le modèle linéaire de la

DPLL, la gaussianité du bruit est

conservée en sortie de boucle. La

puissance du bruit d’estimation de

phase est donné par

Plus la bande de boucle est importante, plus la sortie de DPLL est bruitée

Page 63: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 63

Les boucles à verrouillage de phase C

hap

itre

2

Modèle linéaire

Le modèle linéaire de la DPLL est donnée par :

Filtre de boucle

Intégrateur

2K

Filtre

1K

Int.

+

+

Filtre Proportionnel-Intégrateur

(exemple : filtre d’ordre 2)

Phase

d’intérêt

Bruit de

phase

1

1

1

1

2

z

zTcorr

Transformée bilinéaire

On définit la bande de boucle BL

dzzzHzH

TiB

corr

L

11)()(2

12

La bande de boucle représente grossièrement la bande

passante de la DPLL.

Sa valeur est fonction du temps de corrélation, de

l’ordre du filtre et des valeurs des coefficients.

H(z)

Page 64: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 64

Présentation des systèmes GNSS C

hap

itre

1

LES CODES PSEUDO-ALEATOIRE

Les codes pseudo aléatoires sont des codes quasi-orthogonaux permettant aux

satellites d’émettre en même temps sur la même bande d’émission (CDMA).

Ils permettent également à l’utilisateur de dissocier l’information d’un satellite

du signal reçu.

Satellite 1

Satellite 3

Satellite 2

Sortie de corrélation

Signal relatif au

satellite 1

Augmentation du

rapport signal à bruit

Satellite 1

Corrélation

Récepteur

Page 65: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 65

Les structures de poursuites de phase C

hap

itre

2

Il existe deux familles de structure de poursuite de phase :

Les structures scalaires

Les boucles de poursuite estiment les phases de manière indépendante sur des canaux de

réception propre à chacun des satellites.

Les différentes observations de phase sont envoyé au filtre de navigation pour le calcul du point.

Il existe plusieurs type de

structures scalaires :

- Les boucles à verrouillage

- Les boucles de type Kalman

- Les boucles de type Kalman

munies d’une étape

d’extraction de phase

Les structures vectorielles

L’étape de poursuite et de calcul du point sont combinés au sein d’une même structure.

Cette configuration offre la possibilité des poursuites de phase multi-satellite et multi-

constellation.

Sous certaines conditions de poursuite,

ce type de structure souffre d’un

manque de robustesse liée à

l’interdépendance des canaux de

réception

Certaines configuration de structure

incluent des mesures inertielles (IMU)

afin d’augmenter la robustesse de la

boucle

Page 66: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 66

Structure de signaux GPS et Galileo C

hap

itre

1

Le système Galileo

A l’émission

tfi

eepetCPts

2).(.)(

A la réception

)(2.)(.)(

ttfi

rpettCPts

Lors de sa propagation, le signal va également subir un effet Doppler lié aux

mouvement relatifs du satellite et de l’utilisateur.

012

0 .1.)(

it

c

vfi

radr

radp

etc

vCPts

)( 0 tc

vt radExemple : À l’ordre 1 on a , ce qui donne à la réception :

un délai sur le code

un déphasage

une fréquence Doppler

Page 67: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 67

Présentation des systèmes GNSS C

hap

itre

1

Les bandes d’émission GPS et Galileo sont situées dans la bande L supérieure

Structure des signaux GPS et Galileo

LES PORTEUSES

LE MESSAGE DE NAVIGATION

Signal binaire comportant l’heure d’envoi du message, diverses corrections ainsi que

l’éphéméride des satellites.

Page 68: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 68

Les boucles à verrouillage de phase C

hap

itre

1

Comparaison avec la poursuite Kalman

kkk

kkk

vy Hx

ωFxx 1

k

k

k

x

10

1 TF 01H

Soit le système linéaire suivant :

Le filtrage de Kalman associé est donné par :

kkkkkk

T

kkkk

kkkkkkk

n

T

kk

T

kkk

FKFXX

QFFPP

HPKPP

HHPHPK

11

11

11

12

11

1

kkkk y HX

Innovation

),(~ Q0ω Nk ),0(~ 2

nk N

avec

Page 69: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 69

Les boucles à verrouillage de phase C

hap

itre

1

Comparaison avec la poursuite Kalman

Représentation schématique du

filtrage de Kalman :

Représentation schématique

d’une DPLL d’ordre 2 :

Page 70: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 70

Les boucles à verrouillage de phase C

hap

itre

1

Comparaison avec la poursuite Kalman

Représentation schématique du filtrage de Kalman :

Représentation schématique d’une DPLL d’ordre 2 :

kkkkkkFKFXX

11

k

i

iikkkkkkKK

0

,2,11011

k

i

ikkk KTTK0

2

2

11

La DPLL est assimilable à un filtrage de Kalman à

gains constants

Page 71: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 71

Les performances DPLL avec code de Gold C

hap

itre

1

La chaîne de réception

Chaîne de réception DLL/FLL/PLL.

er kj

eer ekTCPks2

)(

][ ekn

Page 72: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 72

Les performances DPLL avec code de Gold C

hap

itre

1

Exemple de poursuite

Exemple de poursuite :

15.02 HzsHz

HzB FLLL 1,

HzB PLLL 3,

dBHzNC 30/ 0

Page 73: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 73

Les performances DPLL avec code de Gold C

hap

itre

1

Les résultats

Simulation de Monte Carlo sur 300 poursuites de 10s.

15.02 HzsHz

Dynamique

Page 74: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 74

DPLL multifréquence Data/Pilote C

hap

itre

1

Les résultats

Page 75: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 75

DPLL Trifréquence C

hap

itre

1

Les résultats

1L 2L 5L

Page 76: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 76

Poursuite RVB C

hap

itre

1

Porteuses avec des puissances différentes

dBHzPP 512

dBSNR

r

5

5.1

1

Dynamique de type échelon

rad

Différence de puissance

Paramètres

(ref)

Page 77: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 77

Poursuite RVB C

hap

itre

1

Porteuses avec des puissances différentes

Page 78: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 78

Poursuite RVB C

hap

itre

1

Porteuses avec des puissances différentes

dBHzPP 512

dBSNR

r

5

5.1

1

Dynamique de type échelon

rad

Différence de puissance

Paramètres

(ref)

Page 79: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 79

Poursuite RVB C

hap

itre

1

Porteuses avec des puissances différentes

Page 80: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 80

Etude des sauts de cycle C

hap

itre

1

Temps d’apparition du premier saut de cycle

t

tPsautinstant l'et poursuite la de

debut le entreapparu est saut un Pr)(

][1 sautTE

t

e

sautTETemps moyen de poursuite entre

deux sauts de cycle.

Résultats obtenus pour une DPLL d’ordre 1 avec uniquement du bruit de phase en entrée de boucle

Page 81: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 81

Précision WRLS S

ecti

on

3

Biais et RMSE des coefficients b0 et b1

Page 82: Méthodes de poursuite de phase pour signaux GNSS … › ... › 26 › s-roche-soutenance-slides.pdf · 2014-07-17 · Méthodes de poursuite de phase pour signaux GNSS multifréquence

19/12/2013 Soutenance de thèse, Sébastien ROCHE 82

Précision WRLS

Biais et RMSE des coefficients b0 et b1