6 Handout
6 Handout
6 Handout
1 Calcul différentiel
2 Cas linéaire autonome : x 0 (t) = Ax (t)
Examen final = écrit (3h) sans documents
x 0 (t) = f x (t)
3 Théorie générale des ED :
sauf une feuille manuscrite
4 Linéarisation & ED linéaires non autonomes :
δx 0 = Df (x (t)) · δx & x 0 (t) = A(t)x (t)
Pour me contacter :
5 Équilibres et stabilité, par email : [email protected]
x 0 = f (x ) vs δx 0 = Df (x0 ) · δx
6 Introduction à l’automatique :
x 0 (t) = f (x (t), u(t))
1 / 19 2 / 19
1 Introduction à l’Automatique
Système de commande = relation entrée/sortie
3 / 19 4 / 19
Représentation d’état d’un système de commande :
Remarque : L’existence des solutions d’une équation différentielle
x 0 (t) = f x (t), u(t)
(
commandée est assurée pour une très large classe de contrôles.
(Σ)
y (t) = g x (t), u(t)
où x = état du système
Théorème de Cauchy-Lipschitz étendu
(paramétrisation du phénomène physique). Supposons que (x , u) 7→ f (x , u) est de classe C 1 .
Fixons des C.I. t0 ∈ R, x0 ∈ Rn et un contrôle u(·) ∈ L∞ .
Pour u(·) fixée, on note fu (t, x ) = f x , u(t) .
Alors il existe une unique solution maximale de :
x 0 (t) = fu t, x (t)
(Σu ) définie sur un intervalle [t0 , t0 + τ [.
y (t) = g x (t), u(t) .
5 / 19 6 / 19
,→ Stabilisation
y (0) = δv
7 / 19 8 / 19
Plan de la séance
Si f (x0 , u0 ) = 0, on dit que (x0 , u0 ) équilibre de
x 0 = f (x , u)
9 / 19 10 / 19
( Définitions
x 0 (t) = Ax (t) + Bu(t)
(Σ) Ens. atteignable à partir de x0 en temps τ :
y (t) = Cx (t) + Du(t) ( )
n ∃ u(·) t.q. la solution de (Σu )
A(τ, x0 ) = v ∈R :
x ∈ Rn , y ∈ Rp , u ∈ Rm avec x (0) = x0 vérifie x (τ ) = v
où A – (n × n), B – (n × m), C – (p × n), D – (p × m)
−→ A(τ, x0 ) = e τ A x0 + A(τ, 0).
commandes u(·) ∈ L∞ ([0, T ], Rm ) (ou cont / mcx)
(Σ) commandable si A(τ, x0 ) = Rn pour tous τ > 0 et x0
Théorème (Variation de la constante) ⇐⇒ A(τ, 0) = Rn pour tout τ > 0
Toute solution x (·) de (Σ) vérifie
Z t
tA
x (t) = e x (0) + e (t−s)A Bu(s)ds. Théorème (Critère de Kalman)
0
(Σ) est commandable ssi
C = [B AB · · · An−1 B] est de rang n.
11 / 19 12 / 19
Observabilité (relation état/sortie) Définition
Esp. d’inobservabilité :
( )
la solution de (Σ0 )
I= x0 ∈ Rn :
( avec x (0) = x0 vérifie y (t) ≡ 0
x 0 (t) = Ax (t) + Bu(t)
(Σ) (Σ) observable si I = {0}
y (t) = Cx (t) + Du(t)
−→ Si (Σ) observable, y (·) détermine de façon unique x (0)
Pbe : Connaissant y (·) et u(·), peut-on retrouver x (·) ?
Théorème
⇐⇒ ( (Σ) est observable ssi la matrice
x 0 (t) = Ax (t)
Connaissant y (·) solution de (Σ0 ) = ,
C
y (t) = Cx (t)
CA
peut-on retrouver x (0) ? O= .. est de rang n.
.
CAn−1
13 / 19 14 / 19
15 / 19 16 / 19
Stabilisation par retour d’état
Lemme
Supposons (Σ) commandable.
Problème Pour tous λ1 , . . . , λn dans C,
Trouver u = K (x ) t.q. toute solution de il existe K t.q. A + BK a pour valeurs propres λ1 , . . . , λn .
(Σu ) : x 0 (t) = Ax (t) + BK x (t)
tend vers 0.
−→ tout système commandable est stabilisable par retour d’état
−→ régimes stationnaires pour u = K (x ) + v (exo 6.8)
17 / 19 18 / 19
Prolongements
19 / 19