Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ndice
1. Introduo
1. Introduo
1
2. Teoremas de estabilidade para sistemas na forma espao de estado
x ( k 1) Ax ( k )
Soluo x (k )
x ( k ) A k x0
3. Equao de Lyapunov
A verificao da estabilidade de sistemas pode ser realizada indiretamente via a teoria de Lyapunov.
Considere a equao de Lyapunov em P:
A* P PA Q 0
Lema: (Desoer, 1991) Suponha Q Q * 0 e que a equao de Lyapunov tem soluo nica P=P*>0,
ento o estado de equilbrio zero de x Ax exponencialmente estvel, i.e. ( A) C0 .
V ( x ) x T Px
2
Desde que P=P*>0, pode-se obter P U T U com U T U I e a matriz diagonal contendo os
autovalores de P e ento pode-se escrever:
2 2
min ( P ) x V ( x ) max ( P ) x , x C n
utilizando
x T Px x T U T Ux z T z; z : Ux
min ( P ) I max ( P ) I
2
zT z x
V ( x ) x * [ A* P PA ] x x *Qx
Como Q Q 0 *
2
min (Q ) x x *Qx , x C n
V (Q )
min : 2 0, t t0
V min ( P )
Daqui, por integrao tem-se:
V ( x ) V ( x0 ) exp[2 (t t 0 )], t t 0
2 max ( P ) 2
x exp[2 (t t0 )] x0
min ( P )
2 max ( P )
(t , t0 ) exp[ 2 (t t 0 )], t t 0
min ( P )
Teorema: (Chen, 1998) Todos os autovalores de A tm partes reais negativas se e s se para qualquer
matriz Q Q * 0 , a equao de Lyapunov
A* P PA Q
tiver uma soluo nica simtrica P>0.
3
Prova. Necessidade: A equao de Lyapunov no singular ( A e AT tm os mesmos autovalores e
autovalores de (P)= i +j 0 porque A estavel). A soluo pode ser expressa como (usando
e At 0 para t ):
e
A*t
P Qe At dt
0
Considere:
2
*
x T Px x T e A t Q *Q e At dt Q e At x dt
2
0 0
onde Q Q *Q .
P definida positiva desde que Q e e At so no singulares e x T Px 0 para x 0 .
Av v
v * A* *v *
v *Qv v * A* Pv v * PAv
( * )v * Pv 2 Re( )v * Pv
Teorema: Se todos os autovalores de A tiverem parte real negativa ento a equao de Lyapunov tem
soluo nica para todo Q Q * 0 e a soluo pode ser expressa como
e
A*t
P Qe At dt
0
AT ( P1 P2 ) ( P1 P2 ) A 0
* d A*t
e A t [ AT ( P1 P2 ) ( P1 P2 ) A]e At [e ( P1 P2 )e At ] 0
dt
integrando em [0,] tem-se:
.
*
e A t ( P1 P2 )e At 0 o que d P1 P2
0
A 2 parte da prova segue substituindo X na equao de Lyapunov:
* *
A* X XA 0 A* e A t Qe At dt 0 e A t Qe At Adt
d *
0 e A t Qe At dt
dt
*
e A t Qe At 0
0 Q Q
4
Teorema: Se todos os autovalores de A tiverem magnitudes menores que 1 ento a equao discreta de
Lyapunov
P A* PA Q
tem soluo nica para todo Q=Q*>0, e a soluo pode ser expressa como
P ( A* ) m QA m
m 0
r u y
K G(s)
-
KG ( s)
T ( s)
1 KG ( s)
No domnio da freqncia, a estabilidade de sistema realimentado acima pode ser verificada a partir da
localizao dos polos da sua funo de transferncia, T(s).
Estabilidade interna
di d
r u uP y
K G(s)
-
y T ( r n) SGd i Sd
r y S ( r d ) Tn SGd i
u KS ( r n) KSd Td i ;
u p KS ( r n) KSd Sd i ; u p u d i
onde
5
1
S , u p Sd i , y Sd
I KG
a funo de sensibilidade definida como a funo de transferncia entre d e y, ou entre di e up, e
KG
T I S
I KG
a funo de sensibilidade complementar definida como a funo de transferncia entre r e y ou entre
di e u.
Se todas as funes de transferncias de malha fechada forem estveis o sistema dito ser estvel
internamente
Pode-se reagrupar os sinais de entrada externos como w1 (di) e w2 (d) e os sinais de entrada da planta
(up) e controlador (y) como e1 e e2. O sistema realimentado pode ser representado pelo diagrama de
anlise de estabilidade interna, onde todas as diferentes funes de transferncia esto consideradas.
1 1 K
1 K 1 K G 1 K G entre w e e (como no diagrama) for estvel.
H G 1
G 1
1 K G 1 K G
w1 e1
G(s)
+ e2 w2
K
K
K
6
Para aplicar o princpio do argumento para analisar a estabilidade em sistemas de controle, a funo
complexa escolhida como F ( s ) 1 KG ( s ) e o contorno no plano s, o SPLD do plano s, como
ilustrado na figura:
Im(s)
Contorno
no infinito
Re(s)
Sejam P o nmero de polos de Z o nmero de zeros de F(s) no SPLD. Pelo princpio do argumento o
total N de envolvimentos da origem no sentido horrio dado por N=Z-P. Observe que os polos de
F(s) so os polos de KG (s ) .
Exerccio 1. Utilizando o Matlab analisar a estabilidade via critrio de Nyquist dos seguintes sistemas
com realimentao negativa unitria.
1
a) G ( s ) . Devido a diviso por zero, utilizar uma escala adequada para o grfico de
s( s 0.8s 1)
2
Caso MIMO
7
Considere o diagrama de estabilidade interna repetido abaixo:
w
2 e
1
G
(
s)
+ e
2 w
2
K
KK
D P I 0 D P
det det det
N Q G I GK 0 Q
det( D ) det(Q ) det( I GK )
Pode-se concluir ento que cada zero de um zero de det (I+GK) e cada polo de um zero de
det(D) ou det(Q), uma vez que polinomial. E, o sistema a malha fechada no tem polos em DR se e
s se det (I+GK) no tiver zeros em DR e tiver exatamente nG+nK polos em DR. Aplicando o princpio
do argumento a det (I+GK) no contorno DR pode-se concluir que o sistema realimentado no tem polos
em DR se e s se o diagrama de det (I+GK(s)), s DR envolve a origem nG+nK no sentido anti-horrio.