Académique Documents
Professionnel Documents
Culture Documents
en vue dobtention de
DOCTORAT
en gnie lectrique par
ASSEM THABET
Estimation de ltat pour la surveillance des systmes
de grandes dimensions. Application aux rseaux
lectriques.
Soutenue le 14 Mars 2012 devant le jury compos de
Ridha BENABDENNOUR (Professeur, Universit de Gabs) Prsident
Lasad SBITA (Matre de Confrence, Universit de Gabs) Rapporteurs
Moez FEKI (Matre de Confrence, Universit de Sousse)
Mohamed BOUTAYEB (Professeur, Universit de Nancy) Examinateur
M.N ABDELKRIM (Professeur, Universit de Gabs) Examinateur
Gaetan DIDIER (Matre de Confrence, Universit de Nancy) Examinateur
ii
DEDICACES
Les travaux de recherche prsents dans ce mmoire ont t mens lunit de Re-
cherche Modlisation, Analyses et Commande des Systmes (MACS) dirige par Mon-
sieur le Professeur Mohamed Naceur ABDELKRIM que je remercie pour la confiance
quil ma tmoign en maccueillant dans son quipe de recherche.
REMERCIEMENTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
BIBLIOGRAPHIE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Annexe 147
I.1 Rseau test 3 noeuds . . . . . . . . . . . . . . . . . . . . . . . . . . . xviii
I.2 Rseau test 13 noeuds . . . . . . . . . . . . . . . . . . . . . . . . . . . xix
RSUM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xxi
LISTE DES TABLEAUX
(k13,k)
3.10 Evolution du rang de la matrice dobservabilit : rang(O13noeuds ) 87
3.11 Evolution de (V1 (k) V1 (k)) avec OM et DM . . . . . . . . .
relle
88
3.12 Evolution de T1 and T2 + T3 dans OM . . . . . . . . . . . . . . . 89
3.13 Variation de kxrel xk
avec OM . . . . . . . . . . . . . . . . . . 90
3.14 Variation de kxrel xk
avec DM . . . . . . . . . . . . . . . . . . 91
3.15 Evolution de V2 (k) . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.16 Evolution de V2 (k) . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.17 Variation de residu rk . . . . . . . . . . . . . . . . . . . . . . . . 97
3.18 Variation de rsidu rk . . . . . . . . . . . . . . . . . . . . . . . . 98
3.19 Schma de principe de FDI . . . . . . . . . . . . . . . . . . . . . 104
3.20 Evolution de r(k) par le F.K.E-MH . . . . . . . . . . . . . . . . 108
3.21 Evolution des rsidus par les U.I.E.K.Fs . . . . . . . . . . . . . 108
3.22 Evolution de r(k) par le F.K.E-MH . . . . . . . . . . . . . . . . 109
3.23 Evolution des rsidus par les U.I.E.K.Fs . . . . . . . . . . . . . 109
3.24 Evolution de r(k) par E.K.F-MH . . . . . . . . . . . . . . . . . 110
3.25 Evolution des rsidus par U.I.E.K.Fs . . . . . . . . . . . . . . . 110
3.26 Evolution de r(k) par le F.K.E-MH . . . . . . . . . . . . . . . . 111
3.27 Evolution des rsidus par les U.I.E.K.Fs . . . . . . . . . . . . . 111
(k4,k)
3.28 Evolution du rang de la matrice dobservabilit : rang(O3noeuds ) . 114
3.29 Evolution de kxrel xa k avec lE.K.F . . . . . . . . . . . . . . . 115
3.30 Evolution de kxrel xa k avec le F.K.E-MH . . . . . . . . . . . . 115
3.31 Evolution de (k) (cas 1) . . . . . . . . . . . . . . . . . . . . . . 116
3.32 Evolution de (k) (cas 2) . . . . . . . . . . . . . . . . . . . . . 117
3.33 Evolution de (k) (cas 3) . . . . . . . . . . . . . . . . . . . . . 118
I: Annexe 1 . . . . . . . . . . . . . . . . . . . . . . . . . . .xviii
LISTE DES ACRONYMES
rpartition de charges (ou load flow) et lestimation dtat statique. Laspect dynamique
se base sur une modlisation travers les quations algbro-diffrentielles non linaires
tout en validant les mthodes et les techniques dj utilises ainsi que des versions mo-
difies quon a dveloppes.
Le chapitre 3 est ddi adopter un modle dynamique propos des rseaux lec-
triques en se basant sur des techniques des transformations et principalement la proprit
dindex 1. Par suite la synthse dun filtre pour lestimation dtat, et dans ce sens nous
prsentons un nouveau filtre de kalman en se basant sur lajout dune fentre des mesures
glissante pour la dtection et lestimation avec une autre version entres inconnues pour
la localisation gographique des dfauts tout en tudiant la convergence et la stabilit lo-
cale.
1.1 Introduction
Certains auteurs qualifient le rseau lectrique comme tant le circuit le plus grand ja-
mais invent par lhomme. Un circuit dont les lments (centrales, lignes,...jusquaux ap-
pareils les plus lmentaires de consommation dnergie lectrique) se situent et stendent
lchelle de continents entiers [1]. Cest cette tendue, en effet, qui pose la difficult de
pouvoir prvoir le comportement et tudier le fonctionnement dune machine aussi gi-
gantesque et comment lexploiter dans les conditions les plus optimales ? Cest pourquoi
il est vite apparu indispensable de dvelopper des modles du systme en question. Mo-
dles ncessairement rduit qui soient fidles au comportement, statique et dynamique,
du rseau rel afin de permettre son tude et son exploitation.
Dans ce chapitre, on prsente, en effet, ces deux aspects. On donnera un aperu sur le
calcul de rpartition de charge et lestimation dtat pour le comportement statique et
un aperu sur la modlisation sous forme des quations algbro-diffrentielles pour le
comportement dynamique du rseau. La formulation de ces aspects en modles math-
matiques permet leur comprhension et leur rsolution dune faon simple. Il est vident
que ces aspects dpendent du modle global tabli qui, lui mme, dpend du modle
lmentaire de chaque lment constituant le rseau.
sieurs hypothses :
Les influences entre les diffrents lments ne sont pas prises en compte.
La topologie en boucle est la plus utilise car la topologie radiale pose le problme de
continuit dalimentation dnergie en cas de dfaillance (coupure de la ligne).
Dans la littrature le modle souvent voqu (entre deux noeuds i et j) est celui dun
quadriple en (Figure 1.2), ayant comme lments une impdance srie ou longitudi-
nale (zi j ) et une admittance en drivation ou transversale (yi j ) [1] :
0
3
zi j = ri j + jxi j
avec :
1 ri j x
ij
zi j = yi j = ri2j +xi2j
j r2 +x 2 = gi j + jbi j
ij ij
gi j0 + jbi j0
yi j = 2
0
O :
Le modle souvent utilis du transformateur entre les noeuds i et j est donn dans
un systme normalis (systme "per unit"). La figure 1.3 suivante donne le schma de ce
modle :
4
Avec :
yi j = yt Ni j
yi j
Y i0 = yt (1 Ni j ) + 2
0 (1.1)
y
2 i j0
Y j0 = yt Ni j (Ni j 1) + Ni j 2
O :
vccVni2
zt est limpdance quivalente srie donne par zt = rt + jxt (avec |zt | = 100Sn ) et
1
yt = zt ladmittance srie ;
V2
rt : rsistance quivalente du transformateur donne par rt = Pc Sni2 103 ;
n
p
xt : ractance inductive quivalente du transformateur donne par xt = zt2 rt2 ;
i0 Sn
yi j0 : ladmittance en drivation donne par yi j = gi j0 + jbi j0 avec : bi j0 = 100V 2
0 ni
3
et gi j0 = Pf 10V 2 ;
ni
Cette tape de modlisation de la ligne et ses lments est essentielle pour le calcul
des quations principales du rseau particulirement la matrice dadmittance nodale.
Cette matrice est llment de base pour ltude des diffrents aspects lis au fonc-
tionnement du rseau lectrique. Cest lexpression :
[Y nn ][V n ] = [I n ] (1.2)
o :
Y ii est ladmittance propre associe au noeud i. Elle est gale la somme des
admittances des branches incidentes ce noeud.
Y i j est ladmittance de transfert associe aux noeuds i et j. Elle est gale lad-
mittance de la branche qui joint ces deux noeuds change de signe.
Une prsentation de cette notion de flux de puissance [2] dans ces aspects mathma-
tiques, algorithmiques [1] [3] et de simulation sont donnes dans ce paragraphe. Ceci
est directement li au topologie du rseau et au nombre de noeuds qui le constitue. Un
exemple dapplication sur un rseau test trois noeuds selon la standard IEEE sera pr-
sent.
Noeuds charges : (Noeud PQ) : Noeud pour lequel les puissances active et rac-
tive (P, Q) sont toujours donnes. La tension en module et en phase (V, ) sont
calculer.
Dautres combinaisons sont possibles. On voque les noeuds bilan et les noeuds tension
contrle. Le tableau 1.I suivant prsente lensemble des noeuds pouvant tre utilises
dans un rseau lectrique. Rappelons que lusage des grandeurs nodales impose un signe
positif pour les puissances actives des gnrateurs et ngatif pour les charges.
Le traitement mathmatique pour un rseau lectrique de N-noeuds passe par ltablis-
sement de 2N quations algbriques.
Selon le modle donn par la figure 1.2 du paragraphe Modle de la ligne on peut
crire :
V i = Vi e ji
(1.4)
V j = V j e j j
De mme les expressions des puissances nodales active Pi et ractive Qi sont les sui-
vantes :
Pi = Vi nj=1 V j [Gi j cos(i j ) + Bi j sin(i j )]
(1.6)
Qi = Vi nj=1 V j [Gi j sin(i j ) Bi j cos(i j )]
8
Pi Pi j = 0
j(i)
Qi Qi j = 0
j(i)
Soient :
Pi
Piimp Pi = nj=1 ( V j
V j + Pij j )
(1.9)
Qimp
i Qi = nj=1 ( VQji V j + Q
j j )
i
Vi
Le temps de calcul peut tre rduit si on exprime les inconnues par i et Vi .
Les expressions des drives partielles se dduisent immdiatement des relations (1.10)
suivantes :
Pi
i = Hii = Qi BiiVi
Pi
j = Hi j = ViV j [Gi j sin(i j ) Bi j cos(i j )]
Pi
Vi Vi = Nii = GiiVi + Pi
Pi
V j V j = Ni j = ViV j [Gi j cos(i j ) + Bi j sin(i j )]
Qi
(1.10)
i = Jii = Pi GiiVi
Qi
j = Ji j = Ni j
Qi
Vi Vi = Lii = Qi BiiVi
Qi
V j V j = Li j = Hi j
Avec :
Pi Pi Qi Qi
[J1 ] = ; [J2 ] = V j ; [J3 ] = ; [J4 ] = Vj (1.12)
j Vj j Vj
o : i, j = 1, 2, ..., N
Lalgorithme est resoulu en suivant ces tapes :
Vi
3. Dtermination de i et Vi .
10
4. Mise jour des phases ( i+1 ) et des tensions nodales (V i+1 ) par :
Pour encore rduire davantage le temps de calcul, notamment dans ltude rpte de
scurit N 1 (perte dun lment de production ou de transmission), une mthode dite
"rapide" est propose [1]. Les lments des matrices [J1 ] et [J4 ], dans ce cas sont simpli-
fis en ngligeant les parties relles des admittances des lignes en assimilant le sinus de
la diffrence des phases entre noeuds zro et la diffrence dangle de cosinus lunit,
ce qui permet dcrire :
[ ] = [B ]1 P
V
(1.14)
[V ] = [B ]1 Q
V
11
o : Bi j = Bi j (suceptance de la ligne i j) si i 6= j et Bii = Nj=1 Bi j
et, Bi j = Bi j si i 6= j et Bii = Nj=1 Bi j + 2Bsii (Bsii tant la suceptance shunt au noeud
i).
Les matrices [B ] et [B ] sont relles et symtriques.
Une application des mthodes dcrites prcdemment sur un rseau test 3 noeuds
suivant le standard IEEE (voir annexe I) est prsente dans cet exemple. Le rseau test
est compos de 2 noeuds gnrateurs. Le noeud 1 est pris comme noeud de rfrence et
le noeud 2 comme noeud charge.
La formulation mathmatique de cet exemple avec la mthode de Newton-Raphson (N-
R) est alors :
P2 H22 N22 H23 2
Q2 = J22 L22 J23 . V2
V2
P3 H32 N32 H33 3
h i
Q2
V2 = B 22 .V2
dit de convergence obtenues par lutilisation des algorithmes prsents ci-dessus pour
quelques grandeurs : V2 (Figure 1.4), P2 (Figure 1.5) et Q2 (Figure 1.6). La Figure
1.7 donne la variation de temps de calcul pour les mthodes de rsolution utilises. Dans
toutes les figures (k) prsente le nombre des itrations.
220
MDR
MD
219 NR
218
Tension nodale U2 (kV)
217
216
215
214
213
0 2 4 6 8 10 12 14 16
Itrations (k)
50
MDR
50 MD
P (MW)
NR
2
100
150
200
0 5 10 15
Itrations (k)
5 NR
MD
10 MDR
Q (MVAR)
15
2 20
25
30
35
40
45
0 5 10 15
Itrations(k)
4
x 10
4
MDR
MD
3.5 NR
3
Temps de Calcul (s)
2.5
1.5
0.5
0 5 10 15
Itrations (k)
Nous constatons que les trois mthodes de calcul convergent vers des valeurs stables au
bout de trois itrations environ. Cependant, elles diffrent quand la rapidit de calcul.
En effet, la courbe 1.7 montre lavantage de lutilisation de lalgorithme dcoupl-rapide
(M-D-R) dont la dure est de moiti du temps compar la mthode N-R.
14
1.4.2.1 Introduction
Dans les centres modernes de conduite des rseaux lectriques les fonctions de scu-
rit, sous forme de programmes excuts en temps rel, sont destins aider loprateur
maintenir le systme dans un tat de fonctionnement normal quelque soient les pertur-
bations.
Disposer dun historique rcent de ltat du rseau et de ses diffrents paramtres
de contrle facilite cette tche. Un modle destimation dtat joue alors un rle central
essentiel permettant de fournir une " image instantane " fiable, cohrente et complte de
la valeur de toutes ces paramtres. Dans le cas o cest la tension nodale et sa phase qui
sont les paramtres estimer, lestimateur dtat cherche les valeurs qui correspondent
au mieux avec les valeurs mesures et disponibles un instant donn.
1.4.2.2 Procdure
Ltat du rseau, dont le nombre de noeuds N est fix par le modle, est com-
pltement dfini par le vecteur dtat [x] form par les modules et les phases des
tensions nodales :
[x] = [V1 ,V2 , 2 ,V3 , ...,VN , N ]T . Le noeud 1 dans ce cas est considr comme
noeud bilan.
On cherche le vecteur [x] qui soit le plus fiable possible en dpit des erreurs qui
entachent les mesures et les donnes partir desquelles il a t estim.
Diffrentes mthodes destimation dtat sont utilises. On cite particulirement les tech-
nique des moindres carrs pondrs complte [8] [5], les techniques se basant sur les
puissances de transits en ligne [9] et les algorithmes dcoupls [10] [11].
15
Soit n le nombre de composants du vecteur dtat et soit m > n le nombre des com-
posants du vecteur de mesure [z].
Considrons que chacune des i mesures (i : 1...m) est entache derreur i . Ceci nous
permet dcrire :
zi = zi,e + i (1.15)
O : zi est la valeur mesure ; zi,e : valeur exacte, mais inconnue, de la grandeur mesure ;
i : lerreur de mesure qui peut tre positive ou ngative.
Hypothses :
- En notant E esprance mathmatique, on suppose que lerreur i a une valeur
moyenne nulle et un cart-type i tel que E(i ) = 0 et E( 2 i ) = 2 i .
- On admettra quil ny a pas de corrlation entre les erreurs, donc E(i j ) = 0
pour i 6= j ( j : 1...m).
Modlisation :
En exprimant zi sous forme matricielle, nous obtenons :
Ltat vritable [x] est toujours inconnu. A partir des valeurs mesures [z], on cherche
une estimation [x]
de ltat du rseau tel que les fonctions [ f ([x])]
sajustent au mieux
avec les valeurs de [z]. Pour chacune des variables xi il faut disposer dau moins une
mesure indpendante. Il est souhaitable dobtenir un tat estim [x]
qui prsente une
probabilit maximale de concidence avec ltat vrai [x]. On cherche donc maximiser
la probabilit permettant daboutir [ f ([x])] = [ f ([x])]
ou aussi minimiser :
m m
J([x]) T [R]1 [[z] [ f ([x])]]
2 /i 2 = [[z] [ f ([x])]]
= Wi i = [zi fi ([x])] (1.17)
i=1 i=1
donc [x]
satisfait les conditions doptimalit :
z1 f 1 (x)
T 1
x J(x) |x=x [R] z2 f2 (x) = 0
= 2 [H(x)] (1.19)
............
Le systme dquations non linaires (1.19) est rsolu de manire classique par la m-
thode de Newton-Raphson et est linaris par un dveloppement en srie de Taylor au
voisinage dune solution initiale du vecteur dtat [8]. On dduit ensuite lapproximation
litration suivante par (schma itratif) :
T 1 T
[xk+1 ] = [xk ] + [[H(xk )] [R]1 [H(xk )]] [H(xk )] [R]1 [[z] [ f (xk )]] (1.21)
Cette mthode est une variante de la mthode A.M.C expose ci-dessus. Elle est
applique surtout lorsque lobservation de ltat estim est peu loigne de ltat initial.
Par consquent les lments des matrices jacobienne et de gain, varient trs peu dune
itration lautre. Deux mthodes de traitement existent [1] :
T
O : [Gk ][xk ] = [H(xk )] [R]1 [[z] [ f (xk )]] , avec [Gk ] constante. Lavantage de
cette mthode est de rduire le temps de calcul de la matrice de gain.
Ces algorithmes, comme dans le cas de calcul de rpartition des charges, repose
sur le dcouplage actif/ractif donc phase/module de tension. Ce type destimateur [10]
convient essentiellement aux rseaux dont les branches prsentent un rapport X/R lev.
En premier
lieu, onrcrit
le vecteur de mesures et dtat comme suit :
[zP ] [ ]
[z] = ; [x] = Les dcompositions correspondantes de [H] et [G] sont :
[zQ ] [U]
[HP ] [HPV ]
[H([U], [ ])] = (1.24)
[HQ ] [HQV ]
[G ] [GV ]
[G([U], [ ])] = (1.25)
[GV ] [GVV ]
[ ] [RP ] 0 [r ]
Avec : [G] = [H]T [R]1 [H] ; [x] = ;[R] = ; et [r] = =
[U] 0 [RQ ] [rV ]
[H]T [R]1 [[z] [ f (x)]] devient avec ce dcouplage :
[G ][ ] = [r ] (1.27)
En gnral, on rsout dabord lquation (1.27) pour introduire les phases amliores
dans lquation (1.28).
Pour ce type de dcouplage, [HPV ] 0 et [HQ ] 0, les matrices de gain sont les sui-
vantes :
[G ] = [HP ]T [RP ]1 [HP ] (1.29)
La mthodologie propose [9] est base sur les mesures des puissances actives et r-
actives qui transitent dans les lignes et des tensions. Les mesures de ces puissances sont
combins en utilisant des facteurs de multiplication qui permettent de dcoupler lqua-
tion de base en deux quations simplifiant ainsi la rsolution. Les matrices Jacobiennes
rsultantes sont constantes et sont calcules seulement une fois au dbut du processus
itratif [12].
La procdure de cette mthode repose sur la connaissance des puissances actives et rac-
tives dans une ligne l situe entre les noeuds i et j. Ces puissances sont donnes par les
quations (1.5). Elles peuvent tre combines pour former deux ensembles de mesures,
rels g et imaginaires f , en utilisant les facteurs i j et i j comme suit :
gi j = i j Pi j + i j Qi j
(1.31)
fi j = i j Pi j + i j Qi j
20
Les quations (1.5) et (1.31) sont linarises autour dun point de fonctionnement dfini.
Nous obtenons alors :
K N g
= (1.32)
M L V f
o :
gi j = (i j Pm i j + i j Qm i j )/ViV j
(i j Pm i j + i j Qm i j )/V j (1.33)
fi j =
V m
Avec :
Pimj , Qm m
i j et V : les diffrences entre les valeurs mesures et calcules.
g g f f
K= , N= V , M= et L = V sont les drivs partielles des fonctions g et
f.
LT R j 1 L [V ] = LT R j 1 [ f ]
(1.34)
K T R p 1 K [ ] = K T R p 1 [g ]
2
= median (zi fi ([x]))
J([x]) (1.35)
21
Nous avons propos une version modifie de cette mthode [13] (M.L.M.S) qui repose
sur la minimisation de critre :
2
(zi fi ([x]))
= median
J([x]) (1.36)
i2
Si le rseau est observable lestimateur doit tre capable de dtecter les mesures
errones. On dfinit alors un coefficient dit de redondance globale donn par le
m m
rapport du nombre de mesures au nombre de variables dtat soit : = n = 2N1 .
Dans la pratique on considre quune redondance comprise entre 1,5 et 2,5 est
suffisante pour un bon fonctionnement de lalgorithme.
22
rang[HP ] = N 1
(1.39)
rang[HQV ] = N
Afin de montrer les performances de chacune des mthodes exposes ci-dessus, nous
prsentons un exemple de traitement de deux rseaux test IEEE 3 et 13 noeuds (voir
annexe I).
250
240
tension nodale estime au noeud 1
230
220
A.M.C
210 MLS
FDE
200
190
180
170
160
150
1 2 3 4 5 6 7 8 9 10 11
Iterations (k)
300
MS2 (n=1)
MS2 (n=4)
250
200
U1 (KV) estime
150
100
50
0
0 50 100 150 200 250
Iterations (k)
Daprs la figure 1.8, les trois mthodes convergent vers la valeur relle. Cepen-
dant, la mthode FDE converge dans 2 itrations seulement alors que les mthodes
A.M.C et MLS convergent au bout de 4 itrations. Dou lintrt de lutilisation
de la mthode FDE.
Dans la figure 1.9, nous remarquons que la variation de nMS2 de 1 4, le nombre
ditrations jusqu la convergence est rduit, do lintrt de la dtermination
dune valeur optimale de nMS2 .
Le comportement dynamique dun rseau lectrique peut tre modlis avec une
combinaison dquations diffrentielles non-linaires et dquations algbriques non-
linaires [20], [5]. Les quations diffrentielles non-linaires correspondent la dyna-
mique non-linaire des gnrateurs et les quations algbriques non-linaires corres-
pondent aux contraintes algbriques des noeuds charges du rseau.
Si le rseau est un point dquilibre, en ngligeant les quations diffrentielles non-
linaires, on se trouve dans le cas dtude du flux de puissance et le calcul se concentre
sur la recherche de la solution itrative des quations algbriques non-linaires.
Pour lanalyse de la stabilit, le rseau tant toujours suppos en quilibre, les quations
diffrentielles non-linaires sont seules considrer. Les quations algbriques sont sup-
poses satisfaites.
Que le rseau soit en quilibre ou non, son modle sous forme DAE inclut les deux en-
sembles dquations diffrentielles et algbriques. La forme gnrale du modle dans ce
cas est donne par :
xd (t) = F(xd (t), xa (t), u(t))
0= g(xd (t), xa (t)) (1.40)
y(t) = h(xd (t), xa (t))
26
xd (t) Rnd , xa (t) Rna sont respectivement les variables dtats dynamiques et alg-
briques, F(.) Rnd une fonction reprsentant les quations diffrentielles non linaires,
g(.) Rna rpresente les contraintes (quations) algbriques non linaire, u(t) R p la
commande et y(t) Rm la sortie du systme.
Les modles dynamiques existants traits sous forme de D.A.E, subissent, souvent, des
transformations :
Soit pour les rendre sous forme dun systme singulier non linaire en insrant des
hypothses simplificatrices sur la variation des phases ou des tensions [22]. Ceci
fait disparaitre certains paramtres (surtout les paramtres algbriques).
Nous prsentons dans ce qui suit des nouveaux modles (DAE) [5] prenant en compte
toutes les variables rgissant le comportement dun rseau lectrique quelque soit la
nature des gnrateurs et des charges.
Cette reprsentation [5] prend en compte les variables et les paramtres internes de la
source (alternateur) ainsi que les quations algbriques dfinies prcdemment dans le
calcul de bilan de puissance. Nous commenons cette reprsentation par la modlisation
dynamique des diffrentes composantes du rseau.
Soient : ng le nombre des gnrateurs ; nld nombre des charges dynamiques et nls nombre
des charges statiques.
i = i
PGi ( , ,V )
(1.41)
i + D
M +
i
M = PMi
M
27
N
PGi = |Vi| V j [Gi j cos(i j ) + Bi j sin(i j )]
j=1
Modle de lexcitateur :
Le modle non linaire de base de lexcitateur utilis dans la littrature est le sui-
vant [24] [5] :
1 Xd Vi (Xd X d ) cos(i i ) EF
E qi + [ E qi ]= i (1.42)
T do X d Xd T do
Modle de la charge :
avec j = ng + 1, . . . , ng + nls
h( , ,V ) = Pcd (1.45)
c, d : 1...N.
Pcd est la puissance de transit entre les noeuds c et d considre comme la sortie
du systme.
1.5.1 Modle A
Cest le modle qui met en vidence la dynamique du rotor et des charges statiques :
fi I : i i = 0
PGi (x)
fi II : i + D
M + M =
i PMi
M
g j II : Pj Pj (x) = 0 (1.46)
g j III : Q j Q j (x) = 0
hq : Pcd
29
x, ) = u
F(x,
(1.47)
p = h(x, )
PMi
O : u = M , = {Y bus} , F(.) = [ fi , g j ]T et x = [ , , ,V ]T
1.5.2 Modle B
V (X X ) cos(i i ) EFi
fi III : E qi + T1 [ XXd E qi i d dX ]= T do
do d d
g j I : Pi Pi (x) = 0 (1.48)
g j II : Pj Pj (x) = 0
g j III : Q j Q j (x) = 0
hq : Pcd
De mme, ce modle peut tre mis sous la forme donne par 1.47 avec :
PMi EFi
u={ , }, = {Y bus} , F(.) = [ fi , gi , g j ]T
M T do
30
1.5.3 Modle C
fi I : i i = 0
PGi (x)
fi II : i + DM + M = M
i PMi
flI : l + 1 Pl (x) = 1 Pl
l l
fII : vl + 1 Ql (x) = 1 Ql
l vl vl
(1.49)
g j II : Pj Pj (x) = 0
g j III : Q j Q j (x) = 0
hq : Pcd
PMi Pl Ql
u={ , , }, = {Y bus} , F(.) = [ fi , fl , g j ]T
M l vl
On propose dans cette section un simple diagramme de simulation des rseaux lec-
triques dynamiques (Figure 1.10) sous lenvironnement SIMULINK de MAT LABr ba-
se sur le modle (1.40).
Pour la rsolution des quations diffrentielles on utilise un bloc dintgration associ
une fonction Non Linaire Fd (xd (t), xa (t), u(t)).
Pour la rsolution des quations algbriques on fait appel un bloc de rsolution des
contraintes algbriques.
Le schma de principe du diagramme de simulation est donn par la figure suivante :
31
Nous traitons dans cette exemple le rseau test 5 noeuds dont le schma est le suivant
[26] :
f I : x1 = x2
f II : x2 + DM2 x22 + PG2 (x1 ,x3 ,xM4 ,x2 5 ,x6 ,x7 ,x8 ) = PMM22
P3 P3 (x1 , x3 , x4 , x5 , x6 ) = 0
gI : P4 P4 (x1 , x3 , x4 , x5 , x6 , x7 , x8 ) = 0
P5 P5 (x1 , x5 , x6 , x7 , x8 ) = 0
Q3 Q3 (x1 , x3 , x4 , x5 , x6 ) = 0
gII : Q4 Q4 (x1 , x3 , x4 , x5 , x6 , x7 , x8 ) = 0
Q5 Q5 (x1 , x5 , x6 , x7 , x8 ) = 0
Les mesures peuvent tre des puissances nodales, des puissances de transit, des tensions ;
...
Nous prsentons dans ce qui suit les courbes dvolution de quelques grandeurs du r-
seau. Notant que les diffrentes grandeurs (puissance et paramtres des lignes se trouve
dans [26]) sont donnes en valeurs rduites.
La figure suivante (1.12) prsente lvolution de langle de rotation mcanique au noeud
gnrateur 2 :
0.3
angle de rotation mcanique au noeud 2
0.2
0.1
0.1
0.2
0.3
0.4
0 50 100 150 200 250
temps(ms)
1.025
1.02
1.015
1.01
0 50 100 150 200 250
temps (ms)
Pour vrifier que le point de fonctionnement est toujours le mme que celui du mode
statique (vrification des contraintes algbriques), nous prsentons dans la figure (1.14)
suivante lvolution de lcart de puissance active P3 au noeud charge 3 :
12
x 10
12
10
cart de puissance active au noeud 3
4
0 50 100 150 200 250
temps (ms)
On constate bien que P3 converge vers zro. Le point de fonctionnement reste alors
le mme. Ceci peut tre galement vrifi en comparant les valeurs obtenues par la si-
mulation du modle dynamique aux valeurs trouves par calcul de rpartition de charge
(pour les variables algbriques). Les valeurs tant gales, le point de fonctionnement
reste le mme.
Nous prsentons dans cette section une mthode danalyse de stabilit dans le calcul
du flux de puissance ("la plus petite valeur singulire (ppvs)") avec une extension pour
lestimation dtat statique [27]. Nous ne traitons que laspect statique des rseaux [28].
Partant de la dfinition annonant quun rseau dnergie, dans des conditions dex-
ploitation donnes, soumis une perturbation donne, est dit stable si les valeurs de la
tension/phase un de ses noeuds se rapprochent des valeurs dquilibre avant pertur-
bation [1], ltat perturb se situe dans la rgion dattraction de lquilibre stable aprs
perturbation. Linstabilit dangle/tension peut provoquer un effondrement des tensions
conduisant linstabilit de lensemble du rseau.
En partant aussi de lhypothse quaux points critiques de fonctionnement la matrice Ja-
cobienne sannule, on cherche dterminer la distance entre le point de fonctionnement
et la frontire contenant les points critiques de stabilit. On utilise alors la mthode ppvs
de la matrice jacobienne pour lanalyse de stabilit.
- Le vecteur singulier droit (dn ) qui correspond n indique la sensibilit des tensions
et des angles (le noeud le moins stable correspond la plus grande valeur de la
35
- Lanalyse de la matrice Jacobienne peut tre rduite par lanalyse des matrices rduites
seulement. Soit :
P JP JPV
=
V
Q JQ JQV V
Le mme principe des mthodes de calcul que celui de flux de puissance est appliqu
sur les mthodes destimation dtat statique. La dcomposition en valeur singulire
du Jacobienne H(xk ) est applique pour la rsolution de lquation dobservateur. Pour
lanalyse de stabilit deux approches peuvent tre utilises : soit la dcomposition de
H(xk ) soit la dcomposition de [H(xk ).H(xk )T ].
Dans ce qui suit nous prsentons une analyse de stabilit du rseau test de 13 noeuds
avec la dcomposition de [H(xk ).H(xk )T ] en SVD pour lestimation dtat et la matrice
Jacobienne J pour la rpartition de charge.
Nous commenons par ltude de la stabilit des phases et leur influence sur les
tensions (tab 1.III). Aprs la dcomposition en svd de J, nous remarquons que la
36
Il est claire, daprs le tableau ci-dessus, que le noeud 2 est le moins stable dans le rseau.
Ces composantes , d et g sont les plus leves.
Nous prsentons dans ce qui suit une tude de stabilit des tensions (variation de
+4%) et leur influence sur les phases. Aprs dcomposition de J en SVD, les
valeurs des grandeurs de dn sont donnes par le tableau suivant (tab 1.IV) :
la variable V13 . Le tableau (tab 1.V) suivant illustre les variations des grandeurs dcrites
ci-dessus aprs ajout de perturbation de 5% sur 1 et sur la 1re composante de vecteur
de mesure (P121 qui est lie directement la variable V12 ) entre les itrations 15 et 17.
Soient T1 : Taux de variation avec perturbation sur ltat et T2 : Taux de variation avec
perturbation sur la mesure. De mme, laugmentation de lordre de perturbation sur les
tats et les mesures (jusquau 22%) montre toujours que la mthode utilise peut indiquer
les noeuds les moins stables.
1.7 Conclusion
Nous avons prsent dans ce premier chapitre des notions fondamentales sur les
comportements en mode statique et dynamique des rseaux lectriques. Une tude du
mode statique, o intervient le calcul de rpartition de charge et destimation dtat,
ainsi quune analyse de stabilit ont t effectues. Des exemples de simulation et dap-
plication ont t raliss sur des rseaux test selon le standard IEEE.
Nous avons signal que les mthodes de calcul de flux de puissance et destimation
dtat se classent selon un critre majeur et trs important dans limplmentation qui est
le temps de calcul.
Nous avons tudi le mode dynamique en prsentant les modles dynamiques non li-
naires qui prennent en compte tous les modes de fonctionnements des rseaux lec-
triques. Un exemple dapplication et de mise en oeuvre du modle dynamique bas sur
un diagramme de simulation sous MAT LAB a t propos.
Comme dans le mode statique tudi dans ce chapitre, il est de grand intrt de procder
lestimation dtats dynamique du rseau o les observateurs dtat non linaire jouent
un rle important et cest lobjectif du chapitre suivant.
2
2.1 Introduction
Le but de ce chapitre est de prsenter dune part quelques rappels ncessaires pour
lobservabilit des systmes non linaires, et dautre part un tat de lart sur les observa-
teurs fin de choisir un estimateur pour les rseaux lectriques.
La premire partie, assez gnrale, est consacre rappeler quelques dfinitions et condi-
tions dobservabilit des systmes non linaires temps continu et discret. Nous prsen-
terons les conditions ncessaires et suffisantes garantissant lobservabilit.
La deuxime partie pose le problme de lestimation de ltat des systmes non linaires.
Il sagit de prsenter les diffrents types dobservateurs pour les systmes non linaires
et de prsenter une liste de techniques existantes destimation de ltat non linaire. A
ce titre, nous prsenterons successivement, les approches bases sur une linarisation
du modle au tour dun point de fonctionnement, lobservateur de Thau, les approches
fondes sur une transformation non-linaire ou sous forme canonique, les observateurs
grand gain, les observateurs entres inconnues et lapproche LMI. Cette liste, loin
dtre exhaustive, prsente les principales approches quon peut trouver dans la littra-
ture.
Dans cette partie, nous allons prsenter quelques dfinitions et des conditions pour
ltude dobservabilit des systmes non linaires. On sintressera au deux aspects des
systmes temps continu et discret.
39
= f (x(t), u(t))
x(t)
(2.1)
y(t) = h(x(t))
o : x(t) R , u(t) R et y(t) Rp . Dans ce qui suit nous allons prsenter des condi-
tions gomtriques et analytiques pour lobservabilit dans le cas continu et discret base
sur les travaux de [30], [31], [32] et [33].
Le systme non linaire considr est celui de 2.1 et soit U[0,t] (t, x0 ) la solution
linstant t du systme 2.1 soumis la commande U[0,t] .
Dfinition 1 :(Indiscernabilit) : Soit y0u (t) et y1u (t) , (t 0), deux signaux de
sortie gnrs par lapplication du signal dentre u(t), (t 0), au systme 2.1
avec les conditions initiales x0 et x1 , respectivement. On dit que x0 et x1 sont
indiscernable ssi :
y0u (t) = y1u (t); t 0
pour tout entre u. Dans le cas contraire, on dit que x0 et x1 sont discernables.
x, dim dO(h)|x = n
Une des mthodes les plus utilises dans lanalyse dobservabilit au sens du rang est
celle qui se base sur les Crochets de Lie (ou drivs de Lie) que nous prsentons dans ce
qui suit :
Une des mthodes dtude dobservabilit du systme 2.2 est celle de lutilisation des
drivs de Lie, dans ce qui suit nous prsentons cette approche [34].
La drive de Lie dune fonction h dans la direction de f est :
n
h
L f h = h f = fi (2.3)
i=1 xi
f1 f1
f f
2 h h 2
avec : f = . Il faut noter que L f h = x1 .. .. xn
. est un sca-
... ...
fn fn
laire.
Conventions :
L0f h = h
41
h h 1
L1f (h) = x f et L2f (h) = x [L f (h)] f , ....
On dfinie par suite la matrice G, tel que (pour le cas ou h = [h1 , .., h p ]) :
L0f h1 ... L0f h p
G=
... ... ...
(2.4)
Ln1 n1
f h1 ... L f h p
La matrice O doit tre de plein rang n pour que le systme soit observable. Ainsi quun
autre indice dobservabilit (Indobs ) peut donner et dune faon claire le conditionnement
du systme ainsi quune ide sur lobservabilit de chacun des tats par la dcomposition
en valeur singulire de la matrice O tel que : Indobs (xi ) = i (OOT ) avec i est la valeur
singulire de ltat correspondant.
Dfinition 5 :(Entre universelle) : une entre est universelle pour le systme 2.1
si :
x0 6= x0 , 0 : h( ( , x0 )) 6= h( ( , x0 ))
[35]. Nous allons tendre les proprits prsents par [36], [37] au cas continu pour le
mode discret, soit le modle suivant :
xk+1 = f (xk , uk )
(2.6)
yk = h(xk )
N
kh(U[0,k1] (k, 0, x0)) h(U[0,k1] (k, 0, x0))k kx0 x0k (2.7)
k=0
dim dO(h)(x0 ) = n
43
Comme la plupart des processus physiques sont dcrits par des modles mathma-
tiques non linaires, il est ncessaire de dvelopper des nouvelles mthodes pour la re-
construction de ltat afin daugmenter les performances des lois de commande pour
couvrir lensemble de la plage de fonctionnement. La synthse dobservateur dtat des
systmes non linaires est naturellement plus difficile que celle des systmes linaires. A
notre connaissance il nexiste pas, lheure actuelle, des mthodes universelles pour la
synthse de ces observateurs. En gnral, on distingue trois approches pour la synthse
dobservateurs.
1. Les mthodes fondes sur une transformation non linaire, base sur lalgbre de
Lie, permettent de mettre le systme sous une forme canonique quasi-linaire.
Lobjectif est de trouver un changement de coordonnes, afin que la dynamique
de lerreur destimation devienne linaire. Une telle transformation tant faite, les
techniques dobservation des systmes linaires peuvent tre utilises pour esti-
mer ltat du systme transform, et donc ltat du systme original en utilisant
le changement de coordonnes inverse. Des conditions ncessaires et suffisantes
pour un systme non linaire transform sous une forme canonique ont t tablies
dans [40] et [41].
2. Des mthodes sont bases sur une linarisation du modle autour dun point de
fonctionnement. Cest par exemple le cas du filtre de Kalman tendu et de lob-
servateur de Luenberger tendu. Malgr la restriction la convergence locale de
cette mthode, elle est largement utilise dans la pratique et donne gnralement
des bons rsultats.
3. Observateurs grand gain : Un observateur de type grand gain est synthtis pour
une classe de systmes non-linaires uniformment observables [42]. Le principe
44
repose sur lintroduction dun gain dobservation qui dpend dun paramtre .
Le nom "grand gain" est d au fait que le gain de lobservateur est suffisamment
grand pour affaiblir la non-linarit du systme. Notons cependant quavec lob-
servateur grand gain, le choix dun paramtre suffisamment grand assure une
convergence sre et rapide, avec en contre partie une grande sensibilit au bruit
dobservation.
Nous allons prsenter dans ce qui suit : le Filtre de Kalman Etendu, Observateur de
Thau et ses gnralisations, lapproche LMI et les observateurs entre inconnues.
Le filtre de Kalman tendu [46] est lune des techniques destimation les plus utili-
ses et qui tait largement tudies dans le domaine destimation de ltat des systmes
dynamiques non linaires. Le filtre de Kalman tendu est une extension directe du filtre
de Kalman standard en remplaant les matrices dtat et de sortie du systme linaire par
les jacobennes des non-linarits du systme en question.
Soit le systme non linaire suivant :
x = f (x , u ) + v
t t t t
(2.8)
yt = h(xt , ut ) + wt
45
= f (x(t),
x(t) u(t))R1 (y(t) h(x(t),
u(t)) + PH(x(t), u(t)))
(2.9)
P = F(x(t), u(t))T R1 H(x(t),
u(t))T + Q PH(x(t),
u(t))P + PF(x(t), u(t))P
f h
u(t)) =
ou : F(x(t), x (x, u)|x=x u(t)) =
et H(x(t), x (x, u)|x=x
Pour le cas discret, o le systme est reprsent comme suit :
k+1 = f (xk , uk ) + Gk vk
x
(2.10)
yk = h(xk , uk ) + Dk wk
avec :
T (H
Kk+1 = Pk+1/k Hk+1 T 1
k+1 Pk+1/k Hk+1 + Rk+1 )
(2.12)
ek+1 = yk+1 h(xk+1/k )
e = (A KC)e + f (x)
f (x) = A0 e + f (x)
f (x) (2.15)
Soit A0 est stable, donc pour toute matrice Q dfinie positive, il existe une matrice P
dfinie positive et unique tel que lquation de Lyapunov suivante est tabli :
Thorme 2.3.1. Si on choisit K tel que A0 peut donn une solution de lquation de
Lyapunov et satisfaisant :
min (Q)
>L (2.17)
kPk
o : L est la constante de Lipschitz vrifiant : k f (x1 ) f (x2 )k < Lkx1 x2 k pour tout x1
et x2 , donc lobservateur de Thau est asymptotiquement stable.
Dmonstration :
On dfinie la fonction candidate de Lyapunov suivante :
V = eT Pe
2eT Qe + 2LkekkPkkek
V 2min (Q)kek2 + 2LkekkPkkek (2.19)
2[min (Q) LkPk]kek2
min (Q)
Si min (Q) > LkPk (donc kPk > L), V < 0.
e = 0 est un point dquilibre asymptotiquement stable et :
lim e = 0
t
Exemple Numrique :
Soit le systme non linaire suivant :
x1 0 1 x1 0 0
= + + u
x2 0 0 x2 sin(x1 ) 0
x
1
y= 1 1
x2
La constante de Lipschitz pour f (x) = sin(x1 ) est L = 1. La sortie est y = sin(x) est
donne par la figure suivante :
min (Q)
On remarque daprs la figure 2.1 que la valeur maximale de kPk est tablie lorsque
48
AT0 P + PA0 = 2I
1
et kPk > 1 avec :
n
kPk2 = p2i j = tr(PT P)
i, j=1
1 1
2 4 , donc : P = PT > 0 et kPk = 0.68 < 1.
On choisit P =
1 1
4 3
1 0
et soit A0 = , ici nous avons max (P) = 1; 809 > 1 do la condition nest
1 1
pas satisfaite ce qui montre la difficult de cette approche et par suite que cette mthode
nest pas constructive.
Cette approche a t tendue par plusieurs auteurs [48] qui ont simplifi la problme
en remplaant la matrice Q par une matrice identit In . Une mthode base sur des ob-
servateurs exponentiels a t propose par [49]. Par ailleurs, une mthode constructive a
t propose par [50].
Cette approche est fonde sur une transformation non-linaire, base sur lalgbre de
Lie et qui permet de mettre le systme sous une forme canonique [40],[51].
Soit le systme non linaire dcrit par les quations suivantes :
x = f (x)
(2.20)
y = h(x)
Lobservabilit de tel systme non linaires est indpendante de lentre u. f et h sont des
fonctions C , il existe alors une transformation non linaire x = T (z) tel que le systme
49
h i
avec : K = k0 . . . kn1
Lerreur dynamique de lobservateur (e = z z) est :
0 0 ... k1
0 0 ... 0 k0
1 ... ... ..
1 . . . . . . ...
k
.
..
1 ..
e = e . en = . ... e (2.23)
0 ... ... 0 .. 0 .
0 . . . . . . k
n2
0 0 1 0 kn1
0 0 1 kn1
Le choix du gain K revient donc que le polynme p(s) soit stable donc e 0.
Le problme maintenant est de trouver une transformation x = T (z) ?
50
On rappelle tout dabord la matrice dobservabilit base sur les drivs de Lie :
h i
= L0f (dh)(x) L1f (dh)(x) ... Ln1
f (dh)(x)
(2.25)
T
la dernire colonne de 1 est z1 , ce qui donne :
T k1 T
= ad f, (2.26)
zk z1
f g
avec : (ad k f , g) = [ f , (ad k1 f , g)] et (ad 1 f , g) = [ f , g] = x g x f.
Exemple Numrique :
Soit le systme non linaire suivant :
x1 x2
x2 = x3 + sin(x1 )
x3 x2 + x3
y = x1
0
T
il est facile de dduire que : z1 =
0 , ce qui donne :
0 0 1
T T T T
= [(ad 0 f , ), (ad 1 f , ), (ad 2 f ,
)] = 0 1 1
z z1 z1 z1
1 1 2
51
1
f1 0 0 1 x2 sin(z3 )
f2 = 0 1 1 x3 + sin(x1 ) = z3 + sin(z3 )
f3 1 1 2 x2 + x3 z3
Cet observateur non linaire est propos par J. P.Gauthier, H. Hammouri et S. Oth-
man dans [42], il peut tre considr comme une gnralisation de lobservateur mode
glissant, il ne ncessite pas une linarisation autour dun point de fonctionnement du
systme non linaire et sa convergence est dmontre thoriquement.
52
2.3.4.1 Principe
u(t)
x(t) x(t)
h(.) y(t)
f (.)
R
Observateur
+
L
+ x
(t) R
(t)
x
f (.) + h(.)
(t)
x
Cette structure fait apparatre dabord la prsence dun estimateur dtat fonction-
nant en boucle ouverte caractris par la mme dynamique que celle du systme. La
dynamique dsire en boucle ferme par cet observateur est obtenue par lintroduction
dun vecteur (ou matrice dans le cas multi-variable) des gains L. Le vecteur des gains
est choisi pour des valeurs des gains relativement grandes dans le but damortir leffet
dune non linarit non modlise ou de contourner la variation des paramtres internes
des systmes. Do lappellation grand gain pour ce type dobservateurs [52].
Pour un systme non linaire dfini par la relation (2.27), lobservateur grand gain
scrit :
= f (x(t),
x(t) u(t)) + L(y(t) y(t))
= h(x(t))
y(t)
exige que le systme appartienne la classe des systmes non linaires vrifiant la pro-
prit de lobservabilit uniforme.
avec :
z1
z2
z(t) = Rn ; u(t) R; y(t) R
..
.
zn
avec :
x1 0 1 0 0
. . .. ..
..
x2 .. . . . . .
n
x(t) = R ;A = ; (x(t), u(t)) =
.. 0
.
1
0
xn 0 0 Lnf h(z(t))
Remarque :
La reprsentation sous la forme canonique dobservabilit exige les conditions suivantes :
: Rn Rn
h(z(t))
L h(z(t))
f
z(t) 7 x(t) = (z(t), u(t)) =
..
.
Ln1
f h(z(t))
Hypothse 1
La fonction (z(t), u(t)) doit tre un diffeomorphisme.
= Ax(t)
x(t) u) 1
+ (x, 1 T
S C C(x x) (2.31)
55
avec :
description
h i
= diag 1 1 1 ; 1;
n1
S + AT S + SA CT C = 0 (2.32)
x(t)k e kx(0)
kx(t) x(0)k
Remarques
1 T
z(t) = Az(t) + (z(t), u(t)) S C C(z(t) z(t))
S + S A + AT S CT C = 0 (2.33)
1
S = S
avec S est la solution de lquation (2.33)pour = 1. Ceci peut tre facilement
vrifier.
L1
.
..
Ln n
Dmonstration :
On note par x,
le vecteur derreurs entre les deux vecteurs dtat estim et rel, telle que
x = x(t)
x(t).
On a :
x(t) 1
= Ax(t) 1 T
+ (x(t)u(t))
S C Cx(t) (x(t), u(t))
1 0 0 0 1 0 1 0 0
... .. .. . . . ...
... ..
0 1 . . . .
. 0 .
A1 = . . . . = A
.. . . . . .. .. . .. .. .
. . . 0
. .
1 . 0
1
0 0 n1
0 0 0 0 n1
= x(t),
En posant x(t) alors on obtient :
= xT (t)Sx(t),
On dfinit une fonction candidate de Lyapunov V (x,t) sa drive par
57
2xT Sx
V (x,t)
= 2 xT SAx 2 xT CT Cx + 2xT S ( (x,
u) (x, u))
V + xT CT Cx + 2xT S ( (x,
u) (x, u)) 2 xT CT Cx
V + 2 ( 12 xT CT Cx xT CT Cx)
+ 2xT S ( (x,
u) (x, u))
V (x,t)
= (2.34)
V + 2xT S ( (x,
u) (x, u))
Le signe V (x,t)
dpendra de celui de :
xT S ( (x,
u) (x, u))
Hypothse
La fonction (x(t), u(t)) est lipschitizienne en x cest dire : c > 0; (m, n) (Rn )2 ; k (m)
(n)k ckm nk.
Pour 1, on dduit :
k ( (x,
u) (x, u))k 0 kxk
(2.35)
c1
kx(t)k
n1 e[ (
t]kx(0)k
2
c1
Cest facile de remarquer que = n1 , = 2 . Ce qui prouve la convergence
exponentielle de lobservateur grand gain.
Daprs [53], lobservateur (2.31) scrit dans les coordonns originales z(t) de la faon
suivante :
z(t) = f (z, u) ( (u, z))1 1 1 T
S C Cz(t) (2.36)
avec z(t) est ltat estim et z(t) = z(t) z(t) est lerreur destimation.
Des nombreuses approches proposes dans la littrature utilisent les observateurs grand
gain : on cite [54] qui ont tendu les rsultats prcdents aux observateurs dordre rduit
et [55] qui ont synthtis un observateur grand gain adaptatif pour les systmes non
linaires paramtres inconnus.
Peu de travaux ont t raliss pour tendre les mthodes des observateurs des sys-
tmes non linaires aux systmes singuliers qui permettent gnralement de dcrire les
systmes non linaires entres inconnues. Boutayeb et al. [56] ont propos une m-
thode de synthse dobservateur dordre plein pour un systme non linaire singulier.
Les conditions dexistence de lobservateur assurant la stabilit locale y sont donnes.
Cette approche nutilise pas de transformation particulire et gnralise les rsultats pro-
poss dans [57] et [47].
Nous dtaillons dans ce qui suit cette approche.
59
o : z(t) Rn , g : Rn R p 7 Rn et Q Rnp .
Les conditions de convergence de lerreur dobservation e = x x vers zro sont prsen-
tes dans le thorme ci-dessous [56].
Thorme 2.3.2. Soit la classe de systmes 2.37 et lobservateur 2.38. Si les hypothses
suivantes sont vrifies :
E h
rang = n o H =
x (0).
H
f
la paire (PF, H) est dtectable o F = x (0).
lim (x(t)
x(t)) = 0
t
avec :
g(z, y) = P f (x)
+ L(x,
y)
(2.39)
=0
h(x))
L(x,
Dmonstration:
E
Comme la matrice est de plein rang colonne, il existe une matrice non-singulire
H
60
P Q
telle que :
a b
P Q E In
= (2.40)
a b H 0
e = z PE x = P f (x)
P f (x) + L(x,
h(x)) = P f (e + x) P f (x) + L(e + x, h(x)) (2.41)
ou encore :
e = (PF KH)e (2.43)
f h L(e+x,h(x))
avec : F = x (0), H= x (0), K= h(x) |x=0,e=0 . Il apparait maintenant que si la
deuxime condition du thorme est satisfaite, alors on peut trouver une matrice K telle
que le vecteur derreur destimation converge vers zro.
Dmonstration :
On considre la fonction de Lyapunov quadratique suivante :V (k ) = kT Pk . La variation
de cette fonction est :
ou : V = V (k+1 ) V (k )
La fonction de Lyapunov propose garantit la stabilit asymptotique de vers 0, si :
1. Pour la premire condition V (k ) > 0, elle est vrifie puisque P est dfinie posi-
tive.
2. V < 0 :
k
Nous avons : V = [kT fkT ] avec :
fk
(A LC)T P(A LC) P (A LC)T P
=
P(A LC) P
Dautre part, daprs la condition de Lipscitz 2.45, nous dduisons : fkT fk <
2 kT k , ce qui est quivalent :
h i 2 In 0 k
= kT fkT 0 (2.49)
0 In fk
63
explicitement, on a :
2 In 0 (A LC)T P(A LC) P + 2 In (A LC)T P
= =
0 In P(A LC) P In
Une amlioration de cette synthse dobservateur est donn par [36], qui se base sur la
dfinition de deux nouvelles fonctions de Lyapunov, dont nous prsentons le thorme
qui fourni des conditions de synthse dobservateur moins restrictive que celui 2.48.
Thorme 2.3.4. converge asymptotiquement vers lorigine, sil existe des scalaires
> 0, > 0 et R et des matrices P = PT > 0, Q = QT et R de dimension appropries
tel que les ingalits suivantes soient satisfaites :
P + Q + (1 + ) 2 In < 0
1+ P 1+ Q AT P CT R AT P CT R
(2.50)
PA RT C P In 0 <0
PA RT C 0 P
2.4 Conclusion
sur les diffrentes techniques destimation de ltat. Un tat de lart regroupe la plupart
des techniques de conception dobservateurs pour les systmes non linaires temps
continu et discret. Pour cette classe gnrale de systmes, nous avons vu quil nexiste
pas, lheure actuelle, de mthode universelle pour la synthse dobservateurs. Les ap-
proches dveloppes ce jour sont soit une approximation des algorithmes linaires, soit
des algorithmes non linaires spcifiques pour certaines classes de systmes.
3
3.1 Introduction
Dans le chapitre 1, nous avons prsent le modle dynamique dun rseau lectrique
sous forme DAE, dans ce qui suit nous allons proposer quelques transformations afin de
le rendre sous forme ODE de base. La forme gnrale du modle de DAE est donne
comme suit :
xd (t) = F(xd (t), xa (t), u(t))
0= g(xd (t), xa (t)) (3.1)
y(t) = h(xd (t), xa (t))
Avec : xd (t) Rnd , xa (t) Rna sont respectivement les variables dtats dynamiques
et algbriques, F(.) Rnd une fonction reprsentant les quations diffrentielles non
linaires, g(.) Rna reprsente les contraintes (quations) algbriques non linaires,
u(t) R p la commande et y(t) Rm la sortie du systme. Le problme pos par le
66
systme (3.1) est que xa (t) napparat pas explicitement. Pour le faire apparatre, on dif-
frentie les contraintes g(xd (t), xa (t)) par rapport au temps :
0= gxd (xd (t), xa (t))xd (t) + gxa (xd (t), xa (t))xa (t)
(3.2)
0 = gxd (xd (t), xa (t))F(xd (t), xa (t), u(t)) + gxa (xd (t), xa (t))xa (t)
Si autour dun point de fonctionnement gxa (xd (t), xa (t)) est inversible [59], alors le
systme algbro-diffrentiel 3.1 peut scrire sous la forme explicite (Modle Ordinaire
O.M) :
Dans le modle dynamique 3.3 la matrice gxa (xd , xa ) est multiplie : par la matrice
gxd (xd , xa ) qui comprend tous les termes manquant des noeuds gnrateurs ainsi que la
fonction F(.) qui contient lexpression des diffrentes puissances des gnrateurs, donc
67
on se retrouve presque dans la mme formation du problme de calcul du load flow avec
toutes les composantes de la matrice Jacobienne, dans cette contribution, nous avons
appliqu un changement sur la matrice gxa (xd , xa ) de faon similaire celui du mode
dcoupl lors du calcul du load flow : faire lHypothse du dcouplage des variables :
" Dans un rseau haute tension, on sait que les phases ragissent essentiellement la
circulation des puissances actives et que les modules des tensions nodales U sont princi-
palement dpendants de la circulation des puissances ractives". Dans ces conditions, on
peut annuler les sous matrices [ j2 ] et [ j3 ] ", [1]. Donc on crit cette matrice, sans perte
de gnralit, sous la forme simplifie suivante (Modle Dcoupl D.M) :
g(xd ,xa )|Dec gxa 1 0 j1 0
gxa (xd , xa )|Dec = xa = [J] = (3.5)
0 gxa 4 0 j4
Pour la suite de la thse, le modle que nous allons considrer (comme modle 3.1
et sans transformations) est sous la forme suivante (Modle qui met en vidence la dy-
namique du rotor et des charges statiques [5]) :
fiI : i + s =0
II s
fi :
i = 2M (PMi PGi ( , ,V ) Di )
gIi : Pj Pj ( , ,V ) (3.6)
gII
i : Qj Q j ( , ,V )
y :
q Pc,d Pc,d ( , ,V )
PMi
Avec i : 1...ng 1; j : ng + 1...ng + nl ; q : 1...m; c, d : 1...N et u = M , = {Ybus },F(.) =
[ fi , g j ]T ou u et Pc,d seront la commande et la sortie dans le modle 1.7.
A noter que les hypothses et les propositions donnes peuvent se gnraliser pour les
autres formes des modles qui prennent en compte dautres caractristiques des charges
[20]et des gnrateurs [5].
68
Nous allons prsenter dans cette partie les rsultats de simulation des deux modles
dynamiques discrtiss (O.M et D.M) sur les rseaux test IEEE 3 et 13 noeuds. Dans un
premier temps, nous allons prsenter le modle dynamique complet (O.M) du rseau test
3 noeuds ainsi que les transformations et les approximations faites.
Le modle DAE du rseau test 3 noeuds est le suivant :
fI : x1 = x2 s
II s
f : x2 = 2M (PM3 PG3 (x1 , x3 , x4 ) Dx2 )
gI : P2 P2 (x1 , x3 , x4 ) = 0 (3.8)
gII :
Q2 Q2 (x1 , x3 , x4 ) = 0
y :
1 P3,2 (x1 , x3 , x4 )
Avec : PG3 (x1 , x3 , x4 ) est la puissance lectrique du noeud gnrateur 3, P3,2 (x1 , x3 , x4 )
est la puissance qui transite entre les noeuds 3 et 2 et :
x1 = 3 : langle de rotation mcanique du noeud gnrateur 3
x2 = 3 : la vitesse angulaire mcanique du noeud 3
x3 = 2 : la phase du noeud charge 2
x4 = V2 : la tension au noeud 2
tout en notant que x1 , x2 reprsentent les variables dynamiques et x3 ,x4 les variables
algbriques. Donc pour transformer ce systme 3.8 sous forme O.D.E, on fait la trans-
69
P2 (x1 ,x3 ,x4 ) P2 (x1 ,x3 ,x4 )
x1 x2
gxd (xa , xd ) = Q2 (x1 ,x3 ,x4 ) Q2 (x1 ,x3 ,x4 )
x1 x2
On se retrouve avec les mmes expressions que celles calcules pour la dtermination
des lments de la diagonale de la matrice Jacobienne utilise dans le calcul de flux de
puissance flow o les lments de gxa (xa , xd ) :
P2 (x1 ,x3 ,x4 )
x3 = Q2 (x1 , x3 , x4 ) B22 x42
P2 (x1 ,x3 ,x4 )
G22 x4 + P2 (x1x,x4 3 ,x4 )
=
x4
Q2 (x1 ,x3 ,x4 )
x3 = P2 (x1 , x3 , x4 ) G22 x42
Q2 (x1 ,x3 ,x4 ) Q2 (x1 ,x3 ,x4 )
x4 = x4 B22 x4
et gxd (xa , xd ) :
P2 (x1 ,x3 ,x4 )
x1 = x4V3 [G23 sin(x3 x1 ) B23 cos(x3 x1 )]
P2 (x1 ,x3 ,x4 )
=
x2 0
Q2 (x1 ,x3 ,x4 )
x1 = x4V3 [G23 cos(x3 x1 ) + B23 sin(x3 x1 )]
Q2 (x1 ,x3 ,x4 )
x2 = 0
Dans un premier temps, nous prsentons la variation de det(gxa ) pour les deux modles
(O.M et D.M) :
4
x 10
1.85
DM
OM
1.8
1.75
det(g)
1.7
1.65
1.6
0 1000 2000 3000 4000 5000 6000
Iterations (k)
La figure 3.1, montre que pour les deux modles la matrice gxa est inversible, donc les
transformations faites sont correctes. Dans un deuxime temps, nous allons prsenter
quelques figures de variation de quelques tats pour le rseau 3 noeuds avec le modle
ordinaire (O.M). On commence par la variation de la vitesse angulaire mcanique du
noeud gnrateur 3 :
500
450
400
350
300
w3
250
200
150
100
50
10 20 30 40 50 60 70 80 90 100
Iterations (k)
Fig. 3.2: Evolution de la vitesse angulaire mcanique du noeud gnrateur 3 (x2 (k))
213
212
211
U2 (KV) 210
209
208
207
206
10 20 30 40 50 60 70
Iterations (k)
La figure (3.2) montre bien que la vitesse angulaire du noeud gnrateur 3 converge bien
vers celle lectrique (cas du rseau locale 2 f = 314.159). La figure (3.3) montre la va-
riation de la tension au noeud charge 2 qui converge vers la mme solution trouve dans
le calcul du Load Flow ce qui montre dune faon claire que le modle dynamique uti-
lis converge bien vers les bonnes solutions autour du mme point de fonctionnement.
En conclusion, nous pouvons dire, dune faon concrte, que les valeurs trouves des
diffrents tats de ce rseau sont identiques celles trouves lors du calcul du load flow
(pour les grandeurs du noeud charge 2 et noeud gnrateur 3).
Pour mieux montrer lapport du modle propos (D.M) par rapport lO.M, on prsente
dans le tableau suivant 3.I lvolution de lerreur relative ainsi que le temps de calcul.
Ceci pour 100 simulations en variant les valeurs initiales dune faon alatoire (variation
de 20%). Lerreur relative est donn par lexpression (3.9) o xrel , xOM et xDM repr-
sentent respectivement les tats gnrs par : le diagramme de simulation dynamique
sous Simulink de MAT LAB, le modle OM et DM.
kxrel xOM/DM k
(3.9)
kxrel k
72
On voit bien, daprs la deuxime ligne du Tableau 3.I, que le modle dcoupl propos
converge avec une meilleur prcision par rapport au modle OM. De plus, le rsultat
montre que le temps de calcul est plus faible avec le DM ce qui permet limplmenta-
tion et lapplication en temps rel. Pour le calcul de xa , lexpression mathmatique est
donne par (3.10) pour DM et (3.11) pour lOM.
1
P j Pi 0
xa = = Fd (xd , xa , u) (3.10)
V QV1j Qi 0
Pj Qj
avec Pi = i et Qi = i .
P1
j
Pi T1 (Pi + Qi ) 0
xa = Fd (xd , xa , u) (3.11)
QV1j Qi + T2 + T3 0
ou :
T1 = P1
j
PV j (QV j Q j P1
j
PV j )1
T2 = QV1j Q j P1
j
Pi
T3 = (Ina /2 + QV1j Q j P1
j
PV j )1 QV1j Q j P1
j
PV j QV1j (Q j P1
j
Pi Qi )
P P Q Q
et : = P , V = PV , = Q et V = QV .
On note, en utilisant les quations 3.10 et 3.11, que le DM nglige les termes (T1 , T2
et T3 ) utilises avec lOM (ce qui rduit le temps de calcul). Ces termes ngligs peuvent
mener le systme (dans le rgime transitoire) des valeurs importantes ce qui rduit le
temps de rponse ainsi que la stabilit (ces termes peuvent engendrer des instabilits nu-
mriques). Dans ce qui suit nous prsentons la variation de la tension nodale au noeud
73
1 (V1 (k)) du rseau test 13 noeuds par les deux modles pour voir lintrt du modle
dcoupl propos (avec comme valeur relle ou exacte celle gnre par le diagramme
de simulation donn au Chap. 1).
210
800
700 200
600
190
500
180
400 100 200 300 400
300
200
100
0
500 1000 1500 2000 2500 3000 3500 4000 4500
Iterations (k)
La figure (3.4) montre quavec les deux modles OM et DM on garde les mmes pro-
prits et les tats convergents vers les mmes solutions tout en notant que le modle
dcoupl prsente un gain de temps remarquable (pour le modle OM 1000 itrations
pour atteindre la convergence et 400 pour le modle DM).
Nous notons ici, que lun des principaux critres de choix de modle ou de mthode est
le critre du temps (temps de calcul, CPU time, nombre ditrations pour la convergence)
ainsi que la prcision du modle, ce qui est bien montr par lutilisation de notre modle
dynamique dcoupl propos.
3.3 Synthse de Filtre pour lestimation dtat dynamique des rseaux lectriques
Le principal problme dans le cas du systme associ au rseau lectrique rside dans
le fait que peu de mthodes sont applicables. En effet, les nombreux et forts non linarits
en prsence conduisent gnralement utiliser le Filtre de Kalman Etendu (F.K.E) pour
rsoudre le problme destimation. Nous proposons ici lEstimateur de Kalman Etendu
(E.K.E) et un F.K.E qui prend en compte une fentre de mesures glissante (F.K.E-MH)
74
afin daugmenter la prcision ainsi que la robustesse destimation. Une tude de conver-
gence dE.K.E sera traite avec une extension pour le F.K.E-MH dans la suite.
Le filtre de Kalman tendu est un estimateur rcursif. Cela signifie que pour estimer
ltat courant, seuls ltat prcdent et les mesures actuelles sont ncessaires. Lhisto-
rique des observations et des estimations nest ainsi pas requis. Dans le filtre de Kalman
tendu (F.K.E) [36], les modles dvolution et dobservation nont pas besoin dtre des
fonctions linaires de ltat mais peuvent la place tre des fonctions diffrentiables.
Notre systme discret considrer (nous utilisons la mthode dEuler avec une priode
dchantillonnage Te , xk+1 = xk + Te f(xk , uk ) pour discrtiser le modle continu (3.7))
est de la forme discrte suivante :
k+1 = f (xk , uk ) + wk
x
(3.12)
yk = h(xk , uk ) + vk
avec : vk et wk sont respectivement bruit sur le systme et les mesures linstant kTe .
La fonction f peut tre utilise pour calculer ltat estim prcdent et, galement, la
fonction h peut tre employe pour calculer lobservation de ltat estim. Cependant,
f et h ne peuvent pas tre appliqus directement au calcul de la covariance : une ma-
trice des drives partielles (la Jacobienne) est calcule chaque instant et value avec
les tats estims courants. Ces matrices peuvent tre employes dans les quations du
filtre de Kalman. Ce processus linarise essentiellement la fonction non linaire autour
de lestimation courante. Ceci donne les quations destimateur de Kalman tendu sui-
vantes :
xk+1 = f (xk , uk ) + Kk ek
Kk = Fk Pk HkT (Hk Pk HkT + Rk )1
(3.13)
Pk+1 = (Fk Kk Hk )Pk FkT + Qk
ek = yk h(xk , uk )
75
Nous tudions dans cette partie le Filtre de Kalman Etendu qui prend en compte
une fentre de mesures glissante (F.K.E-MH) afin daugmenter la prcision ainsi que la
robustesse destimation. Nous prsentons dans cette section la synthse de cet estimateur.
Nous considrons le systme 3.12, avec f et h sont continues et drivables, lestimateur
propos est donn par :
yk h(xk )
yk1 h(xk1 )
xk+1 = f (xk ) + Kk (3.16)
..
.
ykM+1 h(xkM+1 )
76
avec : M est la taille de la fentre glissante ; xk+1 est lestim de xk+1 en utilisant les
informations yk , . . . , ykM et Kk est le gain du filtre qui est dtermin de faon quil
minimise la trace de la matrice de covariance de lerreur destimation. Dans ce qui suit
nous calculons les diffrents paramtres du filtre.
Nous dfinissons :
Pkk = E(xk xkT )
(3.17)
xk+1 = xk+1 xk+1
et :
k = E(x xT ), avec j = 1, . . . , M
Pk j k k j
xk j = xk j xk j
f (xk ) f (xk ) = Fk xk
(3.18)
h(xk ) h(xk ) = Hk xk
et : E(wk ) = E(vk ) = 0 (avec Fk et Hk sont calculs de la mme faon que dans E.K.E).
k+1 T ) pour obtenir :
Nous pouvons dvelopper Pk+1 = E(xk+1 xk+1
k+1
Pk+1 = Fk Pkk FkT + KkCk PkCkT KkT Fk [Pkk Pkk1 . . . PkkM+1 ]CkT KkT
Pkk
Pk (3.19)
k1 T
KkCk Fk + Kk Rk KkT + Qk
..
.
k
PkM+1
77
O dune itration lautre, seule la premire ligne de Pk+1 est inconnue et peut tre
calcule par 3.19 pour le premier lment, les autres sont dfinis par :
ki T
Pk+1 = E(xk+1 xki ) (3.21)
ki k j
T
Nous rappelons ce stade que : Pk j = (Pki ) .
Pkki
ki
ki
Pk1
Pk+1 = Fk Pkki KkCk (3.22)
..
.
ki
PkM+1
Le gain Kk doit tre calcul dune faon minimiser la trace de la matrice de covariance
k+1 T )) :
de lerreur destimation (Pk+1 = E(xk+1 xk+1
k+1
trace(Pk+1 )
=0 (3.23)
Kk
Dmonstration :
78
k+1
Dans un premier temps, Pk+1 peut tre exprim sous la forme (3.25) en dfinissant :
vk
vk1
Vk =
..
.
vkM+1
yk h(xk )
"
k+1
n yk1 h(xk1 ) o
Pk+1 =E f (xk , uk ) + wk f (xk ) + Kk
..
.
ykM+1 h(xkM+1 )
(3.25)
yk h(xk )
#
n yk1 h(xk1 ) oT
f (xk , uk ) + wk f (xk ) + Kk
..
.
ykM+1 h(xkM+1 )
donc :
xk xk
" #
k+1
n xk1 on xk1 oT
Pk+1 = E Fk xk +wk KkCk KkVk Fk xk +wk KkCk KkVk
.. ..
.
.
xkM+1 xkM+1
(3.26)
En supposant maintenant quil ny a pas de dpendance entre les bruits et lerreur
h i
1 k
destimation, nous pouvons facilement dduire en posant Pk = Pk Pkk1 kM+1
. . . Pk :
k+1
Pk+1 = Fk Pkk FkT + Qk + KkCk PkCkT KkT Fk Pk1CkT KkT KkCk (Pk1 )T FkT + Kk Rk KkT (3.27)
k+1
ce stade, il nous reste juste de chercher le gain Kk qui minimise la trace de Pk+1 :
k+1
trace(Pk+1 )
=0
Kk
79
ou :
Kk = Fk Pk1CkT (Ck PkCkT + Rk )1 (3.29)
Fin dmonstration
Le fait dutiliser une fentre glissante sur les mesures introduit une matrice Pk+1
et ses lments, le calcul de Kk tient alors compte des mesures prcdentes et diffre
en ce sens du F.K.E classique. Linitialisation du filtre est donne par E.K.E dans sa
formulation classique :
P0 = diag[PME.K.E PM1
E.K.E
. . . P0E.K.E ] (3.30)
Dans cette section, nous prsentons une tude de convergence pour lEstimateur de
Kalman Etendu [63], nous tendrons les rsultats pour le Filtre de Kalman Etendu avec
une fentre de mesure glissante, base sur les travaux de [64], [39] et [38] en incluant une
matrice diagonale inconnue pour la linarisation des erreurs et une fonction de Lyapunov
qui mne rsoudre une LMI qui dpend du choix des matrices Rk et Qk .
Premirement, soit le vecteur derreur dfini comme suit : xk = xk xk
et soit une fonction de Lyapunov candidate :
T 1
Vk+1 = xk+1 Pk+1 xk+1
avec :
xk+1 = k (Fk Kk Hk )xk = k Fk xk
1
Pk+1 = (Fk Pk FkT + Qk )1
k = diag(1k , ..., (nd +na )k )
80
Nous avons :
1
Vk+1 = (k Fk xk )T Pk+1 (k Fk xk )
(3.31)
= xT F T k (Fk Pk F T + Qk )1 k Fk xk
k k k
Une squence dcroissante {Vk }k=1,... nous permet de dire quil existe un scalaire positif
0 < < 1 tel que :
Vk+1 (1 )Vk 0
Avec le mme raisonnement que celui utilis par [64] nous dterminons les domaines o
(3.32) est satisfaite.
Avec lhypothse suivante :
12
(1 ) (Fk Pk FkT + Qk )
| jk | k = sup j | jk | (3.33)
(FkT ) (Pk ) (Fk )
il est claire que {Vk }k=1,... est une squence dcroissante. Avec et sont respective-
ment la valeur singulire maximale et minimale. Nous dfinissons ds le dbut que la
matrice k est une matrice diagonale, donc nous avons :
par la suite :
comme suit :
et :
(Ak ) (Pk HkT ) ((Hk Pk HkT + Rk )1 Hk ))
(Pk HkT ) (Hk ) (3.38)
(Pk HkT ) ((Hk Pk HkT + Rk )1 ) (Hk ) (Hk Pk HkT +Rk )
Par exemple nous pouvons choisir Qk suffisamment large et Rk tel que (3.35)est satis-
faite, donc k doit tre large et pas ncessairement trs proche de la matrice identit.
Afin dassurer que limk (xk xk ) = 0 et puisque Vk est une squence strictement d-
croissante avec Pk est une matrice borne , on a donc :
0 xkT xk Vk (1 )kV0
0 limk (xkT xk ) limk (Vk ) V0 limk ((1 )k ) = 0
Conscutivement, et toujours avec les mmes tapes que dans [64] et [38], pour que
le F.K.E ,E.K.E et le F.K.E-MH assurent la convergence asymptotique locale, ils doivent
vrifier ce thorme (extension du thorme de [64]) :
bilit est :
HkA+1
H
kA+2 FkA+1
rank(O(k A + 1, k)) = = (nd + na ) (3.40)
....
Hk Fk1 ...FkA+1
yk h(xk )
yk1 h(xk1 )
avec e fk = et : et sont choisies de petites
..
.
ykM+1 h(xkM+1 )
valeurs et positives et et des scalaires positifs.
Nous traitons dans cette partie de simulation les rseaux test 3 et 13 noeuds. La p-
riode dchantillonnage est choisie gale 104 s et les donnes ou le vecteur de mesures
est gnr par le le diagramme de simulation du modle dynamique (propos dans le
premier chapitre, section Aspect dynamique) en utilisant Simulink de MAT LABr . Nous
notons que dans cette partie nous allons appliquer seulement le F.K.E pour lestimation
dtat.
4
rank(O)
0
0 1000 2000 3000 4000 5000 6000
Iterations (k)
(k4,k)
Fig. 3.5: Evolution du rang de la matrice dobservabilit : rang(O3noeuds )
84
(k4,k)
Aprs avoir vrifier la condition dobservabilit (rang(O3noeuds ) = 4), nous prsentons
la variation de quelques tats estims. Dans un premier temps, nous avons ajout aux
mesures (puissance de transit P3,2 ) un bruit de faible valeur (de lordre de 5% de la
valeur relle) avec :
QkE.K.F = 0.964I4
RE.K.E
k = 0.021
0.6
0.4
0.2
0
e (k)
0.2
0.4
0.6
0.8
0 1000 2000 3000 4000 5000 6000
Iterations (k)
Il est claire daprs la figure ci-dessus, que les tats estims convergent bien vers ceux
rels puisque ek 0 (faible variation). Nous prsentons maintenant lvolution des tats
estims : tension nodale au noeud charge 2 (x4 (k)) dans la figure 3.7 et la vitesse an-
gulaire mcanique au noeud gnrateur 3 (x2 (k)) dans la figure 3.8 tout en variant la
commande du systme (puissance mcanique au noeud 3) partir de litration 2750 :
85
280
Estime
270 Valeur relle
260
250
240
V2 (kV)
230
220
210
200
190
180
0 500 1000 1500 2000 2500 3000 3500 4000 4500
Iterations(k)
500
Estime
450 Valeur relle
400
350
300
w3 (rd)
250
200
150
100
50
0
0 1000 2000 3000 4000 5000 6000
Iterations (k)
La figure (3.7) montre bien que la tension nodale estime au noeud 2 converge vers la
valeur relle (mme valeur trouve dans le calcul du load flow)) et (3.8) montre que la
vitesse angulaire mcanique au noeud 3 converge bien vers celle lectrique (s = 2 f =
314.1593 avec f = 50Hz), globalement les deux figures donne une ide claire sur la
robustesse et la bonne qualit destimation offerte par F.K.E durant la variation de la
commande (puissance mcanique).
Dans un deuxime temps, on ajoute aux mesures un bruit de grand valeur (de lordre de
86
300
216
Avec correction
215 Sans correction
280 Valeur Relle
214
213
260
212
V (kV)
240 211
2
210
800 1000 1200 1400 1600
220
200
180
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Itrations (k)
La figure 3.9 montre bien le bon choix des matrices Qk et Rk suivant le thorme, cit
prcdemment, assure la convergence des tats estims vers les bonnes valeurs (valeurs
relles).
Dans cette partie, nous nous intressons lestimation dtat du rseau 13 noeuds en
utilisant les deux modles OM et DM. Le rseau contient :
Les sorties du systme sont les puissances de transit (P7,6 ) et (P12,1 ) avec un vecteur
87
Dans un premier temps, et de mme que pour le rseau 3 noeuds, nous prsontons la
variation du rang de la matrice dobservabilit dans la figure (3.10).
25
20
15
rank(O)
10
0
0 500 1000 1500 2000 2500 3000
Iterations (k)
(k13,k)
Fig. 3.10: Evolution du rang de la matrice dobservabilit : rang(O13noeuds )
(k13,k)
Aprs la vrification de lobservabilit du rseau, rang(O13noeuds ) = 24, on sintresse
lestimation dtat. De mme les mesures sont gnres par le diagramme de simulation
dynamique (diagramme propos dans le Chapitre 1, section Aspect dynamique) tout en
ajoutant un bruit de faible valeur (de 5% de valeur relle) et avec :
QE.K.F 5
k = 2.753 10 I24
0.015664 0
RE.K.E
k =
0 0.014307
Nous prsentons, avec les deux modles OM et DM, lvolution de V1 (k) V1relle (k) (fi-
gure (3.11)) :
88
800
OM
700 DM
600
500
400
300
200
100
100
200
0 500 1000 1500
Iterations (k)
Il est clair, daprs la figure 3.11, que ltat estim converge vers celui rel (avec une
petite erreur). En notant quavec le DM, la variation est plus stable dans le rgime transi-
toire suite llimination des termes PV et Q qui sont utiliss avec le modle OM. Ceci
est valid par :
Premirement, la variation de Conditionnement des termes T1 et T2 + T3 dans OM, lors
de linjection dun bruit entre les itrations 2500 et 2510 (remise zro des phases j ).
89
1400
T1
T2+T3
1200
800
600
400
200
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
Le rsultat obtenu la Figure 3.12 montre que, lors des premires itrations (rgime
transitoire), une large valeur de conditionnement des ces termes, ce qui indique que la
matrice est singulire, surtout quand une perturbation est inject. Lexistence dune ma-
trice singulire pourrait conduire le systme diverger.
Deuximent, par :
Concernant le dernier point, il est d au fait quavec le DM, on inverse seulement 2 ma-
trices de dimension 8 8 (chaque matrice est forme par 12 lments) mais avec OM
une matrice de dim 16 16 (matrice forme par 48 lments) pour calculer seulement
gxa (xd , xa )1 .
Troisiment, par lvolution de lerreur relative (en utilisant les mmes conditions quau
Tableau 3.I) avec OM et DM.
90
Tab. 3.II: erreur relative (%) et temps de calcul avec des valeurs initiales alatoires
OM DM
Erreur relative 6.857% 3.819%
Temps de calcul 121.2s 98.016s
Le Tableau 3.II montre que le DM propos converge avec une meilleure prcision quavec
lOM (avec DM 3.819% et OM 6.857%). On note aussi, que le temps de calcul utilis
par DM (98.016s) donne une indication sur la faisabilit ainsi que la possibilit dune
implmentation pratique.
Dans la deuxime simulation, les mesures sont gnres en ajoutant un bruit de grande
variance (15% de la valeur relle). On prsente lvolution de la norme derreur desti-
mation par OM et DM : kxrel xk
(respectivement Fig. 3.13 et Fig. 3.14) avec les valeurs
prcdentes de Qk et Rk (F.K.E Standard) et celles proposes dans le F.K.E modifi :
6
x 10
9
E.K.F Modifi
8 E.K.F Standard
5
||x x ||
e
r
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
Concernant lvolution de lerreur destimation, les rsultats montrent que le choix pro-
pos des matrices Qk et Rk assure la convergence des tats estims vers les valeurs relles.
Un autre problme, li la stabilit des mthodes utilises pour lestimation de ltat,
91
20000
E.K.F Modifi
18000 E.K.F Standard
16000
14000
12000
||xrxe||
10000
8000
6000
4000
2000
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Itrations (k)
est le choix des valeurs initiales des diffrents tats. Pour cela on teste la version Stan-
dard et Modifie du F.K.E (respectivement S-F.K.E et M-F.K.E) pour 100 simulations
en variant les valeurs initiales dune manire alatoire (variation de lordre de 20% par
rapport aux valeurs relles) avec OM et DM. Le tableau suivant (3.III) prsente le % de
convergence avec les deux cas suivants (perturbations sur le systme) :
Dans le cas gnrale, les algorithmes tudis convergent vers les bonnes valeurs seule-
ment lorsquon initialise les tats proches des valeurs relles (les tensions nodales sont
choisies proches des tensions gnrateurs et les phases gales 0). Tableau 3.III montre
bien que le M-F.K.E converge dans la majorit des cas par rapport la version Standard
92
kxrel xOM/DM k
(3.44)
kxrel k
Les valeurs obtenues dans le Tableau 3.IV confirment bien que le M-F.K.E amliore la
qualit destimation. De plus, le fait dutiliser le M-F.K.E avec le DM, lerreur relative
est rduite de 5.91 fois par rapport S-F.K.E.
3.4.1 Introduction
Dans cette section nous rappelons les mthodes de base utilises pour le diagnostic
avant dentamer la partie de dtection des dfauts dans les rseaux lectriques. En ef-
fet, il existe une littrature abondante traitons le diagnostic des systmes linaires [65],
[66] et [67], [68] ; cependant peu de rsultats concernent les systmes non linaires de
grandes dimensions dont nous citons principalement les travaux de [69], [70], [71] dont
ils exigent dans chacun une reprsentation particulire des systmes non linaires et non
pas sa forme ordinaire.
Les mthodes de diagnostic des dfaillances utilises dans les diffrents secteurs
industriels sont trs varies. Leur principe gnral consiste confronter les donnes re-
93
que pour les secondes, on compare les paramtres estims aux paramtres tho-
riques du systme [79].
Dans la suite de notre thse nous nous intressons au diagnostic des rseaux lectriques
base destimateur ou Observateur (tout en intgrant le filtre de Kalman Etendu [80]).
Nous traitons dans ce qui suit la dtection des dfauts [81] avec une application sur
le rseau test 3 noeuds. Les rsidus sont gnrs par :
La dtection est assure par un simple test logique sur les rsidus (comparaison avec 0).
Nous rappelons que le rsidu est gnr comme suit :
270
FKE
260 EKE
FKEMH
250 Valeur relle
Evolution de V2 (KV)
240
230
220
210
200
190
180
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
La figure 3.15 montre bien quavec le choix classique (choix standard) des matrices Rk et
Qk les tats estims ne convergent pas vers les valeurs rels, donc le rsidu rsultant est
faux. Nous choisissons dans ce qui suit les valeurs suivantes des matrices de covariance
de bruit sur le systme et les mesures (choix bas sur les rsultats dvelopps dans la
section de lanalyse de convergence) :
QF.K.E
k = 100eTk ek I4 + 50I4
RF.K.E = 10Hk Pk HkT + 1
k
QkE.K.E = 10eTk ek I4 + 5I4
(3.46)
RE.K.E
k = 10Hk Pk HkT + 1
QF.K.EMH = 0.001e fkT e fk I4 + 0.005I4
k
RF.K.EMH = 0.001C P CT + 0.005I
k k k k 4
280
207
270
206.5
260
206
250
Evolution de V2 (kV)
205.5
240
205
230
204.5
220 3500 4000 4500
210
200
FKEMH
190 FKE
EKE
180
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Itrations (k)
La figure ci dessus montre, et dune faon claire, que le bon choix des matrices Rk et
Qk que nous proposons assure la convergence des tats estims vers les valeurs relles.
De plus, avec lE.K.E et le F.K.E-MH (dont les courbes sont confondues) convergent
dune faon plus prcise que le F.K.E. Nous prsentons dans ce qui suit la variation du
signal rsiduel en injectant diffrents types des dfauts dans le rseau.
En premier lieu, on injecte le mme dfaut PG3 = 0 entre les itrations 1550 et 1700 et
on observe la variation du rsidu dans la figure suivante :
200
FKE
150 100 EKE
FKEMH
100 0
100
50
Evolution de rk
20 40 60 80 100
0
50 50
100 0
150
50
200
1500 1600 1700 1800
250
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
La figure 3.17 montre que les 3 versions du filtre de kalman assure la dtection de dfaut
par la variation des ces rsidus par rapport 0(rF.K.E 6= 0, rE.K.E 6= 0 et rF.K.EMH 6= 0).
De plus, le rsidu gnr par le F.K.E-MH prsente une indication juste de dfaut que
celui offert par lE.K.E et le F.K.E (la plage de variation de rsidu est limit juste lin-
tervalle dinjection de dfaut et pas en dehors comme indiqu par les rsidus du F.K.E
et E.K.E), et surtout lors des premires itrations qui peut donner naissance une fausse
alarme et par suite une fausse indication du dfaut.
Dans un deuxime lieu, nous nous intressons lvolution du rsidu lors de linjection
des dfauts au rgime transitoire. La figure suivante prsente lvolution du signal rsi-
duel lors de loccurrence dun dfaut (court circuit) entre les itrations 200 et 300 :
200
EKE
150 FKE
FKEMH
100
50
0
Evolution de rk
50
100
150
200
250
300
350
0 100 200 300 400 500 600 700 800 900 1000
Iterations (k)
La figure 3.18 montre bien que lvolution de rk donn par le F.K.E-MH est limite dans
sa variation lintervalle de linjection de dfaut, ce qui nest pas offert par le F.K.E et
lE.K.E , ce qui valide bien et dune faon claire la qualit du signal de dfaut offert par
le F.K.E-MH.
Dans un troisime lieu, nous prsentons dans le tableau suivant le taux de dtection des
dfauts par les 3 versions du filtre de kalman avec un choix standard (S) et modifi (M)
des matrices Qk et Rk . Nous proposons de tester les 3 versions sur 100 simulations et
nous considrons pour cela 2 cas :
99
Pour le premier cas, nous appliquons un faible bruit sur les mesures (5% de la
valeur relle) et par la suite nous considrons 2 autres cas : Cas 1.1 pour les dfauts
systmes et Cas1.2 pour les dfauts capteurs.
Pour le deuxime, nous appliquons un bruit de grande valeur sur les mesures
(15% de la valeur relle)et par la suite nous considrons 2 autres cas : Cas 2.1
pour les dfauts systmes et Cas 2.2 pour les dfauts capteurs.
Le tableau 3.V montre quavec lutilisation des versions modifies du filtre de kal-
man on assure une meilleure dtection des diffrentes natures des dfauts (systme et
capteur), ce qui montr par lvolution de taux de convergence lors de lapplication des
matrices Qk et Rk avec le choix propos. En effet, le taux est lev de : 1.76 fois pour
le F.K.E, 1.73 fois pour le E.K.E et 1.88 fois pour le F.K.E-MH. De plus, la version du
filtre avec une fentre des mesures glissante prsente le plus grand taux de dtection par
rapport aux deux autres versions pour les diffrents cas considrs.
Dans cette simulation, les figures (3.17) et (3.18) ainsi que le tableau 3.V montrent que le
meilleur signale rsiduel est celui gnr par le F.K.E-MH en terme de taux de dtection
et aussi sa variation limit juste lintervalle dinjection de dfaut.
La premire tape de dtection dans un schma de diagnostic est assure par la gnra-
tion des rsidus offert par le F.K.E-MH vue sa robustesse. Dans la partie qui suit nous
nous intressons la deuxime tape qui est la localisation et lestimation des dfauts.
100
Dans cette partie, on sintresse non pas seulement la dtection (ce qui est t valid
prcdemment) mais aussi la localisation et lestimation des dfauts [82]. Lisolement
des dfauts se traduit par la connaissance, pas seulement la prsence dun dysfonction-
nement suite un dfaut, mais de plus : quel est le noeud en dfaut ?
Le schma le plus adopt dans la littrature (quil soit le cas linaire ou non linaire)
est dappliquer un banc dobservateurs dont chacun est sensible un dfaut bien appro-
pri. Dans la suite, nous proposons un schma FDI qui contient un banc des F.K.E-MH
pour la dtection et lestimation des dfauts ainsi quun banc de filtres de Kalman ten-
dus entres inconnues pour la localisation des noeuds en dfauts.
Dans cette partie nous proposons tout dabord le Filtre de Kalman Entres Incon-
nues (U.I.K.F) dans le cas linaire [83] puis on gnralise pour le cas non linaires.
Considrons le systme linaire discret suivant :
k+1 = Fk xk + Bk uk + Ek dk + wk
x
(3.47)
yk+1 = Hk+1 xk+1 + vk+1
Dans le U.I.K.F, le gain Lk+1 doit satisfaire la condition de dcouplement suivante (la
mme condition que celle pour les observateurs entres inconnues [79]) :
La condition (3.50) signifie que les distributions peuvent tre dcouples si leur dimen-
sion est infrieure celle des mesures. En se basant sur lquation 3.49, le gain optimale
du filtre Lk+1 peut tre obtenu en rsolvant un problme doptimisation avec contraintes.
Dautres formulations [84] ainsi quune version amliore [85] existent.
Dans ce qui suit, nous prsentons une extension de UIKF en sinspirant de F.K.E pour le
cas non linaire [86].
Soit le systme non linaire temps discret avec des distributions inconnues suivant :
k+1 = f (xk , uk ) + E(xk )dk + wk
x
(3.51)
yk+1 = h(xk+1 , uk+1 ) + vk+1
avec : f , h et E sont des fonctions connues. Donc dune faon similaire au F.K.E, on fait
lextension de lU.I.K.F au systme 3.51 comme suit :
Avec :
Lk+1 = Kk+1 + k+1 k+1 (3.56)
102
T 1
Kk+1 = Pk+1\k Hk+1Vk+1 (3.57)
1
k+1 = [(Hk+1 Ek )T Vk+1 (Hk+1 Ek )]1 (Hk+1 Ek )T Vk+1
1
(3.59)
T
Vk+1 = Hk+1 Pk+1\k Hk+1 + Rk+1 (3.60)
O :
f
Fk = |x ,u (3.61)
x k\k k
h
Hk+1 = |x ,u (3.62)
x k+1\k k+1
Ek = E(xk\k ) (3.63)
En faisant une comparaison au cas linaire, le U.I.E.K.F est diffrent en terme de cal-
cul des matrices Fk et Hk+1 (comme celle du F.K.E) et E(xk ) est substitu par lestim Ek .
Les mmes conditions que nous venons de proposes pour le F.K.E, E.K.E et le
F.K.E-MH, se gnralisent pour lU.I.E.K.F. On pose :
xk\k = xk xk\k
xk+1\k = k Fk xk\k
k+1 ek+1 = Hk+1 xk+1\k (3.64)
k = diag(1k , ..., (nd +na )k )
k+1 = diag(1k+1 , ..., mk+1 )
bilit est :
HkA+1
H
kA+2 FkA+1
rank(O(k A + 1, k)) = = (nd + na ) (3.65)
....
Hk Fk1 ...FkA+1
Pour le U.I.E.K.F :
Pour les matrices Rk et Qk , leur choix est bas sur la rsolution (ou determination des
conditions satisfaisantes) de :
T
k+1 Nk+1 k+1 <0
avec :
1
k+1 = Vk+1 [k+1 Ind +na ]
N
= k+1 Hk+1 Fk xk\k
k+1
et la vrification de :
rank(Hk+1 Tk ) = rank(Tk ) = q
104
O les F.K.E-MH sont insrs pour la dtection et lestimation des dfauts et un banc
des U.I.E.K.F pour la localisation et lisolement des noeuds en dfauts.
A ce stade on fait lhypothse que pour la dtection du noeud en dfaut, on remplace
dans lquation 3.51 la quantit E(xk )dk par T k ou T est la matrice de distribution
des dfauts (suppose constante et connue) tel que pour le U.I.E.K.F (1) T vaut par
exemple pour le cas du rseau 3 noeuds dont le vecteur dtat est x = [3 , 3 , 2 ,V2 ]T :
T = [ 1 1 0 0 ]T (pour le noeud gnrateur 3)et k est lamplitude ou la valeur du
dfaut.
Puisque chaque noeud est reprsente par deux variables (le noeud gnrateur 3 est pr-
sente par les variables 3 , 3 et le noeud charge 2 par 2 ,V2 . Et par suite on gnralise
105
x = [i , i , i ,Vi ]T
x = [ i i i Vi ]T
(3.67)
T =[ 1 1 0 . . . 0]T
x = [ i i i Vi ]T
(3.68)
T = [ 0 ...0 1 1]T
Il faut noter quon sintresse la localisation des dfauts dans un noeud bien appro-
pri et pas aux paramtres. De plus, le choix spcifique de T que nous proposons est d
principalement la vrification de la condition : rang(Hk+1 Tk ) = rank(Tk ) = q.
Ensuite, en considrant que ei est le rsidu gnr par le U.I.E.K.F i , le test logique pour
localiser le noeud en dfaut est le suivant :
3. Si kei k = ker k donc cest un dfaut entre les noeuds i et r (avec r prsente les
noeuds en liaison lectrique direct avec le noeud i).
Notre tude est applique sur le rseau test 3 noeuds. On dispose donc, dun seul
F.K.E-MH (puisquon a une seule sortie) de deux tages de U.I.E.K.F et par suite on
106
Pour simplifier, nous ne considrons aucune autre distribution inconnue (dk = 0 et nous
remplaons Ek dans les quations 3.58, 3.59 et 3.63 par T i ). La localisation sera assure
par la vrification du test logique dj prsent.
En premier lieu on sintresse la stabilit et la convergence des deux version du Filtre
de Kalman (U.I.E.K.F et le F.K.E-MH), pour cela on prend :
QU.I.E.K.F
k = QE.K.FMH
k = 105 I4
RU.I.E.K.E
k = 103 (3.69)
RE.K.FMH
k = 103 I4
Ensuite, on fait un test pour 100 simulations, en variant les valeurs initiales (de lordre
de 20% des valeurs finales) et en ajoutant un bruit de grande variance sur les mesures
(20% de la valeur relle). On prsente dans le Tableau 3.VI le taux de convergence des
deux versions des filtres utiliss (Standard et Modifie) :
Il est claire, daprs le tableau 3.VI, que le choix propos des matrices Qk et Rk sui-
vant les conditions prsentes, dans la section Analyse de Convergence, assure bien la
convergence (la version modifie amliore presque 2 fois le taux de convergence que
celle standard). Dans un deuxime lieu, on sintresse la localisation des dfauts sui-
vant le test logique dj prsent tout en injectant un bruit sur les mesures et le systme
de lordre de 5%.
Dans un premier temps, on injecte le deuxime dfaut (k2 ) dans le noeud 3 en posant
PG3 = 0 entre les itrations 1450 et 2150, et on visualise lvolution des diffrents rsi-
dus :
108
35
30
25
Norme(ef)
20
15
10
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
600
T2
T1
500
500
400
400
norm(e)
300 300
200
200
100
100 0
1500 1550 1600 1650
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
La figure 3.20 montre bien la prsence dun dfaut qui se traduit par la variation du
rsidu (ke f (k + 1)k =
6 0) gnr par le F.K.E-MH. Pour la localisation, la figure et 3.21
montre que le rsidu gnr par le premier U.I.E.K.F avec T 1 est trs suprieur ce-
lui quavec T 2 : keT 1 (k + 1)k keT 2 (k + 1)k, donc le test logique dans ce cas indique
(daprs la condition 1) que le noeud 3 est en dfaut.
Ensuite, le dfaut inject prcdemment (k2 )sera permanent partir de litration 1450,
et on montre de mme la variation de tous les rsidus :
109
10
6
norm(ef) 5
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
4
x 10
4
3.5
15
3 10
5
2.5 0
5
norm(e)
2
2000 3000 4000 5000
1.5
1 T1
T2
0.5
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
De mme, les figures 3.22 et 3.23 montrent bien que le rsidu donn par le F.K.E-
MH indique bien la prsence dun dfaut et que celui fourni par le premier U.I.E.K.F
keT 1 (k + 1)k keT 2 (k + 1)k donne une ide claire que le noeud 3 est toujours en dfaut
en vrifiant de nouveau la premire condition du test logique.
Dans un deuxime temps, on injecte un court-circuit (k3 ) au noeud charge 2 (ce qui est
traduit par une diminution de la valeur de la tension nodale au noeud 2 de lordre de
80%) et on observe lvolution des diffrents rsidus :
110
100
90
80
70
60
Norme(ef)
50
40
30
20
10
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
150
T2
T1
140
100 120
100
norm(e)
80
60
50
40
20
Les figures 3.24 et 3.25 prsentent dune faon trs claire, que le bloc FDI indique bien
non seulement la prsence dun dfaut mais aussi que cest un dfaut au noeud 2( daprs
la condition 2) puisque la valeur du rsidu relatif au T 2 est largement suprieure celle
relatif au T 1 : keT 2 (k + 1)k keT 1 (k + 1)k.
La dernire tape est dappliquer une coupure de ligne (k4 ) entre les noeuds 3 et 2 de
linstant 2900 3100, afin de vrifier la condition 3 :
111
300
250
200
Norme(ef)
150
100
50
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
300
T1
T2
250 250
200
200
norm(e)
150
150
100
100
50
50
0
2900 2905 2910
0
1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
Les figures 3.26 et 3.27 prsentes montrent bien quon a la mme valeur du rsidu
gnr par le premier et le second U.I.E.K.F (dans cette figure les courbes sont confon-
dues), donc on aperoit bien quun dfaut survient entre deux noeuds lectriquement
lis se traduit par une galit des rsidus : keT 2 (k + 1)k = keT 1 (k + 1)k (validation de la
condition 3), do, une autre fois la bonne configuration de notre logique de dcision et
lefficacit du schma FDI propos. La dernire tape restante est celle destimation des
dfauts.
112
Pour lestimation des dfauts base sur la connaissance du modle, il existe quelques
travaux dont on cite principalement : observateur mode glissant [87], neuro-floue ap-
proximation [88] ou des observateurs adaptatifs pour le diagnostic des dfauts (A.F.D.O)
[89]. Mais, la plus part des mthodes sont bases sur le Filtre de Kalman [90] [91] [92].
Dans ce qui suit, on se focalise sur lestimation des chutes de tension et celles des courts-
circuits [93]. Soit le modle dynamique suivant :
k+1 = f (xk , uk , k ) + vk
x
(3.71)
yk = h(xk , uk ) + wk
Aprs cette formulation, on applique une version du Filtre de Kalman Etendu (E.K.E ou
lE.K.F-M.H). Pour lanalyse de convergence, on procde de la mme faon.
bilit est :
HkA+1
H a
kA+2 FkA+1
rank(O(k A + 1, k)) = = (nd + na + n ) (3.74)
....
a ...F a
Hk Fk1 kA+1
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Itrations (k)
(k4,k)
Fig. 3.28: Evolution du rang de la matrice dobservabilit : rang(O3noeuds )
(k4,k)
On remarque que rang(O3noeuds ) = 5 ce qui est gale au nombre des tats estimer,
donc lobservabilit de notre systme est vrifie. On sintresse maintenant lestima-
tion des dfauts : chutes des tensions o des courts-circuits sont introduits la tension
nodale au noeud 2.
Dans un premier temps, on sintresse la convergence des deux versions (F.K.E-MH et
lE.K.E). Les mesures sont gnres en ajoutant un bruit de grande valeur (15% de la
valeur relle). On prsente lvolution de la norme derreur destimation par lE.K.E et
le F.K.E-MH avec : kxrel xa k (respectivement figure 3.29 et figure 3.30) avec un choix
classique de Qk et Rk donn par (3.76) (versions Standard) et celui propos dans (3.77)
(versions modifies).
E.K.E = QF.K.EMH = 105 I
Qk 5
k
E.K.E
Rk = 103 (3.76)
RF.K.EMH = 103 I4
k
QkE.K.E = 100eTk ek I5 + 5I5
RE.K.E = 10Hk Pk HkT + 1
k
(3.77)
QkF.K.EMH = 0.1e fkT e fk I5 + 0.05I5
RF.K.EMH = 0.01C P CT + 0.05I
k k k k 4
115
400
ME.K.F
SE.K.F
350
300
250
norm(xrxe)
200
150
100
50
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
450
SE.K.FMH
400 ME.K.FMH
350
300
norm(x x )
e
250
r
200
150
100
50
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Iterations (k)
Les rsultats donnes par les figures 3.29 et 3.30 montrent quavec un choix classique (ou
standard) des matrices Rk et Qk , les deux estimateurs ne convergent pas vers les bonnes
valeurs. Cependant, avec les versions modifies, on remarque dune faon trs claire
limportance du choix propos pour ces matrices travers la convergence de lerreur
destimation vers zro. On note aussi que, lors des premires itrations, la variation de
M-F.K.E-MH est trs petite par rapport M-E.K.E. Dans ce qui suit, nous considrons
3 types des dfauts :
116
Un court-circuit au noeud 2 entre les itrations 2500 et 2850 qui introduit une
chute de tension gale 12% de celle nominale (Cas 1).
Les rsultats concernant le 1er cas sont donns la figure 3.31 avec lutilisation de
lE.K.E et le F.K.E-MH. On remarque quavec un E.K.E, (k) diverge. Concernant les
rsultats avec E.K.F-MH, (k) converge vers la valeur correcte (0.88) sans une fausse
variation lors de linjection du court-circuit. En plus, on peut noter que lors de la sup-
pression du dfaut (k) converge vers sa valeur initiale (valeur sans dfaut (k) = 1).
0.9
0.8
0.7
Evolution de (k)
E.K.E
0.6
E.K.FM.H
0.5
0.4
0.3
0.2
0.1
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Itrations (k)
Pour le 2me cas, lorsquun dfaut plus important est introduit, on peut voir que la varia-
tion de (k), donne la figure 3.32 pour les deux estimateurs, converge vers la vrai va-
leur (0.65) en utilisant le F.K.E-MH propos qui nest pas le cas avec lE.K.E classique.
En outre, au moment ou on injecte le court-circuit (itration 2500), on peut remarquer
que la variation de (k) avec lE.K.E indique une fausse valeur(> 1).
117
1.3
E.K.E
E.K.FM.H
1.2
1.1
0.8
0.7
0.6
0.5
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Itrations (k)
Pour le 3me et dernier cas, lvolution de (k) est donne par la figure 3.33. Au moment
dinjection du premier dfaut, on remarque que (k) varie avec une large valeur (130%
de celle relle) avec lE.K.E. Ce nest pas le cas avec le F.K.E-M.H ou la variation de
(k) est limite 14.7% (trs proche de celle relle 16%). Dans un deuxime temps,
et durant loccurrence du deuxime dfaut, on note que le dfaut estim converge bien
vers celui dsir (0.55) avec la version propos du F.K.E-MH contrairement la version
classique dE.K.E qui converge vers (0.63). En le comparant avec la mthode classique
dE.K.E, les rsultats montrent une meilleur qualit destimation des valeurs des dfauts
offert par le F.K.E-MH en termes de convergence (bas sur le choix propos des matrices
Qk et Rk ) et robustesse en prsence des dfauts multiples.
118
2.4
E.K.FM.H
2.2 E.K.E
2
2
1.8 1.5
Evolution de (k)
1.6
1
1.4
1.2 0.5
1500 1600 1700 1800
1
0.8
0.6
0.4
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Itrations
De mme que pour les autres applications, on prsente dans le Tableau 3.VII des sta-
tistiques concernant lerreur relative donn par lexpression (3.78). On teste de la mme
faon les deux versions Standard et Modifie du lE.K.E et du F.K.E-MH (respective-
ment S-E.K.E, S-F.K.E-MH, M-E.K.E et M-F.K.E-MH) pour 100 simulations en variant
ltat initiale.
kxrel xa k
(3.78)
kxrel k
Tab. 3.VII: erreur relative (%) avec variation alatoire de ltat initial
Estimateur erreur relatif
S-E.K.E 57.432%
S-F.K.E-MH 26.318%
M-E.K.E 31.711%
M-F.K.E-MH 5.822%
Les valeurs obtenues dans le tableau 3.VII confirment que la version propos du filtre de
kalman tendu avec une fentre de mesures amliore clairement la qualit destimation.
En effet, avec S-F.K.E-MH, lerreur relative est rduite de lordre de 2.18 fois par rapport
au S-E.K.E. Concernant le M-F.K.E-MH, la rduction est gale 5.46 fois par rapport
M-E.K.E.
119
3.5 Conclusion
Dans ce chapitre nous avons propos des nouvelles techniques, mthodes et algo-
rithmes pour :
Les rsultats sont valids par des simulations numriques sur des rseaux test selon le
standard IEEE, de plus ils ont montrs des bonnes performances en termes de conditions
de faisabilit, robustesse et temps de calcul.
Nous nous intressons lapplication des diffrentes techniques et mthodes propo-
ses sur un rseau test 5 noeuds tout en utilisant la bibliothque SimPowerSystems de
MAT LABr pour simuler les rseaux lectriques, dont le but principale est de montrer
lintrt des approches dveloppes et tudier la possibilit et la faisabilit pratique.
4
4.1 Introduction
Nous avons expos dans le chapitre 3 les diffrentes mthodes et techniques desti-
mation dtat et de diagnostique pour le rseau lectrique. Dordinaire, dans tout travail
scientifique orient vers des applications technologiques il est ncessaire de valider ces
mthodes et techniques par leurs applications sur des systmes rels ou proches du rel.
Sachant quun rseau lectrique est un systme trs grand et trs compliqu, nous nous
limitons alors lapplication sur un rseau test 5 noeuds et cest lobjectif de ce chapitre.
Nous donnons dans ce qui suit le schma de principe du rseau utilis ainsi que ses
caractristiques dresss dans les tableaux 4.I et 4.II. La figure 4.1 suivante reprsente le
schma de principe du rseau test 5 noeuds utilis.
Toutes les grandeurs sont en valeur rduite (en anglais : per unit (p.u)).
f I : x1 = x2
f II : x2 + DM2 x22 + PG2 (x1 ,x3 ,xM4 ,x2 5 ,x6 ,x7 ,x8 ) = PMM22
P3 P3 (x1 , x3 , x4 , x5 , x6 ) = 0
I
g : P4 P4 (x1 , x3 , x4 , x5 , x6 , x7 , x8 ) = 0
P5 P5 (x1 , x5 , x6 , x7 , x8 ) = 0
Q3 Q3 (x1 , x3 , x4 , x5 , x6 ) = 0
gII : Q4 Q4 (x1 , x3 , x4 , x5 , x6 , x7 , x8 ) = 0
Q5 Q5 (x1 , x5 , x6 , x7 , x8 ) = 0
Nous prsentons dans ce paragraphe les rsultats de simulation obtenus des deux
modles dynamiques (OM et DM) dvelopps dans le chapitre 3 par lapplication de
lE.K.E et le F.K.E-MH.
124
10
8 OM
DM
7
Valeur Relle
8.8
Sortie estime (p.u)
5 8.6
4 8.4 8.8395
3 8.2 8.839
2 8.8385
8
1 8.838
7.8
0 9000 9500 10000 10500
3.3649 3.365 3.3651 3.3652
4
1 x 10
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5
Temps x 10
4
On observe que les valeurs de la puissance estime, obtenue par les deux modles,
convergent vers la valeur relle. On constate quavec lutilisation du modle OM, la
sortie estime prsente des pics (zoom 1) contrairement au modle DM qui semble plus
prcis. Les causes des ces pics ont t voques dans le chapitre prcdent (paragraphe
Rsultats de simulation du modle dynamique).
La figure 4.4 prsente les rsultats obtenus par lutilisation de lE.K.E et le F.K.E-MH
(longueur de fentre gale 10) de la puissance estime avec une variation de la charge au
noeud 3 linstant 5s.
125
10
OM(E.K.E)
9 DM(E.K.E)
Valeur relle
8 OM (E.K.FMH)
DM (E.K.FMH)
7
8.8
Sortie estime
6 8.8747
8.7
8.8746
5
8.6 8.8745
4
8.5 8.8744
Comme pour les rsultats donns par la figure 4.3, la figure 4.4 montre bien lintrt
de lutilisation de F.K.E-MH avec le DM : amlioration de la convergence (mme lors
de la variation de charge), llimination des pics et la rapidit (la sortie estime pour
le F.K.E-MH avec le DM est confondue avec la sortie relle). Ceci offre une meilleure
qualit destimation dont lintrt est vident pour ltude du diagnostic. Lvolution de
lerreur destimation (figure 4.5) valide bien ce rsultat.
0.5
0 4
x 10
0.5
6
1 0.4
4
Erreur destimation
1.5 0.3
2
2 0.2 0
0.1 2
2.5
4 OM (E.K.FM.H)
3 0
OM (E.K.E)
6 DM(E.K.FM.H)
3.5 0.1 DM(E.K.E)
8674 8676 8678 1.1995
1.1996
1.1997
1.1998
1.1999
5
4 x 10
0 2 4 6 8 10 12
Temps x 10
4
- Lutilisation du DM donne une convergence plus rapide (de lordre de 4 itrations par
rapport lutilisation du OM).
- Amlioration de stabilit.
Lutilisation du modle OM, avec E.K.E ou F.KE-MH, prsente toujours des pics ce qui
constitue un handicap pour ltude de dtection des dfauts.
Les mmes conclusions peuvent re tablies pour ltude dvolution de lun des va-
riables dtat. Nous donnons dans la figure 4.6 un exemple dvolution de la variable de
4 (k) (angle lectrique au noeud charge 4).
0.2
Valeur relle
0 DM(E.K.E)
OM(E.K.E)
DM(E.K.FMH)
0.2 OM(E.K.FMH)
0.4
0.6
4 estime
0.8
0.61
1
1.2 0.62
1.4
0.63
1.6
0.64
1.8 1.115 1.12 1.125 1.13
0 2 4 6 8 10 12 14
5
Temps x 10 4
x 10
En conclusion, tous les rsultats prsents ci-dessus indiquent dune faon trs claire
limportance :
QE.K.E
k = QF.K.E
k = QF.K.EMH
k = 9.615 105 I8
RE.K.E
k = RF.K.E
k = 2.7 103
RF.K.EMH
k = 2.7 103 I10
QE.K.E
k = QF.K.E
k = 100eTk ek I8 + 103 I8
QF.K.EMH
k = 0.1e fkT e fk I8 + 103 I8
RkE.K.E = RF.K.E
k = 10 Hk Pk HkT + 103
RF.K.EMH = 0.01Ck PkCT + 103 I10
k k
Ltablissement dun dfaut (ouverture de ligne entre les noeuds 2 et 3) entre les instants
3s et 3.1s, nous a permis de suivre lvolution des diffrents rsidus. Les rsultats obte-
nus sont donns par la figure 4.7.
128
1 SEKE
MEKF / MEKE
MEKFMH
0.5
SEKFMH
SEKF
0
0.5
0.3
Rsidus 1
0.25
1.5 0.2
0.15
2
0.1
2.5 0.05
0
3
8500 9000 9500 10000 10500 11000
3.5
0.5 1 1.5 2 2.5 3 3.5 4 4.5 5
temps (s) x 10
4
Fig. 4.7: Evolution des residus gnrs par le F.K.E, lE.K.E et le F.K.E-M.H
h i
Pour le noeud charge 5, on considre U.I.E.K.F4 avec T 4 = 0 0 0 0 0 0 1 1
Un premier dfaut consiste une ouverture de ligne au noeud charge 5 entre les
instants 3s et 3.2s conduisant une perte de charge ce noeud PL5 = 0.
Lvolution du rsidu gnr par le F.K.E-MH pour le premier dfaut est donn par la
figure 4.8 suivante :
2
Evolution du rsidu
500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Temps
15
3010 3020 3030 3040 3050 3060 3070 3080 3090 3100 3110
iterations (k)
La figure 4.9 prsente lvolution des diffrents rsidus. On constate bien que le plus
grand rsidu est celui de U.I.E.K.F4 (keT 4 (k)k) permettant de localiser les dfauts au
noeud charge 5. Le test logique (dans la partie FDI) montre queffectivement le noeud 5
est en dfaut.
Lvolution des rsidus gnrs par le F.K.E-MH et le band de U.I.E.K.F, pour le deuxime
dfaut, est donn par les figures 4.10 et 4.11 suivantes :
3
Varaition du rsidu
3
500 1000 1500 2000 2500 3000
Temps
6 4 UIEKF1
UIEKF2
5 UIEKF3
2 UIEKF4
4
0
22
4
800 1000 1200 1400 1600 1800 2000 2200 2400 2600 2800
Temps
La figure (4.10) montre clairement la prsence dun dfaut entre les instants 2s et 2.2s
(ke f k 6= 0). Dont la localisation est facilite par lvolution des rsidus gnrs par le
banc de filtres prsente dans la figure 4.11. On remarque que les rsidus gnrs par
U.I.E.K.F1 et U.I.E.K.F2 sont gaux (keT 2 (k)k = keT 1 (k)k) et suprieur ceux gn-
rs par U.I.E.K.F3 et U.I.E.K.F4 , ce qui montre bien lexistence dun dfaut entre les
noeuds 2 et 3. Ceci est galement vrifi par la validation de la 3me condition du test lo-
gique qui indique bien la prsence dun dfaut entre 2 noeuds lectriquement connects.
E.K.E
1.2
E.K.FMH
0.8
0.4
0.2
1 La variation de (k) estime par le F.K.E-MH est plus prcise (instants 0-3s). LE.K.E
donne une valeur estime bien au dessous de la valeur relle malgr labsence du
dfaut.
- En prsence du dfaut, le F.K.E-MH converge dune faon plus claire et plus nette la
valeur relle que lE.K.E.
1.1
0.9
0.8
(k) estime
0.7
D2
0.6
D3
0.5
D1
0.4
0.3
0.2
0.1
0.5 1 1.5 2 2.5 3 3.5 4 4.5 5
Temps 4
x 10
Dans la figure ci-dessus, nous constatons que les courts-circuits provoquent des chutes
de tension diffrentes pour les 3 courts-circuits (D 1 , D 2 et D 3). Cependant, (k)
converge dans les 3 cas. Ceci montre la prcision de lestimation donne par le F.K.E-
MH.
4.6 Conclusion
Afin de situer au mieux notre contribution par rapport aux travaux existants, un tat
de lart a t propos dans le premier chapitre. Nous avons dabord rappel les rsultats
principaux de la thorie concernant les deux aspects fondamentaux des rseaux lec-
triques Algbrique (flux de puissance / Estimation dtat) et Dynamique (les modles
DAEs). Nous avons propos dans ce chapitre quelques extensions dapproches propo-
ses dans la littrature pour mieux amliorer la rapidit (temps de calcul) et la stabilit
ce qui permet leurs faisabilits dans une implmentation pratique.
Nos contributions ont t proposes dans le troisime chapitre qui sarticule autour de
trois thmes principaux. Dans le premier thme, un nouveau modle dynamique bas sur
les techniques de d-couplement et de transformation des systmes DAEs en ODEs non-
linaires. Lapport de ce modle dynamique en termes de stabilit, convergence et temps
de calcule est prouv par quelques applications sur des rseaux test selon le standard
135
IEEE. Le deuxime thme est consacr lestimation de ltat des rseaux lectriques
HT dcrits par des ODEs non linaires.
Ce problme revt une grande importance dans la pratique. En effet, dans de nom-
breux cas, la linarisation du modle dynamique ou la rduction de lordre du systme
(en considrant quelques tats de valeur fixe) est ncessaire pour raliser des objectifs
destimation ou de diagnostic. Techniquement, le problme est rsolu grce aux transfor-
mations des DAEs en ODEs et par lapplication de lEstimateur de Kalman Etendu avec
une analyse de stabilit et de convergence locale. Une version plus volue et robuste du
Filtre de Kalman Etendu est dcrite dans le thme qui suit.
Le problme de Diagnostic / Supervision est dvelopp dans le troisime thme.
Il sagit dtudier les trois tapes de base pour former un module de diagnostic et qui
sont : la dtection, la localisation et lestimation des dfauts. La premire tape est vali-
de aprs le dveloppement dun nouveau filtre de Kalman Etendu qui prend en compte
une fentre de mesures glissantes (E.K.F-MH) suivie par une tude de convergence lo-
cale. Le nouveau filtre montre une meilleure robustesse pour la dtection des dfauts. La
deuxime tape (ou la localisation) est fonde sur lutilisation dun banc des Filtres de
Kalman Etendu Entres Inconnues. Nous avons dvelopp un schma FDI robuste qui
combine ces derniers avec un E.K.F-MH tout en optant pour un Test logique propos
pour assurer les tches de dtection et de localisation des dfauts dans un rseau lec-
trique HT. La dernire tape est celle destimation des dfauts. Pour ce faire, nous avons
dvelopp un systme augment o les nouvelles variables ajoutes au vecteur dtat
assurent la tche destimation des chutes des tensions et les tensions des courts-circuits.
Les mthodes et les algorithmes dvelopps sont bass sur le filtre de Kalman. Le F.K.E
est adapt pour des applications en temps rel lchelle industrielle avec le dveloppe-
ment des cartes DSP.
Dans le dernier chapitre (chapitre 4), nous avons appliqu les mthodes et les algo-
rithmes destimation et de diagnostic un rseau test 5 noeuds. Ce chapitre prsente des
rsultats de simulation. Dans un premier temps, on rappelle le modle dynamique sous
forme des DAEs non-linaires. La premire application concerne lestimation robuste de
136
[1] M. Eremia, J. Trecat, and A. Germond. Reseau electriques : Aspects Actuels. Edi-
tura Tehnica, Bucuresti, 2nd edition, 2000.
[2] R.A. Jabr. Optimal power flow using an extended conic quadratic formulation.
IEEE Transactions on Power Systems, 23 :10001008, 2008.
[3] H.D. Chiang. A decoupled load flow method for distribution power networks :
algorithms, analysis and convergence study. International Journal of Electrical
Power and Energy Systems, 13 :130138, 1991.
[4] V.V. Thong, J. Driesen, and R. Belmans. Power quality and voltage stability of dis-
tribution system with distributed energy resources. International Journal of Distri-
buted Energy Resources, 1 :227240, 2005.
[7] Inigo Cobelo. Active control of Distribution Networks. PhD thesis, Faculty of
Engineering and Physical Sciences , University of Manchester. U.K, 2005.
[8] F.C. Schweppe and J. Wildes. Power system static state estimation. IEEE Transac-
tions on Power Apparatus and systems, 89 :130135, 1970.
[9] R. Neela and P. Aravindhababu. A new decoupling strategy for power system state
estimation. International Journal of Electric Power Systems Research, 50 :2047
2051, 2009.
[10] A. Monticelli and A. Garcia. Fast decoupled state estimators. IEEE Transactions
on Power Systems, 5 :556564, 1990.
138
[11] J.J. Allemong, L. Radu, and A.M. Sasson. A fast and reliable state estimation
algorithm for aeps new control center. IEEE Transactions on Power Apparatus
and systems, 4 :933944, 1982.
[13] A. Thabet, S. Chniba, D. Gaetan, M. Boutayeb, and M.N Abdelkrim. Power sys-
tems load flow and state estimation : Modified methods and evaluation of stability
and speeds computing. International Review of Electrical Engineering, 5 :1110
1118, 2010.
[14] M.N. Nursyarizal. Wls modification power systems state estimation embedded
with facts devices. In Proceedings of the International Conference on Electrical
Engineering and Informatics, pages 244248, Institut Teknologi Bandung, Indone-
sia, 2007.
[15] Mahta Boozari. State estimation and Transient stability analysis in power system
using artificial neural networks. PhD thesis, Scholl of Engineering Science, SI-
MON FRASER University, CANADA, 2004.
[17] E.D. Crainic, X.D. DO, and D.F. Mukhedkar. Power system observability : guide-
lines for measurement system designer. In IFAC Symp on Power System Modelling
and Control Appl, pages 18, Brussels, 1998.
[18] Jiangnan Peng. Optimal pmu placement for full network observability using tabu
search algorithm. International Journal of Electrical Power and Energy Systems,
28 :223231, 2006.
139
[19] T. Pierre and H. Nicolas. Observability and state estimation of electrical power
networks (sinusoidal signals). Computers and Electrical Engineering, 28 :391
416, 2002.
[20] D. Karlsson and D.J. Hill. Modelling and identification of nonlinear dynamic loads
in power systems. IEEE Transactions on Power Systems, 9 :157166, 1994.
[22] Ernst Scholtz. Observer based monitors and distributed wave controllers for elec-
tromechanical disturbances in power systems. PhD thesis, Massachusetts Institute
Technology, USA, 2004.
[23] P.M. Anderson and A.A. Fouad. Power system control and stability. In IEEE Press,
pages , New York, 1994.
[24] P.W. Sauer and M. A. Pai. Power system dynamics and stability. In Prentice Hall,
Upper Saddle River, pages , New Jersey, 1998.
[29] P.A. Lof, G. Anderson, and D.J. Hill. Voltage stability indices for stressed power
systems. IEEE Transactions on Power Systems, 8 :326335, 1993.
140
[30] Gildas Besanon. Nonlinear Observers and Application. Springer, Berlin Heidel-
berg New York, 0170-8643 edition, 2007.
[31] R. Herman and J. Krener. Nonlinear controlability and observability. IEEE Tran-
sactions on Automatic Control, 22 :728740, 1977.
[32] E.D Sontag. A concept of local observability. Systems and Control Letters, 5 :41
47, 1984.
[33] J. Marquez. Nonlinear control systems analysis and design. JOHN WILEY and
SONS, INC., Hoboken, New Jersey, edition, 2003.
[34] J. K. Hedrick and A. Girard. Control of nonlinear dynamic systems : Theory and
applications. 2008.
[36] Ali Zemouch. Sur lobservation de ltat des systmes dynamiques non linaires.
PhD thesis, Universit Louis Pasteur, Strasbourg I, France, 2007.
[37] B. Boulkroune. Estimation de ltat des systmes non linaires temps discret. Ap-
plication une station dpuration. PhD thesis, Universit Henri Poincar Nancy
1, France, 2008.
[38] Y. Song and J.W. Grizzle. The extended kalman filter as a local asymptotic observer
for nonlinear discrete-time systems. Journal of Mathematical Systems, Estimation
and Control, 5 :5978, 1995.
[40] A. Krener and A. Isidori. Linearization by output injection and nonlinear observers.
Systems and Control Letters, 3 :4752, 1983.
141
[41] A. Krener and W. Respondek. Nonlinear observer with linearizable error dynamics.
SIAM on Control and Optimization, 23 :197216, 1985.
[43] M. Arcak and P. Kokotovic. Non linear observers : A circle criterion design and
robustness analysis. Automatica, 12 :19231930, 2001.
[46] R. E. Kalman. A new approach to linear filtering and prediction problems. Trans.
ASME, J. Basic Engineering, 82 :3445, 1960.
[47] F.E. Thau. Observing the state of nonlinear dynamic systems. International Journal
Control, 17 :471479, 1973.
[48] R.V. Patel and M. Toda. Quantitative measures of robustness in multivariable sys-
tems. In Proc. American Control Conference, pages , San.Francisco, USA, 1980.
[49] S.R. Kou, D.L. Elliott, and T.J. Tarn. Exponential observers for nonlinear dynamic
systems. Information and Control, 29 :204216, 1975.
[51] D. Bestle and M. Zeitz. Canonical form observer design for nonlinear time-variable
systems. International Journal Control, 38 :419431, 1983.
142
[53] M. Farza, M. MSaad, and L. Rossignol. Observer design for a class of mimo
nonlinear systems. Automatica, 40 :135143, 2004.
[54] F. Zhu and Z. Han. A note on observers for lipschitz non linear systems. IEEE
Transactions on Automatic Control, 47 :17511754, 2002.
[55] G. Besanon, Q. Zhang, and H. Hammouri. High-gain observer based state and
parameter estimation in nonlinear systems. pages , Stuttgart,Germany, 2004.
[56] M. Boutayeb and M. Darouach. Observers design for non linear descriptor systems.
In Cong. on Desing and Control, pages 23692374, New Orleans, LA, USA, 1995.
[57] S. Kaprielian and J. Turi. An observer for a nonlinear descriptor system. In Cong.
on Desing and Control, pages 975976, Tucson, Arizona, 1992.
[58] G.I. Bara, A. Zemouche, and M. Boutayeb. Observer synthesis for lipschitz
discrete-time systems. In IEEE International Symposium on Circuits and Systems,
pages , Kobe,Japan, 2005.
[59] B.W. Gordon. Dynamic sliding manifolds for realization of high index differential-
algebraic systems. Asian Journal of Control, 5 :454466, 2003.
[60] T. Wichmann. Simplification of nonlinear dae systems with inex tacking. In Euro-
pean Conference on Circuit Theory and Design, pages 173176, Espoo, Finland,
2001.
[61] D.C. Tarraf and H.H. Asada. On the nature and stability of differential-algebraic
systems. In Proc. American Control Conference, pages 35463551, Anchorage, Al
USA, 2002.
[62] V.M. Becerra, P.D. Roberts, and G.W. Griffiths. Applying the extended kalman
filter to systems described by nonlinear differential-algebraic equations. Control
Engineering Practice, 9 :267281, 2001.
143
[63] L.Z Guo and Q.M Zhu. A fast convergent extended kalman observer for non linear
discrete-time systems. Int. J. Sys. Sci., 33 :10511058, 2002.
[64] M. Boutayeb and C. Aubry. A strong tracking extended kalman observer for non-
linear discrete-time systems. IEEE Transactions on Automatic Control, 44 :1550
1556, 1999.
[65] R. Iserman. Process fault detection based on modeling and estimation methods- a
survey. Autmatica, 20 :387404, 1984.
[66] R. Iserman. Supervision, fault detection and fault diagnosis methods : an introduc-
tion. Control Engineering Practice, 5 :639652, 1997.
[67] R. Iserman. On the applicability of model based fault detection for technical pro-
cesses. In IFAC, pages 195200, Sydney, Australie, 1993.
[69] Alexey Shumsky. Robust analytical redundancy relations for fault diagnosis in
nonlinear systems. Asian Journal of Control, 4 :159170, 2002.
[70] D.F.Leite, M.B.Hell, and P.Costa Jr.and F. Gomide. Real-time fault diagnosis of
nonlinear systems. Int. Multidisciplinary J. on Nonlinear Analysis, 71 :26652673,
2009.
[71] X. Zhang, T. Parisini, and M.M. Polycarpou. Sensor bias fault isolation in a class of
nonlinear systems. IEEE Transactions on Automatic Control, 50 :370376, 2005.
[72] J. Stoustrup and H. Niemann. Fault detection for nonlinear systems - a standard
problem approach. In Cong. on Desing and Control, pages 96101, Tampa, Florida,
USA, 1998.
144
[73] Wen Chen. Robust fault diagnosis and compensation in nonlinear systems via
sliding mode and iterative learning observers. PhD thesis, Scholl of Engineering
Science, SIMON FRASER University, CANADA, 2004.
[74] Cdric Join. Diagnostic des systmes non linaires : Contribution aux mthodes de
dcouplage. PhD thesis, Universit Henri Poincar, Nancy, FRANCE, 2004.
[75] V. Venkat, R. Raghunathan, Y. Kewen, and N.K. Surya. A review of process fault
detection and diagnosis. part i : Quantitative model-based methods. Computers and
Chemical Engineering, 27 :293311, 2003.
[77] B. Jiang, M. Staroswiecki, and C. Cocquempot. Robust observer based fault diag-
nosis for a class of nonlinear systems with uncertainty. In Cong. on Desing and
Control, pages 161166, Orlando, Florida, USA, 2001.
[78] P.M Frank. Analytical and qualitative model-based fault daignosis- a survey and
some new result. European Journal of Control, 2 :628, 1996.
[79] J. Chen and R.J. Patton. Robust model-based fault diagnosis for dynamic systems.
Kulwer Academic Publishers, , edition, 1999.
[82] A. Thabet, M. Boutayeb, G. Didier, S. Chniba, and M.N. Abdelkrim. Fault de-
tection and isolation for nonlinear dynamic power system. Int. Rev. of Automaic
Control, 4 :610619, 2011.
[85] J.Y Keller, M. Darouach, and L. Caramelle. Kalman filte with unknown inputs and
robust two-stage filter. Int. J. Sys. Sci., 29 :4147, 1998.
[86] L. Lingali, Z. Donghua, W. Youqing, and S. Dehui. Unknow input extended kalman
filter and applications in nonlinear fault diagnosis. Chinese Journal Chem. Eng.,
13 :783790, 2005.
[87] Jiang Bin, Shi Peng, and Mao Zehui. Sliding mode observer-based fault estimation
for nonlinear networked control systems. Circuits, systems, and signal processing,
30 :116, 2011.
[88] Y. Wang, C.W. Chan, K.C. Cheung, and W.C. Chan. Fault estimation for a class of
nonlinear dynamical systems. In Cong. on Desing and Control, pages 31283129,
Phoenix, Arizona USA, 1999.
[89] Ke Zhang, Bin Jiang, and Vincent Cocquempot. Fast adaptive fault estimation
and accommodation for nonlinear time-varying delay systems. Asian Journal of
Control, 11 :643652, 2009.
[90] G. Valverde and V. Terzija. Unscented kalman filter for power system dynamic
state estimation. IET Gener. Transm. Distrib., 5 :2937, 2011.
146
[91] H. K. Kwang, J. G. Lee, and C. G. Park. Adaptive two-stage ekf for ins-gps loosely
coupled system with unknown fault bias. J. of Global Positioning Syst., 5 :6269,
2006.
[92] Chien Shu Hsieh. On the optimality of two-stage kalman filtering for systems with
unknown inputs. Asian Journal of Control, 12 :510523, 2010.
[94] A. Thabet, M. Boutayeb, and M.N. Abdelkrim. Real time dynamic state estimation
for power system. Int. J. of Computer Applicatons, 38 :1118, 2012.
ANNEXE
I
Annexe 1
Abstract
This work deals with the state estimation and diagnosis of nonlinear systems with
application to power systems. Dynamic modeling is performed using an index 1
property and decoupling techniques. New methods of state estimation, based on
Extended Kalman Filter including a sliding window of measurements, are propo-
sed to improve the robustness and accuracy. A new convergence study based on
Lyapunov function and conditioning of the observability matrix is proposed to en-
sure the convergence of the observers. A combination of extended Kalman filter
with moving horizon and the version with unknown input is considered to ensure
the monitoring task. Performances of the proposed approaches were evaluated by
numerical simulations of IEEE power system test.
Key words: Non linear systems, Power system, Decoupling techniques, Diag-
nosis, Kalman Filter, Convergence.