Академический Документы
Профессиональный Документы
Культура Документы
Commande Robuste
ENSPS 3A ISAV
Master IRIV AR
Universit de Strasbourg
20112012
Commande Robuste
Plan
2 Outils danalyse
3 Synthse H
4 Thorie de la commande
Objectifs
Mieux comprendre les compromis fondamentaux qui
limitent les dynamiques des systmes asservis,
notamment en terme de performance, de sensibilit au
bruit et de robustesse
Connatre les outils danalyse des systmes multi-variables
Savoir mettre en uvre une synthse de loi de commande
de type H sur un systme linaire
tre capable de mettre en uvre une analyse de
robustesse dans le cas de variations paramtriques
Commande Robuste
Introduction
Objectifs et contenus
Contenu
7 sances de cours
4 sances de TD dont 2 sur PC
valuation : bureau dtude en simulation
Commande Robuste
Introduction
Objectifs et contenus
Plan du cours
Outils danalyse des systmes multivariables
Modlisation des systmes dynamiques
Critre danalyse des performances
Mthode de synthse de correcteurs H
Mthodes danalyse de la robustesse
Commande Robuste
Introduction
Historique de lautomatique
Mthodes
Avant 1960 : mthodes SISO, approches temporelles
(Ziegler-Nichols) et frquentielles (Bode, Nyquist,
Black-Nichols)
Entre 1960 et 1990 : approches temporelles pour les
systmes MIMO : commande optimale
Depuis1990 : approches frquentielles pour les systmes
MIMO : approche standard, commande H
Commande Robuste
Introduction
Historique de lautomatique
Laboratoires en France
LAAS (quipe MAC, Toulouse)
ONERA (Toulouse + Chtillon)
Suplec (Service dAutomatique, Gif-sur-Yvette)
IRCCYN (Nantes)
GIPSA (Grenoble)
...
Entreprises europennes
ASTRIUM (lanceur, satellite)
EADS-Airbus
Commande Robuste
Modlisation des systmes dynamiques
Plan
2 Outils danalyse
3 Synthse H
4 Thorie de la commande
1 1 2 2
1 = 1 1 2 2
M1s = M0 + 1 M1 + 2 M2 1 1 2 2
M2s = M0 + 1 M1 + 2 M2 2 = 1 1 2 2
2 2
M3s = M0 + 1 M1 + 2 M2 3 = 1 1
1 1 2 2
M4s = M0 + 1 M1 + 2 M2 1 1 2 2
4 = 1 1 2 2
Commande Robuste
Modlisation des systmes dynamiques
Reprsentation dtat
En notant x = x x0 , u = u u0 et y = y g(x0 , u0 ) on se
ramne un systme LPV :
x = A()x + B()u
(7)
y = C()x + D()u
x
avec = 0 .
u0
Commande Robuste
Modlisation des systmes dynamiques
Oprations sur les systmes
0 ... 0
G(s) + Onn = Onn + G(s) = G(s)
Commande Robuste
Modlisation des systmes dynamiques
Oprations sur les systmes
H(s)
u1 = z y1 = v
-
u2 G(s) y2-
-
u2 = z y2 = v
H(s)
Dfinition
Soit M(s) = lftu (Q(s), ()) o Q(s) est un modle LTI et
() est une matrice dpendant du vecteur des
paramtres .
()
v z
-
u Q(s) y -
-
Commande Robuste
Modlisation des systmes dynamiques
Modles LFR
Calculs(1)
Le systme Q(s) scrivant :
x = Ax + B1 v + B2 u (8)
z = C1 x + D11 v + D12 u (9)
y = C2 x + D21 v + D22 u (10)
v = () z (11)
Commande Robuste
Modlisation des systmes dynamiques
Modles LFR
Calculs (2)
Transfert M(s) entre u et y :
x
= A()x
+ B()u (12)
y
= C()x
+ D()u (13)
avec :
A() = A + B1 ()(I D11 ())1 C1
B() = B2 + B1 ()(I D11 ())1 D12
C() = C2 + D21 ()(I D11 ())1 C1
D() = D22 + D21 ()(I D11 ())1 D12
Commande Robuste
Modlisation des systmes dynamiques
Modles LFR
Interprtation
M(s) est un modle LPV rationnel
Tout modles LPV rationnel peut tre mis sous forme LFR
Pour les modles LPV dpendance non-rationnels, on
peut chercher des approximations rationnelles des
fonctions non-linaires
Commande Robuste
Modlisation des systmes dynamiques
Modles LFR
% Mthode 1: tf
H1 = tf(1,[1 p])
USS: 1 State, 1 Output, 1 Input, Continuous System
p: real, nominal = 1, variability = [-20 20]%, 1 occu
% Mthode 2: ss
A = -p; B = 1; C = 1; D = 0;
H2 = ss(A,B,C,D)
USS: 1 State, 1 Output, 1 Input, Continuous System
p: real, nominal = 1, variability = [-20 20]%, 1 occu
Commande Robuste
Modlisation des systmes dynamiques
Modles LFR
Plan
2 Outils danalyse
3 Synthse H
4 Thorie de la commande
Valeurs propres
Soit M Cnn
C est valeur propre de M sil existe un vecteur x Rn
tel que M x = x
Cela signifie que dans certaines directions de lespace,
celle des vecteurs propres, lapplication x M x ne
modifie pas la direction
Si M est hermitienne a , ses valeurs propres sont relles
a. Le hermicien de M, not M H , est la composition de la conjugaison et de
la transpose : M H = (M )T .
Commande Robuste
Outils danalyse
Valeurs propres et ingalits matricielles
Ingalit matricielle
Soit z Dz Cp un vecteur de dcision
Soit M(z) une fonction matricielle valeur dans Cnn telle
que M(z) = M H (z) z Cp
Le problme consistant trouver z tel que
M(z) < 0 z Dz est un problme dingalit matricielle
Dans le cas o M(z) est une fonction affine des
coefficients de z, i.e. M(z) = M0 + z1 M1 + ... + zp Mp , on
parle dingalit matricielle affine ou linaire (LMI pour
linear matrix inquality)
Les LMI sont abondamment utilises en automatique
moderne
Commande Robuste
Outils danalyse
Valeurs propres et ingalits matricielles
Exemple de LMI
Un systme dynamique x = Ax, avec x Rn et A Rnn ,
est stable si et seulement si il existe une matrice
symtrique P Rnn dfinie positive telle que
AT P + PA < 0
a1 a2 p1 p2
Pour n = 2, A = et P = ,
a3 a4 p2 p3
1 Montrez que lquation AT P + PA < 0 peut se mettre sous
la forme M(p) < 0 o M(p) = M0 + p1 M1 + ...p3 M3
2 Donnez les matrices Mk , k = 0, ..., 3 en fonction des
coefficients de A
Commande Robuste
Outils danalyse
Valeurs propres et ingalits matricielles
Liste de solveurs
lmilab : solveur de Matlab (Robust Control Toolbox) : 1 + 2
+ interface graphique
Sedumi : solveur a
SedumiInt : intergace de Sedumi pour lautomatique b
YALMIP : editeur pour lautomatique permettant dutiliser
de nombreux solveurs c
SDPT3 : solveur d
a. http://sedumi.ie.lehigh.edu/
b. http://homepages.laas.fr/peaucell/software/
SeDuMiInt.html
c. http://users.isy.liu.se/johanl/yalmip/
d. http://www.math.nus.edu.sg/~mattohkc/sdpt3.html
Commande Robuste
Outils danalyse
Valeurs propres et ingalits matricielles
Illustration : lmiedit
Commande Robuste
Outils danalyse
Valeurs singulires et norme H
(M) 0
(M) = 0 = M = O
(M) = ||(M)
(M + N) (M) + (N)
(MN) (M)(N)
1 1
(M) = (M 1 )
, (M) = (M 1 )
Commande Robuste
Outils danalyse
Valeurs singulires et norme H
x = Ax + Bu (15)
y = Cx + Du (16)
kx(t)kL2 = 0 = x(t) = 0 t R+
Commande Robuste
Outils danalyse
Valeurs singulires et norme H
ky (t)kL2
kG(s)k = max (18)
ku(t)kL2
Proprits de la H
Interprtation frquentielle
Exemple :
norm(Sys,inf)
Commande Robuste
Outils danalyse
Valeurs singulires et norme H
Proprits de la H (2)
Pour une matrice de transfert sous forme de blocs :
G11 (s) G12 (s)
G(s) = (20)
G21 (s) G22 (s)
on a :
Complment de Schur
La LMI :
Q S
< 0, (22)
ST R
o Q = Q T et R = R T est quivalente :
R < 0
1 (23)
Q SR S T < 0.
Commande Robuste
Outils danalyse
Lemmes de simplification
Lemme de projection
Soit une matrice symtrique Rmm et deux matrices P et
Q de nombre de colonnes m. Et considrons le problme
consistant trouver une matrice de dimensions adquoites
telle que :
+ P T T Q + Q T P < 0 (24)
Notons WP et WQ des matrices dont les colonnes forment une
base des noyaux de respectivement P et Q. Alors, une solution
de lquation (24) existe si et seulement si :
WPT WP < 0
(25)
WQT WQ < 0.
Commande Robuste
Synthse H
Plan
2 Outils danalyse
3 Synthse H
4 Thorie de la commande
v - z-
Ga (s)
-
u y
K (s)
v z : canal de performance
u y : canal de commande
Synthse : trouver le correcteur K (s) qui minimise la
norme (H ou H2 ou autre) du transfert Tz v (s)
Commande Robuste
Synthse H
Schma standard
rfrence r (t)
erreur de rgulation e(t)
erreur de suivi (t) = r (t) y (t)
signal de commande u(t)
perturbation d(t) en entre du systme
signal asservir y (t)
bruit de mesure bm (t)
signal de mesure ym (t)
Commande Robuste
Synthse H
Performance dun systme asservi
Transferts en BF
Sensibilit en sortie (cot mesure) : Sy (s) = Ter (s)
Sensibilit en entre (cot commande) : Su (s) = Tvd (s)
e
u
Calcul des transferts en boucle ferme v =
y
ym
Sy (s) Sy (s)G(s) Sy (s)
Su (s)K (s) Su (s)K (s)G(s) Su (s)K (s) r
" #
Su (s)K (s) Su (s) Su (s)K (s) d
S (s)G(s)K (s)
y Sy (s)G(s) Sy (s)G(s)K (s) bm
Sy (s)G(s)K (s) Sy (s)G(s) Sy (s)
Commande Robuste
Synthse H
Performance dun systme asservi
c
(log)
0 dB
(G(j)K (j)) 1
(G(j)K (j)) 1
Commande Robuste
Synthse H
Performance dun systme asservi
-1 0 Re
M
G(j) K (j)
20 log((Sy (0)))
BP dfini par BP (Sy (j)) 1/ 2
Tr BP 3
Commande Robuste
Synthse H
Performance dun systme asservi
20 log((Sy (0)))
Robustesse
Immunit face aux dynamiques haute frquence non
modlises ou mal modlises : forcer le gain du
correcteur dcroitre en haute frquence en assurant
Tur (s) faible au del de la bande passante (roll-off)
Commande Robuste
Synthse H
Performance dun systme asservi
Recapitulatif
Transfert Sy (s) : marge de module, rapidit et prcision
Transfert Tur (s) : bruit de mesure et robustesse par rapport
aux dynamiques haute frquence
Commande Robuste
Synthse H
Schmas de synthse H
v v- z- z-
We (s) Ws (s)
Ge (s)
-
u e ou y
K (s)
s+a
W1 (s) = W11 Iny avec W11 (s) = k (s+b)
Impose (Sy (j)) /|W11 (j)|
Permet de grer la marge de module, la rapidit et la
prcision
Exercice : dterminer Ge (s), We (s) et Ws (s)
Commande Robuste
Synthse H
Schmas de synthse H
W1 (s) inchang
s
W2 (s) = W21 Inu avec W21 (s) = K2 (cs+1)
Impose (Sy (j)) /|W11 (j)| et
(Tur (j)) /|W21 (j)|
Attnuation de Tur (s) en haute frquence : roll-off + bruit
de mesure
Commande Robuste
Synthse H
Schmas de synthse H
W3(s)
e (t )
v1 = r ( t ) d (t )
K (s) + G(s)
+ u (t ) y (t )
-
Commande Robuste
Synthse H
Schmas de synthse H
(s)
v z
-
u Q(s) y -
-
Analyse de la robustesse
v z
-
- Q(s)
u y
K (s)
Plan
2 Outils danalyse
3 Synthse H
4 Thorie de la commande
Convexit
Ensemble convexe
Un ensemble D est convexe si (x, y ) D,
x + (1 )y D avec [0, 1]
Fonction convexe
Une fonction f est convexe si (x, y ) D,
f (x + (1 )y ) f (x) + (1 )f (y ) avec [0, 1]
d 2f
Condition ncessaire et suffiante : dx 2
0
Valable pour les fonctions matricielles
Commande Robuste
Thorie de la commande
Prliminaires
Multiconvexit
Fonction multiconvexe
Une fonction f est multiconvexe si la fonction rduite
chaque direction cartsiennes de lespace est convexe, i.e.
xk fk (xk ) = f (x) o x = [x1 . . . xn ]T
Condition moins forte que la convexit
Exemple : montrez que f (x) = x12 + x22 4x1 x2 est
multiconvexe et quelle nest pas convexe
Ensemble multiconvexe
Un ensemble D est convexe si (x, y ) D,
x + (1 )y D avec [0, 1]
Commande Robuste
Thorie de la commande
Stabilit de Lyapunov
Gnralits
Systme dtat x D sans entre dquilibre x = 0
Fonction dnergie appele fonction de Lyapunov
possdant un minimum pour x = 0
Thorme de Lyapunov : V (x) dcroissante sur D
systme stable
Interprtation : lnergie du systme dcroit jusqu
atteindre un minimum correspondant lquilibre
Commande Robuste
Thorie de la commande
Stabilit de Lyapunov
Exemple
Systme mcanique de masse m, connect au sol par
lintermdiaire dun ressort de raideur k et dun
amortisseur f .
z : position de la masse ; z : vitesse. quilibre : z = 0
quation fondamentale de la dynamique : mz = kz f z
z
tat : x =
z
nergie : nergie cintique Ec = 12 mz 2 et nergie
potentielle Ep = 21 kz 2 .
Fonction dnergie : V (x) = 21 mz 2 + 12 kz 2 .
Commande Robuste
Thorie de la commande
Stabilit de Lyapunov
V (x) V (x)
V (t) = z + z (26)
z z
= kz z + mz z (27)
= z(kz + (kz f z)) (28)
= f z 2 (29)
Q > 0 (30)
T
A QA Q < 0 (31)
Changement de variable S = KR :
AT Q + QA < I (35)
Dissipativit (1)
Dfinition
Systme dentre u, de sortie y , de vecteur dtat x,
dquilibre x0 = 0
Soit S(u, y ) une fonction scalaire que nous appellerons
flux dnergie entrant.
Le systme dynamique est dit S-dissipatif sil existe une
fonction dnergie V (x) telle que dVdt(x) < S(u, y ) pour tout
x 6= x0
Commande Robuste
Thorie de la commande
Dissipativit
Dissipativit (2)
Exemple
Circuit lectrique : rsistance R en srie avec une
inductance L aliment par une tension u(t). Le courant
x(t) rrifie Rx(t) + Ldx(t)/dt = u(t). On mesure le
courant : y (t) = x(t).
Puissance transfre au circuit : S(u, y ) = uy
nergie dans le circuit : V (x) = 12 Lx 2
dV dV
On a dt = dx x = Lx x = x(u Rx) = S(u, y ) Rx 2
On a bien dV /dt S(u, y )
Commande Robuste
Thorie de la commande
Dissipativit
Dissipativit (3)
Systme linaire
Systme x = Ax + Bu, y = Cx + Du
{Q11 , Q22 , Q12 }-dissipativit :
T
y Q11 Q12 y
S(u, y ) = (36)
u Q12 T Q22 u
Dissipativit (3)
Dissipativit (3)
dV (x)
= x T Qx + x T Q x (39)
dt
= (Ax + Bu)T Qx + x T Q(Ax + Bu) (40)
T T
x A Q + QA QB x
= (41)
u BTQ 0 u
Commande Robuste
Thorie de la commande
Dissipativit
Dissipativit (3)
Dissipativit (4)
Lemme (Yakubovitch-Kalman)
Soit un systme linaire. Les propositions suivantes sont
quivalentes :
(i) est {Q11 , Q22 , Q12 }-dissipatif.
(ii) R+ \det(jI A) 6= 0,
T
G(j) Q11 Q12 G(j)
T 0 (42)
I Q12 Q22 I
Dmonstration
Considrer un signal harmonique u(t) = Uexp(jt).
Commande Robuste
Thorie de la commande
Dissipativit
Dissipativit (5)
Dmonstration
Lemme de Yakubovitch-Kalman : la proposition (ii) quivalente
(GT (j)G(j) + 2 I 0, ce qui est quivalent dire que les valeurs
propres de G(j)T G(j) sont infrieures 2 . Or les valeurs propres
(relles et positives) de G(j)T (G(j) sont les carrs des valeurs
singulires de G(j). CQFD car la norme H de est la borne
suprieure de la valeur singulire maximale.
Commande Robuste
Thorie de la commande
Dissipativit
Dissipativit (6)
Application
Calcul de la norme H par rsolution dune LMI
Commande Robuste
Thorie de la commande
Dissipativit
Dissipativit (7)
Lemme (Lemme born rel (2))
Un systme dynamique continu linaire de matrices dtat A, B,
C et D a une norme H infrieure si et seulement si il
existe une matrice Q = Q T > 0 vrifiant :
T
A Q + QA QB C T
BT Q I D T < 0 (44)
C D I
Dmonstration
Lemme de Schur (Exercice)
Intrt
Formulation linaire en fonction des matrices dtat (pour la
suite)
Commande Robuste
Thorie de la commande
Dissipativit
Synthse H (1)
Position du problme
Pour le systme P(s) de reprsentation dtat :
x A B1 B2 x
z = C1 D11 D12 v (45)
y C2 D21 D22 u
Synthse H (2)
XA + AT X XPX + Q = 0 (49)
Synthse H (3)
Rsolution par quation de Riccati [Glover & Doyle] (2)
Za Ya C2T ZaB2
x a Aa x
u = B T Xa O Inu v (51)
2
ua C2 Iny O u
Synthse H (4)
Rsolution par quation de Riccati [Glover & Doyle] (3)
Hypothses
H1. (A, B2 ) est stabilisable ; (C2 , A) est dtectable
H2. rang(D12 ) = nu et rang(D21 ) = ny o nu est la taille de u et
ny est la taille de ny .
A jIn B2
H3. R, rang = n + nu o n est la taille de
C1 D12
x.
A jIn B1
H4. R, rang = n + ny .
C2 D21
T C
H5. D11 = 0, D12 1 D12 = O Inu , D22 = 0,
B1 T = O I
D21 ny .
D21
Commande Robuste
Thorie de la commande
Dissipativit
Synthse H (5)
Synthse H (6)
Synthse H (7)
Thorme (Synthse LMI de correcteur H )
Trouver les matrices symtriques R et S qui vrifient :
T AR + RAT RC1T
B1
NR 0 NR 0
C2 R Inz D21 < 0 (53)
0 Inv 0 Inv
B1T T
D21 Inv
T AT S + SA SB1
C1
NS 0 BTS T NS 0
1 Inv D21 < 0 (54)
0 Inz 0 Inz
C2T D21 Inz
R In
0 (55)
In S
NR et NS : bases des noyaux de B2T D12 T et C
2 D21 .
Commande Robuste
Thorie de la commande
Dissipativit
Synthse H (8)
Rsolution par LMI [Gahinet & Apkarian] (4)
La dtermination du correcteur :
1 Dtermine les matrices R et S partir des LMI du
thorme 3.
2 Soit r le rang de la matrice In RS. Une dcomposition en
valeurs singulire permet de dterminer les matrices M et
N Rnr telles que :
MN T = In RS (56)
Synthse H (9)
Plan
2 Outils danalyse
3 Synthse H
4 Thorie de la commande
Prsentation
y
actionneur transmission charge
souple
u
r
rgulateur
Schma-bloc
Commande Robuste
Analyse de la robustesse des systmes LPV
Exemple de systme mcanique
Prliminaire
Soit un polytope D = [x 1 ; x 1 ] ... [x p ; x p ] et lensemble
des sommets D s = {x 1 ; x 1 } ... {x p ; x p }
Soit f (x) une fonction dfinie sur D valeur dans R ou
dans Rnn avec f T (x) = f (x)
Si f (x) est affine, alors f (x) < 0 x D s f (x) < 0
x D
Si f (x) est multiconvexe, alors f (x) < 0 x D s
f (x) < 0 x D
Commande Robuste
Analyse de la robustesse des systmes LPV
Analyse des systmes LPV affines
Q() > 0 s
Q0 < 0 s , s
AT ()Q() + Q()A() + Q()
ATk Qk + Qk Ak 0 k 1
Commande Robuste
Analyse de la robustesse des systmes LPV
Analyse des systmes LPV affines
M() QB() C T ()
B T ()Q I D T () < 0
C() D() I
Q() > 0 s
Q()B() C T ()
M(, )
B T ()Q() I
D T () < 0 (, )
C() D() I
= AT ()Q() + Q()A() + Q().
o M(, )
Commande Robuste
Analyse de la robustesse des systmes LPV
Analyse des systmes LPV affines
o M(, = AT ()Q() + Q()A() + Q()
) Q0 .
Commande Robuste
Analyse de la robustesse des systmes LPV
Analyse des systmes LPV affines
-analyse (1)
Dfinition (1)
v z
- M(s)
-analyse (2)
Dfinition (2)
= taille (norme H ) de la plus petite incertitude
dstabilisant le systme
Pour M = M(j), () = infE ()\ det(I M ) = 0 ;
() = 0 si det(I M ) = 0 E
= max ()
Robustesse si < 1
Pour = 1 Cm1 m1 , () = (M ) et = kM(s)k
Commande Robuste
Analyse de la robustesse des systmes LPV
-analyse
-analyse (3)
-analyse (4)
-analyse (5)
-analyse (5)
Analyse de la robustesse
M(s) fait partie du systme en boucle ferme o les
transferts exognes sont supprims
s
v1 z1
-
v2 - M(s) z2
-
Commande Robuste
Analyse de la robustesse des systmes LPV
-analyse
-analyse (6)
s 0
0 p
v z
- M(s)
Commande Robuste
Analyse de la robustesse des systmes LPV
-analyse
-analyse (7)
-analyse (8)
-analyse (9)
-analyse (10)
-analyse (11)
-analyse (12)
Robustesse en stabilit
Commande Robuste
Analyse de la robustesse des systmes LPV
-analyse
-analyse (13)
Robustesse en performance