Vous êtes sur la page 1sur 144

N o d’ordre : 717

`

TH ESE

pr´esent´ee `a

l’Institut National des Sciences Appliquees´

pour l’obtention du titre de

DOCTEUR

de Toulouse

de l’Institut National des Sciences Appliqu´ees de Toulouse

Sp´ecialit´e : Automatique

par

Pascal ACCO

´

Laboratoire d’ Etude des Systemes`

Informatiques et Automatiques

´

Ecole Doctorale Syst`emes

´

Titre de la th`ese :

Etude de la boucle `a verrouillage de phase

par impulsions de charge

Prise en compte des aspects hybrides

Soutenue le 17 D´ecembre 2003, devant le jury :

Pr´esident :

M. Germain Garcia

Professeur, INSA Toulouse

Rapporteurs :

M. Claude Iung

Professeur, ENSEM Nancy

M.

Jean–Paul Louis

Professeur, ENS Cachan

Professeur, INSA Toulouse

Examinateurs :

M. Jamal Daafouz M me Dani`ele Fournier–Prunaret

Maˆıtre de conf´erence, ENSEM Nancy

M.

Jean–Louis Noullet

Industriel, ChipYards Toulouse

Membre invit´e :

M. Abdel–Kaddous Taha

Docteur de l’INSA de Toulouse

Table des mati`eres

Introduction

2

Chapitre 1 Introduction

5

1.1 R´eflexion sur la notion de phase .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

6

1.1.1 Phase et fr´equence dans le cas des signaux p´eriodiques

 

6

1.1.2 Phase et fr´equence dans le cas des signaux quasi–p´eriodiques

.

.

.

.

.

.

.

.

.

.

.

.

7

1.1.3 Observation de la phase d’un oscillateur `a relaxation

 

8

1.2 Le verrouillage de phase

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

11

1.2.1 Historique

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

13

1.2.2 Les boucles `a verrouillage de phase .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

14

1.2.3 Classification des BVP .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

15

´

1.2.4 Etat de l’art de l’analyse des BVP

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

16

1.2.5 La BVP–IC

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

16

´

1.2.6 Etat de l’art de l’analyse des BVP–IC

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

17

1.2.7 Apport personnel

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

17

Chapitre 2 Mod´elisation

19

2.1 Mod´elisation des diff´erentes parties de la BVP

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

20

2.1.1 Mod`ele du DPF et du g´en´erateur de courant

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

20

2.1.2 Mod`ele du filtre passe–bas

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

21

2.1.3 Mod`ele de l’OCT

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

22

2.1.4 Diviseur de fr´equence

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

23

2.2 Choix des variables r´eduites

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

24

2.2.1 BVP–IC similaires

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

24

2.2.2 Normalisation autour du point de fonctionnement unitaire

 

24

2.2.3 Normalisation de la BVP–IC du troisi`eme ordre

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

27

2.3 Mod`ele lin´eaire continu

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

28

2.3.1 La boucle d’asservissement

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

29

2.3.2 Fonctions de transfert

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

29

2.3.3 Validit´e du mod`ele

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

30

2.4 Mod`ele lin´eaire discret

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

31

2.4.1 Approximation de l’impulsion de courant de charge

 

31

2.4.2 Mod`ele `a base d’impulsions de Dirac

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

32

i

ii

Table des mati`eres

2.4.3 Mod`ele `a base d’une impulsion approch´ee

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

34

2.4.4 Mod´elisation avec un ´echantillonneur–bloqueur

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

35

2.4.5 Validit´e des mod`eles discrets

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

37

2.5 Mod`ele non–lin´eaire discret

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

37

2.6 Mod`ele lin´earis´e discret

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

39

2.7 Mod`ele non–lin´eaire inverse

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

40

2.8 Mod`eles hybrides

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

42

2.8.1 Les diff´erents types de mod`eles hybrides

 

42

2.8.2 D´efinition du mod`ele hybride de Pettersson

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

43

2.8.3 Mod`ele hybride continu

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

43

2.8.4 Discr´etisation du mod`ele hybride

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

46

2.8.5 Discr´etisation du mod`ele hybride continu le long d’une s´equence

.

.

.

.

.

.

.

.

.

.

47

2.8.6 Discr´etisation p´eriodique du mod`ele Hyb–CNC

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

48

2.8.7 Discr´etisation quasi–p´eriodique du mod`ele Hyb–CNC

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

48

2.8.8 Simulation des mod`eles hybrides

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

49

2.9 Mod`eles ´ev´enementiels

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

51

2.9.1 Mod`ele ´ev´enementiel du second ordre

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

51

2.9.2 Mod`ele ´ev´enementiel du troisi`eme ordre

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

52

2.10 R´ecapitulatif

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

54

2.11 Quelques simulations

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

56

2.11.1 Simulations locales en trajectoire

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

56

2.11.2 Simulations globales en trajectoire

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

57

Chapitre 3 Analyse

 

59

´

3.1 Etude du mod`ele lin´eaire continu

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

61

3.1.1

Stabilit´e absolue

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

61

3.1.2

Contrainte de stabilit´e robuste

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

62

3.1.3

Contrainte de rapidit´e

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

62

3.1.4

Rejet des bruits

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

63

3.1.5

Rejet du bruit en entr´ee

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

64

3.1.6

Rejet du bruit `a la sortie de l’OCT .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

65

3.1.7

Saturation de la commande `a l’entr´ee de l’OCT

 

66

3.1.8

Calcul du filtre

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

66

3.1.9

Conclusion

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

67

´

3.2 Etude du mod`ele lin´eaire discret

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

67

3.2.1 Condition de stabilit´e absolue .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

67

3.2.2 Condition de stabilit´e robuste .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

68

3.2.3 Conclusion sur l’´etude lin´eaire

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

69

3.3 Stabilit´e d’une s´equence

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

69

3.3.1 Calcul du multiplicateur d’un cycle limite

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.