Escolar Documentos
Profissional Documentos
Cultura Documentos
A. Leitao
Departamento de Matematica
Universidade Federal de Santa Catarina (UFSC)
G.N. Silva
Departamento de Computacao e Estatstica
Universidade Estadual Paulista (UNESP)
1 Manuscrito
Conte
udo
1 Sistemas Lineares
1.1 Introduca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Sistemas N
ao-Aut
onomos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Sistemas Aut
onomos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
1
6
11
2 Controlabilidade
2.1 Controlabilidade Para Sistemas Lineares
2.2 A Matriz de Controlabilidade . . . . . .
2.3 Conjunto dos Estados Atingveis . . . .
2.4 Controles Redundantes . . . . . . . . . .
2.5 Consideraco
es Finais . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
17
23
29
34
35
3 Estabilidade
3.1 Conceito e Exemplos . . . . . . . . . . . . .
3.2 Estabilidade de Sistemas Lineares . . . . . .
3.3 Criterio de RouthHurwitz . . . . . . . . .
3.4 Perturbaca
o de Sistemas Lineares . . . . . .
3.5 Metodo de Lyapunov . . . . . . . . . . . . .
3.6 Equaca
o Matricial de Lyapunov . . . . . . .
3.7 Estabilidade de Sistemas Lineares Discretos
Exerccios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
37
41
42
44
49
53
55
56
4 Estabiliza
c
ao
4.1 Sistemas Lineares . . . . . . . . . .
4.2 Colocaca
o de P
olos . . . . . . . . .
4.3 Observador Din
amico . . . . . . .
4.4 Estabilizaca
o por Realimentaca
o de
4.5 Pontos de Operaca
o . . . . . . . .
Exerccios . . . . . . . . . . . . . .
. . . .
. . . .
. . . .
Sada
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
59
62
65
68
69
71
5 Princpio do M
aximo
5.1 Problemas com Horizonte Finito .
5.2 Problemas com Horizonte Infinito .
5.3 Aplicaco
es do Princpio do M
aximo
Exerccios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
73
77
80
90
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Bibliografia
93
ii
Captulo 1
Sistemas Lineares
Neste captulo vamos apresentar a teoria b
asica de sistemas equaco
es diferenciais ordin
arias lineares
que ser
au
til para o estudo de sistemas de controle lineares.
O material relacionado a sistemas lineares contido neste captulo pode ser encontrado citesotomayor. O teorema da contraca
o e assunto b
asico dos cursos de matem
atica. O material que aqui
aparece foi retirado de [Hon].
1.1
Introdu
c
ao
Sistemas Lineares s
ao aqueles que tem a forma:
0
x1 = a11 (t)x1 + . . . + a1n (t)xn + b1 (t)
0
xn = an1 (t)x1 + . . . + ann (t)xn + bn (t)
(1.1)
onde os aij , bi s
ao funco
es contnuas em um intervalo I, aberto com i,j=1,2,. . . ,n.
Equivalentemente podemos escrever
x0i
n
X
j=1
Se um conjunto de soluco
es {1 , 2 ,...,n } de classe C 1 em I0 I satisfaz
n
X
d
i (t) =
[aij (t)j (t) + bi (t)], i = 1, 2, ..., n.
dt
j=1
ent
ao tal conjunto e soluca
o do sistema (1.1) em I0 para todo t I0 .
Considerando agora A(t) a matriz cujos elementos s
ao as funco
es a ij e b(t) o vetor cujos elementos
s
ao as funco
es bi (t), temos a equaca
o matricial:
x0 = A(t)x + b(t).
(1.2)
cn1
d(xn , x).
1c
2
Demonstra
c
ao: (i) Mostremos primeiramente a existencia. Seja x1 X qualquer e xn+1 = T (xn ),
n = 1, 2, ...
Vamos demonstrar que (xn )nN e uma sequencia de Cauchy.
Para n > 1, temos
d(xn , xn+1 ) = d(T xn1 , T xn ) cd(xn1 , xn )
e, por induca
o sobre n, vem que
d(xn , xn+1 ) cn1 d(x1 , x2 ).
Ent
ao, para 1 n m, temos
d(xn , xm ) d(xn , xn+1 ) + ... + d(xm1 , xm )
cn1 d(x1 , x2 ) + ... + cm2 d(x1 , x2 )
cn1
d(x1 , x2 ) ( Lema (1.1.3)).
1c
e, como cn 0, segue que (xn ) e uma sequencia de Cauchy. Como X e um espaco metrico completo,
temos que existe x
X tal que xn x
.
Mostremos agora que T x
=x
. Assim sendo
d(T x
, xn+1 ) = d(T x
, T xn ) cd(
x , xn )
e, como d(
x, xn ) 0, segue que xn T x
. Pelo teorema de unicidade do limite, temos ent
ao que
Tx
=x
.
Mostremos agora a unicidade. Sejam x
, y X, x
6= y, com T x
=x
, T y = y. Ent
ao
0 < d(
x, y) = d(T x
, T y) cd(
x, y)
e, portanto, c 1, o que contradiz a hip
otese.
(ii) Observe que a sequencia definida em i) tambem pode ser escrita da seguinte forma
xn+1 = Txn1
Sabemos que esta sequencia converge a um ponto fixo, mas pela unicidade do ponto fixo temos que
ela converge a x.
(iii) Da demonstraca
o de i) resulta que para 1 n m,
d(xn , x
) d(xn , xm ) + d(xm , x
)
cn1
d(x1 , x2 ) + d(xm , x)
1c
Como d(xm , x
) 0, segue a afirmaca
o (iii).
Corol
ario 1.1.7 Seja T : X X tal que, para algum m, T m e uma contraca
o. Ent
ao T tem
um e somente um ponto fixo e, para qualquer que seja x1 X, a seq
uencia (T n x1 )nN converge ao
ponto fixo.
3
Demonstra
c
ao: Como T m e uma contraca
o, seja x seu u
nico ponto fixo, ou seja T m x = x. Ent
ao:
T m (T x) = T (T mx) = T x
Logo T x e ponto fixo de T m . Mas como x e o u
nico ponto fixo de T m , temos que x = T x
(existencia), ou seja x e ponto fixo de T .
Para provar que x e u
nico, tomemos x
e como um outro ponto fixo de T. Assim,
T m (e
x) = T m1 (T x
e) = T m1 (e
x) = T m2 (T x
e) = ... = T x
e=x
e
Logo x
e e ponto fixo de T m , e portanto x = x
e.
Provemos ent
ao a segunda parte do corol
ario.
Seja x1 X. Tome yk = (T m )k y1 , onde y1 = T r x1 , com r N fixo e k N. Pelo Teorema do
ponto fixo de Banach para contraco
es, yk x. Ent
ao, para n > m, temos que r N , 1 r < m,
tal que n = km + r. Assim,
T n x1 = T mk+r x1 = T mk (T r x1 ) = (T m )k y1 = yk
Como yk x, temos que T n x1 x.
Consideraremos C(I0 , E) := {x : I0 E} o espaco das funco
es contnuas com a metrica
d(x, y) = max |x(t) y(t)| =k x y k .
t I0
Observa
c
ao: Denotaremos por E os espacos Rn ou Cn .
Teorema 1.1.8 Se as funco
es aij e bi , i,j=1,2,...,n, s
ao contnuas em I, ent
ao existe uma u
nica
soluca
o (t) (definida em I) da equaca
o
x0 = A(t)x + b(t),
que satisfaz a condica
o inicial
(t0 ) = x0 , t0 I,
Rt
Demonstra
c
ao: Seja T : C C definida por T (t) := x0 + t0 [A(s)(s) + b(s)]ds. Assim T
est
a bem definida. Provemos que T possui um u
nico ponto fixo em C, o que implica no resultado
desejado. Dados u, v C, temos
|T u(t) T v(t)| = |
t
t0
[A(s)(u(s) v(s))]ds|
K k u v k |t t0 |,
t
t0
k A(s) kk u v k ds
= |T (T u)(t) T (T v)(t)|
K
t
t0
t
t0
|T u(s) T v(s)|ds
K k u v k
t
t0
|s t0 |ds = K 2 k u v k
(t t0 )2
2!
Por induca
o, provamos que
|T n u(t) T n v(t)|
Kn
k u v k |t t0 |n
n!
n+1
u(t) T
n+1
v(t)|
= |T (T u)(t) T (T v)(t)| = |
K
t
t0
t
t0
K n+1
Kn
k u v k |s t0 |n ds
k u v k |t t0 |n+1 .
n!
(n + 1)!
K n (b a)n
k u v k , n N.
n!
Logo, para algum m N suficientemente grande, podemos afirmar que T m e uma contraca
o. Do
Corol
ario (1.1.7) segue que T possui um u
nico ponto fixo C, tal que
T = ,
isto e,
(t) = x0 +
[A(s)(s) + b(s)]ds
(1.3)
t0
(1.4)
onde as funco
es p1 , p2 , . . . , pn e g s
ao contnuas num intervalo I. Podemos transformar a equaca
o
(1.4) num sistema de n equaco
es de primeira ordem, assim:
z1 = x
z10 = x0 = z2
0
00
z20 = x000 = z3
z3 = x = z 4
..
z0
= x(n1) = zn
n1
0
zn = x(n) = p1 (t)x(n1) + . . . + pn (t)x + g(t) = p1 (t)zn + . . . + pn (t)z1 + g(t)
(1.5)
onde
z1
z2
..
.
z=
zn1
zn
A(t) =
0
0
..
.
0
pn (t)
1
0
..
.
0
1
..
.
0
0
pn1 (t) pn2 (t)
..
.
0
0
..
.
1
p1 (t)
b(t) =
0
0
..
.
0
g(t)
1.2
Sistemas N
ao-Aut
onomos
Estudaremos equaco
es da forma
x0 = A(t)x + b(t),
(1.6)
(1.7)
0 = A(t).
Logo,
0 (t) = a0 (t) + b 0 (t)
= aA(t)(t) + bA(t)(t)
= A(t)[a(t) + b(t)]
= A(t)(t).
(b) A funca
o nula e soluca
o da equaca
o (1.7) e satisfaz a condica
o inicial (s) = 0. Pelo Teorema
1.1.8 esta soluca
o e u
nica. Ent
ao
(t) = 0, t I.
(1.8)
t I.
C e n
ao singular se e somente se (t) e fundamental.
Demonstra
c
ao: Como e fundamental, e n
ao singular para todo t I. Ent
ao temos
[1 (t)(t)]0 = [1 (t)]0 (t) + 1 (t) 0 (t).
(1.9)
= [1 (t)(t)1 (t)]0
= [1 (t)]0 (t)1 (t) + 1 (t)0 (t)1 (t) + 1 (t)(t)[1 (t)]0
= [1 (t)]0 + 1 (t)0 (t)1 (t) + [1 (t)]0 .
= 1 (t)A(t)(t)1 (t)
= 1 (t)A(t),
(1.10)
6= 0, ou seja, e inversvel.
(t) = (t)
(t0 )x0 +
(s)b(s)ds .
t0
(1.11)
Demonstra
c
ao: Por causa do Teorema 1.1.8 basta verificar que (t) dada em (1.11) satisfaz a
condica
o inicial (t0 ) = x0 (o que pode ser feito por inspeca
o) e a equaca
o (1.6). Verifiquemos que
(t) satisfaz (1.6). De fato
t0
1 (s)b(s)ds]0 =
t0
t0
A ttulo de ilustraca
o vamos mostrar como deduzir a carade usando o metodo de variaca
o
de par
ametros. Seja C(t) tal que
(t) = (t)C(t), (t0 ) = x0 .
(1.12)
(1.13)
1 (s)b(s)ds + k,
t0
(1.14)
e portanto
Z t
(t) = (t)C(t) = (t) 1 (t0 )x0 +
1 (s)b(s)ds .
t0
x1
x2
e A=
0
k 2
1
0
Solu
c
ao: Uma matriz fundamental para esta equaca
o e dada por (na pr
oxima seca
o veremos como
encontr
a-la):
sen kt cos kt
.
(t) =
k cos kt k sen kt
Efetuando os c
alculos, temos que 1 (t) e dada por
sen kt
1 (t) =
cos kt
1
k
1
k
cos kt
sen kt
Um problema importante e o caso associado com o sistema adjunto ao sistema (1.7). Definimos
o sistema adjunto como sendo o sistema
y 0 = [A(t)]t y.
Seja (t) uma matriz fundamental para a equaca
o (1.7). Segue de (1.10) que [ 1 (t)]t e uma
matriz fundamental do sistema adjunto. Se A(t) = [A(t)]t , o sistema e chamado auto-adjunto.
Neste caso [1 (t)]t = (t).
10
1.3
Sistemas Aut
onomos
Estudaremos equaco
es da forma
x0 = Ax + b(t),
(1.15)
(1.16)
k k
X
t A
k!
(1.17)
k=0
(1.18)
e as matrizes
(t) = (t + s), (t) = (t)(s).
Para a primeira matriz, temos
0 (t) = 0 (t + s) = A(t + s) = A(t).
Logo (t) e a soluca
o da equaca
o (1.18), com X(0) = (s). Para a segunda matriz, temos
0 (t) = [(t)(s)]0 = (t)0 (s) = A(t).
Logo (t) tambem e soluca
o da equaca
o (1.18), com X(0) = (s). Porem, pelo Teorema 1.1.8 a
soluca
o e u
nica. Da (t) = (t), ou seja,
(t + s) = (t)(s).
(c) Do item anterior, temos,
(t + s) = (t)(s) t, s R.
Pondo s = t, temos
(t t) = (t)(t) Id = (t)(t) 1 (t) = (t).
11
Temos que
1 (t)
2 (t)
3 (t)
= Id +
= Id +
= Id +
A0 (s)ds = Id +
0
t
A1 (s)ds = Id +
0
t
A2 (s)ds = Id +
0
t3
t2
= Id + tA + A2 + A3 .
2!
3!
Ads = Id + tA,
0
t
A(Id + sA)ds = Id + tA +
0
t
A(Id + sA +
0
t2 2
A ,
2!
s2 2
A )ds
2!
t
0
Logo
k (t) = Id +
= Id +
k2
X
j=0
Ak1 ds = Id +
0
t
0
k1
X sj Aj
s A
ds =
.
j!
j!
j=0
j
0
2
k1
X
j=0
sj Aj
ds
j!
s A
sk1 Ak1
A Id + sA +
+... +
2!
(k 1)!
= Id + tA +
X tj A j
t2 2
tk
A + . . . + Ak =
.
2!
k!
j!
j=0
ds
k
X
tj A j
j=0
j!
X(0) = Id ,
e =
X
Aj
j=0
j!
d tA
(e ) = AetA e e0A = Id ;
dt
Proposi
c
ao 1.3.2 (a)
(b) e(t+s)A = etA esA ;
(c) (etA )1 = etA ;
(d) etA =
k=0
tk A k
k! ,
Consequentemente a soluca
o da equaca
o (1.16) e dada por
(t) = etA et0 A x0 .
E voltando ao caso n
ao-homogeneo, com base no Teorema 1.2.4, a soluca
o da equaca
o (1.15) e
dada por
Z t
sA
t0 A
tA
e
b(s)ds .
e
x0 +
(t) = e
t0
Na pr
oxima seca
o trabalharemos com a condica
o inicial x(0) = x 0 . Neste caso as soluco
es acima
tornam-se
(t) = etA para o caso homogeneo,
h
i
Rt
ao-homogeneo.
(t) = etA x0 + 0 esA b(s)ds , para o caso n
A=
0 1
1 0
Solu
c
ao: Efetuando os c
alculos, obtemos
A
2k
e
A
2k1
Portanto
etA
X
A k tk
k=0
k!
k=0
X
A2k t2k
k=0
(1)k t2k
(2k)!
0
(1)k t2k
(2k)!
k=0
=
P
(1)k t2k1
k=1
(2k)!
(2k1)!
cos t
sen t
sen t
cos t
(1) t
(2k)!
k=0
0
(1)k
(1)k+1
0
(2k 1)!
(1)k+1 t2k1
(2k1)!
k=1
0
(1)k
k=1
k 2k
k=0
(1)k
0
X
A2k1 t2k1
(1)k t2k
(2k)!
13
k=1
k=1
(1)k t2k1
(2k1)!
(1)k+1 t2k1
(2k1)!
Proposi
c
ao 1.3.5 Seja A uma matriz n n constante. Se A tem auto-valores 1 , 2 , . . . , n e
v1 , v2 , . . . , vn s
ao auto-vetores linearmente independentes, com Avi = i vi , ent
ao a matriz V (t),
cuja i-esima coluna, i = 1, 2, . . . , n, e i (t) = ei t vi , e uma matriz fundamental da equaca
o
x0 = Ax.
Em particular etA = V (t)V 1 (0).
Demonstra
c
ao: Como os auto-valores vi s
ao linearmente independentes, o resultado e imediato do
Lema (1.3.4). A particularidade
etA = V (t)V 1 (0),
segue da unicidade da soluca
o da equaca
o
X 0 = AX,
com X(0) = Id .
1
[(t) + (t)]
2
2 (t) =
1
[(t) (t)]
2i
s
ao soluco
es reais de (1.16), com 1 (0) = v1 , 2 (0) = v2 . Veja:
01 (t) =
1 0
1
1
[ (t) + 0 (t)] = [A(t) + A(t)] = A [(t) + (t)] = A1 (t),
2
2
2
1
1
1 0
[ (t) 0 (t)] = [A(t) A(t)] = A [(t) (t)] = A2 (t),
2i
2i
2i
1
1
1
1 (0) = [(0) + (0)] = [v + v] = [2v1 ] = v1 ,
2
2
2
1
1
1
2 (0) = [(0) (0)] = [v v] = [2iv2 ] = v2 .
2i
2i
2i
Os vetores v1 e v2 s
ao linearmente independentes, pois, caso contr
ario teramos v2 = cv1 e assim
v = v1 + iv2 = v1 + icv1 = (1 + ic)v1 e v = v1 iv2 = v1 icv1 = (1 ic)v1 resultariam linearmente
dependentes, o que n
ao e verdade. Ent
ao as soluco
es 1 (t) e 2 (t) s
ao linearmente independentes.
Agora,
(t) = e(+i)t v = et (cos t + i sen t)(v1 + iv2 ),
02 (t) =
14
e
(t) = e(i)t v = et (cos t i sen t)(v1 iv2 ).
Logo
1 (t)
1
1
[(t) + (t)] = [et (2v1 cos t 2v2 sen t)].
2
2
= et [(v1 cos t v2 sen t)],
1
1
[(t) (t)] = [et (2iv1 sen t + 2iv2 cos t)]
2i
2i
= et [(v1 sen t + v2 cos t)].
2 (t) =
x1
x2
e A=
0
k 2
1
0
Solu
c
ao: Temos que ik e ik s
ao auto-valores de A e
i
0
1
v=
=
+i
= v1 + iv2
k
k
0
e um auto-vetor correspondente ao auto-valor ik. Portanto
1 (t) = et (v1 cos t v2 sen t)
0
1
=
cos kt
sen kt
k
0
sen kt
,
=
k cos kt
e
2 (t) = et (v1 sen t + v2 cos t)
0
1
=
sen kt +
cos kt
k
0
cos kt
=
.
k sen kt
Consequentemente uma matriz fundamental para a equaca
o dada e
sen kt
cos kt
.
(t) =
k cos kt k sen kt
Agora considerando a equaca
o n
ao-homogenea (1.15), devemos ressaltar que o Teorema 1.2.4,
naturalmente, tambem e v
alido para sistemas aut
onomos; tanto e que j
a o usamos na soluca
o do
Exemplo (1.2.5).
15
16
Captulo 2
Controlabilidade
Neste captulo vamos introduzir as noco
es b
asicas de controle de sistemas lineares. Para isto vamos
estudar a controlabilidade a
` origem e as propriedades do conjunto de estados control
aveis. Vamos
introduzir a matriz de controlabilidade e algumas propriedades desta que, em conjunto com outras
condico
es, caracterizam a controlabilidade do sistema linear.
Tambem ser
a objeto de estudo neste captulo as propriedades do conjunto dos estados atingveis
do sistema.
2.1
(2.1)
t1 0
C(t1 ).
C
X0
Demonstra
c
ao: Sejam x0 , y0 C. Pela Proposica
o 2.1.1, existe um caminho de cada ponto a
`
origem que fica totalmente em C. Assim existe um caminho em C conectando x0 e y0 . De maneira
an
aloga se mostra que C(t1 ) e conexo por caminhos. Portanto podemos observar que C n
ao e composto de um n
umero de partes disjuntas.
C
X0
Proposi
c
ao 2.1.5 Se t1 < t2 , ent
ao C(t1 ) C(t2 ).
Demonstra
c
ao: Seja x0 um ponto qualquer de C(t1 ), com controle u(t). Consideremos o controle
v definido por
u(t) para 0 t t1 ,
v(t) =
0
para t1 < t t2 .
Apliquemos este controle em x0 . Ent
ao
x(t1 ) = 0
x0 = Ax
pois x0 C(t1 ),
para t1 < t t2 .
C denota o interior de C
19
soluca
o do PVI, y(t1 ) = y1 B(0, r) para r0 suficientemente pequeno. Como B(0, r) C, podemos
encontrar um controle u
que leva y1 a
` 0 no tempo t2 . Tomemos o controle v definido por
u(t)
para 0 t t1 ,
v(t) =
u
(t t1 ) para t1 < t t2 .
Logo usando este controle, e possvel levar y0 a
` 0 no tempo t1 + t2 . Deste modo y0 C(t1 + t2 ) e
B(x0 , r0 ) C, x0 C. Portanto C e aberto se 0 int C.
C
( t1 )
r0
X0
( t1 )
Y0
0
( t2 )
As equaco
es estado para o sistema linear aut
onomo s
ao dadas conforme j
a vimos por x 0 =
Ax + Bu, da seca
o anterior temos que a soluca
o e dada por
x(t) = e
tA
x0 +
sA
Bu(s)ds .
(2.3)
Temos que x0 C(t1 ) se e somente se existe um controle u U, tal que x(t1 ) = 0, ou seja,
0=e
t1 A
x0 +
t1
sA
Bu(s)ds ,
e como a funca
o exponencial nunca se anula,
x0 =
t1
esA Bu(s)ds.
(2.4)
Demonstra
c
ao: Primeiro provemos que C(t1 ) e simetrico. Seja x0 C(t1 ) com controle u(t). Da
equaca
o (2.4), segue que x0 C(t1 ) com controle u(t), e assim C(t1 ) e simetrico.
Agora provemos a convexidade. Temos que o conjunto U e convexo:
cu1 + (1 c)u2 U, para 0 c 1, u1 , u2 U.
Suponhamos que os controles u1 e u2 levam os pontos x1 e x2 a
` origem no tempo t1 , respectivamente.
De (2.4), segue que
Z t1
Z t1
sA
x1 =
e
Bu1 (s)ds e x2 =
esA Bu2 (s)ds.
0
Temos que
cx1 + (1 c)x2
Z t1
Z t1
= c
esA Bu1 (s)ds (1 c)
esA Bu2 (s)ds
0
0
Z t1
esA B[cu1 (s) + (1 c)u2 ]ds, para 0 c 1.
=
0
para 0 c 1.
X
(s)k (Id )k
k=0
k!
t1
= Id
X
(s)k
k=0
21
k!
= Id es .
Logo
x1 = x 2 =
t1
es u1 ds.
t1
t1
e
0
Z
u1 ds
t1
0
es ds = et1 + 1.
Assim
C(t1 ) = {x1 = x2 : |x1 | 1 et1 },
e
C = {x1 = x2 : |x1 | < 1}.
C(t )
-(1-et 1)
-1
1-e t1
22
2.2
A Matriz de Controlabilidade
1
1
M = [B AB] =
1 1
1 1
AB =
Logo
Provaremos agora, alguns resultados sobre a controlabilidade completa que dependem do posto
de M e dos auto-valores de A. Observemos por exemplo, que o posto da matriz de controlabilidade
no exemplo anterior e 1, e pelo Exemplo 2.1.9 existem pontos pr
oximos a
` origem que n
ao s
ao
control
aveis.
Proposi
c
ao 2.2.2 0 int C posto(M ) = n.
Demostra
c
ao:[] Temos que posto(M ) n. Suponhamos que posto(M ) < n. Ent
ao n
ao existem
n colunas de M linearmente independentes, e assim existe pelo menos um vetor y Rn , com k y k= 1,
que e ortogonal a todas as colunas de M . Deste modo y tambem e ortogonal a cada coluna de B e
a cada coluna de Ak B, k = 1, 2, ..., n 1, ou seja,
y t B = y t Ak B = 0, k = 1, 2, ..., n 1.
Pelo Teorema de Cayley-Hamilton (Ver [Lim]) concluimos que
y t Ak B = 0, k N.
Da seca
o anterior sabemos que
esA =
X
Ak (s)k
k=0
k!
t1
esA Bu(s)ds.
23
(2.5)
(2.6)
Ent
ao, para todo x0 C(t1 )
y t x0 =
t1
y t esA Bu(s)ds = 0.
Consequentemente C(t1 ) fica num hiperplano com normal y, para todo t1 > 0. E o conjunto control
avel fica no mesmo hiperplano, e ent
ao qualquer bola B(0, r) 6 C, r.
Portanto
0 6 int C, o que contradiz a hip
otese. Logo posto(M ) = n.
[] Suponhamos que 0 6 int C. Como C(t1 ) C, t1 , temos que 0 6 int C(t1 ), o que implica que
0 fr2 C(t1 ). Como j
a vimos, C(t1 ) e convexo. Deste modo existe um hiperplano suporte a
` C(t1 )
passando por 0, para todo t1 . Seja b(t1 ) o normal a este hiperplano. Ent
ao bt x0 0, x0 C(t1 ).
De (2.4), temos que x0 C(t1 ) se
x0 =
Assim,
t1
0
t1
esA Bu(s)ds.
Mas u U u U. Portanto
Z t1
bt esA Bu(s)ds = bt x0 0, x0 C(t1 ).
(2.7)
(2.8)
t1
bt esA Bu(s)ds = 0,
(2.9)
Como (2.9) e v
alida para qualquer s [0, t1 ], tomemos s = 0. Assim
bt B = 0.
Derivando (2.9) k vezes e tomando sempre s = 0, obtemos
bt Ak B = 0.
Logo b e ortogonal a todas as colunas de M , e assim posto(M ) < n, contradizendo a hip
otese.
Portanto 0 int C.
Com este resultado temos uma relaca
o entre o posto da matriz de controlabilidade com a origem,
e consequentemente (de acordo com a Proposica
o 2.1.6) com o conjunto ser aberto ou n
ao. Se o
posto de M e menor que n, o sistema n
ao e completamente control
avel. Porem, se o posto de M e
igual a n, o sistema pode ou n
ao ser completamente control
avel, dependendo agora do conjunto de
controle.
Proposi
c
ao 2.2.3 Se posto(M ) = n, e u Uu , ent
ao C = Rn .
2 fronteira
de C(t1 )
24
Demonstra
c
ao: Por hip
otese posto(M ) = n. Logo, pela proposica
o anterior, 0 int C. Ent
ao
existe uma bola B(0, r) C, para algum r > 0. Seja x0 Rn um ponto arbitr
ario. Consideremos
y0 = cx0 , com c = 12 r kx10 k . Temos que k y0 k=k cx0 k= c k x0 k= 21 r. Logo y0 B(0, r), e assim e
control
avel com um controle v pertencente a Uu . Portanto
Z t1
y0 =
esA Bv(s)ds.
0
Ent
ao
cx0 =
t1
esA Bv(s)ds x0 =
t1
esA B
v(s)
ds =
c
t1
esA Bu(s)ds,
onde
v(s)
Uu .
c
Deste modo x0 e control
avel, e como x0 foi tomado arbitrariamente temos que C = Rn . De maneira
an
aloga podemos mostrar que C(t1 ) = Rn , t1 > 0.
u(s) =
(2.11)
D=
1
0
..
.
0
2
..
.
...
...
..
.
0
0
..
.
. . . n
A soluca
o da equaca
o diferencial acima e dada por
y(t) = eDt y0 ,
onde y0 = P 1 x0 . Determinemos eDt . Temos que
k
1 0
0 k2
Dk = .
..
..
.
0
3 Re(
i)
25
...
...
..
.
0
0
..
.
. . . kn
logo,
eDt =
X
D k tk
k=0
k!
k
k
1t
k!
k=0
k=0
..
.
0
e 1 t
0
..
.
e 2 t
..
.
...
...
..
.
..
..
.
...
k
k
2t
k!
...
...
..
.
0
0
..
.
. . . e n t
k=0
k
k
nt
k!
(2.12)
Desde que Re(i ) < 0, temos que ei t 0 e assim k y(t) k 0 quando t . De x = P y segue
que k x(t) k=k P y(t) kk P kk y(t) k 0, ou seja, k x(t1 ) k< para algum t1 > 0 e > 0 e tomado
arbitrariamente pequeno. Por hip
otese posto(M ) = n, ent
ao pela Proposica
o 2.2.2 0 int C. Assim
existe uma bola B(0, ) C. Como k x(t1 ) k< , x(t1 ) pode ser levado a
` 0 em algum tempo t2 por
um controle u
, digamos, pertencente a Ub . Consideremos o controle v definido por
0 para 0 t t1 ,
v(t) =
u
para t1 < t t2 .
Usando o controle v, podemos levar x0 a
` 0 em algum tempo t1 + t2 . Portanto
x0 C(t1 + t2 ) C. Como x0 era um ponto arbitr
ario em Rn , temos que C = Rn . Se A n
ao e
diagonaliz
avel, a matriz D ter
a alguns elementos n
ao nulos acima da diagonal principal. Contudo,
ainda e verdade que k y(t) k 0 e assim este detalhe n
ao invalida a demonstraca
o apresentada.
Em alguns casos onde temos auto-valores imagin
arios puros o resultado anterior n
ao e aplic
avel.
Contudo, podemos provar um resultado similar para estes casos.
Proposi
c
ao 2.2.5 Se posto(M ) = n, e Re(i ) 0 para cada auto-valor i de A, ent
ao C = Rn .
Demonstra
c
ao: Suponha por absurdo que C 6= Rn e que y 6 C. Deste modo existe um hiperplano
com normal b separando y e C, tal que
bt x0 p, x0 C e bt y > p.
Se mostramos que
b t x0 =
t1
Consideremos, a princpio, os auto-valores com parte real negativa. Assim q(t)e i t quando
t . Os termos correspondentes aos auto-valores com parte real nula s
ao polin
omios em t ou s
ao
termos peri
odicos em t. Tanto os termos polinomiais como os termos peri
o
dicos
d
a
o
uma
contribui
c
a
o
Rt
positiva a
` integral acima num intervalo n
ao nulo. Portanto bt x0 = 0 1 |z(t)|dt e arbitrariamente
grande para t1 suficientemente grande. Logo obtemos a contradica
o requerida e C = R n .
Como j
a vimos, se posto(M ) < n o sistema n
ao e totalmente control
avel, ou seja, C 6= R n . Mas
mesmo com posto(M ) = n o sistema ainda pode n
ao ser totalmente control
avel.
Proposi
c
ao 2.2.6 Se posto(M ) = n, e A tem um auto-valor com parte real positiva, ent
ao C 6= R n .
Demonstra
c
ao: Sejam um auto-valor de A com Re() > 0 e y um auto-vetor a
` esquerda
correspondente.
Ent
ao temos
y t A = y t .
Observemos que
y t AA = y t A y t A2 = y t y t A2 = 2 y t .
Suponhamos por induca
o que
y t Ak1 = k1 y t .
Mas
y t Ak1 A = k1 y t A y t Ak = k1 y t y t Ak = k y t .
Logo provamos que
y t Ak = k y t .
(2.13)
Das equaco
es (2.6) e (2.13) segue que
y t esA
= yt
=
=
=
=
=
k!
k=0
A2 s2
A3 s3
y Id As +
+ ...
2!
3!
y t A3 s3
y t A2 s2
+ ...
y t Id y t As +
2!
3!
2 y t s 2
3 y t s 3
y t y t s +
+ ...
2!
3!
2 s 2
3 s 3
1 s +
+ ... y t
2!
3!
!
X
k (s)k
yt
k!
t
= e
Deste modo
X
Ak (s)k
k=0
s t
y.
y t esA = es y t .
t1
esA Bu(s)ds,
27
(2.14)
e da equaca
o (2.14) segue que
t
y x0 =
t1
t sA
ye
0
Bu(s)ds =
t1
es y t Bu(s)ds.
(2.15)
0 0
1 1
, B=
1 1
0 0
p 1 0
q
(c)A = 0 p 1 , B = r , onde p, q, r e s s
ao n
umeros reais.
0 0 p
s
Solu
c
ao: (a) Temos que
M = [B AB] =
1 1
0 0
0 1
0 1
1 1
0 0
1 1 0 0
0 0 0 0
M = [B AB] =
1 1
0 0
0 0
1 1
1 1
0 0
1 1 0 0
0 0 1 1
q
p 1 0
p 1 0
q
p 1 0
q
r
0 p 1
r 0 p 1
M = [B AB AB 2 ] = r 0 p 1
s
0 0 p
0 0 p
s
0 0 p
s
28
q pq + r p2 q + 2pr + s
p2 r + 2ps .
= r pr + s
s
ps
p2 s
2.3
Ate ent
ao consideramos controlabilidade a
` origem. Mas, de maneira semelhante, podemos definir
a controlabilidade a um ponto x1 . Definimos C(t1 , x1 ) como sendo o conjunto dos pontos control
aveis
a x1 no tempo t1 . Temos que x0 C(t1 , x1 ) se e somente se existe controle u U, tal que x(t1 ) = x1 ,
ou seja,
Z t1
esA Bu(s)ds .
x1 = e t1 A x0 +
0
Logo,
x0 = e
t1 A
x1
t1
esA Bu(s)ds.
(2.16)
O resultado acima segue diretamente de (2.3). Muitos resultados que provamos anteriormente
para C(t1 ) tambem s
ao v
alidos para C(t1 , x1 ), por exemplo a convexidade. Por outro lado alguns
ao podemos
resultados n
ao s
ao v
alidos, por exemplo se n
ao existe controle u tal que Ax 1 + Bu = 0 n
afirmar que C(t1 , x1 ) C(t2 , x1 ) para t2 > t1 .
Agora vamos definir o conjunto dos estados atingveis. Definimos R(t1 , x0 ) como sendo o
conjunto dos pontos que s
ao atingveis a partir de um ponto inicial x0 no tempo t1 . De (2.3) segue
que x1 R(t1 , x0 ) se
Z t1
x1 = e t1 A x0 +
esA Bu(s)ds ,
(2.17)
0
para algum u U.
Podemos observar claramente uma reciprocidade entre os dois conjuntos: x1 R(t1 , x0 ), ent
ao
x0 C(t1 , x1 ). Tambem, podemos definir o sistema tempo-inverso. Definimos este sistema como
sendo o sistema com a seguinte equaca
o estado
x0 = Ax Bu.
(2.18)
Agora determinemos quando x0 pertence aos conjuntos C(t1 , x0 ) e R(t1 , x0 ) para o sistema tempoinverso. Da seca
o anterior, temos que a soluca
o de (2.18) e dada por
x(t) = e
tA
x0
Logo, x0 C(t1 , x1 ) se
x0 = e t1 A x1 +
e x1 R(t1 , x0 ) se
x1 = e
t1 A
x0
sA
t1
Bu(s)ds .
esA Bu(s)ds,
(2.19)
t1
e
0
29
sA
Bu(s)ds .
(2.20)
= e t1 A x1 +
= e
t1 A
0
t1
t1 A
x1 + e
Z
t1 A
= e
x1 +
t1
e A Bu(t1 )d
t1
A
e
Bu
( )d ,
0
(2.21)
onde pomos u
( ) = u(t1 ). Portanto comparando (2.17) e (2.21) podemos concluir que o conjunto
control
avel para o sistema tempo-inverso e igual ao conjunto dos estados atingveis para o sistema
original. Conseq
uentemente as propriedades gerais do conjunto control
avel tambem ser
ao v
alidas
para o conjunto dos estados atingveis.
Exemplo 2.3.1 Encontre o conjunto control
avel e o conjunto dos estados atingveis para o sistema
unidimensional
x0 = x + u;
1
x0 = , |u| 1.
2
1
Solu
c
ao: De (2.17) temos que x1 R(t1 , ) se
2
Z t1
1
t1
s
x1 = e
+
e u(s)ds
2
0
Z t1
1 t1
e + e t1
=
es u(s)ds.
2
0
Mas como |u| 1, temos
Z t1
x1 1 e t1 e t1
es ds
2
0
Portanto
1 e t1 x 1
e assim,
1 t1
e et1 1,
2
1
1 t1 3 t1
R(t1 , ) = 1 e , e 1 .
2
2
2
De (2.20) temos que os pontos pertencentes ao conjunto dos estados atingveis para o sistema
tempo-inverso s
ao dados por
Z t1
1
t1
s
x1 = e
e u(s)ds
2
0
Z t1
1 t1
e
=
et1
es u(s)ds.
2
0
30
Assim,
et1 1 x1
1 t1
e
1 et1 ,
2
10
8
6
4
2
1
0.5
1.5
-2
Proposi
c
ao 2.3.2 Os conjuntos dos estados atingveis e control
avel s
ao contnuos em t 1 .
Demonstra
c
ao: Para mostrar que isto e uma propriedade geral, vamos considerar, por simplicidade,
que o conjunto dos estados atingveis pela origem com controles limitados, o qual denotaremos por
R(t). Logo de (2.19) segue que x R(t) quando
x=
esA Bu(s)ds.
Mostremos que R(t1 ) e contnua, ou seja, se dado > 0, () > 0 tal que |t2 t1 | < (),
ent
ao dH (R(t2 ), R(t1 )) < , que e equivalente a
` max(H12 , H21 ) < para t2 (t1 , t1 + ), onde
H12 = sup {d(y, R(t1 ))}yR(t2 ) e H21 = sup {d(x, R(t2 ))}xR(t1 ) .
31
0.75
0.5
0.25
1
0.5
1.5
-0.25
-0.5
-0.75
t2
(2.22)
esA Bv(s)ds,
(2.23)
ent
ao y R(t2 ).
Suponhamos t3 = t1 e de (2.22) e (2.23) temos
Z t2
Z t1
sA
sA
d(
x, y) =k x
y k =
e Bv(s)ds
e Bu(s)ds
0
0
Z t1
Z
Z t2
esA Bv(s)ds
esA Bv(s)ds +
=
t1
t1
e
0
Da,
kx
y k =
t2
t3
Z
esA Bv(s)ds
t2
t3
sA
Bu(s)ds
k esA Bv(s)ds k
M |t2 t3 |.
Assim, se <
temos
M
= .
M
O caso t3 = t2 tambem se verifica analogamente. Logo, k x
y k< ,
x R(t1 ). Portanto,
d(
x, R(t2 )) < e assim H21 < .
Da mesma forma, mostra-se que H12 < . Portanto, max{H12 , H21 } < .
kx
y k< M |t2 t3 | < M
32
Para a pr
oxima proposica
o precisamos das seguintes notaco
es e conceitos. Considere o espaco
vetorial de funco
es reais
L2 ([0, t1 ], R) := {f : [0, t1 ] R : f possui quadrado integr
avel}.
A este espaco associamos a norma usual, k . k2 , dada por
k f (t) k:=
Z
t1
0
|f (s)|2 ds
1/2
, f L2 ([0, t1 ], R).
t1
0
v(s)f (s)ds
t1
v(s)f (s)ds,
0
v L2 ([0, t1 ], R).
Proposi
c
ao 2.3.3 O conjunto dos estados atingveis e compacto.
Demonstra
c
ao: De (2.17) temos que x1 R(t1 , x0 ) quando
Z t1
esA Bu(s)ds .
x1 = e t1 A x0 +
(2.24)
Assim, se considerarmos u Ub , claramente R(t1 , x0 ) e limitado. Agora temos que provar que
R(t1 , x0 ) e fechado. Para isto, devemos mostrar que toda sequencia convergente de pontos em
R(t1 , x0 ) possui limite em R(t1 , x0 ).
Seja
Z
(k)
x1
t1
= e t1 A x0 +
onde
(k)
u1 (s)
..
.
u(k) (s) =
.
(k)
um (s)
(k)
Suponhamos que x1 x
1 , quando k , para algum x
1 R. Mostremos que x
1 R(t1 , x0 ),
isto e, x
1 e da forma (2.24), para algum u
Ub . A demonstraca
o deste fato estar
a concluida, uma
vez que mostrarmos que u
Ub tal que
Z t1
Z t1
(k )
i (s)ui j (s)ds
i (s)
ui (s)ds, i = 1, 2, . . . , m,
0
(kj )
(k)
de ui , devido a (2.25) e a
` unicidade do limite de sequencias em
33
k ui (t) k2 =
Z
t1
0
(k)
1/2 Z
(k) 2
(s)
ds
ui
t1
ds
0
1/2
= (t1 )1/2 .
(2.26)
(k )
e limitada em L2 [0, t1 ]. Portanto possui subsequencia ui j
t1
0
(k )
f (s)ui j (s)ds
t1
f L2 [0, t1 ].
f (s)
ui (s)ds,
0
(2.27)
Mas,
Z
Z
t1
0
t1
f (s)
ui (s)ds =
0
(kj )
f (s)ui
(s)ds =
Z
Z
u
i ds > h.
H
(kj )
ui
ds h.
2.4
Controles Redundantes
Na equaca
o (2.1) vemos que os controles s
ao dados pelo termo Bu, onde B e uma matriz
n m e u e um vetor m-dimensional. A soluca
o desta equaca
o por um dado ponto inicial e u
nica.
Deste modo, se a matriz B tem m colunas linearmente independentes, diferentes controles levam a
diferentes trajet
orias, isto e, Bu = Bv implica que u = v. Se m > n, obviamente isto n
ao e verdade,
pois e impossvel B ter m colunas linearmente independentes. Ent
ao podemos reduzir o n
umero
de controles independentes. Suponhamos que B tenha m
colunas linearmente independentes. Se
m
< n, atraves de operaco
es com as colunas, podemos encontrar uma matriz P de modo que
u = Pu
BP = B,
(2.28)
34
1 2 3
1 2 3
e u t = [ u1
u2
u3 ].
Solu
c
ao: Neste caso temos m = 3 e n = 2. Consideremos a matriz elementar P
1 2 3
0 1
0 .
0 0
1
Ent
ao
BP =
1 2 3
1 2 3
Bu =
1 2 3
1 2 3
Logo,
C=
1
1
1 2 3
1 0 0
0 1
0 =
= B,
1 0 0
0 0
1
u1
u
u2 = u1 + 2u2 + 3u3 = B
.
u1 + 2u2 + 3u3
u3
v = u1 + 2u2 + 3u3 .
2.5
Considera
co
es Finais
35
36
Captulo 3
Estabilidade
Estudamos neste captulo o comportamento em perodos longos de tempo das soluco
es de sistemas
aut
onomos de equaco
es diferenciais ordin
arias (EDOs). O principal interesse est
a em determinar
se uma soluca
o (trajet
oria) permanece ou n
ao limitada e, em caso afirmativo, se esta converge
assintoticamente para algum ponto de equilbrio.
Na Secca
o 3.1 e definido o conceito de estabilidade de um ponto de equilbrio. Na Secca
o 3.2 s
ao
discutidas condico
es necess
arias e suficientes para estabilidade de sistemas lineares aut
onomos. A
Secca
o 3.3 se destina a analisar um criterio algebrico (teorema de Hurwitz) para garantir estabilidade
de matrizes. Na Secca
o 3.4 consideramos sistemas obtidos por perturbaco
es de sistemas lineares
est
aveis. As Secco
es 3.5 e 3.6 tratam do criterio de estabilidade formulado por Lyapunov. Na
Secca
o 3.7 aplicamos o criterio de Lyapunov a sistemas lineares discretos.
3.1
Conceito e Exemplos
Considere a equaca
o diferencial ordin
aria
z 0 = f (z),
(3.1)
f e continuamente diferenci
avel em D.
(3.2)
(3.3)
(3.4)
37
no espaco C([0, ]; IR ), onde > 0 e escolhido de forma adequada. Representamos esta soluca
o
maximal por z(, z0 ).
A condica
o (3.3) garante que e um ponto de equilbrio do sistema, pois o PVI com condica
o
inicial z0 = possui apenas a soluca
o z(, z0 ) (repouso). Note que a escolha de como ponto de
equilbrio n
ao e restritiva, uma vez que e sempre possvel (atraves de translaco
es) alterar um campo
vetorial de forma a atingir esta configuraca
o, desde que o campo possua apenas um zero. 3
Defini
c
ao 3.1.1 O ponto de equilbrio z = do sistema (3.1) e denominado est
avel quando:
> 0 > 0 tq z0 B (
z ) = J(z0 ) = [0, ) e z(t, z0 ) B t 0 ;
e denominado atrativo quando:
> 0 tq z0 B (
z ) = J(z0 ) = [0, ) e lim z(t, z0 ) = ;
t
2 2 2
z2
sin z1
s(z2 z1 )
z 0 = f (z) com f (z) = rz1 z2 z1 z3 ,
z1 z2 bz3
2 Maiores
3 Na
38
(3.6)
-10
-5
0 0
10
x
-2
-4
pb(r 1)
0
pb(r 1)
z = 0 , z = b(r 1) e z = b(r 1) .
0
r1
r1
A estabilidade destes 3 pontos de equilbrio pode ser analisada quando conhecemos um pouco melhor
possvel assim, verificar de forma clara a natureza inst
a aproximaca
o linear do campo vetorial. E
avel
do sistema.
2 2 2
importante observar que a atratividade n
Observa
c
ao 3.1.4 E
ao implica, em geral, na estabilidade
assint
otica. Um exemplo e encontrado no sistema n
ao linear
0
x = (x2 (y x) + y 5 ) / (x2 + y 2 )(1 + (x2 + y 2 )2 )
y 0 = y 2 (y 2x) / (x2 + y 2 )(1 + (x2 + y 2 )2 )
cuja din
amica e ilustrada na Figura 3.2. Entretanto, para sistemas aut
onomos, as definico
es de
atratividade e estabilidade assint
otica s
ao equivalentes. Tal fato e analisado na pr
oxima secca
o.
Sistemas est
aveis mas n
ao atrativos s
ao mais f
aceis de ser encontrados. Considere, por exemplo,
4 Maiores
39
1.5
1
y
0.5
-1
-0.5
0.5
x
-0.5
-1
-1.5
Figura 3.2: A origem e um ponto de equilbrio atrativo, porem n
ao e est
avel
40
3.2
2 2 2
Demonstraca
o: a) = b) Segue imediatamente da Definica
o 3.1.1.
b) = c) Suponha que A possui um autovalor = + i com 0. Se v e um autovetor
correspondente, definimos atraves de
z(s) := Re (es v), s 0
uma soluca
o que claramente n
ao satisfaz lim z(t) = .
t
c) = a) Temos que
keAt k cet , t 0,
e BIBOest
avel (Bounded-Input Bounded-Output). Isto e, se b L ([0, ); IRn ), ent
ao toda soluca
o
de (3.8) est
a tambem em L ([0, ); IRn ). Este fato segue imediatamente da representaca
o da soluca
o para o problema n
ao homogeneo. Tal propriedade e entretanto perdida quando o ponto de
equilbrio z = e somente est
avel (veja o pr
oximo exemplo).
2 2 2
Exemplo 3.2.4 Considere o oscilador harm
onico modelado pela equaca
o diferencial
x + a2 x = b(t)
e o respectivo sistema
z10
z20
0
a2
1
0
41
z1
z2
0
b(t)
cos
at)
,
para 6= a
2
2
a
A interpretaca
o da soluca
o obtida e a seguinte:
Para 6= a, a soluca
o e formada pela composica
o de duas vibraco
es com frequencias respectivamente a/2 (frequencia da energia do sistema) e /2 (frequencia da forca externa).
No caso a = , observamos o fen
omeno de resson
ancia: com o tempo o sistema ganha cada vez
mais energia e a soluca
o se torna ilimitada. Na pr
atica, o sistema acaba sendo destrudo, devido a
`
sobrecarga de energia acumulada.
2 2 2
Observa
c
ao 3.2.5 Suponha que no sistema (3.7) tenhamos max{ Re()| e autovalor de A} = 0.
Nesse caso o ponto z = ser
a est
avel exatamente quando todos os blocos de Jordan relativos aos
autovalores com Re() = 0 tiverem forma diagonal (por que?).
2 2 2
Defini
c
ao 3.2.6 Uma matriz M IRn,n que satisfaz
max {Re() | e autovalor de M } < 0.
e denominada matriz est
avel.
3.3
2 2 2
Crit
erio de RouthHurwitz
n
X
ai rni .
i=1
Pela Definica
o 3.2.6 a matriz A e est
avel quando todas as razes de p a estiverem no semi-plano
esquerdo do plano complexo. Discutimos nesta secca
o uma condica
o necess
aria (criterio de Routh
Hurwitz) para a estabilidade de uma matriz.
Lema 3.3.1 Se A e uma matriz est
avel, ent
ao todos os coeficientes a 1 , . . . , an de pA s
ao positivos.
Demonstraca
o: Denotando por k os autovalores reais de A e por j os autovalores com parte
imagin
aria n
ao nula, temos que
Y
Y
pA (r) =
(r k )
(r2 2Re(j )r + |j |2 ).
k
42
A hip
otese da estabilidade de A implica em
k > 0, 2Re(j ) > 0.
Provando assim que os coeficientes de pA s
ao positivos.
Uma desvantagem o
bvia da aplicaca
o deste criterio e a necessidade do conhecimento do polin
omio
caracterstico pA . O exemplo a seguir mostra que o criterio n
ao e suficiente para garantir a estabilidade de A.
Exemplo 3.3.2 Considere a equaca
o diferencial
x(3) + x(2) + x(1) + x = 0.
O polin
omio caracterstico do sistema correspondente e
p(r) = r3 + r2 + r + 1
e possui razes 1, i. Portanto, o ponto de equilbrio z = do sistema correspondente e est
avel,
mas n
ao e assintoticamente est
avel.
2 2 2
Observa
c
ao 3.3.3 No caso dos polin
omios de grau menor ou igual a 4, e possvel encontrar condico
es
suficientes para garantir a estabilidade da matriz A a partir da aplicaca
o do teorema fundamental
da a
lgebra (veja [Gon]). De fato, os polin
omios
i)
ii)
iii)
iv)
r+a
r2 + ar + b
r3 + ar2 + br + c
r4 + ar3 + br2 + cr + d
com coeficientes reais possuem apenas razes com parte real negativa se e somente se as seguintes
condico
es s
ao respectivamente satisfeitas:
i )
ii )
iii )
iv )
a>0
a > 0, b > 0
a > 0, b > 0, c > 0 e ab > c
a > 0, b > 0, c > 0, d > 0 e abc > c2 + a2 d.
2 2 2
Exemplo 3.3.4 Considere um circuito com um resistor (de resistencia R), dois indutores (cada um
com indut
ancia L) e um capacitor (de capacit
ancia C), onde as constantes R, L e C s
ao positivas.
O problema e modelado pela equaca
o diferencial escalar
L2 Cx(3) + RLCx(2) + 2Lx(1) + Rx = 0.
A funca
o x representa a diferenca de potencial (DDP). Da Observaca
o 3.3.3 segue a estabilidade
assint
otica do circuito (veja ainda a Observaca
o 3.2.2).
2 2 2
O pr
oximo passo e a obtenca
o de uma condica
o suficiente para o caso geral de (3.7). O criterio
apresentado a seguir foi descoberto por Routh em 1877. Seja
p(r) = rn +
n
X
i=1
43
ai rni
um polin
omio com coeficientes reais positivos. Defina os polin
omios U e V (com coeficientes tambem
reais positivos) de modo que
U (r) + iV (r) = p(ir), r IR.
Temos ent
ao:
Grau de U = n e grau de V = n 1, se n for par;
Grau de U = n 1 e grau de V = n, se n for mpar.
Definimos a partir de U e V os seguintes polin
omios:
q1 := U, q2 := V, se n e par;
q1 := V, q2 := U, se n e mpar.
q3 , . . . , qm s
ao obtidos a partir do algoritmo de divis
ao de Euclides aplicado ao par q 1 , q2 .
Temos assim:5
qk1 = k qk qk+1 , k = 2, . . . , m 1 e qm1 = m qm .
Ap
os esta construca
o estamos prontos para enunciar o teorema de Routh.
Teorema 3.3.5 Sejam U , V , q1 , . . . , qm definidos como acima. As seguintes afirmaco
es s
ao equivalentes:
a) O polin
omio p possui apenas razes com Re() < 0;
b) m = n + 1 e os sinais dos coeficientes de maior grau de q1 , . . . , qn+1 alternam.
A demonstraca
o deste resultado foge aos nossos objetivos e n
ao e apresentada. O leitor interessado pode encontrar em [Gan] uma demonstraca
o baseada em um teorema de resduos da an
alise
complexa.
3.4
Perturba
c
ao de Sistemas Lineares
(3.9)
44
|z|0
z(0) +
t
0
(3.10)
Podemos ent
ao concluir que a soluca
o local z pode ser prolongada ao intervalo [0, ). Logo, a
estimativa (3.10) vale para T = e o teorema fica provado.
Observa
c
ao 3.4.2 A import
ancia do Teorema 3.4.1 e a forma pela qual ele pode ser aplicado na
an
alise da estabilidade dos pontos de equilbrio dos sistemas de controle em (3.9):
Expanda o campo vetorial f no ponto de equilbrio z = . O sistema resultante e da forma
(3.9), onde A = df () e g(z) = f (z) df ()g. (A hip
otese de g estar definida em todo IR n n
ao
e restritiva, pois na demonstraca
o necessitamos de g somente em uma vizinhanca de z = .)
Verifique se A = df () e uma matriz est
avel.
A hip
otese lim|z|0 |g(z)|/|z| = 0 e trivialmente satisfeita, pois f e suposta continuamente
diferenci
avel.
Note, entretanto, que este metodo de linearizaca
o fornece apenas uma condica
o suficiente para a
estabilidade. Tal condica
o e por demasiado restritiva e est
a longe de ser necess
aria (veja o Exemplo 3.5.1).
2 2 2
Exemplo 3.4.3 Aplicamos o metodo de linearizaca
o ao oscilador n
ao linear com amortecimento
a > 0, que e descrito pela equaca
o diferencial
x
+ 2a x + sin x = 0.
O sistema correspondente e:
0
z2
2az2 sin z1
(3.11)
e a linearizaca
o do sistema no ponto de equilbrio z = nos fornece a matriz
0
1
.
A = df () =
1 2a
f
E
acil verificar que os autovalores da matriz A s
ao:
p
= a a2 1.
,
A = df (
z) =
1 2a
s(z2 z1 )
z 0 = f (z) com f (z) = rz1 z2 z1 z3 ,
(3.12)
z1 z2 bz3
f
onde s, r e b s
ao constantes positivas. E
acil verificar que, para r > 1, existem tres pontos de
equilbrio:
p
p
0
pb(r 1)
pb(r 1)
z = 0 , z = b(r 1) e z = b(r 1) .
0
r1
r1
Linearizando o sistema nestes pontos, obtemos respectivamente as matrizes:
s s
0
A = df (
z ) = r 1 0 ,
0
0 b
s
A = df (
z) = p 1
b(r 1)
s
1
p
b(r 1)
p 0
b(r 1) ,
b
s
s
1
A = df (
z) = p 1
p
b(r 1) b(r 1)
p 0
b(r 1) .
b
0.3
0.2
y
0.1
-1
-0.5
0.5
x
-0.1
-0.2
-0.3
Figura 3.3: Campo vetorial de x00 + 2ax0 + sin x = 0 (para a = 1) em uma vizinhanca do ponto
z = .
47
0.3
0.2
y
0.1
0 2
2.5
3
x
3.5
-0.1
-0.2
-0.3
Figura 3.4: Campo vetorial de x00 + 2ax0 + sin x = 0 (para a = 1) em uma vizinhanca do ponto
z = (, 0).
48
40
30
20
10
-15
-10
-20
-5
-10
0
00
20
10
5
10
15
20
s+3+b
,
sb1
quando ent
ao podemos concluir que os pontos de equilbrio z e z s
ao assintoticamente est
aveis. Para
os valores especiais s = 10, r = 28 e b = 8/3, temos r > rc 24.74 e os tres pontos de equilbrio
n
ao mais s
ao est
aveis. Entretanto, os polin
omios caractersticos de z e z ainda possuem uma raiz
negativa, fato que contribui para o comportamento mpar das o
rbitas do sistema (veja Figura 3.5).
2 2 2
3.5
M
etodo de Lyapunov
Observaca
o 3.3.3.
49
com
f (z1 , z2 ) =
3z2 z15
2z2 + z15
(3.13)
Os autovalores da matriz A = df () s
ao 0 e 2. Logo, A n
ao e uma matriz est
avel e a quest
ao da
estabilidade do ponto de equilbrio permanece em aberto.
Defina V (z1 , z2 ) := z16 + 9z22 e seja z = (z1 , z2 ) IR2 uma soluca
o do sistema (3.13). Temos
ent
ao
d
V (z1 (t), z2 (t)) = 6z1 (t)10 36z2 (t)2 0,
dt
de onde segue
Z t
0 V (z1 (t), z2 (t)) = V (z1 (0), z2 (0))
(6z1 (s)10 + 36z2 (s)2 ) ds, t 0.
0
V e denominada funca
o de Lyapunov estrita quando, ao inves da condica
o iii), satisfizer:
iii ) hV (x), f (x)i < 0 para todo x U \{}.
2 2 2
Defina :=
r Br . Ent
min{V (x) | |x| = r} e U := {x U | V (x) < } B
ao > 0 e a continuidade
de V implica que U 6= e que U e uma vizinhanca de . Seja z uma soluca
o de
z 0 = f (z), z(0) = z0 U .
Temos ent
ao V (z(0)) < e
d
V (z(t)) = hV (z(t)), z 0 (t)i = hV (z(t)), f (z)i 0, t [0, (z0 )),
(3.14)
dt
r , t [0, (z0 )]. Se existisse t1 (0, (z0 )] tal que
onde (z0 ) e o maior real que satisfaz z(t) B
|z(t1 )| = r, teramos
V (z(0)) < V (z(t1 ))
pela definica
o de e
V (z(t1 )) V (z(0))
como conseq
uencia de (3.14), nos levando a uma contradica
o. Portanto, temos necessariamente
z(t) Br , para todo t [0, (z0 )]. Isto porem contradiz a maximalidade do intervalo [0, (z0 )],
provando assim que (z0 ) = e z(t) Br para todo t [0, ). Fica assim provado que z = e
um ponto de equilbrio est
avel.
Provamos agora b). Defina inicialmente W := U .
(=) Como z e atrativo, existe > 0 tal que, para todo z0 B , a soluca
o correspondente z(, z0 )
converge para z quando t . Caso W 6 B , redefina W := U B . Seja z : [0, ) U uma
d
soluca
o de z 0 = f (z); z(0) = z0 W satisfazendo dt
V (z(t)) = 0, t [0, ). Temos ent
ao
V (z(0)) = lim V (z(t)) = V ( lim z(t)) = V () = 0.
t
Como z 6= e V (
z (t)) e mon
otona n
ao crescente, ent
ao V (
z (t)) V (
z (0)) = V (
z ), t. Caso a
igualdade sempre se verificasse, a hip
otese em b) implicaria em z(t) e z = . Portanto, existe
um > 0 com V (
z ( )) < V (
z ).
A equaca
o diferencial e aut
onoma, logo as funco
es zn : [0, ) IRn definidas por zn (t) :=
0
z(tn + t) s
ao soluco
es respectivamente de zn = f (zn ), zn (0) = z(tn ). Como limn z(tn ) = z, segue
que
lim |zn (t) z(t)| = lim |z(tn + t) z(t)| = 0, t [0, ].
n
Corol
ario 3.5.4 (Lyapunov) Seja V uma funca
o de Lyapunov estrita em U , uma vizinhanca de
, para o sistema z 0 = f (z). Ent
ao, o ponto de equilbrio z = e assintoticamente est
avel.
Demonstraca
o: O Teorema 3.5.3 a) garante estabilidade de z em alguma vizinhanca B r U .
Note agora que, para toda soluca
o de z 0 = f (z) que permanece em Br para t 0, a aplicaca
o
t 7 V (z(t)) e mon
otona estritamente decrescente. Portanto, a u
nica dentre essas soluco
es que
d
V (z(t)) = 0, t 0 e a soluca
o estacion
aria z(t) . Do Teorema 3.5.3 b) segue que z e
satisfaz dt
atrativo.
Exemplo 3.5.5 Considere novamente o sistema n
ao linear
z 0 = f (z) com f (z1 , z2 ) =
3z2 z15
2z2 + z15
0
[LC]1
1
RL1
z1
z2
onde R, L e C s
ao constantes positivas. Uma funca
o de Lyapunov para este sistema e
V (z1 , z2 ) := Lz22 + C 1 z12 , (z1 , z2 ) IR2 ,
de onde calculamos
hV (z1 , z2 ), f (z1 , z2 )i = 2Rz22 , (z1 , z2 ) IR2 .
Logo, V n
ao e uma funca
o de Lyapunov estrita e o Teorema 3.5.3 a) garante que z = e est
avel.
Note porem que a condica
o 2Rz2 (t)2 = 0, para todo t 0, implica em z2 (t) = z20 (t) = 0, t 0.
Da equaca
o diferencial temos ent
ao z1 (t) = 0, t 0. Assim sendo, o Teorema 3.5.3 b) garante que
z = e tambem atrativo e, portanto, assintoticamente est
avel.
2 2 2
Exemplo 3.5.7 Considere agora o sistema
0
0 1
1 0
z1
z2
Uma funca
o de Lyapunov e dada por V (z1 , z2 ) = z12 + z22 . O Teorema 3.5.3 garante que z = e
um ponto de equilbrio est
avel mas n
ao atrativo (verifique!).
2 2 2
52
3.6
Equa
c
ao Matricial de Lyapunov
2 2 2
(X IRn,m )
e a matriz est
avel X definida por
X :=
Demonstraca
o: Da hip
otese, temos que existem constantes c 0 e > 0 tais que
ketU k cet , ketV k cet , t 0.
Note que para T > 0, temos
eT U W e T V W
=
=
=
T
0
d tU
(e W etV ) dt
dt
0
T
etU W etV dt
e soluca
o da equaca
o matricial W = U X + XV , ficando assim provada a existencia de soluco
es.
Para provar unicidade, suponha que X1 , X2 s
ao ambas soluco
es de U X + XV + W = e defina
b := X1 X2 . Logo, X
b IRn,m e soluca
X
o de
Temos ent
ao
e portanto,
b + XV
b
UX
= .
d tU b tV
b + XV
b )etV =
(e Xe ) = etU (U X
dt
b tV = e0U Xe
b 0V = X.
b
etU Xe
b = .
Tomando o limite quando t , obtemos X
53
(3.15)
Demonstraca
o: Se a matriz A e est
avel, a existencia de P segue do Lema 3.6.2 com U = A , V = A
e X = P . Reciprocamente, se P satisfaz a equaca
o (3.15), defina
V (x) := hx, P xi, x IRn .
Logo, a funca
o diferenci
avel V satisfaz V (0) = 0, V (x) > 0, x 6= e ainda
hV (x), Axi
= hP x + P x, Axi
= hA P x, xi + hx, P Axi
= h(A P + P A)x, xi
= hx, xi.
W C C e positiva semi-definida;
(A, , C) e observ
avel.
Ent
ao a matriz A e est
avel sse X for positiva definida.
Demonstraca
o: (=) Seja A uma matriz est
avel. Do Lema 3.6.2 temos que X =
Logo, para x IRn temos
Z
hx, Xxi =
hetA x, W etA xi dt
0
Z
hetA x, C CetA xi dt
Z0
=
|CetA x|2 dt.
R
0
d
V (z(t)) = hz(t), W z(t)i.
dt
3.7
Uma an
alise de estabilidade semelhante a
` realizada na Secca
o 3.2 para problemas contnuos pode
ser estendida para sistemas de evoluca
o discretos da forma
xk+1 = A xk , k = 0, 1, . . .
(3.16)
2 2 2
sup
xIRn \{}
kAxk
< 1.
kxk
Demonstraca
o: a) = b) Seja um autovalor de A e x0 o respectivo autovetor. Logo, xk =
Ak x0 = k x0 . Da hip
otese temos agora
lim ||k kx0 k = 0,
No que se refere a
` verificaca
o da estabilidade do ponto de equilbrio de (3.16) temos o lema a
seguir, que por sua semelhanca com o Lema 3.7.2 e deixado para o leitor como exerccio.
Lema 3.7.3 Dado o sistema linear discreto (3.16), s
ao equivalentes as afirmaco
es:
a) O ponto de equilbrio x
= e est
avel;
b) O operador A considerado como elemento do espaco L(IR n , IRn ) e n
ao expansivo, i.e.
kAk :=
sup
xIRn \{}
kAxk
1.
kxk
2 2 2
Demonstraca
o: (=) Como kAk < 1, e f
acil verificar que P = I (a matriz identidade) e tal que
A P A P e negativa definida. (Na verdade para qualquer matriz positiva definida P a express
ao
acima e negativa definida.)
(=) Basta observar que V (x) := hx, P xi define uma funca
o de Lyapunov quadr
atica para o
sistema.
A equaca
o A P A P = I e denominada equaca
o matricial discreta de Lyapunov.
Corol
ario 3.7.7 Se o ponto de equilbrio x = do sistema xk+1 = Axk e atrativo, ent
ao existe
uma funca
o de Lyapunov quadr
atica para o sistema.
Demonstraca
o: Segue imediatamente do Lema 3.7.6.
Exerccios
3.1 Verifique que o ponto de equilbrio do sistema no Exemplo 3.5.7 e est
avel mas n
ao atrativo.
56
x 2 = x2 sin(x1 ),
x2 = x1 + 2x31 x2
uma funca
o de Lyapunov da forma
V (x1 , x2 ) = a11 x21 + 2a12 x1 x2 + a22 x22 ,
provando assim que a origem e um ponto de equilbrio assintoticamente est
avel.
3.4 Encontre para o sistema
x1 = x1 + 2x1 x2 ,
x2 = x2 + x3 ,
x3 = x2 4x3
uma funca
o de Lyapunov da forma
V (x1 , x2 , x3 ) = a11 x21 + a22 x22 + a33 x23 + 2a12 x1 x2 + 2a23 x2 x3 + 2a13 x1 x3 .
3.5 Complete os detalhes da demonstraca
o do Lema 3.7.3.
3.6 Para sistemas n
ao aut
onomos, o metodo de linearizaca
o n
ao pode, via de regra, ser utilizado na
an
alise de estabilidade. Tal fato se torna claro mesmo para sistemas lineares. Considere o sistema
z 0 = A(t) z, com
1 2 cos 4t 2 + 2 sin 4t
A(t) =
.
2 + 2 sin 4t 1 + 2 cos 4t
a) Calcule os autovalores de A(t);
b) Mostre que a origem e um ponto de equilbrio inst
avel;
(Dica: Observe que a equaca
o diferencial possui uma soluca
o da forma: e t+it .)
3.7 O que se pode afirmar, a partir do metodo de linearizaca
o, sobre a estabilidade do ponto de
equilbrio (0, 0, 0) do sistema no Exerccio 3.4?
3.8 Considere novamente o oscilador harm
oninco ( > 0, > 0)
, s > 0
x
+ F (x)
+ x = 0, com F (s) :=
, s < 0
a) Faca um esboco da famlia de soluco
es no plano (x, x);
com U (t) :=
b, t > 0
b, t < 0
1 1 1
A = 1 1 1
1 1 0
x2 = x1 + 4x2 .
58
Captulo 4
Estabilizac
ao
Neste captulo utilizamos o conceito de estabilidade introduzido no Captulo 3 e analisamos a seguinte
quest
ao: Como e quando e possvel tornar est
avel um sistema de controle. Tal tarefa, denominada
de estabilizaca
o, tem se mostrado nos u
ltimos anos como uma das aplicaco
es mais importantes da
teoria de controle em problemas de engenharia e tecnologia. A forma cl
assica de realiz
a-la e obter
a entrada (ou controle) a partir do estado ou da sada do sistema. Falamos ent
ao de realimentaca
o
de estado ou de sada. A quest
ao da estabilizaca
o permite abordagens tanto qualitativas quanto
quantitativas, ambas aqui discutidas.
Na Secca
o 4.1, definimos os sistemas lineares estabiliz
aveis e discutimos um resultado sobre
estabilizaca
o de sistemas aut
onomos control
aveis. A seguir e analisada uma condica
o necess
aria
e suficiente para estabilizaca
o de sistemas aut
onomos. Na Secca
o 4.2, consideramos o problema
quantitativo relacionado a
` estabilizaca
o. O metodo de colocaca
o de p
olos nos fornece uma estratetiga
de estabilizaca
o, na qual e possvel escolher o grau de estabilidade do sistema estabilizado. Na
Secca
o 4.3 e apresentada a estrategia de Luenberger (observador din
amico), atraves da qual o estado
de um sistema paralelo e utilizado para estabilizar o sistema dado. Na Secca
o 4.4 e discutido
um metodo de estabilizaca
o que combina o observador din
amico com a realimentaca
o de sada. Na
Secca
o 4.5 consideramos o problema de estabilizar o ponto de operaca
o (desconhecido) de um sistema
linear.
4.1
Sistemas Lineares
Em aplicaco
es s
ao utilizadas essencialmente estrategias de realimentaca
o de sada e de realimentaca
o
de estado, com o objetivo de alterar a din
amica do sistema livre (sem controle) obtendo determinadas
propriedades, que podem ser:
BIBOestabilidade; (qualitativo)
Estabilidade assint
otica; (qualitativo)
Aceleraca
o do retorno ao ponto de equilbrio. (quantitativo)
No caso dos sistemas de controle lineares aut
onomos, as propriedades acima est
ao intrinsecamente
relacionadas com os autovalores da matriz do sistema. Dadas A IRn,n e B IRn,m , considere o
sistema de controle
z 0 = A z + B u.
(4.1)
59
Supondo que o controle u e obtido a partir do estado z por uma lei linear, escrevemos
u = F z,
onde F IRm,n . Substituindo em (4.1), obtemos
z 0 = (A + B F ) z.
(4.2)
Demonstraca
o: A ideia e uilizar o Teorema 3.6.5 com
(A, , C) = ((A + BF ) , , B )
e X = WT .
WT e positiva definida;
((A + BF ) , , B ) e observ
avel;
W := (A + BF )WT WT (A + BF ) e tal que
W BB e positiva semi-definida.
= AWT BB + WT A BB
Z T
d tA
(e
BB etA ) dt 2BB
=
dt
0
= eT A BB eT A + BB 2BB
= eT A BB eT A BB .
Chegamos assim a
` identidade
W = eT A BB eT A + BB ,
Observa
c
ao 4.1.3 O Teorema 4.1.2 garante que sistemas aut
onomos control
aveis s
ao estabiliz
aveis
por realimentaca
o de estado. A recproca entretanto n
ao e verdadeira, conforme podemos verificar
no seguinte exemplo trivial:
A matriz est
avel, B =
z 0 = Az + Bu
2 2 2
A fim de esclarecer a quest
ao levantada na Observaca
o 4.1.3, investigamos condico
es suficientes
para garantir a controlabilidade de sistemas estabiliz
aveis. Este e o objetivo do teorema
Teorema 4.1.4 Seja (A, B) um sistema aut
onomo de controle. Ent
ao (A, B) e control
avel se e
somente se (A, B) e (A, B) s
ao ambos estabiliz
aveis.
Demonstraca
o: Seja (A, B) control
avel. Ent
ao (A, B) e control
avel e a estabilidade de (A, B)
A22
x2 0
onde (A11 , B1 ) e control
avel. O sistema
A11
A12
A22
B1
,
e estabiliz
avel quando existe uma matriz F = (F1 , F2 ) tal que
A11 + B1 F1 A12 + B1 F2
A22
e uma matriz est
avel. Conclumos da que os blocos A22 possuem somente autovalores com parte
real estritamente menor que zero. Como essa condica
o n
ao pode ser satisfeita simulteneamente para
A22 e A22 , temos que o bloco A22 n
ao pode existir na forma normal. Temos ent
ao que
A = P 1 A11 P, B = P 1 B1 ,
onde P e n
ao singular. A controlabilidade de (A, B) segue agora da controlabilidade de (A 11 , B1 ).
Exemplo 4.1.5 Considere novamente o problema do equilbrio de um bast
ao vertical. A equaca
o
diferencial e
g = u(t),
que se escreve na forma do sistema
z 0 = Az + Bu com A =
0 1
g 0
, B=
0
1
4.2
Coloca
c
ao de P
olos
0
1
0
0
0
1
..
..
..
.
.
A = .
0
0
0
0
0
0
a0 a1 a2
..
.
0
0
..
.
0
0
..
.
1
0
an2
0
1
an1
0
0
..
.
, b =
.
0
Os n
umeros a0 , . . . , an1 s
ao os coeficientes do polin
omio caracterstico p de A: p(r) = r n +
Pn1
i
i=0 ai r .
Demonstraca
o: a) = b) Basta encontrar uma base w 1 , . . . , wn para IRn , de modo que a matriz
n,n
P IR
definida pelas equaco
es
P wk = ek , 1 k n,
satisfaca
(i) P b = en ,
(ii) P AP 1 e1 = a0 en ,
wk = Awk+1 + ak b, 1 k < n.
Temos ent
ao
wk = Ank b +
nk
X
j=1
anj Ankj b, 1 k n.
(4.3)
= a0 wn (provando (ii)) ;
b) satisfazendo as hip
b) = a) Seja agora o sistema (A,
oteses do item b). O criterio do posto nos
garante que esse sistema e control
avel. Logo, (A, b) e tambem control
avel.
O teorema a seguir esclarece o resultado principal sobre a colocaca
o de razes dos polin
omios
caractersticos de sistemas de controle.
r+1 , . . ., s ,
s
Teorema 4.2.2 Seja (A, b) um sistema control
avel e 1 , . . ., r IR, r+1 ,
n
umeros complexos dados, com r + 2(s r) = n. Ent
ao existe f IR tal que o polin
omio
C\IR n
r+1 , . . ., s ,
s .
caracterstico de A + bf possui como razes 1 , . . ., r , r+1 ,
Demonstraca
o: Seja f um vetor com componentes f0 , . . . , fn1 . O Lema 4.2.1 nos permite escrever
o sistema A + bf (a menos de uma mudanca de vari
aveis) na forma
0
1
0
0
0
0
0
1
0
0
..
..
..
.
.
..
..
..
.
.
.
.
A + bf =
,
0
0
0
1
0
0
0
0
0
1
f0 a0 f1 a1 f2 a2 fn2 an2 fn1 an1
onde a0 , . . . , an1 , 1 s
ao os coeficientes do polin
omio caracterstico de A. Logo, o polin
omio caracterstico p de A + bf satisfaz
n1
X
(fi ai )ri .
p(r) = rn +
i=0
Como os coeficientes fi ai , i = 0, . . . , n 1 s
ao determinados pelas razes do polin
omio, podemos
determinar f0 , . . . , fn1 (observe que e preciso resolver um sistema n
ao linear com n vari
aveis e n
equaco
es).
Exemplo 4.2.3 Considere novamente o sistema linear (veja Exemplo 4.1.5)
0 1
0
A =
, b =
.
g 0
1
` matriz
A estabilizaca
o com f = ff01 IR2 nos leva a
A + bf =
0
g f0
1
f1
cujo polin
omio caracterstico e: 2 + f1 + (f0 g). Se escolhemos os autovalores = 1, obtemos
os coeficientes f0 = g + 1, f1 = 2.
2 2 2
possvel obter um resultado semelhante ao apresentado no Teorema 4.2.2 para
Observa
c
ao 4.2.4 E
sistemas genericos (A, B) com m 1. Neste caso, a demonstraca
o baseia-se na forma normal.
Discutimos aqui o caso geral na forma de algoritmo.
Seja o sistema de controle
z 0 = Az + Bu,
Definindo q i := F v i , 1 i n, obtemos
(A i I)v i + Bq i = , 1 i n.
Portanto,
vi
qi
Ke(A i I|B), 1 i n,
F = (q 1 | |q n )(v 1 | |v n )1 ,
1 0
0 1
0
1 , B = 0 0 .
A = 0 0
0 1
4 4 1
i
1
0
1 0
i
1
0 0 .
(A i I | B) = 0
4
4
i 1 0 1
Um simples c
alculo nos permite obter Ke(A i I | B), sendo estes para i = 1, 2, 3 respectivamente
span{(1, 2, 4, 0, 0), (1, 0, 0, 2, 4)}, span{(3, 2, 6, 5, 0), (2, 3, 9, 0, 26)},
Podemos escolher ent
ao:
0
1
1
3
v1 = 1 , q1 =
, v2 = 0 , q2 =
,
52
2
5
2
0
0
1
v3 = 1 , q3 =
.
8
4
F =
e a matriz do sistema de malha fechada e
3
52
5
1
0
12 5
3
A + BF = 0
72
5
0
0
0
1 .
8 6
2 2 2
4.3
Observador Din
amico
Dadas A IRn,n , B IRn,m , C IRl,n considere o sistema de controle (A, B, C). Na Secca
o 4.1,
vimos que para estabilizar um sistema utilizando uma estrategia de realimentaca
o de estado da
forma u = F z temos que encontrar F de modo a tornar a matriz (A + BF ) est
avel.
Fazemos agora o desenvolvimento equivalente para o problema de realimentaca
o de sada, quando
procuramos controladores da forma u = F y. Note que
u = F y = F Cz, F IRm,l .
O objetivo e ent
ao encontrar F de modo que o ponto de equilbrio z = do sistema z 0 = (A+BF C)z
seja assintoticamente est
avel. Tal abordagem encontra serios obst
aculos a
` sua realizaca
o, pois mesmo
as hip
oteses
(A, B) control
avel, (A, , C) observ
avel
n
ao s
ao suficientes para garantir a estabilidade da matriz (A + BF C). Tal fato pode ser comprovado
no simples exemplo a seguir.
Exemplo 4.3.1 Considere o problema de controle descrito por
x
+ x = u, y = x.
Na forma de sistema temos
z0 =
0 1
1 0
y = (1 0)
z +
z1
z2
0
1
f
E
acil verificar que os sistemas (A, B) e (A, , C) s
ao respectivamente control
avel e observ
avel. Escolhendo agora uma estrategia de controle linear de realimentaca
o de sada, temos
u := f y, com f IR1,1 .
Obtemos assim a equaca
o x
+ (1 f )x = 0, que corresponde ao sistema z 0 = (A + Bf C)z, com
(A + Bf C) =
0
1
f 1 0
Calculando o polin
omio caracterstico deste novo sistema, obtemos p(r) = r 2 + (1 f ) = 0, que
possui razes:
p
= f 1.
Obviamente e impossvel encontrar f IR que satisfaca Re(+ ) < 0 e Re( ) < 0 ao mesmo tempo.
Portanto, o sistema n
ao e estabiliz
avel.
2 2 2
Na Secca
o 4.4 e analisada uma alternativa para a estabilizaca
o por realimentaca
o de sada, que
consiste de duas etapas: inicialmente o estado e recontrudo a partir da sada; em um segundo passo
utiliza-se a aproximaca
o do estado na realimentaca
o.
A fim de reconstruir dinamicamente o estado z a partir da observaca
o y, utilizamos a seguinte
ideia:
65
A an
alise da estabilidade de (A + LC) nos leva ao conceito de detectabilidade. O teorema a
seguir estabelece a equivalencia entre a detectabilidade de um sistema (A, , C) e a estabilidade da
matriz do observador din
amico (A + LC).
Teorema 4.3.2 Dadas A IRn,n e C IRl,n , s
ao equivalentes as afirmaco
es:
a) (A, , C) e detect
avel;
ao Cv 6= ;
b) Se v C n e autovetor de A e seu autovalor satisfaz Re() 0, ent
c) (A , C ) e estabiliz
avel;
Demonstraca
o: a) = b) Sejam v e como em b). Considere as soluco
es especiais do problema de
valor inicial z 0 = Az, z(0) = v dadas por
zr (t) := Re(et v), zi (t) := Im(et v), t IR.
Note que, se Cv = , ent
ao v pertence ao subespaco n
ao observ
avel de (A, , C). Neste caso,
limt zr (t) 6= , contradizendo a detectabilidade de (A, , C).
b) = c) Note que e possvel escrever o sistema (A , C ) na forma normal
CI
AI
,
, C =
A =
AII
com (AI , CI ) control
avel. Analisamos separadamente as duas possveis situaco
es:
Se o bloco AII n
ao existir, temos (A , C ) = (P 1 AI P, P 1 CI ). Logo, (A , C ) e control
avel.
O item c) segue agora do Teorema 4.1.2.
Suponha que o bloco AII esteja presente na forma normal. Se e um autovalor de AII e w um
autovetor correspondente, temos para v = w que
= .
A v = v, Cv
escolha da letra L para o observador se deve a D.G. Luenberger, que introduziu esta ideia.
66
(AI + CI FI ) e est
avel. Temos ent
ao que a matriz
A I + C I FI
A + C (FI | ) =
AII
C)
e (P 1 AP,
P 1 C)
= (A , C ), ent
e est
avel. Como F = (FI |) estabiliza (A,
ao F = F P
estabiliza (A , C ).
c) = d) Por hip
otese, existe uma matriz D tal que a matriz A + (C )(D) e est
avel. Logo,
A + LC e est
avel com T
a escolha L := D .
n1
d) = a) Dado z0 k=0 Ke(CAk ) defina z(t) := etA z0 , t IR. Do teorema de CaleyHamilton
segue Cz(t) = , para t 0. Logo, z tambem e soluca
o de
z 0 = (A + LC) z.
Como os autovalores da matriz (A + LC) possuem parte real negativa, temos que lim z(t) = .
t
f
E
acil ver que (A, B) e control
avel, e portanto tambem detect
avel. Os autovel e (A, , C) observ
a
l1
ao obtidos resolvendo-se a equaca
o
valores de A + LC com L = l2 s
0 = det(I (A + LC)) = 2 + (3 l1 ) + (2 2l1 3l2 ).
(4.4)
com
A =
17
3
56/3 2
, B=
1
1
, L=
16 56/3
O observador din
amico nos permite reconstruir a componente z2 do estado note que a componente z1 j
a e observada. Suponha que temos a seguinte situaca
o:
0
0
u(t) 1, z(0) =
, x(0) =
,
0
com IR. O erro de reconstruca
o := z x satisfaz
0 = (A + LC)
(0) = 0
Os autovalores de A + LC s
ao 1 = 9, 2 = 10 e os respectivos autovetores s
ao v1 =
1
v2 = 7/3
. Temos ent
ao
9t
1 (t)
3e
3e10t
(t) =
=
.
2 (t)
8e9t 7e10t
1
8/3
4.4
Estabiliza
c
ao por Realimenta
c
ao de Sada
A
LC
BF
A + BF + LC
A + LC
Note, porem, que a estrutura de
A tarefa de estabilizar A e portanto equivalente a
` de estabilizar A.
A nos permite escrever
pA = p(A+BF ) p(A+LC) ,
onde pM representa o polin
omio caracterstico da matriz M . Sendo assim, nossa tarefa se reduz a:
Determinar F tal que a matriz A + BF e est
avel;
Determinar L tal que a matriz A + LC e est
avel.
Conhecemos, entretanto, da Definica
o 4.1.1 e do Teorema 4.3.2 condico
es necess
arias e suficientes
para que os objetivos acima possam ser alcancados. S
ao essas respectivamente:
(A, B) estabiliz
avel,
(A, , C) detect
avel.
68
L =
16
56/3
f1
f2
, os autovalores de A + BF s
ao
det(I (A + BF )) = 2 + (3 f1 f2 ) + (2 5f1 f2 ).
Escolhendo para A+BF os autovalores 1 = 5, 2 = 6, obtemos para F os coeficientes: f1 = 5,
f2 = 3. Portanto, a matriz do sistema (4.7) assume a forma
6
0
5
3
5 5
5
3
.
A =
0
0 17
3
0
0 56/3 2
2 2 2
A estabilizaca
o por realimentaca
o de sada para sistemas SISO n
ao lineares especiais e considerada
em [KIF].
4.5
Pontos de Opera
c
ao
Nesta secca
o consideramos os problemas de determinaca
o e estabilizaca
o de pontos de operaca
o.
Considere um sistema de controle (A, B), no qual a vari
avel de controle u se decomp
oe em uma
entrada fixa u
(desconhecida) e um sinal de controle v. O sistema se escreve ent
ao como
z 0 = Az + B(
u + v).
(4.8)
O ponto de operaca
o zo do sistema (4.8) corresponde ao ponto de equilbrio do sistema livre (i.e.
v 0). Temos assim
zo = A1 B u
.
O problema abordado nesta secca
o e o de encontrar uma estrategia de controle v que torne o ponto
de operaca
o assintoticamente est
avel e que, se possvel, nos permita identific
a-lo.
Note que se u
e conhecido, recamos no problema de estabilizaca
o do sistema (A, B). De fato,
uma vez calculado zo , basta fazer a mudanca de vari
avel x = z zo para que o estado x satisfaca a
din
amica x0 = Ax + Bv.
Utilizando uma abordagem semelhante a
` do observador din
amico, e possvel n
ao somente estabilizar o ponto de operaca
o, como tambem determin
a-lo. Vamos aproximar o estado z por x
satisfazendo a din
amica:
x0 = L(z x),
onde L IRn,n e n
ao singular. Escolhemos agora para (4.8) um controle da forma
v = F (z x).
69
e ainda
z0 = z 0 = Az + B u
+ BF (z x) = A
z + BF z BF x
.
Temos ent
ao, para o par (
z x), o sistema
0
A + BF
z
=
L
x0
BF
L
z
x
(4.9)
Portanto, basta encontrar matrizes F e L, tais que a matriz do sistema (4.9) seja est
avel. Note que,
se A e est
avel, uma escolha possvel e F = , L = I.
Exemplo 4.5.1 Considere o sistema de controle (A, B) com matrizes:
1
1
3
.
, B =
A =
1
0 2
Supomos F e L da forma:
F =
f1
f2
, L =
l1
l2
l2
l1
A + BF
L
BF
L
cujo polin
omio caracterstico e:
2
0
3 5
=
l1
l2
l2
l1
3
3
3
3
,
l1 l2
l2 l1
p() = 4 + (7 + 2l1 ) 3 + (10 + 8l1 + l12 l22 6l2 ) 2 + (8l1 + l12 l22 12l2 ) + 2(l22 l12 ).
A observ
ancia do criterio de Hurwitz (veja Teorema 3.3.5) nos leva a escolher os coeficientes l 1 = 1,
l2 = 3. As razes obtidas s
ao
1 = 2 = 2, 3 = 1, 4 = 4.
1 3
Logo, F = 3 3 e L = 3
ca
o.
1 estabilizam o ponto de opera
Para
fins
de
c
a
lculo,
suponha
u
=
2.
O
ponto
de
opera
c
a
o
correspondente
e z o = A1 B u
=
5
5
co
es iniciais: z(0) = 0 e x(0) = . Temos ent
ao
1 . Suponha as condi
0
1
z(0)
=
5
x
(0)
1
e a soluca
o do sistema (
z0 x
0 ) e:
z(t)
x(t)
=
t
77e + 96te2t + 12e4t + 60e2t .
55et 44e2t 96te2t 12e4t
70
2 2 2
Exerccios
4.1 Considere o sistema SISO (A, b) com
1
6 1
1
1 , b = 1 .
A = 1 1
2
2
0
1
b) do sistema (b = (0, 0, 1)).
Encontre a forma normal (A,
0
0 1 0
A = 0 0 1 , b = 0 .
1
2 3 0
0 1
1 1 0
A = 1 0 1 , B = 1 0 .
0 1
0 0 1
1
0
0
A = 2 2 2 , C =
1
0 3
1 1 1
1
1
0
0
A = 2 2 2 , B = 0 , C = 1 1 1 ,
1
1
0 3
71
72
Captulo 5
Princpio do M
aximo
Neste captulo e analisado um conjunto de condico
es necess
arias para otimalidade de soluco
es de
problemas de controle o
timo. Tal resultado e conhecido na literatura como princpio do m
aximo 1 e
muito se assemelha a um teorema de multiplicadores de Lagrange, formulado em espacos de dimens
ao
infinita.
Com hip
oteses adicionais de convexidade, o princpio do m
aximo pode ser demonstrado utilizandose argumentos elementares de an
alise. Em particular, a condica
o de m
aximo e obtida a partir da
equaca
o de EulerLagrange. No caso geral (sem a hip
otese de convexidade da Hamiltoniana), a
demonstraca
o da necessidade da condica
o de m
aximo e mais complicada e necessita de alguns resultados oriundos da teoria de otimizaca
o em espacos de dimens
ao infinita.
A autoria do princpio do m
aximo e controversa. A maioria dos autores credita a condica
o de
m
aximo ao grupo liderado pelo matem
atico russo L.S. Pontryagin (1956). Entretanto, tal condica
o
pode ser encontrada em um texto anterior, porem pouco divulgado, de M.R. Hestenes (1950). Para
maiores detalhes consulte [Hes], [PBG], assim como o artigo de Hestenes2 em [BaNe].
O captulo e organizado da seguinte forma: Na Secca
o 5.1 apresentamos o princpio do m
aximo
para problemas de controle o
timo com horizonte finito. Algumas variantes do resultado, correspondentes a diferentes condico
es de contorno, s
ao tambem analisadas nesta secca
o. Na Secca
o 5.2
consideramos o princpio do m
aximo para problemas com horizonte infinito. Na Secca
o 5.3 s
ao discutidas diversas aplicaco
es, nas quais o princpio do m
aximo e utilizado na identificaca
o de processos
o
timos.
5.1
Z t1
Minimizar
J(z,
u)
:=
L
(t
,
z(t
))
+
L(t, z(t), u(t)) dt
1 1
1
t0
sujeito a
P (t0 , z0 )
t1 t0 ; u L1 ([t0 , t1 ]; IRm ), u(t) q.s. em [t0 , t1 ] ;
Z t
1 Tamb
em
2 Hestenes,
73
onde
ent
ao existe uma funca
o : [t0 , t1 ] IRn e constantes 0, IRp que satisfazem:
i) Equaca
o de estado
z(t) = z0 +
ii) Equaca
o adjunta
(t) = 1 +
t
t0
f (s, z(s), u
(s)) ds, t [t0 , t1 ] ;
t1
H
(s, z(s), (s), u(s)) ds, t [t0 , t1 ],
z
:= L1 (t1 , z(t1 ))
(t , z(t1 )) ;
z
z 1
t
iii) Equaca
o de evoluca
o da funca
o de Hamilton
Z t1
iv) Condica
o de otimalidade
H(t, z(t), (t), u(t)) = min H(t, z(t), (t), u), q.s. em [t0 , t1 ] ;
u
v) Condica
o de n
ao acoplamento + || 6= 0.
A demonstraca
o do Teorema 5.1.2 constitui-se na aplicaca
o de um teorema de multiplicadores a
um problema auxiliar, obtido de P (t0 , z0 ) por uma mudanca de vari
aveis denominada transformaca
o
no tempo e cuja solubilidade est
a relacionada a de P (t0 , z0 ). As constantes e surgem na demonstraca
o como componentes de um vetor normal a um hiperplano, que separa conjuntos de nvel
associados a
` funca
o objetivo J e a
` condica
o final (t, z(t)) = .
Observa
c
ao 5.1.3 A denominaca
o princpio do m
aximo e motivada pelo item iv) do Teorema 5.1.2,
que, entretanto, refere-se a
` determinaca
o de um mnimo. Note, porem, que a elementar substituica
o
de J por J permite-nos trocar o problema de minimizaca
o por um de maximizaca
o, alterando assim
o min da condica
o iv) para max. Sem d
uvida, as condico
es mais interessantes do Teorema 5.1.2 s
ao
2 2 2
Observa
c
ao 5.1.4 Analogamente aos problemas variacionais, os problemas de controle o
timo tambem
podem ser formulados com diferentes tipos de condico
es de contorno. A cada um destes tipos corresponde uma variante do Teorema 5.1.2, que se diferencia deste apenas pelas condico
es de contorno
da vari
avel adjunta e da funca
o de Hamilton. Enunciamos a seguir algumas variantes do problema
P (t0 , z0 ) que surgem com maior freq
uencia nas aplicaco
es. Apresentamos tambem as condico
es
necess
arias correspondentes para cada problema.
Considere o problema P (t0 , z0 ) com t1 fixo (t1 > t0 ) e L1 .
Se a condica
o final e fixada (z(t1 ) = z1 ), n
ao h
a nenhuma condica
o para (t1 ) (corresponde a
`
escolha (t, z) := (t t1 , z z1 ) IR2 ).
Se a condica
o final e livre (z(t1 ) qualquer), a vari
avel adjunta satisfaz (t1 ) = (corresponde a
`
escolha (t, z) := t t1 IR).
Se a condica
o final e da forma: z(t1 ) z1 (no caso escalar), a vari
avel adjunta satisfaz (t1 ) 0,
ocorrendo a igualdade quando z(t1 ) > z1 .
Considere o problema P (t0 , z0 ) com L1 . Neste caso, as condico
es para (t1 ) discutidas acima
n
ao se alteram e, alem disso,
H(t1 , z(t1 ), (t1 ), u(t1 )) = 0 .
Esta equaca
o extra corresponde a
` vari
avel adicional do problema, representada pelo tempo final
desconhecido t1 .
2 2 2
O princpio do m
aximo pode, em alguns casos, ser utilizado para efetivamente determinar uma
soluca
o do problema P (t0 , z0 ). Para tanto, aplica-se a seguinte estrategia: Inicialmente explicitamos
o controle u em funca
o das vari
aveis z e , obtendo assim
u() = U (, z(), ()) .
75
1. Estime 0 := (t0 ) e ;
2. Resolva o problema de valor inicial
(t1 ) =
L1
(t1 , z(t1 ))
(t1 , z(t1 )) ;
z
z
4. Retorne ao passo 2.
Figura 5.1: Algoritmo do metodo de shooting para sistema hamiltoniano
O pr
oximo passo e substituir essa express
ao no problema de valor de contorno da Observaca
o 5.1.3
(eliminando a vari
avel u):
z0
0
H0
= Hz (t, z, , U ), (t1 ) =
(t1 , z(t1 ))
(t1 , z(t1 )) ;
z
z
H
=
(t, z, , U ) ,
t
D
E
L1
(t1 , z(t1 )) +
(t1 , z(t1 )),
H(t1 , z(t1 ), (t1 ), U (t1 )) =
t
t
(5.1)
(5.2)
(5.3)
Z b
Minimizar J(z, u) :=
L(t, z(t), u(t)) dt
a
0
sujeito a z = u(t) .
Logo, a condica
o de m
aximo iv) do Teorema 5.1.2 implica em
0 =
H
u
+ L (t, z, u
) =
i + L(t, z, u
)] =
(t, z, ,
[h, u
)
u
u
u
e, portanto,
= L (t, z, u
) .
u
O sistema hamiltoniano para as vari
aveis de estado e adjunta se escreve
z = + H = u
d
dt
d = H = L (t, z, u
)
dt
z
z
De (5.4) e (5.5), temos
ou
5.2
L
L
d
(t, z, u
) =
(t, z, u
)
z
dt
u
L
d L
0
0
(t, z, (
z) )
(t, z, (
z) ) = 0 .
z
dt z 0
(5.4)
(5.5)
2 2 2
Z T
sujeito a
Z t
PT (z0 )
z(t) = z0 +
f (s, z(s), u(s)) ds, t [0, T ], z(T ) = zT ;
1
u L ([0, T ]; IRm ), u(t) q.s. em [0, T ] ;
Argumentando como na Observaca
o 5.1.4, obtemos um conjunto de condico
es necess
arias para otimalidade de uma soluca
o do problema PT (z0 ):
Corol
ario 5.2.1 Suponha que L, f s
ao aplicaco
es C 2 . Se (
z, u
) e uma soluca
o do problema PT (z0 ),
n
ent
ao existe uma funca
o : [0, T ] IR e = 1 ou = 0 que satisfazem
i) Sistema hamiltoniano
z )0 (t) = H (t, z, , u
), q.s. em [0, T ],
(
0 (t) = Hz (t, z, , u
), q.s. em [0, T ],
z(t0 ) = z0 , z(T ) = zT ;
ii) Condica
o de otimalidade
iii) Condica
o de n
ao acoplamento + kk 6= 0.
Demonstraca
o: Segue imediatamente do Teorema 5.1.2 e da Observaca
o 5.1.4.
Analisamos agora os problemas com horizonte infinito. Considere o seguinte problema de controle
o
timo:
Z
et L(z(t), u(t)) dt
Minimizar
J(z,
u)
:=
sujeito a
Z t
P (z0 )
z(t)
=
z
+
f (z(s), u(s)) ds, t [0, ) ;
0
onde as funco
es L : Rn IRn IR, f : Rn IRn IRn , o conjunto IRm e a constante > 0
s
ao dados. Verificamos a seguir um resultado que fornece condico
es necess
arias para otimalidade de
uma soluca
o de P (z0 ).
i) Equaca
o de estado
z(t) = z0 +
t
0
f (s, z(s), u
(s)) ds, t [0, ) ;
ii) Equaca
o adjunta
(t) = 0 +
t
0
H
(s, z(s), (s), u
(s)) ds, t [0, ) ;
z
78
iii) Condica
o de otimalidade
H(t, z(t), (t), u
(t)) = min H(t, z(t), (t), u), q.s. em [0, ) .
u
Demonstraca
o: Seja (
z, u
) um processo o
timo para P (z0 ). Dado T > 0, as funco
es et L :
n
m
n
m
[0, T ] IR IR e f : [0, T ] IR IR satisfazem as condico
es do Corol
ario 5.2.1. Logo, este
corol
ario nos fornece condico
es necess
arias para otimalidade de cada problema
Z Tk
Minimizar J(z, u) :=
et L(t, z(t), u(t)) dt
sujeito a
Z t
PTk (z0 )
z(t) = z0 +
f (s, z(s), u(s)) ds, t [0, Tk ], z(Tk ) = zk := z(Tk ) ;
1
u L ([0, Tk ]; IRm ), u(t) q.s. em [0, Tk ] ;
(5.6)
Seja agora T > 0 fixo. Logo Tk > T , para k > k0 e como o sistema Hamiltoniano desfruta da
propriedade de dependencia contnua das condico
es iniciais, podemos garantir que existe : [0, T ]
IRn , tal que k converge uniformemente para em [0, T ]. Essa convergencia implica nas desejadas
condico
es de otimalidade para o problema P (x0 ), uma vez que T > 0 e arbitr
ario.
Observa
c
ao 5.2.3 Duas diferencas b
asicas devem ser observadas na formulaca
o do Teorema 5.2.2
em relaca
o ao Teorema 5.1.2:
Falta uma condica
o de contorno final para a vari
avel adjunta (eventualmente uma condica
o de
decaimento do tipo lim (t) = );
t
Falta a condica
o de n
ao acoplamento (neste caso + |0 | 6= 0).
2 2 2
Uma an
alise para problemas do tipo linear-quadr
atico com horizonte infinito e tambem possvel
via programaca
o din
amica. Atraves de um processo de limite, e possvel obter a funca
o valor
resolvendo-se a equaca
o algebrica de Riccati (veja [So, Captulo 7]).
3 Note
79
5.3
Aplica
co
es do Princpio do M
aximo
Nesta secca
o analisamos, a
` luz do princpio do m
aximo, alguns problemas de controle o
timo. Na
Aplicaca
o 5.3.1 e discutido formalmente um problema de tempo mnimo. A Aplicaca
o 5.3.2 e uma extens ao da primeira. Nela e analisada uma famlia maior de problemas, composta pelos denominados
problemas de tempo mnimo ate a origem.
Na Aplicaca
o 5.3.3 o princpio do m
aximo e utilizado para verificar que uma estrategia do tipo
bang-bang e a u
nica estrategia o
tima existente para um problema de alunissagem. Na Aplicaca
o 5.3.4
consideramos um problema com controle singular.
Na Aplicaca
o 5.3.5 consideramos um modelo econ
omico cl
assico, que foi formulado por F. Ramsey em 1928 (veja [Ra]). Utilizando a equaca
o de EulerLagrange, obtemos a poltica o
tima para
um problema de consumo investimento com horizonte infinito.
Em [BMS] podem ser encontradas diversas aplicaco
es do princpio do m
aximo a problemas aeroespaciais, dentre as quais citamos: Desenho o
timo de uma miss
ao a Netuno; Ascenss
ao o
tima de um
veculo espacial hipers
onico; Alcance m
aximo de v
oo para uma asa delta atravessando uma termica.
Em [Ho] s
ao discutidas (entre outras) as seguintes aplicaco
es: Oscilador harm
onico com custo de
combustvel; controle de epidemias; Pescaria o
tima; Contraca
o do ventrculo esquerdo do coraca
o;
Compra e venda de aco
es.
Aplica
c
ao 5.3.1 (Tempo mnimo I) Considere a tarefa de encontrar uma estrategia u
(aceleraca
o e frenagem) que permita levar, no menor tempo possvel, um carro que se encontra na
origem e em repouso, ate uma parede distante de uma unidade. Ao chegar na parede o carro deve
ter novamente velocidade nula.
Supondo que o carro de massa unit
aria e desprezando os atritos, temos o modelo:
x(t) = u(t), t [0, t],
onde x(t) representa o deslocamento, x(t)
= 0;
x(t) = 1, x(
t) = 0 .
Podemos ent
ao escrever o problema na forma P (t0 , z0 ) como
RT
Minimizar 0 1 dt
sujeito a
z 0 = 00 10 z + 01 u, z(0) = ;
u[1,1]
+ |1 | + |2 | 6= 0 .
80
A condica
o de optimalidade nos permite encontrar
sign 2
U (z, ) =
?
Calculando agora z(t), (t) para t [0, T ], obtemos4
Z t
Z tZ
z2 (t) =
u(s) ds, z1 (t) =
0
, 2 6= 0
, 2 = 0
(5.7)
(5.8)
s
0
(5.9)
2 T + 2 T 2
2
; z(T ) =
.
z( ) =
2 T
Da condica
o de contono z(T ) = (10 ), obtemos para o par (, T ) o sistema n
ao linear
1 = 12 T 2 + 2 T 2
0 = 2 T
cuja soluca
o e = 1, T = 2, como se verifica facilmente. Portanto, a soluca
o do problema de controle
e
1, 0 t < 1
T = 2, u
(t) =
1, 1 t 2
2 2 2
Aplica
c
ao 5.3.2 (Tempo mnimo II) Consideramos agora uma variante da aplicaca
o anterior.
Suponha que no tempo t = 0 nosso carro se encontra na posica
o a IR com velocidade b IR. Nosso
objetivo e lev
a-lo ate a origem no menor tempo possvel, de forma que ao chegar ao destino, o carro
tenha velocidade nula.
Temos agora o seguinte problema de controle
RT
Minimizar 0 1 dt
sujeito a
z 0 = 00 10 z + 01 u, z(0) = (ab ) ;
81
z2
C
u1
z1
u1
1o Caso: u
n
ao muda de sinal em [0, T ].
Se u
1, temos
t2
, t [0, T ] .
2
Como z(T ) = , tais estrategias s
ao admissveis apenas para condico
es iniciais do tipo (a, b) =
(T 2 /2, T ), com T > 0.
Se u
1, temos
t2
z2 (t) = b t, z1 (t) = a + bt , t [0, T ] .
2
Como z(T ) = , tais estrategias s
ao admissveis apenas para condico
es iniciais do tipo (a, b) =
(T 2 /2, T ), com T > 0.
A curva C na Figura 5.2 e composta pelas condico
es iniciais (a, b), para as quais as estrategias
u
1 ou u
1 s
ao o
timas. As respectivas trajet
orias correspondem a
` parte da curva C limitada
por (a, b) e pela origem.
z2 (t) = b + t, z1 (t) = a + bt +
2o Caso: u
muda de sinal em (0, T ).
No caso anterior vimos que, se u
1, ent
ao z2 (t)2 = 2z1 (t) + const; enquanto que u
1 implica
2
em z2 (t) = 2z1 (t) + const. Portanto, as trajet
orias correspondentes a tais controles s
ao necessariamente paralelas a um dos arcos de par
abola mostrados na Figura 5.3. De onde conclumos que a
trajet
oria o
tima e necessariamente composta por dois arcos: cada um pertencente a uma das famlias
na Figura 5.3 (lembre que u
muda de sinal uma u
nica vez no intervalo [0, T ]).
Note que a parte final da trajet
oria o
tima e necessariamente como na Figura 5.2 (caso contr
ario a
trajet
oria n
ao seria admissvel). Para determinar a parte inicial da trajet
oria, observe que, dada uma
condica
o inicial (a, b) IR2 , existe uma u
nica curva pertencente a
`s famlias mostradas na Figura 5.3,
que intercepta tanto o ponto (a, b) quanto a curva C (o caso a > 0, b > 0 e mostrado na Figura 5.4).
O princpio do m
aximo nos permite concluir que existe uma u
nica trajet
oria associada a controles
do tipo
1, t <
1, t <
u
(t) =
ou u
(t) =
1, t >
1, t >
82
b2 /2 a.
2 2 2
Aplica
c
ao 5.3.3 (Alunissagem) Considere o problema de controlar a descida de uma espaconave
na Lua, utilizando para isso a menor quantidade possvel de combustvel. Em um modelo simplificado, temos5
t
h(t)
v(t)
m(t)
u(t)
:
:
:
:
:
tempo;
altura da espaconave;
velocidade da espaconave;
massa da espaconave + combustvel;
empuxo dos motores da espaconave.
z2
z 0 = g + u/z3 =: f (t, z, u)
ku
(5.10)
A condica
o final segue da hip
otese que um pouso suave ocorre quando h(T ) = 0 e v(T ) = 0, sendo
para m somente relevante que m(T ) M . Como o custo a ser minimizado corresponde ao gasto de
5 Este
z2
z2
z1
z1
z2
E
u1
z1
a
u1
P
Figura 5.4: Trajet
oria o
tima para a condica
o inicial z(0) = (a, b)
combust vel, temos que maximizar
m(T ) = M + F k
u(t) dt .
0
O problema de controle o
timo pode ser escrito como:
Z T
Minimizar
J(T,
z,
u)
=
u(t) dt
sujeito a
A funca
o de Hamilton e
0
?
U (z, ) =
umax
u obtemos
, + 2 /z3 k3 > 0
, + 2 /z3 k3 = 0
, + 2 /z3 k3 < 0
(5.11)
Tomamos por simplicidade umax = 1. A fim de tornar o problema fisicamente coerente, supomos
ainda
1 = empuxo m
aximo > forca gravitacional = (M + F )g,
M +F k(T )
M +F
1
2
g(T
ln
T
z
()
=
2
k2
M +F
k
)
z2 () = g(T ) + k1 ln M +FMk(T
+F
z3 () = M + F
84
z1 = h
z2 = v
= T F/k
z1 = h
u
=0
u
=1
z2 = v
1 2
z1 (t) = 2 gt + v0 t + h0
z2 (t) = gt + v0
z3 (t) = M + F
t [0, ] .
Explicitando z1 (= h) em funca
o de z2 (= v), obtemos:
h(t) = h0
1 2
[v (t) v02 ], t [0, ] .
2g
que se a condica
o inicial (v0 , h0 ) se encontra abaixo da curva na Figura 5.5, mesmo empregando
empuxo m
aximo u(t) = 1, t [0, T ], o solo lunar e atingido com v(T ) < 0.
Atraves do princpio do m
aximo verificamos agora que a estrategia de controle definida em (5.12)
e um candidato a controle o
timo. Suponha (0) = (l1 l2 l3 ). Substituindo na equaca
o adjunta
0
1 = 0
0 = 1
02
3 = 2 u/z32
temos:
1 (t) = l1 , t [0, T ] ;
2 (t) = l2 l1 t, t [0, T ] ;
3 (t) = l3 , t [0, ] .
l2 l 1 s
ds, t [, T ] .
[k( s) + M + F ]2
Defina agora r(t) := + 2 (t)/z3 (t) k3 (t), t [0, T ]. De (5.11) sabemos que a escolha do controle
u
no tempo t depende de sign(r(t)). Portanto, como a estrategia de controle u
salta de 0 para 1 em
t = , temos obrigatoriamente
r() = +
2 ()
k3 () = 0 .
z3 ()
l2 l 1
k l3 = 0 .
M +F
A escolha de u
em (5.12) implica em r(t) > 0, t [0, ). Portanto, l1 > 0, necessariamente.
O princpio do m
aximo fornece-nos ainda uma condica
o inicial para a equaca
o adjunta:
1
1
0
0
1
(T ) =
(T, z(T )) =
= 2 ,
0 1 0
2
z
0
1 + (M + F ) (l2 l1 ) k l3 = 0
Z T
l2 l 1 s
ds = 0
l3 +
[k( s) + M + F ]2
RT
RT
onde P = s[k( s) + M + F ]2 ds e Q = [k( s) + M + F ]2 ds s
ao constantes positivas.
Resolvendo o novo sistema obtemos:
l1
[1 + ((M + F )1 + kQ)l2 ] / [(M + F )1 + kP]
=
(5.13)
l3
P[1 + ((M + F )1 + kQ)l2 ] / [(M + F )1 + kP] Ql2
86
(5.14)
v(T ) v( ) =
v (t) dt =
g dt = g(T ) .
h0 (t) dt =
v(t) dt
g(T t) dt =
g
(T )2 ,
2
isto e, as funco
es {1, z31 , 3 } s
ao linearmente dependentes. Mas isto e uma contradica
o pois
Z t
Z t
u(s) ds,
3 (t) = l2
z3 (t) = M + F k
u(s)z3 (s)2 ds .
0
Portanto, o u
nico controle admissvel que satisfaz as condico
es do princpio do m
aximo e u
definido
em (5.12).
2 2 2
Aplica
c
ao 5.3.4 (Controle singular) Considere o problema escalar de controle
Z 3
z(t)2 dt
Minimizar 2
sujeito a
0
z = u, z(0) = z(3) = 1.
Do princpio do m
aximo, obtemos as condico
es necess
arias:
z 0 = u, z(0) = z(3) = 1 ;
0 = z, 1 = 1 ;
H(t, z, , u) = u +
1
2
2 z ,
H1 = 2 ;
+ |1 | + |2 | 6= 0 .
A condica
o de m
aximo implica em U (z, ) = sign . Note que = 0 n
ao pode ocorrer, pois
implica em 0 = 0. Logo, u 1 ou u 1, mas ambas as estrategias n
ao s
ao admissveis. Suponha
ent
ao = 1. Logo 0 (0) = 1. Supondo (0) 0, temos:
contradizendo a conclus
ao 0 (t1 ) 0.
Logo, t1 = 1
z(t)2 dt <
1 2(0) 1.
88
z(t), z(t)0
0 , z(t)<0
z(t)2 dt .
satisfaz
Se t1 < 1, ent
ao 0 (t1 ) = z(t1 ) < 0. Seja t > 1, tal que (t) < 0, t (t1 , t) e (t) = 0. Logo,
0 (t) 0.
De (t) < 0, segue u(t) 1, t (t1 , t). Como z(t1 ) > 0 e z 0 (t) = u(t) = 1, t (t1 , t), temos
z(t) 1 t1 > 0, t [0, t]. Ent
ao 0 (t) = z(t) < 0 (contradica
o).
Conclumos assim que t1 = 1. De modo an
alogo, prova-se que t2 = 2. Provamos agora que (t) =
0, t (t1 , t2 ). De fato, se (t) > 0 (o caso < 0 e an
alogo) para algum t (t1 , t2 ), ent
ao existem
t1 , t2 [t1 , t2 ] tais que (t) > 0, t (t1 , t2 ) e (t1 ) = (t2 ) = 0. Logo, u(t) = 1, t (t1 , t2 ) e
portanto 00 (t) = (z(t))0 = u(t) = 1, t (t1 , t2 ), o que e claramente uma contradica
o. Portanto,
a estrategia o
tima de controle tem de ser
1 , t [0, 1]
0 , t (1, 2) .
u
(t) =
+1 , t [2, 3]
Capital no tempo t;
C(t) :
Consumo;
Y (t) :
K 0 (t) :
Produca
o (produto interno);
Investimento (variaca
o do Capital);
Maximizar
et U (C(t))dt
0
Este problema foi originalmente formulado e resolvido por Ramsey em 1928 (veja [Ra]). A hip
otese
C = g(K)K 0 permite-nos analisar este problema utilizando c
alculo variacional. Note que a equaca
o
de EulerLagrange e dada por
K 00 g 0 (K)K 0 +
U 0 (g(K) K 0 )
( g 0 (K)) = 0 .
U 00 (g(K) K 0 )
89
K(t)
= (K0 A)eat + Aebt , t 0,
onde A e um par
ametro livre. Suponha agora que b > a, i.e. > (1 q)b. Neste caso, as hip
oteses
do modelo:
C(t) = g(K(t)) K 0 (t) > 0, t 0 e
lim K(t) 0
t
s
ao satisfeitas respectivamente para A 0 e A < K0 . Para determinar o par
ametro A [0, K0 ) e
necess
aria uma condica
o de contorno para a equaca
o da din
amica por exemplo K 0 (0) ou K().
Como tal condica
o n
ao e explicitamente fornecida, e preciso analisar a equaca
o de HamiltonJacobi
Bellman, que para este problema aut
onomo se escreve como
V
1
, g(x) ui +
u1q = 0, x IRn
V (x) + min h
u
x
1q
f
(note que = b qa). E
acil verificar que V (x) := (1 q)/(b a)q x1q , x 0 e soluca
o da equaca
o
acima. Note ainda que se A = 0 a condica
o
Exerccios
5.1 Considere o problema de Bolza
1 1
Minimizar
u(t)2 dt + z1 (1)2 + z2 (1)2
2 0
sujeito a
a) Formule o princpio do m
aximo para o problema acima.
b) Obtenha o processo o
timo.
90
Z T
z1 (t)2 + u(t)2 dt
Minimizar
0
sujeito a
a) Formule o princpio do m
aximo para o problema acima.
b) Obtenha o processo o
timo.
Z
1 1
3z(t)2 + u(t)2 dt
Minimizar 2
0
sujeito a
a) Formule o princpio do m
aximo para o problema acima.
b) Obtenha o processo o
timo.
5.4 (Problema de Investimento) Suponha que um determinado produto e fabricado com a taxa
z(t). No tempo t > 0 uma fraca
o u(t) da produca
o e reinvestida para aumentar a produca
o, sendo o
restante vendido para geraca
o de lucro. O objetivo e determinar uma poltica de investimento o
tima,
de forma a maximizar o lucro total no horizonte fixo de tempo [0, T ]. Temos assim o problema
Z T
Maximizar
(1 u(t))z(t)dt
sujeito a
0
T]
z = uz, z(0) = z0 > 0, z(t) 0, u C[0,
b) Use o fato z 0 < 0 para obter um problema equivalente com intervalo de tempo fixo. O que se
pode afirmar sobre a unicidade da soluca
o obtida no item a).
(Sugest
ao: A nova vari
avel livre e s = z.)
91
92
Bibliografia
[Al]
[An]
Anand, D.K., Introduction to Control Systems. 2nd ed., Pergamon Press, Oxford, 1984
[AtFa] Athans, M. e Falb, P.L., Optimal Control, McGraw-Hill Book Company, New York, 1966
[BaNe] Balakrishnan, A.V. e Neustadt, L.W., eds., Computing Methods in Optimization
Problems, Proceedings of a conference held at University of California, Los Angeles, January
1964, Academic Press, London, 1964
[BaCa] Bardi, M. e CapuzzoDolcetta, I., Optimal Control and Viscosity Solutions of
HamiltonJacobiBellman Equations, Birkh
auser, Boston, 1997
[Bar]
Barnett, S., Matrices in Control Theory with Applications to Linear Programming, Van
Nostrand Reinhold Company, London, 1971
Bellman, R.E., Introduction to the Mathematical Theory of Control Process, Vol I: Linear
equations and quadratic criteria, Academic Press, New York, 1967
[BeDr] Bellman, R.E. e Dreyfus, S.E., Applied Dynamic Programming, Princeton University
Press, Princeton, 1962
[Ber]
Berkovitz, L.D., Optimal Control Theory, Springer Verlag, New York, 1974
[Bo]
Boltyanski, W.G., Mathematische Methoden der optimalen Steuerung, Carl Hanser Verlag, M
unchen, 1972
[Br]
[Bro]
[BD]
[BMS] Bulirsch, R., Miele, A., Stoer, J. e Well, K.H., eds., Optimal control: Calculus of Variations, Optimal Control Theory and Numerical Methods, International Series of
Numerical Mathematics, 111, Birkh
auser, Basel, 1993
[CaHa] Carlson, D.A. e Haurie, A.B., Infinite Horizon Optimal Control: Theory and Applications, Springer Verlag, Heidelberg, 1987
[Cl]
Clark, C.W., Mathematical Bioeconomics: The Optimal Management of Renewable Resources. 2nd ed., John Wiley and Sons, New York, 1990
[CCM] Clark, C.W., Clarke, F.H. e Munro, G.R. The optimal exploitation of renewable
resource stocks: Problems of irreversible investment, Econometrica, 47 (1979), 25 47
[CLSW] Clarke, F.H., Ledyaev, Yu.S., Stern, R.J. e Wolenski, P.R., Nonsmooth Analysis
and Control Theory, Springer Verlag, Berlin, 1998
[Cod]
[CrLi] Crandall, M.G. e Lions, P.L., Viscosity solutions of HamiltonJakobi Equations, Trans.
of the American Mathematical Society, 277 (1983), 1 42
[FlRi]
Fleming, W.H. e Rishel, R.W., Deterministic and Stochastic Optimal Control, Springer
Verlag, Berlin, 1975
[FlSo]
Fleming, W.H. e Soner, H.M., Controlled Markov Processes and Viscosity Solutions,
Springer Verlag, New York, 1993
[F
o1]
[F
o2]
[F
o3]
[Gan]
[Gol]
Goldenstine, H., A History of the Calculus of Variations, from 17th through the 19th
Century, Springer Verlag, New York, 1980
[Gon]
Gonc
alves, A., Introduca
o a
` Algebra,
Projeto Euclides, 7, Instituto de Matem
atica Pura
e Aplicada, Rio de Janeiro, 1979
[Gr]
Groetsch, C.W., Generalized Inverses of Linear Operators, Dekkeric, New York, 1977
[Ha]
Halkin, H., Necessary conditions for optimal control problems with infinite horizons,
Econometrica 42 (1974), 267 272
[Hes]
Hestenes, M.R., Calculus of Variations and Optimal Control Theory, John Wiley and
Sons, London, 1966
94
[Heu]
[HeLa] Hermes, H.R. e LaSalle, J.P., Functional Analysis and Time-Optimal Control, Academic Press, New York, 1969
[Ho]
Hocking, L.M., Optimal Control: An Introduction to the Theory with Applications, Clarendon Press, Oxford, 1991
[Hon]
[Is]
Isidori, A., Nonlinear Control Systems: An Introduction. 2nd ed., Springer Verlag, Berlin,
1989
[Je]
Jetschke, G., Mathematik der Selbstorganisation: Qualitative Theorie nichtlinearer dynamischer Systeme und gleichgewichtsferner Strukturen in Physik, Chemie und Biologie,
Vieweg Verlag, Braunschweig, 1989
[KIF]
Knobloch, H.W., Isidori, A. e Flockerzi, D., Topics in Control Theory, DMV Seminar, 22, Birkh
auser, Basel, 1993
[KnKw] Knobloch, H.W. e Kwakernaak, H., Lineare Kontrolltheorie, Springer Verlag, Berlin,
1985
[Know] Knowles, G., An Introduction to Applied Optimal Control, Academic Press, San Francisco,
1981
[Kra]
[Kre]
Kreyzig, R., Introductory Functional Analysis with Applications, John Wiley and Sons,
New York, 1978
[LeMa] Lee, E.B. e Markus, L., Foundations of Optimal Control Theory, John Wiley and Sons,
London, 1967
[Leig]
Leigh, J.R., Functional Analysis and Linear Control Theory, Academic Press, London,
1980
[Leit]
o, A., On optimal control problems with infinite horizon, Proceedings of the 3rd
Leita
International Conference on Nonlinear Dynamics, Campos do Jord
ao, Brazil, July 2000, a
ser publicado
[Lei]
Leitmann, G., The Calculus of Variations and Optimal Control: An Introduction, Plenum
Press, London, 1981
[Lim]
[Lio]
[LiYo] Li, X. e Yong, J., Optimal control theory for infinite dimensional systems, Birkh
auser,
Basel, 1994
95
[MaSt] Macki, J. e Strauss, A., Introduction to Optimal Control Theory, Springer Verlag, Heidelberg, 1981
[Mo]
Morgan, F., Geometric Measure Theory: A Beginners guide, Academic Press, Boston,
1988
[Mu]
Murray, J.M., Existence theorems for optimal control and calculus of variations problems
where the state can jump, SIAM J. Control and Optimization, 24 (1986), 412 438
[Pi]
[Pin]
Pinch, E.R., Optimal Control and the Calculus of Variations, Oxford University Press,
New York, 1997
Ramsey, F.P., A mathematical theory of saving, Economic Journal, 38 (1928), 543 549
[Ri]
Rishel, R.W., An extended Pontryagin principle for control systems whose control laws
contain measures, SIAM J. Control, 3 (1965), 191 205
[Ru1]
[Ru2]
Rudin, W., Real and Complex Analysis, McGrawHill, New York, 1966
[Sc]
Scheck, F., Mechanics: From Newtons Laws to Deterministic Chaos. 3rd ed., Springer
Verlag, Berlin, 1999
[SeSy] Seierstad, A. e Sydster, K., Optimal Control Theory with Economic Applications,
North-Holland, Amsterdam, 1987
[SeZh] Sethi, S.P. e Thompson, G.L., Optimal Control Theory: Applications to Management
Science, Martinus Nijhoff Publishing, Boston, 1981
[SHB] Schmidt, W.H., Heier, K., Bittner, L. e Bulirsch, R., eds., Variational Calculus,
Optimal Control and Applications, Proceedings of the 12th International Conference in Honour of L. Bittner and R. Kloetzler, Trassenheide, Germany, September, 1996, International
Series of Numerical Mathematics, 124, Birkh
auser, Basel, 1998
[SFG]
Skowronski, J.M., Flashner, H. e Guttalu, R.S., eds., Mechanics and control, Proceedings of the 3rd Workshop on Control Mechanics, in Honor of the 65th Birthday of George
Leitmann, January, 1990, Lecture Notes in Control and Information Sciences, 151, Springer
Verlag, Berlin, 1991
[SiVi]
Silva, G.N. e Vinter, R.B., Necessary conditions for optimal impulsive control problems,
SIAM J. Control Optimization, 35 (1997), 1829 1846
[So]
[Sot]
[Sn]
[Tr]
Troutman, J.L., Variational Calculus and Optimal Control: Optimization with Elementary Convexity. 2nd ed., Springer Verlag, New York, 1996
[ViPe] Vinter, R.B. e Pereira, F.M.F.L., A maximum principle for optimal processes with
discontinuous trajectories, SIAM J. Control and Optimization, 26 (1988), 205 229
[Wa1]
[Wa2]
[We]
Werner, J., Optimization: Theory and Applications, Vieweg Verlag, Wiesbaden, 1984
[Za]
[ZoKu] Zowe, J. e Kurcyusz, S., Regularity and stability for the mathematical programming
problem in Banach spaces, Appl. Math. Optimization, 5 (1979), 49 62
97