AC423 Slides
AC423 Slides
Problème 1
2 3 6
D1 2 F1
B1
3 1 5 5 10
C2 E2 4
G
A
6 8 7
3 D2 4 F2 3
B2 4 3 7
C3 E3 5
2 3 6
D1 2 F1
B1
3 1 5 5 10
C2 E2 4
G
A
6 8 7
3 D2 4 F2 3
B2 4 3 7
C3 E3 5
• Etape 2 :
– de E1, on a L(E1) = d(E1,F1)+L(F1)=16
– de E2, on a L(E2) = min{d(E2,F1)+L(F1), d(E2,F2)+L(F2)}
= min{4+10, 7+3)}=10
– de E3, on a L(E3) = d(E3,F2)+L(F2)=8
• Etape 3 :
– de D1, on a L(D1) = min{d(D1,E1)+L(E1), d(D1,E2)+L(E2)}
= min{2+16, 5+10)} = 15
– de D2, on a L(D2) = min{d(D2,E2)+L(E2), d(D2,E3)+L(E3)}
= min{4+10, 7+8)} = 14
T 1
1 f
1
min J u J xk , k xTj Q j x j u Tj R j u j xTTf PT f xT f
u 2 j k0 2
Hyp: f de classe C2
Si x* est un minimum local de la fonction f alors
f x* h f x * 0
= 0 pour h = 0
f x* 1 2 2 f x*
soit f x h f x 0 h
* *
h 0
x *
2 x * 2
• h < 0, on en déduit f x *
1
h
2
f x *
0
x* 2 x*
2
f x*
0 est une condition nécessaire
x *
0
2f x *
*2
x
0
f x* 0
2f x *
x* *2
x
Notations :
Le coût associé au point final est
1 T
J opt x Tf , Tf J x Tf , Tf x T PTf x Tf
*
2 f
où le poids final Ptf est donné par le designer.
1 T
2 f
x T 1QTf 1x Tf 1 u T
Tf 1
R Tf 1u Tf 1 1 T
x T PTf x Tf
2 f
• Etape 2
2Jx Tf 1, Tf 1
0
2
u T
f 1
Soit
J 2 x Tf 1, Tf 1
u Tf 1
2
R Tf 1 BT PTf B 0
1 T
J x Tf 1, u Tf 1, Tf 1 x T 1PTf 1x Tf 1
*
2 f
– Soit
PTf 1 QTf 1 A T PTf A LTT 1BT PTf A
f
T T
T
PTf 1 QTf 1 A PTf A A PTf B R Tf 1 B PTf B
1 T
B PTf A
• Solution
– Gain *
u R B P B T
1 T
B P Ax
– EAR T
P Q A P AA P B R B P BT
T
1 T
B PA
• Critère
Tf 1
J u 0 , u1, u Tf 1
Lx k , u k , k LTf x Tf , Tf
k 0
• Contrainte
x k 1 Fx k , u k , k
• Solution
D’après le principe de Bellman, ce problème se réduit à trouver une
fonctionnelle V(x(t), t) définie sur [0, Tf] solution de
• Rappel f
x* arg min f
x
min
0
f x* 0
2f x * x*
x* *2
x
Auteur: Damien Koenig
08/09/2017 27/96
http://koenig-damien.jimdo.com
LQ à horizon fini : par res. de l’eq aux différences
V x T f 1 , T f 1 L x T f 1 , u T f 1 , T f 1 V x T f , T f
• Résolution
V xT f 1, T f 1
1 T
2
1
xT f 1QT f 1 xT f 1 uTTf 1RT f 1uT f 1 xTTf PT f xT f
2
V x Tf 1 , Tf 1 0 et
2V x Tf 1 , Tf 1
0
u u 2
u u*
•
1 Tf T
1 T
LQ: Ju x t Qx t u t R t u t dt x Tf PTf x Tf
2 t
T
2
– contrainte x Ax Bu
• Cas général
Tf
– Minimiser Ju Lx, u, t dt LTf x Tf , Tf
t
• Solution
V
u* arg min Lx t , u t , t Fx, u, t
u x
HJB 2HJB
0 et 0
u u u* 2
u
• Critère J u
1 Tf T
2 t
xt Qx t u T
R u
t t t dt
1 T
x T PTf x Tf
2 f
– Contrainte x Ax Bu
• 2
Résolution V x t , t 1 x TtQx t u Tt R t u t
1 Tf T
1 T
Vx t , t x t Qx t u t R t u t dt x T PTf x Tf
2 t
T
2 f
1
– avec Vx t , t x T
t Pt x t
2
x Q x u
1
• Critère min J u J x , lim T
t t
T
t R ut dt
u T f 2
0
• Contrainte
x Ax Bu
• Solution
ut* R 1BT Pxt
0 Q AT P PA PBR 1BT P
• Système bouclé x t A BL t x t
1 T
– avec L t R t B P
– Preuve V x t x T
t Pt x t 0
x t 1 x T
V
2
Q x
t t t u T
R u
t t t
1 T
2
x t Q t
LT
t R t Lt x t 0
Auteur: Damien Koenig
08/09/2017 34/96
http://koenig-damien.jimdo.com
Propriétés de robustesse d’une commande LQ
• Le transfert de boucle s’écrit
• avec
On pose
H, x, u
2
1 T
x Qx u T Ru T Ax Bu
1 T Tf
Rq: Ju x T PTf x Tf H, x , u Ax Bu dt
T
–
2 f 0
1
2
T
x Qx u T
Ru
• Cas général
– Continu Hx, u, , t Lx, u, t Fx, u, t
T
avec x Fx, u, k
avec x k 1 Fx, u, k
Auteur: Damien Koenig
08/09/2017 39/96
http://koenig-damien.jimdo.com
Équations canonique de Hamilton
H k 1
• Conditions au 1er ordre : H x k 1
x k 1
H H k 1
x k
x k
Avec la condition terminale
Coût final
TT x T
T
PTf
f x f
+conditions
H H k 1
0 0
u u u* u k u u*
k k
2
H 2H k 1
0 0
u 2 u 2k
Auteur: Damien Koenig
08/09/2017 40/96
http://koenig-damien.jimdo.com
Application: Exercices
• Solution de l’exercice 1
avec x F x, u, k
Coût final H 2H
TT xTT PT f 0
0
u u 2
f x T f f u u*
u
– Application : Véhicule à essence H x, u, , t 0 x s 1 2 xu s u 2
u 2
avec 2
Coût final xT S T Cte
On désire maximiser x(T) et on souhaite S(T) = 0 pour dépenser tout le carburant. est
un multiplicateur constant de Lagrange utilisé pour dualiser la containte S(T)=0.
xT x S
s
• u(t) réalise le maximum instantané de H xu u2
2
H x t 1
0 x t s u t 0 u t
u u u* s t
• Seul le choix
1
2
TT
Coût final
x2 T f T 0 ;
x2 T f 1 t 0, T f
f x Tf x Tf x f1
TT x T f x T f
1 2
f
xT x1 x2
– D’où
H x, u, , t x1 u x2 x1 (t ) u (t ) (t 10)u (t ) x1 (t ) u (t )
H x1 (t ) (9 t )u (t )
• Le principe du maximum de Pontryaguine dit que cette fonction doit être
maximisée à chaque instant t [0,Tf=10]
– Tant que 9-t>0, la maximisation de H est obtenue pour u(t)=x1(t), on
réinvestit tout dans la production sous forme d’engrais
– Tant que t [9, 10], la maximisation de H est obtenue pour u(t)=0,
c’est-à-dire on stocke toute la production de la dernière période.
– A partir de u on en déduit l’évolution du stock pour t [0, 10], …
Première partie :
– La référence yref(t) est constante
Seconde partie :
– La référence yref(t) est variable et correspond par exemple à une
trajectoire prédéfinie à suivre
– Et de la fonctionnelle candidate
– On trouve après quelques manipulations
– Le système d’équations :
Solution P AT P P A P BR 1 B T P C T QC 0 0 2 P 2 4 P 1 P 2 4 2 P 2 0
t t t t t
T T T
T
g t A Lt B g t C Q y ref 0
P 2 2 2 4 4 2 0
h g tT BR 1 B T g t y ref
T
Qyref 0
P 2
2 2
2 4 2 1 0
2 2
2 2
P 2 4 1 P 2 4 1 0
2 2
On obtient
P 2 2 2 4 2 1 yref
ut* Lxt Lxt hyref
g A T
LTt B T C Qy
1 T
ref A T 1
LTt BT C T Q
T
y ref Qyref g tT BR 1 BT g t y ref
2
2 g 2
L R 1 B T Pt R 1 B T 2 2 2 4 2 1 2 1
4 2
1
ut* Lxt 2 g
h AT LTt BT
Auteur: Damien Koenig
08/09/2017 55/96
http://koenig-damien.jimdo.com
Partie 2: Observateur LQ
– Avec
– Cette commande optimale assure la stabilité de AT-CTGT et donc de A-GC et donc
celle de l’erreur d’estimation d’état
– Critère
– Système fictif
– où w G y yˆ
dM t
– où M t AT AM t Q M t C T R 1CM t
dt
– avec M t T0 S 0
avec
– avec
dV
d eTt ' M t1'et '
dt ' dt '
d eTt ' M t1'et ' e C
T T
R 1Ce wT Q 1w
dt '
eTt ' M t1'dM t ' M t1'et '
dt '
t t
eT AT M 1' M 1' A C T R 1C e 2wT M 1' e wT Q 1w
t
d 2wT M 1' e wT Q 1w
t
2M 1' e 2Q 1w* 0
dw t
w w*
• Que l’on réinjecte dans eTt ' M t1'dM t ' M t1'et '
dt '
eT AT M 1' M 1' A C T R 1C e 2wT M 1' e wT Q 1w
t t t
• Horizon infini
Et l’on déduit
Auteur: Damien Koenig
08/09/2017 70/96
http://koenig-damien.jimdo.com
Commande LQG
• Soit
• Commande :
• Sachant que
– sans observateur
• Fonctions de sensibilité
• Procédure :
1. Synthèse du correcteur LQ par un choix approprié des poids
Q et R pour un bon comportement en basse fréquence des
valeurs singulières du transfert de boucle
2. Synthèse LQ de l’observateur en fixant premièrement les
poids W0 et V0 du filtre de Kalman et en augmentant
graduellement le poids
• Principe
• Solution
– Appliquer le principe du théorème de Parseval
En posant
on obtient le critère temporel à pondération unitaire suivant :
• Conclusion
– La synthèse se réduit à un problème de commande LQ à
pondération unitaire :
0 u y
K(p) G p
• Le système augmenté
peut être décomposé selon la représentation d’état suivante :
• Ce système est supposé soumis à une référence yref et à une perturbation en sortie dy.
On propose de comparer les performances d’un régulateur LQG sans pondération
fréquentielle et d’un régulateur LQG à pondération fréquentiel incluant un intégrateur
dans la boucle.
• Calcul de S et T
• Tracés
• Régulateur LQ :
– Critère cas discret
– Sous la contrainte
– Sous la contrainte
• Résolution du problème LQ :
– Critère cas discret