Académique Documents
Professionnel Documents
Culture Documents
0
t
e
A( tt)
Bu(t)d t 2
y(t )=C x (t )+Du(t )
Pour discrtiser le systme, il faut disposer un Convertisseur Numrique-Analogique pour
transformer le vecteur u
k
des squences numriques dentre en vecteur de signaux temps continu,
et dun Convertisseur Analogique-Numrique pour transformer le vecteur des signaux de mesure en
vecteur y
k
de squences numriques.
Soit h le pas (priode) dchantillonnage. Le CNA est un bloqueur dordre zro (BOZ):
t | kh ,(k+1) h , u(t )=u
k
.
on peut alors calculer la solution dtat aux instants dchantillonnage:
x| (k+1) h=e
Ah
x( kh)+
0
h
e
A( ht)
Bu(t) d t
x| (k+1) h=e
Ah
x( kh)+
0
h
e
A( ht)
d t Bu
k
x| (k+1) h=e
Ah
x( kh)+| A
1
(e
Ah
I ) Bu
k
soit:
x
k +1
=F x
k
+G u
k
3
y
k
=C x
k
+Du
k
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 5
S CAN
CNA
u
k
y
k
o
F=e
Ah
; G=A
1
(e
Ah
I ) B .
Remarque: Soit q loprateur davance dfini par
x
k +1
=q x
k
, et z la variable complexe telle que
X(z) est la transforme en z de x
k,
on peut alors dduire de la relation (3) :
q x
k
=F x
k
+Gu
k
x
k
=(qI F)
1
G u
k
y
k
=|C (qI F)
1
G+D u
k
do la matrice de transfert en z :
H( z)=C| ( zIF)
1
G+D 4
Ces reprsentations permettent de raliser des programmes de calcul numrique,
soit par quations rcurrentes des sorties par rapport aux entres;
soit par reprsentation interne (modle dtat).
Elles prsentent cependant quelques inconvnients pour la synthse ou lanalyse de systmes de
commande. En particulier, linterprtation frquentielle des phnomnes temps discret est difficile
sous ces formes.
3. Reprsentation d'tat pseudo-continue des systmes
linaires temps discret
Introduisons un nouveau vecteur dtat dfini par :
x
k
:=
x
k +1
+x
k
2
5
il correspond la valeur moyenne du vecteur dtat x
k
entre 2 instants dchantillonnage
successifs.
On peut caractriser lvolution du vecteur dtat x
k
par la pseudo-drive (ou diffrentiation
discrte) :
A
x
k
:=
x
k +1
x
k
h
6
Cette pseudo-drive tend vers la drive gauche si h tend vers 0.
En appliquant cette transformation sur le systme de lquation (3), on obtient un nouveau systme
dtat :
A
x
k
=A
d
x
k
+B
d
u
k
7
y
k
=C
d
x
k
+D
d
u
k
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 6
avec :
A
d
=
2
h
( FI )( F+I )
1
8
B
d
=
2
h
( F+I )
1
G 9
C
d
=2C ( F+I )
1
10
D
d
=DC( F+I )
1
G 11
Preuve :
1. Existence de ( F+I )
1
.
Evidemment, les relations 8, 9, 10 et 11 n'ont de sens que si (F + I) est inversible. C'est dire :
|( F+I )inversible | det ( F+I )0
| det (e
A h
+I )0
| \
i
(e
Ah
+I )0, 0 i n (\
i
est lai
me
valeur proprede (e
Ah
+I ))
|1n' est pas valeur propre de e
Ah
Z A x
k
=
z1
h
Z x
k
d'o :
Z A
x
k
=w Z
x
k
1
B
d
+D
d
16
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 8
k k+1
x
k
x
k+1
x
k
Remarques.
1. On obtient cette matrice de transfert partir de la matrice de transfert en z (4) en faisant le
changement de variable de l'quation (15). Il s'agit d'une transformation bilinaire connue
comme transformation de Tustin.
2. La variable complexe w est une variable semblable la variable de Laplace p ou s. De la mme
faon qu'on obtient une reprsentation frquentielle des systmes temps continu en restreignant
les variations de p l'axe imaginaire ( p - j o ), on restreint les variations de w l'axe
imaginaire : w- j v , o v est une variable relle appele pseudo-pulsation. Les outils
d'analyse et de synthse frquentielle des systmes temps continu sont utilisables pour la
synthse pseudo-frquentielle des systmes temps discret.
3. Les systmes pseudo-continus obtenus par transformation en w des systmes temps discrets
causaux sont ncessairement propres, non strictement :
( D
d
0)
.
5. Stabilit
1 . Valeurs propres
Rappel :
{le systme (3) est stable} {toutes les valeurs propres de F sont dans le disque unit ouvert}
Proposition :
{toutes les valeurs propres de F sont dans le disque unit ouvert} {toutes les valeurs
propres de A
d
sont dans le demi-plan ouvert gauche}
Preuve.
Le cercle unit, frontire du disque unit, est dcrit par z=1 cest dire :
z=e
j oh
, o|
n
h
,
n
h
Le changement de variable :
w=
2
h
e
j oh
1
e
j oh
+1
=2
j
h
tan(
oh
2
)
w est donc une variable imaginaire pure, de la forme w = j v, o :
v=
2
h
tan(
oh
2
) , v.
et le cercle unit est transform en axe imaginaire. Lorigine (z=0) est transforme en w=
2
h
,
donc sur laxe rel ngatif.
Il sensuit que lintrieur du disque unit est transform dans le demi-plan ouvert gauche.
La condition ncessaire et suffisante de stabilit des systmes temps pseudo-continu est identique
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 9
celle des systmes temps continu.
2 . Lyapunov
Dans le cas de systme temps continu, on montre que le systme autonome
x=A x est
asymptotiquement stable si et seulement si Q symtrique dfinie positive P symtrique
dfinie positive telle que :
A
T
P+P A+Q=0 17
Par analogie, on peut montrer que le systme pseudo-continu (7) est asymptotiquement stable si et
seulement si
Q
d
symtrique dfinie positive P symtrique dfinie positive telle que :
A
d
T
P+P A
d
+Q
d
=0 18
La dmonstration est la mme que dans le cas continu, puisque la stabilit dpend de la position des
valeurs propres des matrices dvolution A et A
d
.
Que devient cette quation de Lyapunov dans le cas de reprsentation discrte du type (3) ?
Introduisons la relation (8) dans (17), il vient :
PF
T
P FQ=0 19
o la matrice Q est une matrice symtrique dfinie positive lie nimporte quelle matrice Q
d
de
(18) par :
Q=
h
4
( F+I )
T
Q
d
( F+I ) 20
6. LQ-LQG
1. Retour d'tat dterministe
Le systme (3) en reprsentation dtat pseudo-continue peut tre reprsent par :
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 10
Bd
Ad
Dd
Cd
x
k
u
k z
k
1
w
I
On peut effectuer le retour dtat :
u
k
=K
d
x
k
+r
k
21
et reprsenter la boucle ferme :
Les quations dtat de la boucle ferme scrivent :
A
x
k
=| A
d
B
d
K
d
x
k
+B
d
r
k
22
Ce retour dtat pseudo-continu est quivalent au retour dtat discret sur le systme (3) :
u
k
=K x
k
+r
k
23
o :
K=|
2
h
I +K
d
G
1
K
d
| F+I 24
2. LQ temps discret
Soit le critre linaire quadratique horizon infini sur le systme (7) :
J
LQ
=
k =0
x
k
T
Q
x
k
+u
k
T
Ru
k
) 25
o R et
x
k
u
k z
k
- Kd
r
k
1
w
I
A
d
T
P+ P A
d
+ QP B
d
R
1
B
d
T
P=0 27
Remarque : le critre quadratique (25) est de mme structure que le critre sur le systme (3) :
J
LQ
=
k =0
( x
k
T
Q x
k
+u
k
T
Ru
k
) 28
connu comme critre LQ temps discret. Ce critre est minimis par la commande temps discret :
K=R
1
G
T
P 29
o P est la matrice symtrique dfinie positive solution de lquation de Riccati :
PF
T
P FQF PG( R+G
T
PG)
1
G
T
P F
T
=0 30
3. Observateur de Kalman temps discret
Le systme temps discret bruit
x
k +1
=F x
k
+G u
k
+w
k
z
k
=C x
k
+Du
k
+v
k
31
o les bruits w
k
et v
k
sont blancs et gaussiens :
E
|
w
i
v
i
| w
j
T
; v
j
T
=
|
W 0
0 V
6(i j )
32
est quivalent au systme pseudo-continu :
A
x
k
=A
d
x
k
+B
d
u
k
+M
d
w
k
z
k
=C
d
x
k
+D
d
u
k
+N
d
v
k
33
avec:
M
d
=
2
h
( F+I )
1
N
d
=I C( F+I )
1
G 34
On peut dfinir le critre LQG sur ce systme :
J
LQG
=E
k=0
x
k
T
Q
x
k
+u
k
T
Ru
k
) 35
Ce critre est minimis par la commande retour dtat
x
k
de lobservateur de Kalman :
A
x
k
=( A
d
LC
d
)
x
k
+( B
d
L D
d
) u
k
+
L z
k
36
o
L= PC
d
T
V
1
37
dans laquelle P est la matrice symtrique dfinie positive solution de lquation de Riccati :
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 12
P A
d
T
+A
d
P+ WPC
d
T
V
1
C
d
P=0 38
et :
|
W 0
0
V
=
|
M
d
W M
d
T
0
0 N
d
V N
d
T
39
On peut galement dfinir un critre LQG sur le systme temps discret (31) :
J
LQG
=E
k=0
( x
k
T
Q x
k
+u
k
T
Ru
k
) 40
et appliquer la commande LQ-optimale (29) sur ltat
x
k
de lobservateur de Kalman :
x
k+1
=( FLC) x
k
+(GL D)u
k
+L z
k
41
o :
L=PC
T
V
1
42
et P est solution de lquation de Riccati discrte :
F P F
T
PF PC
T
(V +C PC
T
)
1
C P F
T
+W=0 43
7. Exemple
Soit le systme temps continu:
x(t )=
|
0 1
1 2
x(t )+
|
0
3
u(t )
y(t )=| 10 x(t )
chantillonn la priode h = 0,01 s; on calcule successivement les rgulateurs LQ discrets, dabord
par quation de Riccati pseudo-continue, puis par quation de Riccati discrte.
%systme temps continu
h=0.01;
A=[0,1;-1,-2];B=[0;3];C=[1,0];D=0;
[n,d]=ss2tf(A,B,C,0,1);
S1=tf(n,d)
%systme temps discret
[nz,dz]=c2dm(n,d,0.01,'zoh');
G1d=tf(nz,dz)
[F,G,C,D]=c2dm(A,B,C,D,h,'zoh');
S1z=ss(F,G,C,D)
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 13
%systme temps pseudo-continu
[nw,dw]=D2cm(nz,dz,0.01,'tustin');
G1w=tf(nw,dw)
bode(G1w)
T=inv(F+eye(2));
Ad=(F-eye(2))*T*(2/h);
Bd=T*G*(2/h);
Cd=2*C*T;
Dd=D-C*T*G;
S1w=ss(Ad,Bd,Cd,Dd)
figure
bode(S1w)
%LQ pseudo-continu
Qd=1000*eye(2);r=1;
[Kd,Sd,Ed]=lqr(Ad,Bd,Qd,r);
K1=inv((2/h)+Kd*G)*Kd*(F+eye(2))
%solution alternative:
[Add,Bdd,Cdd,Ddd]=tf2ss(nw,dw);
[Kdd,Sdd,Edd]=lqr(Add,Bdd,Qd,r);
K3=inv((2/h)+Kdd*G)*Kd*(F+eye(2))
%LQ discret
Q=(h/4)*(F+eye(2))'*Qd*(F+eye(2))
[K2,S2 E2]=dlqr(F,G,Q,10*r)
Les rsultats:
x
k +1
=
|
0.99995 0.0099005
0.0099005 0.98015
x
k
+
|
0.000149
0.029701
u
k
A
x
k
=
|
1.66e
5
0.99998
0.99998 2
x
k
+
|
4.99e
5
2.9999
u
k
LQR pseudo-continu:
K
d
=| 31.2912 , 31.2907
K1=|0.3099 ,0.3099
LQR discret:
K2=| 0.3300 , 0.3268
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 14
On constate que pour obtenir sensiblement le mme rsultat, on a d recalculer la pondration Q
conformment la relation (20), et modifier (par ttonnement) la pondration r .
Les simulations numriques:
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 15
8. Conclusion
Les reprsentations dtat temps discret et temps pseudo-continu sont quivalentes puisque la
transformation bilinaire de Tustin est inversible, et conserve les proprits algbriques.
Les rsultats tablis sur les systmes temps continu (propres mais non strictement) sont donc
utilisables sur les reprsentations temps pseudo-continu des systmes temps discret.
Une mthode de synthse de commande temps discret consiste donc :
Calculer le modle temps discret du systme commander (quation rcurrente puis
transfert en z ou reprsentation dtat);
En dduire le modle temps pseudo-continu (transfert en w ou reprsentation dtat);
Calculer la commande temps pseudo-continu (transfert en w ou reprsentation dtat);
En dduire la commande temps discret par inversion de la transformation bilinaire de
Tustin.
9. Bibliographie
Th. KAILATH, Linear Systems, Prentice Hall, New Jersey, 1980.
I. TROCH, Solving the Discrete Lyapunov Equation Using the Solution of the Corresponding
Continuous Lyapunov Equation and Vice Versa, IEEE Trans. On Automatic Control, Vol 33, n
10, 1988.
R. J. OBER, S. MONTGOMERY-SMITH, Bilinear transformation of infinite dimensional state-
space systems and balanced realizations of non rational transfer functions, SIAM, Journal of
Control and Optimisation, Vol 28 (2), 1990.
B. BERGEON, F. CAZAURANG, S. YGORRA, Mthodologie de commande robuste linaire,
APII-JESA, Vol 35, n 1-2, 2001.
_________________________________________________________________________________________________________
Benot Bergeon, Universit Bordeaux 1 16