Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
A11 A12
, onde A11 e A22 tambm so quadradas.
A21 A22
Suponha primeiramente que A11 seja no-singular.
A111 A12
A11 A12 A11 0 I
Ora,
;
=
A22
A21 A22 0 I A21
0 I
A111 A12 I
A111 A12
I
mas
=
. Esta ltima corresponde a
A21
A111 A12
; por outro lado,
A22
0
I
I 0
=
A
, como se verifica
I
A
I
21
21
imediatamente.
Ento, da primeira igualdade acima em vista das duas seguintes, temos
A12 A11 0 I 0 I
A111 A12
(1)
=
1
A22 0 I A21 I 0 A22 A21 A11 A12
Definindo := A22 A21 A111 A12 e supondo que tenha inversa, temos da eq. de cima:
A11
A
21
A11
A
21
A12
I
=
A22
0
A111 A12
I 0 A11 0
A
21 I 0 I
A11
A
21
A12
A111 + A111 A12 1 A21 A111 A111 A12 1
=
.
A22
1 A21 A111
1
(2)
det[ A] = det[ A11 ]det[ ] = det[ A11 ]det[ A22 A21 A111 A12 ] .
(3)
= A A A1 A .
Definamos
11
11 22 21
Clculos anlogos (na realidade, simtricos, melhor ainda, duais) aos acima, nos do:
A11
A
21
A12
1
=
1
1
A22
A22 A21
1 A12 A221
.
A221 + A221 A21 1 A12 A221
(4)
E alternativamente a (4),
det[ A] = det[ A22 ]det[ ] = det[ A22 ]det[ A11 A12 A221 A21 ] .
(5)
claro que com as facilidades computacionais, ningum iria calcular a inversa de uma
matriz grande ou com muitos elementos fracionrios. Mas a importncia das frmulas
acima continua de p, pois so usadas com freqncia em demonstraes.
1.2 Normas de vetores e matrizes
Seja o vetor x no espao complexo (ou real) de n dimenses, isto , x C n , ou x R n .
1/ p
n
p
A norma p de x definida como x p := xi
i =1
x 1 = xi ;
i =1
x2=
xi
i =1
max xi
1in
(6)
(7)
Ax
x
(8)
A 1 = max aij ,
1 j n
i =1
A 2 = max ( A A) e
A = lim aij ,
1i n
(9)
i =1
Uma outra norma importante, mas que no norma induzida a norma de Frobenius,
definida como A
:= Trao(A A) .
(10a)
Recorda-se que o trao de uma matriz a soma dos elementos da sua diagonal. No
difcil verificar que (faa um exemplo!): A
a
i =1 j =1
ij
(10b)
Amq
Am1 Am 2
Ento para toda norma induzida, temos
(12*)
A11
A12 p
A1q
p
p
A
A22 p
A2 q
21 p
p
.
Ap
Am1 p Am 2 p
Amq
p
Teorema
Seja A Fmn com posto p. Ento existem matrizes unitrias
(13b)
V = [ v1 v2 ... vn ] Fnn
(13c)
1 0
0
1 0
2
0 0
0 0
onde 1 2 p > 0 e p min{m, n} .
0
0
.
(13 d)
Prova: ZDG, pp. 32s. (ZDG so as iniciais dos autores do livro que a base deste curso,
citado logo ao incio).
(14a)
A = V U , donde A U = V , ou seja,
Aui = i vi .
(14b)
(15a)
2
i i
(15*)
(ii) ( A ) ( A) ( ) ;
(iii) ( A1 ) =
( A)
se A tiver inversa.
Prova:
(i): ( A + ) = min x =1 ( A + ) x
min x =1 { Ax x }
min x =1 Ax max x =1 x
= ( A) () .
Portanto, () ( A + ) ( A) .
A outra desigualdade, ( A + ) ( A) () , obtida substituindo A por A + e
por - na prova acima.
(ii) ( A) := min x =1 Ax
=
min x =1 x** A* Ax
( A) min x =1 x = ( A) () ;
(iii) Seja A = U V * , donde A1 = V 1U * .
Portanto, ( A1 ) = ( 1 ) = 1/ () = 1/ ( A) ,
a segunda igualdade se devendo estrutura diagonal de .
Lema:
(15**)
mn
*
Seja A F , sejam U e V tais que A = U V , sejam ui e v j as colunas de U e V,
respectivamente e os valores singulares sejam definidos como
1 ( A) 2 ( A) .... r ( A) > r +1 ( A) = .... = 0 , com r min(m, n) .
Ento,
1. Posto(A) = r;
2. Ker( A) = span(vr +1 , vr + 2 , ....vn ) e (Ker( A)) = span(v1 , v2 ,....vr ) ;
3. Im( A) = span(u1 , u2 , ....ur ) e (Im( A)) = span(ur +1 , ur + 2 , ....um ) ;
r
5. A
2
F
ur ] , Vr = [ v1 v2
i =1
vr ] e r = diag( 1 , 2 ,...., r ) ;
= 12 + 22 + .... + r2 ;
6. A = 1 ;
7. i (U 0 AV0 ) = i ( A), i = 1, 2,..., p = min {m, n} , para matrizes unitrias apropriadas
U 0 e V0 ;
(Na 6. propriedade acima, trata-se da norma-2 induzida, como ser costume neste texto:
(15***)
B
so dadas por:
A
Lema:
(15#)
mn
k n
*
*
Sejam B F
e C F . Suponha que m k e B B = C C . Ento eixste uma matriz
mk
U F tal que U *U = I e B = UC.
Prova: ZDG, p. 37
Pode-se definir a raiz quadrada de uma matriz positiva semi-definida A por
A1/ 2 = ( A1/ 2 )* 0 tal que A = A1/ 2 A1/ 2 .
A raiz quadrada de uma matriz pode ser calculada facilmente se a matriz for
diagonalizvel, isto , se existir uma matriz U tal que UAU * = , onde uma matriz
diagonal constituida pelos auto-valores da matriz A. Ento, se fizermos A1/ 2 = U 1/ 2U * ,
obtemos efetivamente A = U 1/ 2U *U 1/ 2U * = U U * .
(15##)
Teorema de Parrott:
X
Defina-se 0 := min X
C
Prova: ZDG, pp. 41s.
B
. Ento, 0 = max [C
B
A] , .
A
(15$)
X B
Seja > 0 . Ento as solues X tais que
so dadas por
C A
X = YA* Z + ( I YY * )1/ 2W ( I Z * Z )1/ 2 ,
onde W uma contrao ( W 1 ) arbitrria, enquanto que Y e Z, com
Y 1 e Z 1 so solues das segintes eqs.
(16a)
(16b)
0 1
0
Soluo:
1
s + 1 2
s 1 2 1
1
1
H ( s ) = [1 1]
= [1 1]
=
. A realizao de
s 1
s + 1 0 s + 1
( s + 1)( s 1) 0
0
ordem mnima desta funo de transferncia ser dada por
A = 1, B e C tais que BC = 1
A B
C ( sI A) 1 B + D =
C D
(18c)
B
.
D
8
0 1 0
Esta igualdade parece estranha, mas no tem nada de estranho, pois o que est entre [ ]
no so matrizes, mas funes de transferncia, anotadas de modo no convencional. Esta
notao alem de ser compacta, mostra claramente de que realizao se trata. claro que o
modo convencional de indicar a igualdade acima
1
s + 1 2 1 BC
.
H ( s ) = [ 0 1]
=
s 1 0 s + 1
0
- Recorda-se que a soluo de (16a) dada por
t
x(t ) = e A( t t0 ) x(t0 ) + e A( t ) Bu ( )d .
(19)
t0
Comparando esta com (17a), que supe nulo o estado inicial, conclui-se facilmente
t
( sI A) 1 x(t0 ) .
(19*)
A ( t t0 )
x(t0 ) + C e A(t ) Bu ( )d + Du (t ) ,
(20a)
t0
Observao: Daqui para frente a dimenso da matriz A ser sempre n , a no ser que
seja expressamente escrito o contrrio.
Teorema: As seguintes afirmaes so equivalentes:
i) (A,B) controlvel;
t
(22)
Exemplo:
Verificar se o sistema em que A e B so dadas a seguir controlvel.
1 1 2
1 1
A = 0 1 1 , B = 0 1
0 0 2
1 0
(22*)
Soluo:Vamos usar o mtodo (iii) do teorema acima. Temos que verificar se o posto de
B AB A2 B igual ou inferior a 3.
Ora, efetuando, verifica-se que no necessrio calcular A2 B , pois
1 1 3 0
[ B AB ] = 0 1 1 1 e nesta matriz a 2. a 3. e a 4. colunas so l.i, portanto o
1 0 2 0
sistema controlvel.
O mtodo acima, usando a matriz de controlabilidade, , de longe, o mais usado, sendo
tambm de fcil aplicao quando se usa computador, ainda que por sua natureza possa
ter problemas quando o computador no consegue distinguir valores muito prximos,
mas diferentes, de zero.
Para resolver rapidamente o problema de verificar a controlabilidade por simples
inspeo, ou quase, o 4. mtodo muito conveniente, como se pode ver no seguinte
Exemplo:
10
1 2 3 4
1 5
0 1 0 3
, B = 2 2 .
1 2 1 0
4 4
0 0 0 2
0 0
Soluo: usando o mtodo (iv), temos
3
4 1 5
1 2
0
+1 0
3 2 2
I
A
B
. E claro que se = 2 , a llima
[
]
1
2 1
0
4 4
2 0 0
0
0
0
linha desta matriz se anula, e portanto o sistema no controlvel.
A seguir, temos resultado importante, demonstrado h mais de 40 anos e que j foi
enunciado como vi) do Teorema (22), mas que vale enfatizar:
Teorema:
(22**)
possivel posicionar arbitrariamente os autovalores do sistema (16a) atravs de
realimentao do estado, u=Fx , se s se o sistema for controlvel.
0 2
1
1 + f1 2 + f 2
1 2 1
. Ento temos que
+ [ f1 f 2 ] =
F = [ f1 f 2 ] , temos A + BF =
2 + f 2
0 2 1
f1
os autovalores do sistema realimentado so dados pelas razes do polinmio
1 f1 2 f 2
2
det
= (1 + f1 + f 2 ) + f 2 + 2 . Escolhidos os autovalores do
2
f
f
1
2
11
Vale observar que se a soluo foi nica neste caso, isto no ocorre em geral quando o
controle u tem mais de uma componente
(23)
Definio:
Um sistema x(t ) = Ax(t ) dito assintoticamente estvel se todos os autovalores de A
estiverem no semi-plano aberto da esquerda, ou seja, se Re[ ( A)] < 0 .
(23*)
Definio:
Os autovalores da matriz A, chamada por alguns autores de matriz do sistema, so
chamados polos do sistema.
Exemplo:
Vejamos se o sistema do exemplo (22*) estvel. Para isso, temos que calcular os
autovalores da matriz A:
1 1
2
det( I A) = det 0
1 1 = ( 1)2 ( 2) . Donde se v que o sistema no
0
0
2
assintoticamente estvel, pois tem 3 autovalores da matriz A (ou polos do sistema) fora
do semiplano aberto da esquerda, bastaria um.
1
0
12
n
0 0
(Matrizes A e A que satisfaam a A = T 1 AT so ditas similares).
Ora nem toda matriz diagonalizvel, como se pode verificar na segunda matriz do
ltimo exemplo.
Para ver isto, suponha que a dita matriz seja diagonalizvel, ou seja, suponha que exista
uma matriz T (escolhendo, sem perda de generalidade, a = 1 na matriz acima), tal que
0 1
0 0
a b
. Seja ento T =
T 1
T =
. Ento,
0 0
0 0
c d
1 d b 0 1 a b 0 0
.
=
ad bc c a 0 0 c d 0 0
Calculando, obtemos
bd = 0, bc = 0, cd = 0, d 2 = 0 d = 0 .
13
a 0
Mas da segunda igualdade acima, se b = 0, ento T =
, que no tem inversa, e se
c 0
a b
c = 0, temos T =
, que tambm no tem inversa, donde se conclui que a matriz
0 0
0 1
0 0 no efetivamente diagonalizvel.
- Mas se uma matriz no diagonalizavel, ela pode ser tansformada em matriz bloco
diagonal da seguinte forma:
0
J1 0
0 J
0
q
2
1
J q
0 0
0
i 1 0
0 1
0
i
forma: J i = 0 0 i
0 , onde este bloco, que chamado bloco de Jordan, tem
0 0 0
i
na sua diagonal o auto-valor correspondente e 1s na primeira sobre-diagonal.
E o resultado seguinte caracteriza os sistemas marginalmente estveis.
(24)
Teorema:
Um sistema marginalmente esstvel se s se no tiver polo no semiplano aberto da
direita e tiver pelo menos um polo no eixo imaginario e cada polo neste eixo com grau de
multiplicidade maior do que 1 no pertencer a bloco de Jordan com ordem maior ou igual
a dois.
0 1
O exemplo acima com A =
um bloco de Jordan de ordem 2 e, como vimos, o
0 0
estado apresenta o modo t , alem de constante
0 1 0
Se A = 0 0 1 , temos um bloco de Jordan de ordem trs, cujo estado apresentar o
0 0 0
modo t 2 , alem de t e constante.
14
0 0 0
0 1
0 0
0 0 0
Se A =
, temos dois blocos de Jordan, um de ordem dois e o
0 1 0
0 0
0 0
0 0 1
0 0 0
0 0
outro de ordem trs. (O tracejado dentro da matriz para separar os blocos, no tem nada
a ver como matriz de transferncia, claro...). O estado deste sistema apresentar os
modos t 2 , t e constante.
- Passamos a outro conceito importante:
Um sistema pode no ser controlvel e, no entanto, ser estabilizvel por meio de
realimentao de estado, como se v no seguinte
Exemplo:
1 0
0
A=
, B = . Este sistema tem um polo bom, igual a -1, que d origem a um
0 1
1
modo bom igual a e t , uma exponencial decrescente, e um polo ruim, igual a 1, que
d origem a um modo ruim, igual a et , uma exponencial cresente.
Se realimentarmos o estado do sistema com u = Fx = [ f1 f 2 ] x , obtemos
0
1
A + BF =
. E os polos do sistema com realimentao de estado so dados
f1 f 2 + 1
pelas razes de ( + 1)( f 2 1) . Observe-se que uma das razes deste polinmio fixa,
igual a -1, um polo bom. Podemos escolher o outro polo arbitrarimante igual a a < 0,
fazendo f 2 + 1 = a , donde f 2 = a 1 .
E assim temos a motivao para a
(25a)
Definio:
O sistema (16a), ou mais compactamente, o par (A, B) dito estabilizvel se existir uma
realimentao u = Fx tal que o sistema seja estvel, isto , A + BF seja estvel. Esta
estabilizabilidade chamada de estabilizabilidade por realimentao de estado.
Obtem-se o seguinte resultado:
Teorema:
As seguintes proposies so equivalentes:
i) (A, B) estabilizvel.
ii) A matriz [ A I B ] tem posto cheio (igual a n) para todo Re[ ] 0 .
(25b)
15
0
0
+ 1
evidentemente cheio para todo no semiplano fechado da
Posto
1 1
0
direita, e portanto o par (A, B) estabilizvel.
E passamos ao estudo da propriedade que dual da controlabilidade:
Definio:
(26)
O sistema (16), ou mais simplesmente, o par (C, A) dito observvel se para algum
t1 > 0 o estado inicial x(0) puder ser determinado conhecendo-se u(t) e y(t) no
intervalo [0, t1 ]. Do contrrio, o sistema dito no-observvel.
Teorema:
As seguintes proposies so equivalentes:
i) (C, A) observvel.
t
ii) A matriz Wo (t ) = e A C T Ce A d
T
(27)
o gramiano de observabilidade).
O
C
CA
CAn 1
A I
iv) A matriz
tem posto cheio (igual a n) para todo complexo.
C
v) Sejam e y um auto-valor qualquer de A e seu respectivo auto-vetor direita, ou
seja, Ay = y. Ento Cy 0 .
vi) Os auto-valores de A + LC podem ser escolhidos arbitrariamente por meio de uma
escolha apropriada de L, com a restrio de que a todo auto-valor complexo deve
corresponder um outro, que seu complexo conjugado.
vii) ( AT , C T ) controlvel.
A proposio vii) logo acima explica o que entendido como dualidade.
Prova: equivalncia entre (i) e (iii):
Com u = 0, temos
y (0) = Cx(0), y (0) = Cx(0) = CAx(0), y (0) = Cx(0) = CA2 x(0), ...,
y ( n1) (0) = Cx ( n1) (0) = CAn1 x(0) .
Ou seja,
16
y (0) C
y (0) CA
y ( n 1) (0) CAn 1
Ora, por hiptese, conhecemos y e todas as suas derivadas no instante t = 0. Se a matriz
acima tiver posto cheio, podemos determinar x(0) e se no tiver posto cheio, no
podemos.
A equivalncia das outras condies pode ser demonstrada por dualidade com as
condies de controlabilidade do teorema (22).
Observao:
(28)
De posse da definio de observabilidade acima, podemos acrescentar uma stima
proposio equivalente ao Teorema (22), a saber,
vii) ( BT , AT ) observvel.
E definimos a propriedade dual da estabilizabilidade (25a):
Definio:
(C, A) detectvel se A + LC for estvel para alguma matriz L.
(29)
(30)
Teorema:
As seguintes proposies so equivalentes:
i) (C, A) detectvel.
A I
ii) A matriz
tem posto cheio (igual a n) para todo Re[ ] 0 .
C
iii) Se for um auto-valor de A tal que Re[ ] 0 e x for o respectivo auto-vetor
direita, isto, , Ax = x , ento Cx 0 .
iv) ( AT , C T ) estabilizvel.
Observao: luz da definio de detectabilidade acima, podemos acrescentar uma
quinta proposio ao Teorema (25), a saber,
iv) ( BT , AT ) detectvel.
x = Ax + Bu
y = Cx + Du
(16 bis)
18
x = Qq + SCx .
Ora, como x(0) est por hiptese no subespao no detectavel, temos Cx(0) = 0 e como
este subespao invariante sob A, temos da 1. eq. acima que C x(t) = 0 para todo t.
Ento da 2. eq. acima temos q(t) = 0 para todo t. E da 3. eq. acima conclumos que o
estado estimado x nulo para todo t, e portanto diferente de x(t).
Vejamos um
Exemplo: Projetar um observador para o seguinte sistema
1 0
1
x=
x + u , y = [1 0]x.
3 1
2
Soluo: Vamos ver primeiramente se o problema tem soluo: temos que verificar se o
sistema detectvel. Ora,
0
1
I A
Posto
=Posto 3 + 1 claramente igual a 2 para qualquer no
C
0
1
semiplano fechado da direita: basta verificar que se =1, o posto dois e para qualquer
outro no semiplano fechado da direita o posto tambm dois com mais forte razo.
Ento o sistema detectvel.
Um dos autovalores de A +LC igual a -1 e no pode ser mudado, qualque que seja L.
Escolhamos o outro autovalor tambm igual a -1. Ento devemos ter
det( I A LC ) = ( + 1) 2 = 2 + 2 + 1 .
l +1 0
l
1 0 l1
Seja L =: 1 . Ento, A + LC =
+ [1 0] = 1
.
3 1 l2
l2 + 3 1
l2
l1 1
0
2
Ento, devemos ter det
= + 2 + 1 ,
l2 3 + 1
0
1
o que nos d l1 = 2, l2 qualquer nmero real . Donde que A + LC =
.
l2 + 3 1
E do Teorema (31*) temos as eqs. do observador:
0
1
2
1
+
q=
q
u
19
C = [I
x
x = 1 . Donde que Cx = x1 , bastando estimar, atravs de observador, a componente
x2
x2 .
- Como vimos na seo anterior, realimentado o estado de um sistema, podemos
posicionar os seus polos onde bem desejarmos caso o sistema seja controlvel. Mas para
isso, preciso que os polos possam ser acessados e medidos, o que no acontece muitas
vezes.
Vamos ento realimentar o estado estimado atravs do observador de Luenberger, dado
pela eq. do teorema (31*).
Seja ento
u = Fx .
Ento, da eq. (31**), obtemos
x = ( A + LC + BF ) x LCx .
E substituindo u = Fx na eq. de estado da planta, (16a), temos
x A
=
x LC
BF
x
.
A + BF + LC x
e A + LC
=
x LC
0 e
.
A + BF x
Esta ltima eq. mostra que os plos do SMF, composto de planta e observador, so a
unio dos polos de A + LC e os de A + BF. Ora, se a planta for controlvel e
observvel, podemos posicionar arbitrariamente os polos do SMF mediante escolha
apropriada das matrizes F e L.
E note-se que se ao invs de a planta ser controlvel e observvel, ela for estabilizvel e
detectvel, poderemos sempre estabilizar o SMF, mas neste caso os polos estveis da
planta ficam fixos, no podendo ser posicionados arbitrariamente, como vimos em
exemplo.
Substituindo u = Fx em (31**), lembrando que x = q e que Cx = y Du , temos
u ( s ) = F ( sI A BF LC LDF ) 1 ( L) y ( s ) .
A matriz de transferncia entre u(s) e y(s) dada acima a do controlador com base em
observador. Denotemo-la por K(s). Ento, temos
20
A + BF + LC + LDF
K (s) =
F
L
0
A
G1 ( s ) = 1
C1
B1
A2
, G2 ( s ) =
D1
C2
B2
D2
Considere a associao dos dois sistemas indicada no diagrama de blocos abaixo. Tal
associao chamada em cascata ou em srie.
G1
G2
Figura 1
Observe-se que para que esta associao seja possvel, o nmero de entradas de G1 deve
ser igual ao de sadas de G2 .
A matriz de transferncia da associao acima G1 G2 .
No caso multi-varivel, mesmo que o produto G2 G1 seja possvel, tem-se em geral
G1G2 G2G1 . E isto porque o produto de matrizes no , em geral, comutativo.
Temos as seguintes frmulas compactas:
A1
G1 ( s )G2 ( s ) = 0
C1
B1C2
A2
D1C2
B1D2 A2
B2 = B1C2
D1D2 D1C2
0
A1
C1
B2
B1D2
D1D2
(32a)
21
I ( sI A1 ) 1 B1C2
sI A2 0
I
1
1
I ( sI A1 ) B1C2 ( sI A1 )
0
=
=
1
sI
A
0
(
)
I
0
2
1
1
1
( sI A1 )
( sI A1 ) B1C2 ( sI A2 )
1
1
X ( s ) = C1 ( sI A1 ) B1 D2 + C1 ( sI A1 ) B1C2 ( sI A2 ) 1 B2 + D1C2 ( sI A2 ) 1 B2 + D1 D2 . (#)
Por outro lado, temos
sI A1
mas
0
sI A1
B1C2
=
sI A2
G1 ( s )G2 ( s ) = C1 ( sI A1 ) 1 B1 + D1
)( C (sI A )
2
B2 + D2
= C1 ( sI A1 ) 1 B1C2 ( sI A2 ) 1 B2 + D1C2 ( sI A2 ) 1 B2 + C1 ( sI A1 ) 1 B1 D2 + D1 D2
= X(s) dado em (#), quatro linha acima.
Exemplo:
Calcular a associao em cascata das matrizes de transferncia, que tm as seguintes
realizaes:
1 8 2
1 2
1 , B1 = 1 1 , C1 = [ 2 0 4] e D1 = [5 1] ,
A1 = 2 3
4 2 1
0 1
1 2
0 10
0 10
, B2 =
, C2 =
e D2 = 022 .
5 4
4 1
4 1
Para exprimir a matriz de transferncia G1 ( s )G2 ( s ) de forma compacta, efetuamos os
A2 =
8 8
produtos: B1C2 = 4 11 , B1 D2 = 032 , D1C2 = [ 4 49] , D1 D2 = 012 .
4
1
Ento, temos:
1 8 2 8 8
2 3 1 4 11
4 2 1 4
1
G1 ( s )G2 ( s ) =
0 0 0 1 2
0 0 0 5
4
2 0 4 4 49
0
0
0
0
4
0
0
0
0
10
1
22
G1
u
G2
claro que
y ( s ) = G1 ( s )u ( s ) + G2 ( s )u ( s ) = ( G1 ( s ) + G2 ( s ) ) u ( s )
A1 0
G1 ( s ) + G2 ( s ) = 0 A2
C1 C2
B2
D1 + D2
B1
(32b)
Prova:
O segundo lado da igualdade acima
1
0 B1
sI A1
[C1 C2 ] 0 sI A B + D1 + D2
2
2
1
1
C1 ( sI A1 ) B1 + C2 ( sI A2 ) B2 + D1 + D2 = C1 ( sI A1 ) 1 B1 + D1 + C2 ( sI A2 ) 1 B2 + D2
= G1 ( s ) + G2 ( s ) .
Exemplo:
claro que na associao em paralelo as duas matrizes de transferncia tm que ter as
mesmas dimenses. Seja
1 5
1
, B1 = , C1 = [ 3 2] e D1 = 2
A1 =
4 8
4
1 2
1
, B2 = , C2 = [3 1] e D2 = 1 .
4 7
3
Portanto,
A2 =
1
4
G1 + G2 = 0
0
3
5 0
8 0
0 1
0 4
2 3
1
0 4
2 1
7 3
1 3
0
23
(32c)
G1
v
_
G2
Figura 3
Obtemos a seguinte matriz de transferncia T(s), cuja demonstrao omitida posto que
bastante trabalhosa. De (32c), o primeiro passo da demonstrao calcular I + G1G2
usando (32a) e (32b). A seguir, temos a parte mais trabalhosa da demonstrao, que
calcular ( I + G1G2 ) 1 , que feito primeiramente transformando a matriz A em produto
de matrizes bloco-diagonais, cujas inversas so imediatas. Este o pulo do gato. O
resto rotina trabalhosa.Last not least, premultiplicar ( I + G1G2 ) 1 por G1 , usando
novamente (32a). Obtem-se:
A1 B1D2 R121C1
T = B2 R121C1
R121C1
B1R121C2
A2 B2 D1R211C2
R121D1C2
B1R211
B2 D1R211
D1R211
(32d)
24
E portanto,
1
4 2
s + 1
s + 2 4 2
1
T = [3 0]
= [3 0] 2
s + 1 0
s + 3s + 14 3
3 s + 2 0
2s + 4
1
6s + 12
, conferindo com o resultado encontrado
= [3 0] 2
= 2
s + 3s + 14 6 s + 3s + 14
acima.
Definio:
O sistema conjugado de G(s) definido por
(33)
G ~ ( s ) = G T ( s ) = BT ( sI AT ) 1 C T + DT
AT
= T
B
C T
DT
(33*)
Teorema:
A BD C
G =
D C
BD
Prova:
Vamos provar este resultado s para a inversa direita, o procedimento em tudo
semelhante para a inversa a esquerda. Vamos calcular o produto GG usando (32a):
A
GG = 0
C
BD C
A BD C
DD C
BD
BD
DD
Mas DD = I , donde
A
GG = 0
C
BD C
A BD C
C
BD
BD
I
25
= CT 1 T ( sI A)T 1
TB = CT 1 sI TAT 1
I
Para o sistema acima com T =
0
BD C I I
I I A
0 I
=
0 A BD C 0 I
[C
TB .
I
I
, temos T 1 =
I
0
0
A
I
0 A BD C , 0
I
,
I
I BD 0
,
=
I BD BD
I I
C]
= [C 0] . Ento, temos
0 I
A
GG = 0
C
0
A BD C
0
BD
I
1
0
sI A
0
= [ C 0]
+I
sI A + BD C BD
0
= I.
0 1
0
Claro que a primeira realizao de ordem mnima, igual a 1. Observe-se que a mesma
funo de transferncia tem uma infinidade de realizaes. Assim, por exemplo, o
segundo elemento de C2 pode ser qualquer nmero real. E na primeira realizao, basta
que o produto B1C1 seja igual a 1.
Note-se que a ordem da realizao de ordem mnima de uma funo de transferncia
igual ao grau do polinmio caracterstico da funo de transferncia (= denominador da
26
0
0 A22
Ora a matriz de transferncia do sistema
C ( sI A) 1 B + D = CT 1T ( sI A) 1 T 1TB + D
= CT 1 (T ( sI A)T 1 ) TB + D = CT 1 ( sI TAT 1 ) TB + D
1
( sI A11 ) 1
( sI A11 ) 1 B1
A12 B1
= [C1 C2 ]
+ D = [C1 C2 ]
+D
0
( sI A22 ) 1 0
0
1
= C1 ( sI A11 ) B1 + D . Mas esta realizao de ordem menor que a original, pois claro
que a dimenso de A11 menor que a de A. E portanto a controlabilidade necessria
para que a realizao seja de ordem mnima.
Para a necessidade da observabilidade procede-se de modo dual, sendo possvel
demonstrar que se um sistema for no observvel, existe matriz T tal que
A11 0
1
TAT 1 =
e CT = [C1 0] . E procede-se em seguida do mesmo modo como
A
A
21
22
acima.
(Se): Suponha que a realizao (A, B, C, D) seja controlvel e observvel, mas no seja
mnima. Seja uma outra realizao da mesma matriz de transferncia que seja mnima:
( Am , Bm , Cm , D) . Ento,
C ( sI A) 1 B + D = Cm ( sI Am ) 1 Bm + D , ou seja, C ( sI A) 1 B = Cm ( sI Am ) 1 Bm . (*)
Mas ( sI A) 1 = Is 1 + As 2 + A2 s 3 + ... , supondo que a srie convirja, ou seja, que a
matriz A seja assintoticamente estvel.
(**)
1
e da mesma forma para ( sI Am ) .
Ento de (*), duas linhas acima, temos
CB = Cm Bm , CAB = Cm ABm , CA2 B = Cm A2 Bm ,...
(#)
Ora, lembramos que as matrizes de controlabilidade e observabilidade so
27
C
CA
, respectivamnete.
C = [ B, AB, ..., An 1 B] e O =
n 1
CA
Cm
C A
Definamos C m := [ Bm , Am Bm , ..., Amn 1 Bm ] e O m := m m .
n 1
Cm Am
Mas destas duas e de (#), quatro linhas acima, temos
(##)
OC = O m C m .
Mas das desigualdades de Sylvester, temos
Posto[ O] + Posto[C] n Posto[ O C] min{Posto[ O], Posto[C]} .
Mas como a realizao (A, B, C, D) controlvel e observvel por hiptese,
temos da dupla desigualdade acima que Posto[ O C] = n .
Mas visto que a realizao ( Am , Bm , Cm , D) por hipotese minima, ela controlvel e
observvel, de acordo com a necessidade, j demonstrada do teorema. Seja k o posto de
Cm e de O m . Ento, aplicando as desigualdades de Sylvester a O m Cm , concluimos que
0 1
1
s + 1 0 0
pois Posto[ sI A, B] = Posto
= 1 < 2 s C .
s -1 1
0
( s + 1) 1
0 0 0
Ora, ( sI A) 1 B =
. Ou seja, o polo -1 efetivamente
=
1
( s 1) 1 1 ( s 1)
0
foi cancelado no produto. E observe-se que o sistema com este par (A,B) estabilizvel,
s + 1 0 0
pois Posto[ sI A, B ] = Posto
= 2 s C+ . Ou seja, como visto acima,
s -1 1
0
num sistema estabilizvel , mas no controlvel, h sempre cancelamento de um modo
bom, no caso acima, s = -1.
28
Gi ( s) =
Bi
, i = 1, 2, 3 e 4
Di
Ci
Ento uma realizao de G(s) dada por
A1 0
0 A
2
0 0
G(s) =
0 0
C1 C2
0 0
0
0
0
0
B1
0
A3
0
0
A4
B3
0
D1
C3
C4
D3
0
B2
0
B4
D2
D4
29
Gsp ( s ) =
1
1
W1 +
W2 +
s 1
s 2
1
Wr ,
s r
(*)
1 I k1
G (s) =
0
C1
r I k
Cr
B1
Br
Aplicando o teste PBH do posto, v-se imediatamente que esta realizao controlvel
e observvel.
Exemplo
Achar a realizao de Gilbert da seguinte matriz de transferncia
2s 2
1
2
2
G ( s ) = s + 3s + 2 s 1 .
s 1
s 1
s 2 + s
s 2
Soluo: Primeiramente separamos as partes estritamente prpria e constante
(independentemente de s) e fatoramos os denominadores:
1
6 s 4
2 0 ( s + 1)( s + 2) ( s + 1)( s 1)
.
G (s) =
+
0
1
s
1
1
s ( s + 1)
s2
=
.
,
,
( s + 1)( s + 2) s + 1 s + 2 ( s + 1)( s 1) 2( s 1) 2( s + 1) s ( s + 1) s + 1 s
Ento, temos
30
8
1
1
2
2 0 s + 1 s + 2 2( s 1) 2( s + 1)
,
G (s) =
+
1
0 1 2 1
s + 1 s
s2
ou seja,
2 0 1 0 0
1 2 1/ 2
1 0 1/ 2
1 0 0
G (s) =
+
+
+
+
0 ( s 1) 0 0 s 2 0 1
0 1 s 1 0 s + 1 2
2 0 1 0
1 2 1/ 2
1 1/ 2
1 0
=
+ [1 0] +
I2 +
[ 0 1] +
[ 0 1] .
0
( s 1) 0
s + 1 2
s 2 1
0 1 s 1
Donde temos a matriz de transferncia na forma compacta procurada que nos d, por
simples inspeo, a realizao que mnima:
s +1
s +1
G (s) =
s 1
s2
1/ 2 1/ 2
2
0
0
1 2
0
0
1
1 0
1 0
0 1
0 1
0 1
2 0
0 1
(i) X = e A t Qe At dt ;
0
31
Lo = e A t C T Ce At dt .
T
Lc = e At BBT e A t dt ,
T
1 1
1
A=
, B = , C = [1 3] , D qualquer matriz dois por dois de reais.
0 2
2
Soluo:
ALc + Lc AT + BBT = 0 .
l
n
1 1 l
0 2 n
l + n
donde
2n
m
. Substituindo, vem
p
m l m 1 0 1
0 0
+
+ [1 2] =
,
p n p 1 2 2
0 0
m + p l + m 2m 1 2 0 0
,
+
+
=
2 p n + p 2 p 2 4 0 0
que nos d 4 eqs.: m + n 2l + 1 = 0, p 3n + 2 = 0, p 3m + 2 = 0 e 4 p + 4 = 0 .
3/ 2 1
Donde obtemos m = n = p = 1, l = 3/2, ou seja, Lc =
.
1 1
Seja Lc =:
32
(36)
Exemplo:
Considere a funo de transferncia G ( s ) =
1
. Se a entrada for um sinal limitado, a
s +1
resposta conter este mesmo sinal limitado, alm de uma exponencial decrescente, que
tende para zero. Assim, por exemplo, se a entrada for um degrau aplicado no instante t
= 0, isto , u ( s ) =
1
1 1
1
1
, ento a resposta y ( s ) =
= y(s) =
, esta ltima
s
s +1 s
s s +1
igualdade sendo obtida pelo familiar clculo dos resduos. Ora, a transformada inversa
desta y (t ) = 1 e t , t 0 , ou seja, um degrau diminuido de uma exponencial
decrescente, ou seja, a resposta BIBO
Considere agora a funo de transferncia G ( s ) =
1
, que tem o polo fora do semiplano
s
aberto da esquerda, mas na fronteira. Suponha que a entrada seja a mesma do caso
anterior. Ento a resposta ser y ( s ) =
1
, cuja trasformada inversa y (t ) = t , t 0 ,
s2
33
transferncia, ele tambm ser polo da matriz, mas o grau de multiplicidade do polo da
matriz no ser necessariamente igual ao grau no elemento.
Os polos de uma matriz de transferncia so definidos primeriamente atravs de seu
polinmio caracterstico, que definido agora:
Definio:
(38)
Supondo que todos os elementos de uma matriz de transferncia sejam irredutveis, seu
polinmio caracterstico definido como o mnimo mltiplo comum (m.m.c.) dos
denominadores de todos seus menores.
Lembra-se que os menores de uma matriz de transferncia so os determinantes que se
podem formar com os elementos da matriz, como explicado neste exemplo, onde ser
calculado o polinmio caracterstico:
Exemplo: Considere a matriz de transferncia
1
s
G( s) =
1
s +1
0
1
s ( s + 1)
s +1
( s 1) 2
.
s
s 2 + 2 s
1
s
G( s) =
1
s +1
0
1
s ( s + 1)
s +1
( s 1) 2
.
1
s + 2
=
e
.
2
2
s ( s + 1) s ( s + 2) ( s 1)
s+2
s ( s 1) 2 ( s + 1)
Os denominadores destes menores so portanto
s 2 ( s + 1), s + 2 e s ( s 1) 2 ( s + 1) .
(39b)
Desta e de (39a) temos o polinmio caracterstico de acordo com (38):
s 2 ( s 1) 2 ( s + 1)( s + 2)
34
(41)
0
0
0
1 ( s )
0
2 (s)
0
0
=: S ( s ) ,
U ( s ) P ( s )V ( s ) =
0
r (s) 0
0
0
0
0
0
onde os i ( s ) so tais que cada i ( s ) fator de i +1 ( s ) ; i ( s ) so chamados
(42b)
35
matrizes em funo dos menores dos fatores. Esta demonstrao est, por exemplo, nas
pp. 47ss (numerao embaixo da pgina) do meu texto Sistemas Lineares que se
encontra no meu site.
Mas o conceito de operaes elementares tem que ser explicado para sabermos como
calcular a forma de Smith de uma matriz.
So trs as operaes elementares tanto sobre as linhas como sobre as colunas:
1. Multiplicao de uma linha (coluna) por um nmero real diferente de zero;
2. Permutao de duas linhas (colunas);
3. Adio de uma linha (coluna) multiplicada por um polinmio a uma outra linha
(coluna).
Vejamos exemplos destas trs operaes:
s
s +1
s3
Dada a matriz P ( s ) =
;
2
s 1 s 4 ( s 4)
1. Multplicando a 2. linha por 2, obtemos
s
s +1
s3 s
s +1
s3
. Note-se que isto equivale a
2
2
s 1 s 4 ( s 4) 2( s 1) 2( s 4) 2( s 4)
1 0
premultiplicar a matriz P(s) por
, que uma matriz unimodular pela definio
0 2
acima. Para obter esta matriz, basta efetuar a operao elementar sobre a matriz
identidade
2. Permutando a 2. e 3. colunas, obtemos
s
s +1
s3 s
s3
2
2
s 1 s 4 ( s 4) ( s 1) ( s 4)
1
equivalente posmultiplicao de P(s) por 0
s + 1
, notando-se que esta operao
s 4
0 0
0 1 , de novo uma matriz unimodular,
1 0
obtida, tal como no caso anterior, por aplicao da operao matriz identidade
3. Adicionando 2. coluna a primeira multiplicada pelo polinmio s, obtemos
s
s +1
s3 s
s 2 + s + 1 s + 1
1 s 0
matriz 0 1 0 .
0 0 1
36
Como acabamos de constatar, toda operao elementar, seja aplicada s linhas, seja s
colunas, equivalente, respectivamente, premultiplicao ou posmultiplicao por uma
matriz unimodular.
Mas o produto de matrizes unimodulares unimodular. (Para ver isto, basta considerar
que o produto dos determinantes delas independente de s). Consequentemente, uma
sequncia de operaes elementares equivalente pr- (ou ps-) multiplicao por
matrizes unimodulares. E a recproca tambm verdadeira, ou seja, toda matriz
unimodular que pr (ps)- multiplique outra matriz pode ser decomposta como o produto
de matrizes unimodulares simples (dos tipos das 3 acima), e portanto equivalente a uma
sequncia de operaes elementares.
A demonstrao da Forma de Smith se faz aplicando um algoritmo, com numero
necessariamente finito de passos, cada passo constituindo uma operao elementar.
Vamos mostrar isto atravs de um exemplo, calculando a Forma de Smith da matriz P(s)
acima.
A primeira coisa que se faz , por permutao de linhas e coluna, colocar o elemento de
mais alto grau na posio (1,1). No caso presente, ele j est l.
A seguir, zeram-se todos os elementos da 1. linha e primeira coluna, utilizando-se as
operaes elementares que forem necessrias. No caso presente, temos
s +1
s3 s s + 1
s3
P(s) =
2
3
2
s 1 s 4 ( s 4) 1 5 s + s 9 s + 16
1 5 s 3 + s 2 9 s + 16 1 5
s 3 s 2 + 9s 16
s3
s3
s s +1
s s + 1
0
0
0
0
1
1
.
4
3
2
4
3
2
s 4 s + 1 s + 2 s 8s + 16 s 0 4 s + 1 s + 2s 8s + 16s
Chegados a este ponto, coloca-se em (2,2) o elemento de mais baixo grau, que j est l e
fazem-se operaes elementares para zerar todos os elementos da 2. linha e da 2.
coluna, exceo do elemento (2,2), claro. Ou seja:
0
0
0
0
1
1
4
3
2
3
2
0 s 1/ 4 s 2 s + 8s 16 s 0 s 1/ 4 (7 / 4) s + 8s 16s
0
0
0
0
1
1
3
2
2
0 s 1/ 4 (7 / 4) s 8s + 16s 0 s 1/ 4 (121/16) s 16s
0
0
0
0
1
1
2
0 s 1/ 4 (121/16) s + 16 s 0 s 1/ 4 (1145 / 64) s
0
0 1
0
0 1
0
0 1
0
0
1
0 s 1/ 4 s 0 s 1/ 4 1/ 4 0 1/ 4 1/ 4 0 1/ 4 0
1 0 0
0 1 0 , que a forma de Smith.
37
Claro que poderamos parar na matriz anterior. Mas por conveno, todos os polinmios
da diagonal da forma de Smith, os polinmios invariantes, devem ser mnicos, ou seja,
com os coeficientes do termo de mais alto grau igual a 1.
Como se v neste exemplo, o clculo da forma de Smith pode ser bastante trabalhoso,
mesmo quando a matriz simples, se bem que no clculo acima, poder-se-ia ter cortado
caminho. As operaes feitas acima foram mais complicadas para se seguir o algoritmo
da demonstrao da forma de Smith, conforme mencionado acima.
Entretanto, como j foi mencionado, o primeiro polinmio invariante o m.d.c. de todos
os elemnetos da matriz. Ora, claro que, neste caso, os elementos so todos primos entre
si e, portanto, o primeiro polinmio invariante igual a 1.
E o segundo polinmio invariante o resultado da diviso do m.d.c dos menores de
ordem 2 pelo primeiro polinmio invariante. Neste caso, h trs menores de ordem 2,
formados com a 1. e 2. colunas, com a 1. e a 3. e com a 2. e a 3.
Calculando, obtem-se para o primeiro menor: s 2 4 s s 2 + 1 = 4 s + 1 4 s 1 ;
o segundo menor:
s 3 8s 2 + 16 s s 4 + s 3 = s 4 + 2 s 3 8s 2 + 16 s s ( s 3 2 s 2 + 8s 16) .
Ora, imediato ver que s = 1/ 4 , raiz do primeiro menor, no raiz do segundo,
consequentemente o m.d.c. destes dois menores 1. Donde obtemos a forma de Smith
acima, pelo primeiro mtodo, muito mais trabalhoso e sujeito a erros.
No se deveria concluir porem que isto sempre acontece, pois quando se trata de
polinmios de graus elevado, tem-se que calcular suas razes pelo segundo mtodo, o que
no ocorre no primeiro.
- Os zeros de uma matriz polinomial so definidos pelas razes do menor de maior ordem
no identicamente nulo. Ora o determinante de um produto de matrizes o produto dos
seus determinantes.
Ora, em (42b) as matrizes U e V so unimodulares, portanto as razes de P so as
mesmas, contadas as multiplicidades, que as da matriz S.
r
(s) .
i =1
38
1 ( s )
0
0
0
(s)
1
(
s
)
2
0
0
0
2 (s)
=: M ( s ) ,
(43b)
U ( s )G ( s )V ( s ) =
r (s)
0
0
0
r ( s)
0
0
0
0
onde cada i ( s ) fator de i +1 ( s ) , enquanto que cada i +1 ( s ) fator de i ( s ) ; alem
disso, 1 ( s ) =d(s).
Prova:
Suponha, sem perda de generalidade, que cada elemento de G(s) esteja na forma
irredutvel. Seja d(s) o m.m.c. dos denominadores de G(s) e seja N(s) matriz polinomial
tal que G ( s ) =
N (s)
. Agora aplicamos operaes elementares a N(s) de modo a
d (s)
0
1 ( s )
0
2 (s)
U ( s ) N ( s )V ( s ) =
0
0
0
0
0
0
=: S ( s ) .
r (s) 0
0
0
0
0
Definamos agora
1 (s)
0
0
0
d (s)
2 (s)
0
0
0
d (s)
S (s)
. Cancelando agora os fatores comuns
=
M (s) =
d (s)
(
s
)
r
0
0
0
d (s)
0
0
0
0
entre i ( s ) e d(s), chegamos a (43b). Observe-se em seguida que, como vimos, cada
i ( s ) fator de i +1 ( s ) , portanto cada i ( s ) fator de i +1 ( s ) , pois cada i ( s ) est
sendo dividido pelo mesmo d(s). E por outro lado, ao cancelarmos os fatores de i ( s ) e
d(s), sobra no denominador i ( s ) que fator de i 1 ( s ) . 1 (s) = d (s) , pois se houvesse
39
(44)
r
grau( (s)) .
i =1
Esta noo importante porque se pode demonstrar que a ordem de uma realizao
mnima de uma matriz de transferncia exatamente o grau de McMillan da matriz de
transferncia.
A partir da forma de McMillan, podemos agora definir os zeros de uma matriz de
transferncia, lembrando que os polos j o foram.
Definio:
Os zeros de uma matriz de transferncia, mais comumente chamados de zeros de
(45)
transmisso, so as razes de
(s) .
i =1
(47)
40
Os polos de uma matriz de transferncia, cuja forma de McMillan dada por (43b) so as
r
(s) .
i =1
( s + 1)( s + 2)
1
G(s) =
2
( s + 1)
2
( s + 1) ( s + 2)
2s + 1
( s + 1)( s + 2)
s 2 + 5s + 3
( s + 1) 2
2s + 1
( s + 1) 2 ( s + 2)
( s + 1)( s + 2)
s
. Confere-se primeiramente
2
( s + 1)
2
( s + 1) ( s + 2)
(2 s + 1)( s + 1)
s ( s + 1)
s +1
N (s)
2
Donde que G ( s ) =
, com N ( s ) = s + 2 ( s + 2)( s + 5s + 3) s ( s + 2) .
d (s)
1
2s + 1
s
Passamos ao clculo da Froma de Smith desta matriz:
O m.d.c. dos elementos de N(s) claramente 1, portanto o primeiro polinmio invariante
de G(s), que 1 ( s ) na sua forma de Smith, igual a 1.
A seguir, observe-se que a 1. e 3. linhas acima so l.d., efetivamente a 1. linha a 3.
multiplicada por s + 1.
Ento adicionando primeira linha a terceira multiplicada por -(s + 1), temos
0
0
0
2
N ( s ) s + 2 ( s + 2)( s + 5s + 3) s ( s + 2) . Ora, primeira vista, temos trs
1
2s + 1
s
menores de ordem 2, no identicamente nulos, nesta matriz. Mas calculando, verifica-se
que um deles nulo e os outros dois so iguais a
( s + 2)( s 2 + 5s + 3 2s 1) = ( s + 2)( s 2 + 3s + 2) = ( s + 1)( s + 2) 2 .
Consequentemente, a forma de Smith de N(s)
41
0
0
1
S ( s ) = 0 ( s + 1)( s + 2) 2 0 . E a forma de McMillan obtida dividindo-se esta por
0
0
0
1
0
0
( s + 1) 2 ( s + 2)
s+2
d(s): M ( s ) =
0
0 .
s +1
0
0
0
Ento verificamos que G(s) tem um zero de transmisso em -2, um polo tambm em -2 e
um polo em -1 com grau de multiplicidade 3.
Para encerrar esta seo, preciso tratar ainda dos zeros e polos no infinito.
Uma funo racional estritamente prpria se anula quando a varivel s igual a infinito.
E se a diferena entre o grau do denominador e o do numerador for p, podemos (e
devemos) dizer que o grau de multiplicidade do zero no infinito p.
E por outro lado, dizemos que uma funo de transferncia imprpria tem polo no
infinito, porque quando s igual a infinito, o valor da funo tambm o . E o grau de
multiplicidade do polo no infinito igual diferena entre os graus do numerador e do
denominador.
Mas quando se passa a matrizes de transferncia, j no podemos usar a forma de
McMillan acima para determinar se a matriz tem polos no infinito e nem para determinar
os graus de multiplicidade do zero no infinito.
Por que? Como vemos de (43b), para obtermos a forma de McMillan de uma matriz, pre ps- multiplicamo-la por matrizes unimodulares. Ora, as matrizes unimodulares so
imprprias e, em geral, tm polos no infinito. Portanto, h em geral uma introduo de
polos no infinito na matriz original. E assim, sendo a matriz original prpria, sua forma
de McMillan pode ser imprpria.
Para verificar zeros e polos no infnito de uma matriz, substitumos s por 1/z na sua
forma de McMillan e verificamos se esta matriz tem, e quantos, zeros e polos na origem.
Exemplo:
1 s
G(s) =
, Esta uma matriz polinomial, e alis unimodular. Mas a consideramos
0 1
aqui como uma matriz racional imprpria. Substituindo s por 1/z, temos
42
1 1/ z 1 z 1
G (1/ z ) =
=
. Ora, para calcular a forma de Smith desta matriz,
0 1 z 0 z
vemos que o m.d.c. de seus elementos 1, enquanto que seu determinante z 2 .
1 1 0 1/ z 0
, que tem um zero e
Ento a forma de Mcmillan da matriz em z
=
z 0 z 2 0 z
um polo na origem. Portanto a matriz original G(s) tem um zero e um polo no infinito.
Esta concluso surpreendente: que a matriz G(s) tenha um polo no infinito, no de se
admirar, uma vez que ela imprpria. Mas um zero no infinito? Eis um resultado no
intuitivo.
H2 e H
Seja S um conjunto aberto no domnio dos complexos, isto , S C e seja f(s) uma
funo definida em S, isto , f ( s ) : S C .
Dizemos que f analtica em um ponto z0 se ela for diferencivel em z0 e em todos os
pontos de alguma vizinhana de z0 . Demonstra-se que se f for analtica em z0 , ento
ela tem derivadas continuas de todas as ordens em z0 . Alm disso, f analtica em z0
se s se tiver uma representao em serie de potncias em z0 .
A funo dita analtica em S se ela for analtica em todos os pontos de S.
Teorema do Maximum Modulus:
(1)
Se f(s) for definida e contnua em um conjunto fechado e limitado S e analtica no
interior de S, ento o mximo de f ( s ) obtido na fronteira de S , isto ,
max f ( s ) = max f ( s ) ,
sS
sS
onde S a fronteira de S.
Vejamos alguns espaos importantes neste curso:
- Espao L2 (j R ), onde R o corpo dos reais, um espao de Hilbert definido pelo
conjunto de todas as matrizes F tais que a integral abaixo limitada
Trao[F
( j ) F ( j )]d < ,
(2)
F , G :=
1
2
Trao[F
( j )G ( j )]d < .
(3)
F 2 :=
F, F .
(4)
2
F 2 := sup
Trao[F ( + j ) F ( + j )d
> 0 2
2
2
1
2
Trao[F
( j ) F ( j )]d
(5)
H 2
o complemento ortogonal de
fechado de funes em
subespao de
H 2
L2
H2
em
L2 , ou seja, o subespao
com todos os polos no semiplano aberto da direita ser denotado por RH 2 . (Funes
racionais com todos os plos no semiplano aberto da direita so chamadas de antiestaveis).
Pode-se verificar que se G for uma matriz real racional estritamente prpria e estvel,
ento G H 2 e G ~ H 2 .
44
tempo ser denotado por L2 (- , ). Pode-se provar que existe um isomorfismo entre
este espao e o anterior, ou seja,
(6)
L2 (- , ) L2 (j R ).
- Mais ainda, os seguintes isomorfismos so obtidos:
(7)
L2 [0, ] H 2 , L2 (- , 0] H 2 .
As trs relaes acima so conhecidas como de Parseval e tambm como Teorema de
Plancherel.
- Como consequncia destes isomorfismos, temos o seguinte:
Seja g(t) L2 (- , ) e seja sua transformada de Fourier dada por
(8)
L ( jR ) definido como um
espao de Banach de funes ou matrizes que so essencialmente limitadas em jR com
(9),
onde, como vimos no captulo anterior, () denota o maior valor singular de uma
matriz.
Observe-se que definido tambm o espao L no domnio do tempo, o qual usado,
geralmente, para definir sinais, ao passo que o no domnio da frequncia, L ( jR ) ,
usado geralmente para matrizes ou funes de transferncia e, mais geralmente,
operadores.
45
Re[ s ]< 0
(11)
(12)
(13)
z (t ) = g (t )u ( )d .
ou seja,
(14b)
= gu0
(15b)
z 2 =,
lim sup max zi (t ) = G ( j0 )u0
t
(16a)
= max Gi ( j0 )u0 ,
i
(16b)
(16c)
46
- Note-se que lim sup z (t ) = G ( j0 )u0 (ver (16c)) vale para u0 R q e 0 fixados.
t
L2
L2
u2=
dt
= sup max ui (t )
t
= sup u (t )
t
max gi
i
g (t ) dt
0
Tabela 1
Observe-se que as normas que aparecem dos lados direitos das igualdades acima so
normas euclideanas, isto , a raiz quadrada da soma dos quadrados das componentes do
vetor.
Prova dos resultados acima: ZDG, pp. 108ss.
- Vamos agora calcular majorantes, que sero muito teis, para as normas em H e L1 .
Seja a matriz de transferncia, com dimenses no especificadas, mas compatveis
A B
G(s) =
RH
C D
(16a)
(17)
(18)
Teorema:
1 G
i =1
g (t ) dt 2 i .
47
1
2
Trao[G ( j )G ( j )]d =
1
2
Trao[ g
(t ) g (t )]dt . (19)
fcil verificar que a norma acima limitada se s se a matriz de transferncia G(s) for
estritamente prpria, isto , G () = 0 .
s 1
, temos
s +1
j 1 j 1 1 + 2
G* ( j )G ( j ) =
=
= 1 , donde que a integral acima diverge.
j + 1 j + 1 1 + 2
L2
ou
G2=
2
1
2
H 2 . Consequentemente, quando se
L2
( s )G ( s )]ds
(20)
L2
dado por
G 2 = Trao( B Lo B) = Trao(CLcC T ) .
2
(23)
48
G 2 = Trao ( g * (t ) g (t ) ) dt = Trao ( g (t ) g * (t ) ) dt
2
A*t
At
At
A*t
Trao ( B * e C * Ce B ) dt = Trao ( Ce BB * e C *) dt .
Lc = e BB * e dt e Lo = e A*t C * Ce At dt ,
At
A*t
sendo que, como j vimos, estes gramianos podem ser calculados por (22).
Exemplo:
Calcular a norma em
L2
1
+
=
Trao[
G
(
j
)
G
(
j
)]
d
1 + 2 d = arctg( ) = 2 2 = ,
1
2
portanto G 2 = .
2
Agora vamos eq. (23): Como B = C, os dois gramianos so iguais. Denominemo1
2
lo por L. Ento temos de (22): - L L +1 = 0, donde L = e de (23), G 2 = .
2
2.4 Clculo das normas em
L dada por
(24)
max {G ( jk } .
(25)
1k N
- No caso em que a matriz (ou funo) de transferncia racional, o que ocorre com
frequncia, a norma pode ser computada a partir da sua realizao no espao de estado,
como no Lema abaixo.
(26)
Lema:
Seja > 0 e a matriz dada em (16a).
Ento G
imaginrio H :=
A + BR 1DT C
1
C ( I + DR D )C
onde R = I DT D
T
,
( A + BR D C )
BR 1BT
1
u l
for menor ou igual ao nvel especificado, pare, obtendo G
l
(27)
u ;
u + l
.
l
u + l
l
(d) Testar se G
calculada da mesma
di
P
u
up
n
Figura 1
Na figura acima, como nas que se seguiro, nos somadores, o sinal o (+) a no ser que
conste o contrario, como o sinal () esquerda na figura.
s 1
e K =1, ambas funes racionais
s+2
s+2
s 1
prprias. fcil verificar que u =
(r n d )
di . Ou seja, a funo de
3
3
51
Como consequncia, para saber se um sistema bem posto, basta verificar se a funo
di
w1
y2
e1
y1
e2
K
w2
Figura 2
Em vista do que foi dito antes, o sistema bem posto se s se a funo (matriz) de
w1
e e1 (ou e2 ou y1 ou y2 ) existe e prpria.
w2
transferncia entre
Lema:
O sistema da figura 2 bem posto se s se I K () P () tiver inversa.
(29)
Prova:
Do diagrama de blocos temos imediatamente
, e = w + Pe .
e1 = w1 + Ke
2
2
2
1
Destas duas eqs., temos
)e = w + Kw
( I KP
1
1
2
Ora, para que exista soluo para esta eq. para todo w1 e w2 , necessrio e suficiente
no ponto { }.
Observaes:
1) Vamos verificar que a condio do Lema (29) equivalente a cada uma das duas
seguintes:
I
K ()
P
(
)
I
I P () K () tm inversa.
(30)
52
Prova:
I
0 I K () P () K ()
K () I
P
(
)
I
P
(
)
I
0
I
I
K ()
esquerdo desta eq. tem inversa se s se
tiver, enquanto que o lado
P
(
)
I
K ()
0 I
I
K () I
=
. E exatamente o mesmo
P ( ) I
I 0 I P () K ()
P ( )
2) Para verificar se um sistema bem posto, podemos tambm usar uma realizao no
espao de estado.
Com efeito, seja
A B
A B
P( s) =
, K (s) =
C D
C D
(31)
I D
(32)
tem inversa.
D
I
Ocorre que a planta P frequentemente estritamente prpria, pois a maioria dos sistemas
a matriz
que queremos controlar tem alguma inrcia (mecnica, trmica,...). Mas isto significa
que frequentemente temos D = 0 e portanto a condio (32) satisfeita para todo D .
x = Ax + Be1 ;
e2 = Cx + De1;
+ Be
;
x = Ax
(33)
+ De
.
e1 = Cx
2
(34)
Definio:
Suponha que o sistema da figura 2 seja bem posto. Ele dito internamente estvel se a
origem do espao de estado constitudo pelos dois estados, ( x, x ) = (0,0) , for
53
e1 I D 0 C x
.
e =
2 D I C 0 x
Observe-se que a existncia da inversa acima garantida pelo fato de o sistema ser bem
posto.
Substituindo isto na 1. e 3. eqs, de (33), temos
x
x
= A , onde
x
x
1
A 0 B 0 I
D 0 C
+
A=
.
0 A 0 B D I C 0
(34*)
claro que estabilidade interna equivalente condio que a matriz A seja Hurwitz, ou
seja, tenha todos os seus autovalores no semiplano complexo aberto da esquerda.
Formalizamos isto no
Lema:
O sistema da figura 2 internamente estvel se s se a matriz A for Hurwitz.
(35)
e1 I K w1
e =
2 P I w2
(36)
I K
(36),
, pertencer a
P
I
RH .
Prova:
Em primeiro lugar note-se que dizer que uma matriz racional pertence a RH
equivalente a afirmar que seus polos esto no semiplano aberto da esquerda.
A seguir, observe-se que
0
I 0 I K I K I
=
.
P I
P I 0 I 0 I PK
54
Portanto,
I K
=
P I
1
0
I 0 I
P I
0 I PK
I K
.
0 I
Ou seja,
1
0
I K
I K I
I 0
=
1
P I
0 I 0 ( I PK ) P I
I + K ( I PK ) 1 P K ( I PK ) 1
=
.
1
( I PK ) 1
( I PK ) P
(38a)
) 1
P ( I KP
P I
K ( I PK ) 1
.
( I PK ) 1
(38b)
Sejam
A B
(s) = A B
e
P(s) =
K
C D
C D
realizaes estabilizveis e detectveis de P e K , respectivamente, ou seja, no h
cancelamento de modos instveis nem em P nem em K .
Seja y1 a sada de P e y2 a sada de K . Ento temos as eqs.
x A 0 x B 0 e1
+
=
x 0 B e2
x
A
0
y1 C 0 x D 0 e1
+
y =
2 0 C x 0 D e2
e1 w1 0 I y1
e = w + I 0 y
2
2 2
(39)
e
w
y
e := 1 , w := 1 , y := 1 .
e2
w2
y2
(40)
0 C x 0 D
0 I C 0 x D 0
=
e = w+
e
+
+
w
+
e .
I 0 0 C x 0 D
C 0 x D 0
E, portanto,
55
I D e1 0 C x w1
+ .
=
D I e2 C 0 x w2
(Somente se): Sendo o sistema internamente estvel, ele bem posto, o que implica que
I DD = ( I PK )() tem inversa e, portanto, I PK tem inversa. Mais ainda, de
acordo com o lema anterior, os autovalores de A , dada em (34*), esto no semiplano
aberto da esquerda. Donde se segue que a matriz de transferncia (36) (ou (38)), est em
RH .
(Se): Se a matriz (38) est em
D I D I 0 I DD
I D
Consequentemente, D :=
no singular.
D I
A seguir, pode-se provar que a matriz de transferncia entre
e1 w1
e e w em termos das realizaes no espao de estado
2 2
I D 0 C
B 0 1
D 1
( sI A) 1
+
D ,
D I
B
0
C
0
B 0
C
1
( sI A)
pertence a RH . Mas sendo
0
B
C
0
B 0 0 C
,
( A, B, C ) e ( A , B , C ) estabilizaveis e detectveis, A ,
tambm
0 B C 0
matriz de transferncia
estabilizvel e detectvel.
Donde se conclui que A tem os seus autovalores no semiplano aberto da esquerda e,
56
I K
matriz de transferncia a que dada no Lema, a saber,
, que a matriz de
P
I
e1 w1
transferncia entre e .
e2 w2
E o que o Lema diz que se os componentes desta planta, a saber, as realizaes no
espao de estado de P e K dadas pelas duas primeiras de (39) forem estabilizveis e
detectveis, ento a realizao no espao de estado da planta assintoticamente estvel
se s se sua matriz de transferncia for BIBO estvel.
Observao:
O Lema diz que para checar a estabilidade interna preciso conferir a estabilidade de
quatro matrizes de transferncia. Mas ao invs das quatro do Lema, podem-se checar as
w1
e as respostas da
w2
y1
.
y2
planta e compensador,
Observao:
comum (ou seria melhor dizer que era comum?) entre os prticos, achar que o
sistema em malha fechada estvel se a matriz de transferncia entre a sada da planta e
o primeiro sinal exgeno, tipicamente um sinal a ser rastreado, o for. Isto falso, como
mostra o Lema (37), h que conferir quatro matrizes de transferncia.
Corolrio:
(41)
) 1 RH .
for bem posto e P ( I KP
Prova: A necessidade obvia a partir do bloco (2,1) de (38b). Para provar a suficincia,
comparar (38a) e (38b) e, a partir (38a), vemos que basta provar que ( I PK ) 1 RH .
Ora, ( I PK ) 1 ( I PK ) = I ; donde ( I PK ) 1 ( I PK ) 1 PK = I , ou seja,
) 1 K , que pertence a
( I PK ) 1 = I + ( I PK ) 1 PK = I + P ( I KP
com as hipteses.
RH , de acordo
(42)
Corolrio:
Suponha que P RH . Ento o sistema da figura 2 internamente estvel se s se for
bem posto e K ( I PK ) 1 RH .
Prova: anloga do Corolrio anterior.
57
Corolrio:
Suponha que tanto P como K pertenam a
(43)
RH . Ento o sistema da figura 2
internamente estvel se s se ( I PK ) RH .
Prova: como as anteriores, mas mais fcil.
A BC
PK = 0
A
C DC
A
BD
B e I PK = 0
DD
C
BC
A
DC
BD
I DD
na longa deduo).
A B
( I PK ) 1 =
C D
onde
A BC BD
1
A=
+ ( I DD ) C DC ,
0 A B
C = ( I DD ) 1 C DC , D = ( I DD ) 1 .
BD
B = ( I DD ) 1 ,
B
(#)
58
A 0 B 0 I D 0 C
A=
+
0 A 0 B D I C 0
(*)
D I D I 0 I
D
I 0 I D I
Ora,
=
D I D I 0 I DD D I D I 0 I DD
0 I D
I 0 I
=
, donde
D I 0 I DD 0 I
1
0
I D
I D I
I 0 I + D ( I DD ) 1 D D ( I DD ) 1
=
.
=
1
1
( I DD ) 1
D I
0 I 0 ( I DD ) D I ( I DD ) D
Substituindo isto em (*) acima, concluimos efetivamente A = A .
Portanto, o SMF internamente estvel se s se A = A tiver todos os auto-valores no
semiplano aberto da esquerda.
Ora, sendo o sistema internamente estvel, ( I PK ) 1 RH , o que implica que todos
os zeros de det( I PK ) 1 esto no semiplano aberto da esquerda.
Portanto s nos resta provar que, dada a condio (ii), a condio (i) necessria e
suficiente para a estabilidade interna. Observe-se que a condio (i) afirma que no h
cancelamento de modos instveis no produto P (s) K (s).
Agora observe-se de (#) acima que
A BC
A=
+ B C DC , donde
A
0
sI 0 A BC
[ sI A B ] =
B
C
DC
B
0 sI 0 A
0
I
sI 0 A BC
B
C
DC
B
0 sI 0 A
C DC I
sI 0 A BC
sI 0 A BC
BD
=
=
0 sI 0 A
0 sI 0 A
B
A BC BD
Portanto, o par ( A, B ) estabilizvel se s se
, o for.
0 A B
A BC
C DC ,
0 A o for.
59
RH
da a importncia
RH .
x( s ) e y ( s ) em RH tais que
(46)
x ( s ) m( s ) + y ( s ) n( s ) = 1
Equivalentemente, m( s ) e n( s ) so coprimas se s se todo divisor comum de m( s ) e
n( s ) em RH tiver inversa tambm em RH , ou seja:
Para todo h em RH tal que h, mh 1 , nh 1 RH tenhamos h 1 RH .
E para o caso multivarivel, temos
Definio:
Duas matrizes M e N em
(47)
(48)
se elas tiverem
M
(49a)
Yr ] = X r M + Yr N = I .
N
De modo semelhante, M e N em RH so coprimas esquerda (c.e.) em RH se
elas tiverem o mesmo nmero de linhas e existirem matrizes X l e Yl tais que
[Xr
60
X
N l = MX l + NYl = I .
Yl
(49b)
Seja agora P uma matriz racional com coeficientes reais. Uma fatorao coprima
direita (f.c.d.) de P uma fatorao P = NM 1 , onde M e N so coprimas direita
em RH . De modo semelhante, uma fatorao coprima esquerda (f.c.e.) tem a forma
RH .
Denotemos por
que
Xr
N
Yr M
M N
Yl
=I.
X l
(50a)
Claro que na igualdade acima, uma matriz a inversa da outra, ambas sendo quadradas,
como se pode verificar facilmente. Donde, comutando o produto,
M
N
Yl X r
X l N
Yr
=I.
M
(50b)
(51)
A B
P( s) =
,
C D
onde a realizao indicada estabilizavel e detectvel. Sejam F e L tais que A + BF e
A + LC sejam estveis. Definam-se
61
M
N
Xr
A + BF
Yl
F
=
X l
C + DF
A + LC
Yr
F
=
M
C
L
0 ,
I
D I
B
( B + LD )
I
D
(52)
L
0 .
I
(53)
A + LC
F
( B + LD) A + BF
F
I
B A + LC
+
I F
L A + BF
0 C + DF
B
D
A + LC
0
( B + LD) F
A + BF
F
( B + LD ) A + LC
+ 0
B
F
I
L(C + DF ) LD
A + BF
B
0
0
A + LC
0
X r M + Yr N = 0
0
F
( B + LD) F
A + BF
0
0
A + LC
0
F
0
F
( B + LD)
0
B
L(C + DF )
LD
A + BF
B
I
0
0
62
X r M + Yr N = C sI A
B+I ;
C sI A
B + I = CT 1T sI A
T 1TB + I = CT 1 sI TAT 1
TB + I .
B = 0, e portanto
efetivamente, temos X r M + Yr N = I.
A prova do teorema inclui ainda a demonstrao das outras trs igualdades de (50a).
Observao:
Observe-se que se P for estvel, ento as eqs. (52) e (53) so satisfeitas com
X r = X l = I , Yr = Yl = 0 , N = N = P , M = I , M = I .
(54)
transferncia entre u e v:
A + BF
M (s) =
F
B
,
I
(55)
A + BF
N (s) =
C + DF
B
.
D
(56)
u = Mv , y = Nv.
63
K = UV 1 = V 1U .
(57)
Lema:
(58)
Considere o sistema da figura 2. As seguintes condies so equivalentes:
(i) O sistema internamente estvel;
U
tem inversa em RH ;
V
V U
(iii)
tem inversa em RH ;
N M
(ii)
N
RH ;
tem inversa em RH .
Prova:
Como vimos, estabilidade interna equivalente a
1
I K
I K
RH .
RH , ou seja,
P I
P I
I K I
UV 1 M U M 1 0
Ora,
=
=
.
1
I N V 0 V 1
P I NM
1
I K
M
Donde,
=
0
P I
0 M
V N
U
.
V
(59)
I
0
0 0 M
0 0 0
I 0 M
0 IN
0
I
0
I
0 M
V 0
=
U 0
V N
0
V
.
U
Note que a segunda matriz do lado esquerdo composta das matrizes numerador e
denominador de (59). A primeira matriz do lado esquerdo desta tem posto cheio e,
portanto, ao psmultiplic-la pela segunda matriz, o posto desta no se altera. Ora, a
matriz do lado direito tem claramente posto cheio, pelo fato de os pares (M, N) e (V, U)
serem c. d. Portanto, a segunda matriz do lado esquerdo tambm tem posto cheio e,
portanto as matrizes do lado direito de (59) so c. d.
Da que o sistema internamente estvel se s se
M
N
U
RH , o que prova a equivalncia das condies (i) e (ii).
V
U M
M N
U VM UN
=
V
0
0
.
MV NU
Ora, o lado esquerdo desta eq. tem inversa em RH , consequentemente o lado direito
tambm, provando as condies (iv) e (v).
Para concluir, vamos provar que (v) (i). Ora,
1
I K
I
V 1U
=
;
1
NM
I
P
I
1
1
I
0 VM
V U V
=
mas
1
I 0 I N
NM
1
I
V 1U
M
donde
=
1
I
0
NM
(60)
U M 1 0
,
I
I 0
0 VM
I N
U V
I 0
0
.
I
VM
U
RH .
I
VM
N
Mas
I
ou seja,
N
U I
I N
0 VM
I N
(61)
0 VM UN U
=
,
I
0
I
1
(VM UN ) 1 0
U
=
.
I
I
0
Claro que este lema estabelece tambm, o que j deveria estar claro a esta altura, que K
um controlador que estabiliza o SMF.
65
di
P
u
up
Figura 1 bis
Na figura acima, P a planta, dada, K um controlador (ou compensador) a ser
projetado, y a resposta da planta, r tipicamente um sinal de referencia a ser rastreado
pela resposta da planta, n tipicamente um rudo (frequentemente, um sinal estocstico) a
ser rejeitado na resposta da planta, e os outros dois sinais exgenos so tipicamente
distrbios (usualmente, determinsticos) a serem rejeitados na resposta da planta.
Definamos Li = KP e Lo = PK ,
(66)
que so denominadas matriz de transferncia de entrada da malha e matriz de
transferncia de resposta da malha, respectivamente. Com efeito, a primeira obtida,
partindo-se a malha no ponto u, enquanto que a segunda obtida partindo-se a malha no
ponto y, as matrizes sendo calculadas na direo das setas.
A matriz de sensibilidade de entrada, definida como a matriz de transferncia de di
para u p , ou seja, u p = Si di .
Ora, do diagrama de blocos temos
To = I So = Lo ( I + Lo ) 1 .
(68b)
A palavra complementar usada em vista de T ser o complemento de S, a saber,
T =I S.
Ora, se o sistema for internamente estvel, ento as inversas acima existem e podemos
obter facilmente as seguintes equaes:
(69a)
y = To (r n) + So Pdi + So d ,
(69b)
r y = So (r d ) + To n So Pdi ,
(69c)
u = KSo (r n) KSo d Ti d i ,
(69 d)
u p = KSo (r n) KSo d + Si di .
66
1
,
( I + PK )
( So P) = (( I + PK ) 1 P) = ( PSi ) .
( So ) = (( I + PK ) 1 ) =
(70a)
(70b)
- Por outro lado, boa rejeio dos distrbios d e d i na entrada da planta, u P , requer,
respectivamente, de acordo com (69d), que os seguintes sejam pequenos:
1
,
( I + KP )
( Si K ) = (( I + KP ) 1 K ) = ( KSo ) .
( Si ) = (( I + KP ) 1 ) =
(70c)
(70 d)
- Agora, tenham-se em vista as seguintes propriedades dos valores singulares que valem
para quaisquer matrizes quadradas:
( PK ) 1 ( I + PK ) ( PK ) + 1 ,
(71a)
( KP) 1 ( I + KP) ( KP) + 1 .
(71b)
Destas desigualdades e das igualdades anteriores, temos
1
1
se ( PK ) > 1 ,
( So )
( PK ) + 1
( PK ) 1
1
1
se ( KP ) > 1
( Si )
( KP ) + 1
( KP) 1
(72a)
(72b)
( So )
( Si )
1 ( PK )
1 ( KP )
1,
1.
(73a)
(73b)
67
{ ( PK )
1 ou ( KP )
1} ( So P ) = (( I + PK ) 1 P ) ( K 1 ) =
1
,
(K )
(74a)
{ ( PK )
1 ou ( KP )
1} ( KSo ) = ( K ( I + PK ) 1 ) ( P 1 ) =
1
.
( P)
(74b)
Assim, por exemplo, a rejeio de distrbios implica grandes ganhos na malha aberta,
traduzidos por
( PK ) 1 e ( KP ) 1 .
Mas a afirmao acima no deveria ser interpretada como se o projeto de um sistema de
malha fechada fosse algo trivial.
Efetivamente, h sempre compromissos (trade-offs) a serem obtidos.
Assim, por exemplo, de (69a), obtem-se boa rejeio de distrbios d e di com So
pequeno; mas isto implica que To grande e, portanto a rejeio do distrbio n no
satisfatria. Mais ainda, de (69b), se r for um sinal de referncia a ser rastreado pela
resposta da planta, ento o erro, que se deseja pequeno, ser grande para To grande, ou
seja, o erro ser sensvel ao distrbio n.
Outro ponto da necessidade de compromisso que os ganhos em malha aberta no
podem ser grandes em espectro muito largo de frequncias, conforme explicao a
seguir:
Suponha que a planta seja perturbada, isto , P ( I + ) P , com estvel. Suponha
que o sistema nominal (isto , com = 0) seja internamente estvel. O sistema
perturbado internamente estvel se s se
det( I + ( I + ) PK ) no tiver zero no semiplano da direita. Ora,
( I + ( I + ) PK ) = ( I + PK + PK ) = ( I + PK + PK )( I + PK ) 1 ( I + PK )
= ( I + PK ( I + PK ) 1 )( I + PK ) = ( I + T0 )( I + PK ) . Donde
(75)
Para que este produto de funes racionais no lado direito da igualdade acima no tenha
zero no semiplano da direita, necessrio, em geral, que PK seja pequeno, ou seja,
que To seja pequeno, isto , que (To ) seja bem pequeno nas frequncias em que
grande. Mas esta condio conflita, como j vimos, com uma boa reduo de
distrbios.
H ainda outras situaes de conflito, indicadas em ZDG, p. 133.
68
( L)
h
l
( L)
Figure 3
Na figura 3 os valores nos eixos horizontal (frequncia) e vertical (mdulo do valor
singular de L) so lanados, tipicamente, em logaritmos decimais e em decibis,
respectivamente, decibis sendo 20 vezes o logaritmo decimal. Observe-se ainda que os
grficos dos valores singulares so, na realidade, de suas assntotas, que fornecem
aproximao razovel para a maioria dos casos.
Loop shaping no caso escalar (sistemas SISO= single input, single output)
1) Observe-se inicialmente que no caso escalar s h um valor singular de L, o qual
coincide com o proprio L, ou seja, na figura 3 as duas curvas (na realidade, as assntotas
delas) coincidem. Trata-se, como vimos, de achar uma funo racional estritamente
prpria L que contenha todos os polos e zeros no semiplano fechado da direita da planta
P e de tal modo que L fique dentro das especificaes impostas pelas restries de
baixa frequncia (desempenho) e de alta frequncia (robustez). claro que se L no
tiver todos os polos e zeros ruins de P, haver cancelamento de modos ruins no produto
PK, o que por sua vez implica instabilidade. Estas especificaes de L so obtidas
usando as relaes (70) a (74), principalmente (73) e (74), acima. Isto garantido se L
ficar dentro das especificaes. Isto feito por tentativa e erro.
Alem disso, L deve ser escolhido de tal modo que 1 + L tenha todos os seus zeros no
semiplano aberto da esquerda; para obter isso, temos a seguinte receita de bolo: em
geral, L deve ser bem comportada na chamada frequncia de cross over, que a
frequncia onde L( j ) = 1 (ou seja, seu logaritmo nulo). Bem comportada aqui
quer dizer que L no deve decrescer muito rapidamente na dita regio.
2) A funo de transferncia do controlador simplesmente K = L / P.
69
Loop shaping no caso multivarivel (sistemas MIMO = multiple input and output)
O loop shaping feito de modo semelhante, quando se tomam os valores singulares, a
saber:
1) Achar uma funo racional estritamente prpria L que contenha todos os polos e zeros
no semiplano fechado da direita da planta P, conferindo se P 1 Lo (ou Li P 1 ) no tem
cancelamento de plos e / ou zeros. Constrem-se os lugares dos valores singulares
mximo e mnimo como na figura 3, usando especialmente (73) e (74) acima, conferindo
que eles no ultrapassem as restries impostas pelo desempenho e robustez. Se qualquer
um ultrapassar em algum ponto, deve ser corrigido. Alm disso, L deve ser tal que det(I
+ L) tenha todos seus zeros no semiplano aberto da esquerda.
2) O controlador dado por P 1 Lo , ou Li P 1 , conforme se tenha escolhido uma ou outra
matriz de transferncia do sistema em malha aberta.
Seja dito que o mtodo do loop shaping muito usado no caso de sistemas SISO, bem
menos nos sistemas MIMO, a tentativa e erro na escolha de L sendo bastante trabalhosa,
tendo em vista tambm que:
i) Este mtodo s leva em considerao o desempenho e a robustez da estabilidade. Ora,
no caso multivarivel, podem existir outras especificaes, e diferentes, nos diversos
canais. A coisa se agrava se houver incerteza no modelo da planta. Com efeito, seja
P = ( I + ) P , onde P a planta nominal e o erro multiplicativo de modelagem
(desconhecido). Seja a normalizao do erro = Wt , com ( ) < 1. Para robustez,
desejamos ( WtTo ) < 1, ou (WtTo ) 1. Ora, precisamos de um majorante no caso
multivarivel, como segue, (WtTo ) (Wt ) (To ) (Wt )
( Lo )
, se ( Lo ) < 1.
1 ( Lo )
( Lo )
1
1
, se ( Lo ) < 1.
( Lo )
1 ( Lo )
(Wt ) + 1 (Wt )
(76a)
(Ws )
, se ( Lo ) < 1.
1( Lo )
70
1 1
, as matrizes de peso (ponderao) sendo dadas por
s + 1 0 1
s + 2 ( s + 1)
P(s) =
s + 1 ( s + 1)( s + 2)
s + 10 ( s + 10)
, Wt =
.
Ws =
1
s+2
0
s + 10
s +1
Pode-se verificar que os valores singulares extremos dos pesos so dados na figura 5
quando grande.
(Ws )
log
1
(Wt )
Figura 5
Donde se v que neste caso no se pode aplicar a tcnica de loop shaping. Por outro lado,
pode-se conferir que se usarmos o controlador K = I , obtemos
1
0
0
s + 2
s + 10
Ws S =
, WtT =
, os critrios de desempenho e robustez na
1
1
0
0
s + 2
s + 10
estabilidade sendo satisfeitos.
71
Ao invs desta forma, mais conveniente usar funes de peso apropriadas. Assim, ao
invs do problema acima, usa-se geralmente o equivalente
Ws ( j ) S ( j ) 1 para todo , com
Ws ( j ) =
1 , 0
1 , > 0
Em geral, usa-se Ws ( j ) racional. E assim para as outras funes de peso. Ento, ao
invs do diagrama de blocos da figura 1 (ou 1bis), usa-se o seguinte:
Figura 6
As vantagens de usar pesos so multiplas, especialmente em sistemas multivariveis. Em
primeiro lugar, algumas componentes do sinal so mais importantes que outras; em
segundo lugar, as componentes quase sempre so medidas em mtricas diferentes,
quando, por exemplo, umas so medidas em metros e outras em volts. As funes de peso
so ento essenciais para tornar estas medidas comparveis. Outra razo que muitas
vezes estamos interessados em rejeio de distrbios numa certa gama de frequncias e
no em outras.
Desempenho em
H2
72
2
2
=
E
e dt = We SoWd 2 ,
2
0
{ }
E e
E e 2+ u
2
2
2
WSW
= e o d , com escolhas apropriadas da matriz de peso Wu e do
Wu KSoWd 2
escalar .
Com efeito, suponhamos que se queira minimizar
sup e 2 = We SoWd ,
d 1
2
sup u 2 = Wu KSoWd
d 1
sup e 2 + u
d 1
2
2
2
WSW
= e o d
Wu KSoWd
73
Figura 7
A incerteza pode ser causada por mudanas dos parmetros ou por se ter desprezado
no modelo alguma dinmica ou por outras razes.
Uma alternativa a (1) dada pela assim chamada forma multiplicativa:
(2)
P ( s ) = ( I + W1 ( s ) ( s )W2 ( s )) P ( s ) .
Este modelo confina a planta real P a uma vizinhana normalizada do modelo.
As representaes (1) e (2) das incertezas tm sido muito empregadas tanto em teoria
como nos problemas prticos. H que considerar, porem, que a escolha das matrizes de
peso W1 e W2 no algo trivial.
Inicialmente focalizaremos a expresso (2). Nesta expresso suporemos que a planta
nominal P estritamente prpria, o que o mais comum, pois as plantas que queremos
controlar quase sempre tm inrcia (mecnica, trmica....). Mais ainda, suporemos
tambm que a planta perturbada, P , permanea estritamente prpria, o que quase
sempre ocorre, porque quase sempre prpria e s um masoquista escolheria W1 e /
ou W2 imprprios.
As matrizes de peso so usualmente tais que se obtm a figura 8, que mostra que o ganho
das matrizes de peso pequeno ( 1) em baixas frequncias e aumenta, passando de 1
medida que a frequncia aumenta.
74
Figura 8
Aqui e adiante usaremos as seguintes definies:
(3)
Definio:
Dada a descrio de um modelo de incerteza e um conjunto de objetivos de
desempenho, suponha que P seja o modelo nominal da planta e que K o
controlador para esta planta nominal. Ento o sistema tem:
Estabilidade nominal (NS = nominal stability) se K estabilizar o modelo da planta, P ;
Estabilidade robusta (RS) se K estabilizar toda planta em ;
Desempenho nominal (NP = nominal performance) se os objetivos de desempenho so
satisfeitos para a planta nominal;
Desempenho robusto (RP) se os objetivos de desempenho so satisfeitos para toda planta
em .
w1
y2
y1
w2
M
e2
Figura 9
75
(b)
<
se s se M ( s )
Prova:
Provaremos s a suficincia. (A prova da necessidade, mais trabalhosa, est em ZDG, pp.
218s).
Claro que M ( s )( s ) estvel, pois cada fator o . Ora, das condies (a) e (b) temos
que M < 1 . Mas isto implica, a fortiori, M < 1 , o que por sua vez implica,
usando o critrio de Nyquist, Teorema (45) do Captulo 3, que det( I M ) no tem zero
no semi-plano fechado da direita, ou seja, o sistema em malha fechada estvel.
Exemplo:
A
1
e = , onde A um nmero real. Verificar se o SMF da fig. 9,
s +1
A
acima, internamente estvel .
1
A
A
, = . Nenhuma das condies
Soluo: M = sup
= sup
=
A
A
1 + j
1+ 2
do teorema satisfeita, logo o SMF no internamente estvel. (Na realidade, basta
conferir se uma delas ou no satisfeita, a outra ser ou no, tal como a primeira).
1
Vamos conferir o polinmio caracterstico do SMF: s + 1 A = s , que no um
A
polinmio Hurwitz, portanto o SMF no internamente estvel, confirmando a aplicao
do teorema anterior.
Seja M ( s) =
Este teorema um resultado muito geral, no valendo somente para os sistemas tratados,
em que as matrizes de transferncia so racionais. Efetivamente, ele pode ser
demonstrado tambm para sistemas de dimenso infinita (que correspondem a equaes
diferenciais com derivadas parciais). Isto afirmado formalmente no resultado abaixo:
(5)
Corolrio:
As seguintes afirmaes so equivalentes com relao ao diagrama de blocos da figura 9:
1
(i) O sistema bem posto e internamente estvel para todo H com < .
<
<
;
;
76
(iv) M ( s )
que
desestabiliza o sistema:
Lema:
Suponha que M RH e que M
(6)
K
_
Figura 10
Si = ( I + KP ) 1 , Ti = I Si .
(7b)
77
K ( I + K ) 1 K ( I + K ) 1
=
RH para todo .
I ( I + K ) 1
( I + K ) 1
Incertezas aditivas
Consideremos primeiramente as perturbaes (ou incertezas) aditivas, a saber,
:= {P + W1W2 : RH } .
(7c)
(8)
(9a)
Teorema:
Seja definido acima e seja K um controlador estabilizador para a planta nominal P.
Ento o sistema em malha fechada bem posto e internamente estvel para todo < 1
se s se W2 KSoW1
K
( I + KSoW1W2 ) 1 Si
KSo ( I + W1W2 KSo ) 1
=
. (9b)
1
1
I
(
I
S
W
W
K
)
S
(
P
W
W
)
S
(
I
W
W
KS
)
+
2
1
2
1
2
o 1
o
o
o
(9c)
Definamos, de acordo com (8), = P + W1W2
I
( I + K ) K = K ( I + PK + W1W2 K ) K K = K ( P + W1W2 ) K ,
esta ltima sendo uma identidade em vista da def. de .
Bloco (2,1): temos que provar agora que
( I + S oW1W2 K ) 1 S o ( P + W1W2 ) = ( I + K ) 1
( I + SoW1W2 K ) 1 So ( P + W1W2 ) = ( I + K ) 1
78
So ( P + W1W2 )( I + K ) = ( I + SoW1W2 K )
( I + PK ) 1 ( P + W1W2 )( I + K ) = ( I + ( I + PK ) 1W1W2 K )
( I + PK ) 1 ( P + W1W2 )( I + K ) = ( I + PK ) 1 ( I + PK + W1W2 K )
( I + K ) = ( I + K ) , que uma identidade bvia.
Bloco (2,2): agora temos que provar que
S o ( I + W1W2 KSo ) 1 = ( I + K ) 1 ( I + K ) S o = I + W1W2 KSo
I Y
Y
Y
= det
= det
0 I + XY
X I
I
I
0
X
= det
= det( I + YX ) .
I
Y
I
YX
+
det( I + XY ) = det
I
= det
Y
Ora, podemos aplicar este tipo de operaes a todos os denominadores das matrizes de
(9b). Assim por exemplo, o denominador do bloco (1,1) I + KSoW1W2 , enquanto que
o do bloco (1,2) I + W1W2 KSo . Ento permutando KSo e W1W2 , vemos que os dois
determinantes so iguais. E assim cada matriz de (9b) ser estvel se s se uma delas o
for. Mais ainda, de acordo com a mesma propriedade acima, cada uma delas ser estvel
se s se ( I + W2 KSoW1 ) 1 RH . E isto garantido se W2 KSoW1 < 1 , de acordo
com o teorema do pequeno ganho, provando a suficincia do presente teorema.
(Necessidade): o bloco (1,2) de (7c) tem que ser estvel, ou seja,
K ( I + K ) 1 RH para todo admissvel e isto, por sua vez, implica
W2 K ( I + K ) 1W1 RH ;
(*)
1
( I + K ) 1 = ( I + ( I + PK ) 1W1W2 K ) 1 ( I + PK ) 1
= ( I + PK ) 1 ( I + W1W2 K ( I + PK ) 1 ) 1 = So ( I + W1W2 KSo ) 1 ;
donde a expresso em (*) acima W2 K ( I + K ) 1W1 = W2 KS o ( I + W1W2 KS o ) 1W1
= W2 KSoW1 ( I + W2 KS oW1 ) 1 = ( I + W2 KS oW1 I )( I + W2 KSoW1 ) 1
= I ( I + W2 KS oW1 ) 1
Ento, (*) acima sastisfeita somente se ( I + W2 KSoW1 ) 1 RH .
E pelo teorema do pequeno ganho esta ltima verdade para todo RH com
< 1 se s se W2 KSoW1
1 , concluindo a prova.
Incertezas multiplicativas:
79
(10)
W2
z
dm
W1
K
r
Wd
d
y
We
Figura 10*
(11)
Teorema:
Seja definido em (10) e seja K um controlador estabilizador para a planta nominal P.
Ento
(i) o sistema em malha fechada bem posto e internamente estvel para todo
RH com < 1 se s se W2ToW1 1 ;
(ii) o sistema em malha fechada bem posto e internamente estvel para todo RH
com
1 se W2ToW1
< 1;
1 no implica
< 1;
(iv) o sistema em malha fechada bem posto e internamente estvel para todo RH
com
1 somente se W2ToW1
1;
(v) se nem P nem K tiverem plo no eixo imaginrio, ento o sistema em malha fichada
internamente estvel para todo RH com 1 se s se W2ToW1 < 1 .
Prova: ver ZDG, pp. 223s.
80
Observao: digna de nota a falta de simetria entre (i) e (ii), isto , enquanto que (i)
condio necessria e suficiente, (ii) condio suficiente apenas; observe-se que a
condio (iv) mais fraca do que a condio de necessidade da condio . E caso a planta
e o controlador no tenham polo no eixo imaginrio, ento retomamos a necessidade da
condio que esperaramos em (ii).
Exemplo:
Seja P ( s ) =
(12)
1
, K = 1, W1 = W2 = 1 .
s
< 1 se s se
PK
1/ s
1
.
=
=
1 + PK 1 + 1/ s s + 1
1
1
Donde To = sup
= sup
= 1, satisfazendo condio (i) do teorema.
1 + j
1+ 2
To
1 . Ora, To =
z1
M
w
M 1
_
Figura 11
y = M 1 ( Nz1 + w) = M 1 ( Nz1 M y + N z1 ) = M 1 ( N + N ) z1 M 1 M y
( I + M 1 M ) y = M 1 ( N + N ) z1 M 1 ( M + M ) y = M 1 ( N + N ) z1
81
Teorema:
Seja = ( M + M ) 1 ( N + N ) ,
K
1
1
I ( I + PK ) M
M .
< 1 se s se
1.
Prova:
Seja o controlador com uma fatorao c.d. K = UV 1 sobre
estvel se s se ( N + N )U + ( M + M )V
RH .
(*)
((
I + ( NU + M V )( NU + MV ) 1 ( NU + MV )
I + ( NU + M V )( NU + MV ) 1
I + N
RH
RH ,
1
U
M ( NU + MV ) 1 RH .
V
Ora, de acordo com o teorema do pequeno ganho, a expresso anterior vale para todo
U
< 1 se s se ( NU + MV ) 1
V
1.
(**)
1 K
UV
U
1
1
1
1
Mas ( NU + MV ) 1 =
V M M NUV + I V = ( I + PK ) M ,
V
I
I
concluindo a prova, em vista de (**) acima.
K
( (
) )
A tabela abaixo nos d vrios outros tipos de perturbaes com os respectivos testes de
estabilidade robusta.
Na Tebela supomos, como j mencionado:
W1 , W2 e RH , < 1
82
P( I + W1W2 )
W2TW
i 1
( I + W1W2 ) P
W2 SoW1
P ( I + W1W2 ) 1
W2 SiW1
P + W1W2
W2 KSoW1
P( I + W1W2 P) 1
W2 So PW1
( M + M ) 1 ( N + N )
K
1
I So M
M 1 S i [ K
I]
( N + N )( M + M ) 1
1
1
1
1
(16)
Exemplo:
Seja o sistema cujas perturbaes fazem variar o nmero de polos no semiplano fechado
1
1
1
como P2 =
: R , 1 . V-se que tanto P1 =
s 1
s +1
s
da direita: P =
satisfaz a P := P (1 + P ) 1 : RH ,
1
s
. Podemos usar o
1/ s
Mas So P =
1
s+K
P
1 + PK
1/ s
1+ K / s
1
s+K
1.
Exemplo:
Considere o seguinte conjunto de plantas:
P =
(17)
s +1+
, com 2 .
( s + 1)( s + 2)
Soluo: Vamos verificar que camos no stimo caso (ou oitavo, pois o sistema escalar)
da tabela acima com
s + 1 + 2
s +1
P :=
, RH , 1 . A planta nominal P =
( s + 1)( s + 2)
( s + 1)( s + 2)
83
.
s+2
Calculemos uma fatorao coprima sobre
s+2
s +1
1
s+2
s +1
; ora, So =
.
M 1 =
=
So M 1 =
s +1
s+2
1 + PK K + s + 2
K +s+2
K s +1
E a condio de estabilidade portanto
1.
1 K +s+2
M =M =
W2
e
W1
n
Figura 12
O sistema da figura 10* robustamente estvel para
< 1 se s se a norma em
H da
84
Wd
d
d
We
e
_
y
Figura 13
Suponha que as matrizes de ponderao Wd , We RH e o objetivo do desempenho
seja obter o erro e to pequeno quanto possvel para todos os modelos pertencentes ao
conjunto .
Em geral este conjunto pode ser ou parametrizado ou no estruturado. Conforme j
vimos, dependendo do objetivo, deseja-se minimizar a norma em L1 , H 2 , ou H .
Nesta seo sero focalizados os projetos em
Desempenho robusto em
Seja T
ed
H2 e H.
H2
Ted = We ( I + P K ) 1Wd , P .
O problema do desempenho em
H2
sup Ted
P
(14)
consiste em achar
Exemplo:
Suponha-se o sistema escalar com Wd = 1, We = ws , P = p e seja o modelo dado pela
incerteza multiplicativa
= {(1 + wt ) p : RH , < 1} .
Suponha que o sistema seja robustamente estabilizvel por um controlador k. Ento, da
figura 13 com as notaes quatro linhas acima, temos:
ws
ws
d
d , donde Ted =
e = ws y, y = d P ky y =
e =
1 + P k
1 + (1 + wt ) pk
1 + (1 + wt ) pk
ws
.
(15)
1 + (1 + wt ) pk
A anlise exata do problema multivarivel (matricial) difcil, mas podem-se obter
majorantes, como faremos para o problema no H . Entretanto os majorantes no presente
P
85
caso do pouca intuio sobre o problema e por isso esta abordagem do problema ser
omitida.
Desempenho robusto em H com incerteza multiplicativa
Suponha que o objetivo seja obter o erro menor possvel em termos de energia,
qualquer que seja o distrbio d com energia nunca maior que 1. ( claro que postular a
energia menor ou igual a 1 para o distrbio no torna o problema menos geral, bastando
definir convenientemente a unidade de energia. O mesmo pode ser obtido escolhendo We
conveniente). Ou seja, queremos
sup e 2 ,
d 1
2
(16)
:= {( I + W1W2 ) P : RH ,
< 1} ,
com W1 ,W2 RH .
Reportando-nos figura 10*, temos
T = We So ( I + W1W2To ) 1Wd .
ed
(17)
(17*)
86
W2
z
K
dm
W1
Wd
d
y
We
Figura 10* bis
Teorema
Suponha que P ( I + W1W2 ) P : RH ,
(19)
(21)
Prova:
Tanto a condio (20) como a (21) garantem que W2ToW1 1 . Com efeito, em (21) isto
imediato, lembrando que W2ToW1 = (W2ToW1 ) e que a parcela esquerda de
(W2ToW1 ) positiva; em (20) tenha-se em vista que (W2ToW1 ) (W1 ) (W2To ) e que a
parcela esquerda de (W1 ) (W2To ) positiva.
O desempenho robusto equivalente a: T
ed
1, RH ,
< 1.
ed
e portanto,
87
(We So ) (Wd )
.
1 (W1 ) (W2To ) ()
(We So ) (Wd )
(We So ) (Wd )
( I + W1W2To ) 1 (W1W2To )
(22)
( ed )
donde, T
(*)
( )
Ted 1, RH ,
(23)
Observao
Pode-se provar que as condies do teorema so necessrias se o sistema for escalar.
Observao:
(24)
Em vista da equivalncia, verificada antes, entre estabilidade robusta e desempenho
nominal, razovel conjecturar que o problema de desempenho robusto equivalente ao
problema de estabilidade robusta na figura 10*, com o modelo de incerteza dado por
:= ( I + Wd eWe ) 1 ( I + W1W2 ) P, e < 1, < 1 ,
88
W2
W2
z
K
r
W1
Wd
We
_
e
e
Figura 14
Observao:
Suponha que W1 e Wd tenham inversas. Ento temos
We SoWd ( I + (W11Wd ) 1 W2ToW1 (W11Wd ) )
ed
(25)
(25*)
= We So ( I + W1W2To )1Wd
89
Wd
W2
W1
e
We
_
Figura 15
Para esta posio do problema, vimos que:
a condio de estabilidade robusta W2TW
i 1
1 .
1.
y = ( I + PK ) 1 I + PW1W2 K ( I + PK ) 1
(25**)
(
) = W S W (I +W
= W S W ( I + W PW W K ( I + PK ) W ) )
= W S W ( I + W PW W K ( I + PK ) PP W ) )
= W S W ( I + W PW W KP ( I + KP ) P W ) )
= W S W ( I + W PW W TW W P W ) ) , donde
T = W S W ( I + (W PW ) (W TW )(W PW ) ) .
1
ed
1
d
1
d
1
d
1
d
2 i
1
1
d PW1W2 KS oWd
1
d
1
1
2 i
1
d
1 1
(25***)
(W11Wd ) .
(25#)
(26a)
< 1 com K estabilizando internamente
(27)
Observao:
Se as hipteses de inversibilidade das matrizes no forem satisfeitas, obtem-se pelo
mesmo tipo de raciocinio, usando (25**), isto , Ted = We So ( I + PW1W2 KSo ) 1Wd , a
seguinte condio suficiente alternativa:
(Wd ) (We So ) + ( PW1 ) (W2 KSo ) 1 .
(28)
Observao:
(29)
importante notar que enquanto a condio de estabilidade robusta dada em funo de
Li = KP , a condio para o desempenho nominal dado em funo de Lo = PK . Esta
classe de problemas dita skewed (torta). Como em geral PK KP , a margem para
estabilidade robusta na entrada da planta em geral diferente daquela na sada da planta.
Observao:
(29*)
Se o modelo nominal ponderado for mal condicionado no espectro de frequncias
considerado, ento as condies de desempenho robusto podem ser bem mais restritivas
do que aquelas de estabilidade e desempenho nominais. Assim, por exemplo, se
W1 = I , Wd = I e W2 = wt I , onde wt RH uma funo escalar, a condio (26b), isto
, (We SoWd ) + (Wd1 PW1 ) (W2TW
i 1 ) 1 , se torna (We S o ) + ( P ) ( wt To ) 1, .
Comparando este resultado com os obtidos para os problemas non-skewed, vemos que
a condio para estabilidade, isto , a desigualdade acima fica dificil de ser satisteita se
( P) for grande. Este problema ser discutido com mais detalhe no capitulo seis.
Observao:
Se K tiver inversa, temos de (25**), que repetimos:
ed
= We K 1 So1 K 1 + PW1W2
(30)
Wd
Wd
91
= We K 1 I + ( I + KP ) 1 KPW1W2
KS oWd
KSoWd = We K 1 ( I + TW
i 1W2 ) KS oWd
1
1
1
1
= We K 1 ( I + TW
i 1W2 ) K ( I + PK ) Wd = We K ( I + TW
i 1W2 ) ( I + KP ) KWd .
Donde, finalmente,
1
Ted = We K 1 ( I + TW
(30*)
i 1W2 ) Si KWd .
1
< 1} , onde wt e wt RH , de
resto qualquer.
wt
wt
Figura 16
Se P tiver inversa, temos
2 1 se wt wt ( P ) . Com efeito,
P( I + wt ) = P ( I + wt P 1P ) = ( I + wt PP 1 ) P , donde
P ( I + wt ) = ( I + wt PP 1 ) P .
Como dito antes, o nmero de condicionamento pode crescer bastante com a frequncia
. A ttulo de ilustrao, temos o seguinte problema tpico do ponto de vista industrial.
92
0, 2 0,1 1
0, 05 0 0
P( s) = 0
0 1
0 0
1
0
1
0
0 1
0 0, 7
1 0
0 0
0 0
( s + 1)( s + 0,07)
1 s
,
a ( s ) 0,05 ( s + 1)( s + 0,13)
onde a ( s ) = ( s + 1)( s + 0,1707)( s + 0,02929)
Figura 17
Vemos que para frequncias altas o nmero de condicionament o torna-se alto.
O problema skewed tem reconhecidamente soluo mais complicada que o outro, mas
faz sentido em vrios problemas.
Considere, por exemplo, o caso em que
W2 KSoWd
w
W2TW
z
i 1
,
(30**)
e = G ( s ) , onde G ( s ) =
We S oWd
We So PW1
d
W2 ( I + KP ) 1 KPW1
ou seja, G ( s ) =
We So PW1
W2 KSoWd
We S oWd
93
W2
=
0
0 KSo P KSo W1 0 W2 0 K
=
S [P
We So P
We I o
So 0 Wd 0
0
W
I ] 1
0 Wd
0 K
0
W
W
= 2
( I + PK ) 1 [ P I ] 1
0 We I
0 Wd
Objetivo comum num projeto fazer G ( s) pequeno. Em vista de (30**), vemos que
isto implica em fazer Ti , KSo , So P e So pequenos na faixa mais relevante de
frequncias. E da ltima expresso, v-se que PK deve ser grande.
L( s )
_
Figura 18
Suponha que o sistema nominal L0 ( s) seja estvel.
Margem de ganho: Diz-se que o SMF acima tem margem de ganho [ kmin , kmax ] se o SMF
for estvel para todo L ( s ) = kL0 ( s ) , com kmin < k < kmax , mas instvel com
L( s ) = kmax L0 ( s ) e com L( s ) = kmin L0 ( s ) , onde 0 kmin 1 e kmax 1 .
Margem de fase: O SMF tem margem de fase [min , max ] se ele for estvel para todo
94
Figura 19
Na figura da esquerda, kmax e kmin indicam quanto o ganho pode ser aumentado e
diminudo, respectivamente, sem provocar instabilidade da malha.
E na figura da direita max e min representam quanto o atraso de fase, e o avano de fase,
respectivamente, podem ser tolerados sem produzir instabilidade.
Entretanto, como veremos agora, as margens de ganho e de fase podem no ser um
indicador suficiente da robustez de um sistema. Considere-se o sistema muito simples
P( s) =
as
b+s
, a > 1, com um controlador K ( s ) =
, b > 0.
as 1
s +1
95
as
, portanto,
as 1
k (a s)
k (a j ) k (a j )(1 ja )
. Donde L( j ) =
=
L( s ) =
ja 1
1 + a 2 2
as 1
k ( a a 2 + j ( a 2 + ))
k 2 a 2 (1 + 2 ) 2 k 2 2 (1 a 2 ) 2
2
L( j ) =
+
=1
=
a 2 2 + 1
(a 2 2 + 1) 2
(a 2 2 + 1) 2
k 2 a 2 (1 + 2 2 + 4 ) + k 2 2 (1 2a 2 + a 4 ) = a 4 4 + 2a 2 2 + 1
a 4 4 + 2a 2 2 + 1
a 4 4 + 2a 2 2 + 1
=
.
k2 = 2
a (1 + 2 2 + 4 ) + 2 (1 2a 2 + a 4 ) a 2 4 + (a 4 + 1) 2 + a 2
(*)
kmin =
1
e kmax = a .
a
e j (a s )
e j (a j )
, donde L ( j ) =
; obtemos, de acordo com ZDG,
as 1
ja 1
2
-1 a 1
= e max = sen 2
=: .
a +1
L( s) =
min
Claro que tanto a margem de ganho como a de fase tornam-se muito altas quando a
grande;
1
< b < a e b a . Neste caso, obtem-se de acordo com o livro,
a
1
1
kmin =
2 , kmax = ab a 2 , min = e max 0 .
ab
a
(ii)
Ou seja, neste caso temos margem de ganho muito grande e margem de fase
arbitrariamente pequena.
(iii)
kmin
1
1
< b < a e b . Neste caso, temos novamente de acordo com o livro,
a
a
1
=
1, kmax = ab 1, min = e max 2 .
ab
96
Obtemos neste caso margem de fase muito grande e margem de ganho arbitrariamente
pequena.
O ponto que se quis ilustrar com este exemplo que s vezes as margens de ganho e de
fase juntas no so suficientes para indicar a robustez de um sistema.
Por exemplo, possvel construir um controlador (complicado) tal que
kmin <
1
, kmax > a, min = e max > .
a
K=
Pode-se verificar que este sistema tem pelo menos as mesmas margens de ganho e de fase
que o sistema com controlador K = 1, mas o diagrama de Nyquist aproxima-se mais do
ponto (-1; 0). Consquentemente este sistema menos robusto quando o ganho e a fase
so perturbados simultaneamente.
4.6 Deficincia do controle clssico para sistemas MIMO (Esta seo pode ser
omitida)
Nesta seo mostrado, atravs de um exemplo, que a teoria de controle clssica pode
no ser confivel quando aplicada a projeto de sistemas MIMO.
Considere um massa inercial em forma cilindria, que gira em torno do seu eixo vertical,
que denominaremos de eixo z.
A entrada do sistema constituda por dois momenta (torques) T1 e T2 aplicados nos
eixos no plano horizontal, x e y , respectivamente. A velocidade angular do cilindro em
torno do eixo z constante e igual a . Os momentos de inrcia do cilindro com
relao aos trs eixos so I1 , I 2 = I1 e I 3 , respectivamente. Sejam 1 e 2 as
velocidades angulares com relao aos eixos x e y , respectivamente.
Ento as eqs. de Euler so
I11 2 ( I1 I 3 ) = T1 ,
I12 1( I 3 I1 ) = T2 .
Definamos
u1 T1 / I1
u := T / I , a := (1 I 3 / I1 ) .
2 2 1
Obtemos as seguintes eqs. de estado do sistema:
1 0 a 1 u1
= a 0 + u .
2 2
2
Suponha agora que 1 e 2 sejam medidas em coordenadas tais que
y1
1
y = cos
2
cos
sen
sen 1 1 a 1
.
=
cos 2 a 1 2
97
y1
u
Definindo u = 1 e Y = ,
u2
y2
obtemos a equao em funo da matriz de transferncia
a ( s + 1)
1 s2 a2
Y ( s ) = P ( s )u ( s ) , com P ( s ) = 2
.
2
s + a a ( s + 10 s a 2
suponhamos que a lei de controle seja
u = K1r y ,
onde
1 1 a
.r
K1 =
1 + a 2 a 1
r
P
K1
_
Figura 21
A matriz de transferncia do sistema acima dada por
1 1 0
Y (s) =
R( s) .
s + 1 0 1
As matrizes de sensibilidade e de sensibilidade complementar so dadas por
1 1 a
1 s a
e T = P( I + P) 1
.
S = ( I + P ) 1 =
s + 1 a 1
s + 1 a s
Como vemos, este controle desaclopa as malhas, cada malha aberta tendo funo de
transferncia 1/s .
Pode-se verificar que cada malha tem margem de fase dada por max = min = 900 e
margem de ganho kmin = 0 e kmax = .
Suponha agora que uma das malhas perturbada de acordo com a figura 22:
98
Figura 22
Definamos
z (s)
1
= T11 =
.
w( s )
s +1
<
1
T11
= 1 , que independente de a .
Figura 23
12
Temos P = ( I + ) P , sendo = 11
RH .
21 22
99
= d = 11
.
0 22
< se s se
1
( s 2 + (2 + 11 + 22 ) s + 1 + 11 + 22 + (1 + a 2 )11 22 ) no tiver zero no
( s + 1) 2
semiplano fechado da direita.
Portanto, a regio de estabilidade dada por
2 + 11 + 22 > 0 ,
det( I + T d ) =
1 + 11 + 22 + (1 + a 2 )11 22 > 0 .
fcil verificar que o sistema instvel se 11 = 22 =
1
1+ a
Isto mostra como no caso de sistemas multivariveis o uso de mtodos apropriados para
sistemas escalares pode levar a resultados errados.
100