PROGRAMA
DE
PÓS-GRADUAÇÃO
EM
ENGENHARIA
ELETRICA
DOMÍNIOS POSITIVAMENTE INVARIANTES
DE
SISTEMAS LINEARES
COM
RESTRIÇÕES
NAS
VARIÁVEIS
DE
CONTROLE
z
DISSERTAÇÃO
SUBMETIDA UNIVERSIDADE
FEDERAL DE
SANTA
- VCATARINA
PARA A
OBTENÇÃO DO
GRAU
DE
MESTRE
EM
ENGENHARIA
.
ELETRICA
' "
z
'THEREZA
CHRISTINA
TEIXEIRA
ROCHA
COM
RESTRIÇOES
NAS
VARIÁVEIS
DE
CONTROLE
THEREZA
CHRISTINA TEIXEIRA
ROCHA
ESTA
DISSERTAÇAO
FOI
JULGADA
ADEQUADA
PARA
A
OBTENÇAO DO
TÍTULO
DE
MESTRE
EM
ENGENHARIA
ELÉTRICA
ÁREA
DE
CONCENTRAÇÃO
SISTEMAS
DE CONTROLE,
E
APROVADA
EM
SUA
FORMA
FINAL
PELO
PROGRAMA
DE
BANCA
EXAMINADORA:
Pós-GRADUAÇÃO
. . ` ,I __,,_..z) '\\
\-. íProf.
EUGÊN1o1;\E
BONA
CASTELAN
NETQ,
Dr.Orientador
Prof.
ROBERTO DE
SOU SALGADO,
Ph.D.Coordenador do Curso de Pós-Graduação
em
Engenharia Elétricaw
\\ `_.
Prof.
EDS N
BERTO
E
PIERI, Dr.Prof.
NELSON
zEN1JÚ¿šIoR,M.s‹z.
Ao
Prof. Dr. Eugênio deBona
Castelan Neto pela orientação e ao Prof. Dr.Edson
Roberto
De
Pieri pela sua colaboração.Ao
colega JoaoManoel
pelas discussoes proveitosas e pela amizade.Aos
colegas: Carla, Polyana, Denise, Suzy, Ruan, Eudes, Juninho, Mônica, José, Tetsu,Suguieda, Arão, Luís Otávio, Aldebaro, Aberides, Bush, Jader, Cícero, Sérgio pela
amizade
eapoio. _
E, especialmente à. Marcos pelo carinho, incentivo e companheirismo.
Resumo
Neste trabalho são apresentados resultados teóricos referentes ao problema da extensão
de domínios poliedrais, positivamente invariantes e assintoticamente estáveis para sistemas li-
neares
em
tempo
discreto,com
restrições nas variáveis de controle,quando
uma
lei de reali-mentação de estados saturada é aplicada.
Sob saturaçao, a extensao do domínio positivamente invariante e assintoticamente
estável é determinada a partir da expansão de
um
domínio poliedral positivamente invarianteno qual as variáveis de controle não saturam.
Com
base neste último domínio, onde não ocorresaturaçao, este trabalho de dissertaçao apresenta duas abordagens:
1. o domínio de
comportamento
linear do sistemaem
malha
fechada (ouum
poliedro deter-minado
a partir deste) éum
poliedro positivamente invariante;2. conhece-se
um
domíniocompacto
poliedral positivamente invariante contido no domíniode
comportamento
linear do sistema. Este domínio é determinado a partir de funções deLyapunov
de tipo poliedral.Na
primeira abordagem, é propostoum
algoritmo para avaliar, sob saturação, o maiordomínio expandido positivamente invariante e contrativo
com
relaçao ao sistema nao-linear.Esta
abordagem
forneceuma
importante contribuição, pois trata, deforma
simples, conjuntospositivamente invariantes não necessariamente limitados.
Apesar do algoritmo apresentado na segunda
abordagem
não ser plenamente funda-mentado
pelos resultados teóricos obtidos, as simulações realizadasmostram
que omesmo
determina o maior domínio de
Lyapunov
(positivamente invariante) expandido sob saturaçao.ln this work, theoretical results will be proposed to treat the problem of the extension
of asymptotically stable, positively invariant polyhedra domains for linear discrete-time systems
with constrained control
when
a linear state feedback saturated control is applied.Under
saturation, the largest positively invariantand
asymptotically stableexpanded
domain
is determined by the expansion of a positively invariant polyhedraldomain
in Which thecontrol variables do not saturate. Based on this last domain, where does not occur saturation,
this
work
presents two approaches:1. the linear behaviour
domain
of the closed-loop system (or a polyhedron determinedby
it) is a positively invariant polyhedron;
2. a positively invariant polyhedral compact set belonging to the
domain
of linear behaviour of the closed-loop system is known. This set is determinedfrom
polyhedralLyapunov
functions.
ln the first approach, an algorithm to evaluate the largest positively invariant polyhe-
dral
expanded
domain, under saturation for the non-linear system, is proposed. This approachgives an important contribution since it treats positively invariant polyhedra not necessarily
bounded
in such simple approach.Although the algorithm presented in the second approach is not completely based on
the theoretical results obtained, the simulations
show
that it determines the largestLyapunov
expanded
domain
(positively invariant) under saturation.ÉR" : espaço 9%"
N
: conjunto dosnúmeros
inteiros positivoso'(A) : espectro de
A
131-
U2
:P1
a exclusão deP2
À,-(A) : autovalor i deA
ÔD
: fronteira deD
intP
: interior de 17 (Õ : conjunto vazio lCer(A) : núcleo deA
posto(A) : posto deA
AT
: matriz transposta (conjugada transposta) deA
|A| : matriz
composta
pelo valor absoluto de todos os elementos deA
:c
2
y : desigualdades entre vetores é consideradocomponente
porcomponente
Assim, por exemplo, se :n,y E ÊR” e :c
>
y, então :1:,~> y,~, para z'=
1, . . . ,nResumo
v
Abstract
viSimbologia
vii1
Introdução Geral
12
Definições
eResultados
Básicos 5lntroduçao . . . . 5
2.1 Invariância Positiva para Sistemas Dinâmicos . . . . 6
2.2 Estabilidade de Sistemas Dinâmicos - Segundo
Método
deLyapunov
i . . . . 92.2.1 Estabilidade de Sistemas Lineares
Autônomos
Estacionários . . . 112.3 lnvariância Positiva de Poliedros para Sistemas Dinâmicos . . . 13
2.3.1
A
Lei de Saturação Aplicada ã Realimentação de Estados . . . 152.3.2 Caracterização Algébrica da Invariância Positiva de Poliedros para Siste-
mas
Linearesem
Tempo
Discreto . . . 192.4 Determinação de Poliedros Simétricos Positivamente lnvariantes . . . 24
2.4.1
Forma
Canônica Real de Jordan . . . 242.4.2
Uma
Extensão Bloco Triangular daForma
Real de Jordan . . . 26Conclusão . . . ; . . . .À 28
3
Controle de Sistemas
Linearesem
Tempo
Discreto
com
Restrições30
Introduçao .. . . . .ç . . . 30
3.1 Declaração do Problema/ Condições para Existência de Solução . . . 31
3.2 Abordagens de Projeto . . . 35
3.2.1
Abordagem
por funções deLyapunov
. . . 35. 3.2.2
Abordagem
por Invariância PositivaeProgramação
Não-Linear . . . . . 373.2.3
Abordagem
por lnvariância Positiva eProgramação
Linear . . . 383.2.4
Abordagem
por lnvariãncia Positiva e Posicionamento de Autoestrutura . 40 Conclusão . . . _ 43 4Extensão
de
Domínios
Positivamente
Invariantespara
Sistema
Lineares sob
Saturação
44
Introdução . . . 444.1 Declaração do Problema-Caso Simétrico . . . 45
4.2 Avaliação da Extensão de Domínios Positivamente Invariantes Simétricos sob Saturação . . . 48
4.2.1 Resultados Preliminares . . . 49
4.2.2
_Uma
Abordagem
parao Problema
. . . 544.3 Extensão ao Caso Dissimétrico . . . 63
4.4 Algoritmo . . . 65
4.5
Exemplos
numéricos . . . 67. 4.5.1 Caso símétrico . . . 67
4.5.2 Caso dissimétrico . . . 70
4.6 Conclusão . . . _ . 72 5
Extensão
de
Domínios
de
Funções
de
Lyapunov
Poliedraispara
Sistemas
Lineares sob Saturação
74
5.1 Introdução . . . .. 745.3 Avaliação da Extensão de Domínios Contrativos sob Saturação
5.3.1 Análise de AW(:rk) para mk E ÕS(G', ozpM,c×pm) . _ . .
5.3.2 Análise de AW(:1:k) para :ck E int S(G, apM,ozpm) . . .
5.4 Algoritmo . . . . .
5.5
Exemplos
Numéricos . . . . .5.6 Conclusão . . . ..
Conclusão
Geral
Programaçao
Linear:definiçoes
e resultadosTermos
matemáticos
gerais. . ‹ › z z . . . z 77 80 80 87 89 93
95
103
107
Introdução Geral
Grande
parte dos sistemas de controle funcionamem
regiões do espaço de estadosdeterminadas por restrições aplicadas às variáveis de controle e / ou de estados.
Em
geral, estasrestrições correspondem a limites inferiores e / ou superiores nas variáveis de interesse do sistema
que descrevem limites tecnológicos ou de segurança impostas ao sistema e definem poliedros
convexos no seu espaço de controle e / ou de estados.
No
caso de sistemas sujeitos às restrições nas variáveis de controle, a estabilidade globaldo sistema controlado não é
em
geral garantida. Assim,uma
abordagem
que permite trataro problema da estabilização local destes sistemas consiste
na
aplicação de técnicas de controleótimo [56] [57] [50] [24] [25]. Porém, esta
abordagem
exige, na maior parte dos casos, a aplicaçãode leis de controle não-lineares e difíceis de serem implementadas.
Uma
alternativa à utilização das técnicas acima citadas, consiste noemprego
do con-ceito de invariância positiva de domínios definidos no espaço de estados do sistema a controlar
[44].
Toda
trajetória deum
sistema dinâmico que,em
t=
to,emana
deum
domínio posi-tivamente invariante, nele
permanece
para todo t>
to. Esta propriedade pode ser aplicadapara sistemas dinâmicos não-lineares ou lineares,
em
tempo
contínuo ou discreto. Assim, oconceito de invariância positiva, que está intimamente ligado ao de domínios de estabilidade de
Lyapunov, é
uma
ferramenta que pode ser usada para garantir a estabilidade e a satisfação dasrestriçoes
em
esquemas de controle.Como
citado, as restrições que se aplicam às variáveis de controle e/ou de estados domodelo
consideradodefinem
poliedros convexos contendo o ponto de funcionamento dosistema. Assim, para resolver o problema de controle sob restrições de sistemas dinâmicos,
pode-se procurar garantir que as variáveis de controle não saturem, a partir da restrição dos
estados iniciais admissíveis
em
malha
fechada, aum
conjunto positivamente invariante contidono domínio de linearidade do sistema.
A
escolha clássica de funçoes deLyapunov
quadrátricas nao é a maisadequada
para oproblema de controle de sistemas dinâmicos
com
restrições. Ela nãomaximiza
otamanho
dodomínio de estados iniciais para o qual
um
controladorcom
restriçõespode
sercomputado.
No
entanto, esta limitação pode ser sobreposta pela utilização de conjuntos poliedrais positivamente
invariantes ( por exemplo: domínios de estabilidade obtidos a partir de funções de
Lyapunov
não-quadráticas [41]).
No
caso de sistemas lineares, a propriedade de invariância positiva deum
poliedroconvexo é equivalente à existência da solução de duas equações algébricas
chamadas
relaçõesde invariância positiva [08][10] [61] [12] [33][04]. Estas relaçoes
traduzem
o nao crescimento, aolongo das trajetórias do sistema linear considerado, de
uma
função escalar associada ao poliedropositivamente invariante. Neste trabalho é tratado apenas o problema de controle sob restriçoes
de sistemas lineares
em
tempo
discreto.No
caso particular dos sistemas lineares controlados por realimentaçao de estados, asrestriçoes aplicadas às variáveis de controle
tornam
necessária a utilizaçao de leis de controlede tipo saturação sempre que o estado corrente implicar na utilização dos limites impostos.
Neste caso, o
comportamento
global do sistema realimentado é não-linear e, muitoembora
a leide controle de realimentaçao de estados garanta a estabilidade do sistema
em
malha
fechadanum
domínio local decomportamento
linear, a convergência para a origem das trajetórias dosistema sob saturação não é,
em
geral, garantida .Deste
modo,
muitas vezes é importante avaliar a extensão do domínio de estados quepodem
ser levados à origemquando
a lei de saturaçao é aplicada. Esta avaliaçaopode
ser feitadeterminando-se a extensão do domínio positivamente invariante para o sistema não-linear.
Porém, poucos estudos
têm
sido desenvolvidos neste sentido e, na sua maioria, tratando ocaso de domínios positivamente invariantes compactos (domínios de
uma
funçao deLyapunov)
[23][15].
Além
disso, os algoritmos existentes exigemum
esforço computacional significativopara se determinar, sob saturaçao, o domínio de invariãncia positiva, ou entao, as condiçoes,
no qual o algoritmo está baseado, são apenas suficientes.
Neste trabalho, determina-se, sob saturação, a extensão do domínio positivamente
invariante a partir da expansao de
um
domínio poliedral positivamente invarianteno
qualas variáveis de controle u
=
F
a: satisfazem as restrições.Com
base neste último domínio,onde o controle nao satura, e dentro do contexto acima descrito, este trabalho de dissertaçao
tem
o seguinte objetivo: Estudar o problema da extensão de domínios poliedrais positivamenteinvariantes para sistemas lineares
em
tempo
discretocom
saturação, considerando-se dois casos:deter-minado
a partir deste) éum
poliedro positivamente invariante;2. conhece-se
um
conjuntocompacto
poliedral positivamente invariante contido no domíniode
comportamento
linear do sistema. Este conjunto é determinado a partir de funções deLyapunov
de tipo poliedral.Desta forma, para qualquer condição inicial pertencente a este domínio determinado, a tra-
jetória correspondente do sistema sob saturaçao tende para a origem
sem
deixar de pertencera este poliedro. '
O
segundo capítulo apresenta aspectos gerais de estabilidade e resultados sobre in-variância positiva.
Além
disso, estabelece relações entre invariãncia positiva e estabilidade, eapresenta as relaçoes algébricas que caracterizam
um
poliedro positivamente invariante parasistemas lineares
em
tempo
discreto.No
terceiro capítulo, são apresentadas algumas abordagens de projeto encontradasna
literatura que tratam o problema de satisfação das restrições por realimentação de estados
através do uso de: programação não-linear, programação linear e posicionamente de autoestru-
tura.
O
quarto capítulo trata do problema da extensão, sob saturação, de domínios positiva-mente
invariantes e assintoticamente estáveis determinados a partir do domínio de comporta-mento
linear do sistema. Para tanto, é propostoum
algoritmo que testaem
um
número
finitode pontos determinados, o decréscimo de
uma
função poliedral definida positiva associada aodomínio analisado. Estes pontos são determinado a partir dos resultados de
programação
linearapresentados no apêndice A. Assim, se a função for decrescente para estes pontos, a contra-
tividade (e por consequência, invariância positiva) e estabilidade assintótica para o domínio
analisado são garantidas.
Com
este algoritmo pode-se determinar a maior extensão, sob satu-raçao, de
um
dado domínio poliedral positivamente invariante, contrativo e assintoticamenteestável.
O
quinto capítulo aborda o problema da extensão, sob saturação, de domínios defunções de
Lyapunov
poliedrais considerando a expansão deum
domínioda
função de Lyapu-nov
no
qual o controleu
=
Fx
satisfaz as restrições. Apesar do algoritmo apresentado nãoser plenamente
fundamentado
pelos resultados teóricos obtidos, as simulações realizadasmos-
tram
que omesmo
determina o maior domínio positivamente invariante sob saturaçao. Nestada-do domínio. Assim, é testado nestes pontos o decréscimo da funçao de
Lyapunov
associada aeste domínio para averiguar se a
mesma
éuma
função deLyapunov
do sistema sob saturação.trabalho
É
Definiçoes
e
Resultados
Básicos
Introduçao
Invariância positiva é
um
conceito básico encontradoem
teoria de estabilidade de siste-mas
dinâmicos [44], [37]; por exemplo:em
todo domínioD(V)
=
{:r E §R"; V(:1:)Ê
oz, oz>
0},contido no domínio de estabilidade de
um
sistema dinâmico e determinado a partir deuma
função de
Lyapunov
V(:z;) deste sistema, as trajetórias capturadas porD(V),
nelepermane-
cem. Assim, nos últimos anos, a propriedade de invariância positiva de conjuntos poliedrais
pertencentes ao espaço de estados
vem
sendotambém
utilizada para o tratamento de algunsproblemas de controle de sistemas lineares
com
restrições nas variáveis de controle e/ou deestados (veja por
exemplo
[04],[l0]).Í
E
neste contexto que este capitulo apresenta aspectos gerais de estabilidade de sistemasdinâmicos
em
tempo
discreto,em
particular de sistemas lineares, define e apresenta certosresultados sobre invariância positiva relacionados
com
estabilidade.E
de interesse particular neste trabalho, sistemas linearesem
tempo
discretocom
restrições nas variáveis de controle
quando
uma
lei de controle do tipo saturação é utilizada.Assim, para estes sistemas, é apresentada
uma
função semi-definida positiva e outra definidapositiva associadas a domínios poliedrais não-limitados e limitados respectivamente.
O
de-créscimo destas funções, ao longo das trajetórias do sistema, garante a contratividade e por
consequencia, a invariancia positiva destes dominios.
Em
particular, paraum
dominio poliedralonde o vetor de controle
u
=
F
a: satisfaz as restrições, são apresentadas, deforma
equivalen-te, relaçoes algébricas que caracterizam este domínio poliedral positivamente invariante para o
sistema considerado.
Por
fim,
para sistemas linearessem
restrições é apresentadauma
metodologia paraconstrução de poliedros simétricos positivamente invariantes. Esta metodologia
também
mite definir funções poliedrais adequadas a serem utilizadas no caso de sistemas lineares
com
restrições nas variáveis de controle.
OA
2.1
Invariancia Positiva
para
Sistemas
Dinâmicos
Seja o sistema dinâmico estacionário
em
tempo
discreto descrito pela equação abaixo:í13k+1
=
f(íI3k,'U,k) , lí; E ./V (2.1)onde: f : ÉR"
X
§R'"-›
ÊR", ar GX,u
E U. CasoX
E
ÊR"eU
E
§R'" o sistema é ditosem
restrições. Considere o vetor de controle uk definido por
wz
=
9(w›«)Na
ausência de perturbação, o sistema (2.1) pode, então, ser representado pelo sistema”autônomo”
:$k+1
=
f($k›9(xk))=
h($k) ,V k E ./V (2-2)Se
X
C
ÉR” é definido porum
conjunto de restrições aplicado ao vetor de estados,2: E
X,
e/ouU
E §R'" é definido porum
conjunto de restrições aplicados ao vetor de controleu E U, então o sistema (2.1) é
um
sistemacom
restrições.Serao relembradas a seguir, três definiçoes sobre domínios particulares (invariante,
positivamente invariante, negativamente invariante) relativos ao sistema (2.2):
Definição
2.1 : [44] Relativamente auma
função h : ÊR"-›
ÊR”,um
domínioD
C
ÉR" e':invariante se
h(D)
=
D,(ii) positivamente invariante se h(D)
C
D,negativamente invariante se
D
C
h(D).Um
conjunto positivamente invariantepode
ser:um
subespaço vetorial,um
coneou
um
conjunto poliedral. Neste último caso, a propriedade de invariância positiva deum
conjuntopoliedral é esquematizado na figura fig.2.l.
O
conceito de invariância positiva está intimamente ligado aos conceitos de contrativi-dade e atratividade definidos a seguir:
Definição
2.2 (Conjunto contrativo) [59]O
conjunto não nulo e fechadoD
éum
conjunto contrativo do sistema ( se \7':1:¡,E
I
E
claro que seum
conjunto e contrativo relativamente aum
sistema. dinamico, entaoele
também
é positivamente invariante.A
recíprocanem
sempre é verdadeira.A
X2
D
›
X
I !Fig.2.1 Poliedro positivamente invariante
Verifica-se que
um
conjunto positivamente invariante não limitado e contrativocom
respeito a
um
sistema dinâmico é assintoticamente estável se e somente se suas direções ilimi-tadas são assintoticamente estáveis. Claro que todo conjunto positivamente invariante limitado
e contrativo é assintoticamente estável.
Definição
2.3 (Conjunto atrativo) [29]Um
conjunto invariante fechadoQG
e'um
conjunto atrativo do sistema( se existe
uma
vizinhançaU
deQ,
tal que toda trajetória :ck+1=
:z:(k;a:0)_›
Q,
quando k_›
oo,Vmo E U.
`
Assim, 0 conjunto de todas as trajetórias que são capturadas
em
tempo
finito porum
conjunto atrativo constitui
um
domínio ou região de atração [29]. Se a região de atração deum
conjunto atrativo corresponde a todo o espaço ÉR", então o sistema (2.2) é dito globalmenteatrativo.
Em
particular, os conceitos de contratividade e atratividade de poliedroscom
relação.A
A
x 2 X2D
D
xo » .___ ____..._,__1___
__¬
= '-'-"~'~-1 *. ..._._. __ _--,¡ r'- '-¬ L» -› _-_ ×V
n,_-_1 ¡,,--¡¡ L_-j§d-w L- ._._..._... × X” i . _ _. ..-_ -» -_. -_ .à _- _. _. ' ¡.. L- a) ' b)Fig.2.2 a) Contratividade b) Atratividade
De
fato, as noções de conjuntos positivamente invariantes e estabilidade assintótica sãoessenciais para tratar 0 problema de estabilidade local para os sistemas lineares
com
restriçõese realimentados por
uma
lei de controle saturada. Este é, portanto, o objetivo deste trabalho.Assim, considere a seguir os sistemas de interesse:
1.
em
malha
aberta por::1:k+1
=
Arrk+
Buk,
ukE
Q'C
52'" 2.em
malha
fechada por:A
:z:¡,.¡.1
=
Azck+
Bsat(F:1:¡¢) ,V
ask 6 ÉR"(2 3)
'
=
f(“=›‹) “
'
onde: sat(F(:z:k)) é a função de saturação aplicada à. realimentação de estados uk
=
Fxk,a ser definida posteriormente. I
Em
particular, na região do espaço de estados onde o controleu
=
F
rz: não satura, osistema (2.3) se comporta
como
o sistema linear abaixo:íI3¡,+1
= +
BF)$¡, (2.4)Dentro do contexto de problemas de regulação, é de interesse particular o estudo da
estabilidade assintótica do sistema (2.3) a partir de funções de
Lyapunov
ou de funções semi-definidas positivas, cujos domínios
contenham
a origem; as trajetórias :z:(k;:1:0) inicializadasnestes 'domínios
permanecem
dentro dosmesmos
(invariâncía positiva) etendem
para a origemquando
lc -› oo (estabilidade assintótica).Tudo
isto será especificadoem
maiores detalhesposteriormente neste capítulo e nos capítulos seguintes.
Assim, para os sistemas (2.3), (2.4), considere asdefinições abaixo relacionadas:
Definição
2.4 : [58] Sejaum
dominioD
C
ÊR",D
75 (Ô e {a:e}C
D.D
éum
dominio deestabilidade relativo ao estado de equilíbrio rca: -
para 0 sistema se Vick E D, E D.
para 0 sistema (24), se Vazk E D, (A
+
BF):1:k E D.Definição
2.5 : [58] Sejaum
domínioD
C
ÉR",D
7É (Ô e {a:e}C
D.
D
e'um
domíniopositivamente invariante e assintoticamente estável se: s
para 0 sistema Vatk G D, E
D
e a:(k;a;0) -› :cz quando k -+ oo.para 0 sistema (24), \¬/:ck G D,
(A
+
BF):Bk ED
e z(k,:1;0) -› :ce quando k -› oo.2.2
Estabilidade
de
Sistemas
Dinâmicos
-Segundo
Mé-
todo de
Lyapunov
~Como
citado anteriormente, o conceito de invariância positiva está intimamente ligadoao conceito de estabilidade. Assim, serão relembrados a seguir alguns conceitos de estabilidade,
sempre procurando mostrar a sua relaçao
com
o conceito de invariância positiva.O
método
clássico utilizado para estudar aspectos de estabilidade de sistemas dinâmicosé 0 segundo
método
de Lyapunov. Eletem
como
objetivo estudar ocomportamento
das tra-jetórias de
um
sistema dinâmico nas vizinhanças deum
estado de equilíbrio atravésda
utilizaçãode funções definidas positivas denominadas funções de Lyapunov. Assim, a estabilidade do es-
tado de equilíbrio me relativo ao sistema (2.2) é garantida pelo teorema a seguir [47], [29],
[39]. i
Teorema
2.1 : Seja :neum
estado de equilíbrio do sistema SejaV
:U
-+ ÉRuma
funçãoÍ/(me)
=
0 e V(:n)>
0 , Vac 76 me,=
l/(íI2k+1)~É
O , Víflk ÉU
_
{íE¿}então, o estado de equilíbrio me é estável.
Se além disto:
AV(:1:k)
=
V(xk+1)-
Í/(mk)<
0,V:1:k EU
-
{xe}então, o estado de equilíbrio é assintoticamente estável.
Uma
função escalar que satisfaz e (ii) ou e (iii) do teorema 2.1 échamada
função de Lyapunov.
Quando
estas condições são satisfeitas,U
C
ÊR" échamado
domínio deestabilidade (assintótica) local do sistema (22). Se
U E
ÊR", então me éum
estado de equilíbrioglobalmente (assintoticamente) estável de (22).
V
A
condição indica que a função V(x) é definida positiva. Caso Í/(rca)=
O e V(:r:)2
0, Vac 75 ace, a função V(:n) é dita semi-definida positiva.
Considere agora o conjunto de estados
D(V)
C
U, associado à. função deLyapunov
V(.), definido por:
D(v)â{zéêre"; v(z)5‹z, ‹z>o}
Propriedade
2.1 (Invariância positivade
D(V))
Sejauma
função deLyapunov
deEntão, para todo valor oz
>
O dado, tal queD(V)
C
U, o conjunto compacto:D(V)
=
{:1:
G
§R"; V(a:)É
oé} éum
conjunto positivamente invariante deh(D(v))
C
ou/)
, vxz êN
A
condição AV(:nk)É
O implica que toda trajetória de (2.2),com
:D0G
U, que cruzaa curva de nível V`1(oz), se dirigirá na direção do interior do conjunto
D(V)
[38] [39].Em
/_í_..__ \ '/ i/
lí,
\/
/ifV1
\ V ,.zz / V-1(a)§\
*Jim 4 ._n_“-7~
*
`_\`p`___í//f7/
lFig.2.3 Invariância Positiva de D(V)
2.2.1
Estabilidade
de
Sistemas Lineares
Autônomos
Estacionários
Seja o sistema linearautônomo
estacionário dado por: '£IJk+1
=
Ágílšk ,A0
É §RnXn (2.5)Os
pontos de equilibrio deste sistema são determinados a partir do sistema Aging=
me cujasolução trivial é :ne
=
O.No
decorrer deste trabalho serão estudados aspectos de estabilidadeapenas do estado de equilibrio :ne
=
0.I À I
E
de interesse part1cular, quando estemodelo
representaum
sistema linearem
malha
fechada controlado por
uma
realimentação de estados, ou seja:A0=A-l-BF
Inicialmente, considere a seguinte definição relativa à multiplicidade dos autovalores de Agi
Definição
2.6 :A
multiplicidade algébrica deum
autovalor À,~(./lo) corresponde a multiplici-deste
mesmo
autovalor corresponde aonumero
de autovetores deA0
linearmente independentesassociados a À,-(A0).
As
propriedades de estabilidade do ponto de equilíbrio :ne=
0 do sistema (2.5) sãobem
conhecidas [20] Elas
podem
ser facilmente caracterizadas pelo espectro da matriz A0,como
mostra a propriedade a seguir:
Propriedade
2.2 .'As
propriedades de estabilidade do ponto de equilíbrio me=
O do sistema(25) são caracterizadas pelos quatro casos a seguir:
1. se |À,-(A0)|
<
1,V
i=
1,. . . ,n, tem-se estabilidade assinto'tica,' .2. se existe ao
menos
um
autovalor de A0, À,-(A0) tal que |À,-(A0)|>
1 tem-se instabi-lidade;
A
3. se a multiplicidade geométrica de cada autovalor À,-(A0) tal que |À,~(A0)|
=
1 for igualà multiplicidade algébrica, o estado de equilibrio :re
=
O 6 criticamente estável;4. se não, se a multiplicidade geométrica for
maior
que a algébrica, então, me=
O écriticamente instável. `
No
contexto dos problemas de controle tratados neste trabalho, a condição (i), garan-tindo portanto estabilidade assintótica, é de especial interesse. Neste caso, apresenta-se a seguir
o teorema clássico de
Lyapunov
[20] que permite associar àum
sistema (2.5) assintoticamenteestável, funçoes de
Lyapunov
quadráticas.Teorema
2.2 :Para
o sistema (25), o estado de equilibrio me=
0 é assintoticamente estável,i. e., lÀ,-(A0)|
<
1, se e somente se, para qualquer matrizQ
dada, simétrica e definida posi-tiva, erciste
uma
matrizP
sirnétrica definida positiva, solução única da equação deLyapunov
seguinte:
AÊÇPAQ
-
P
=
-Q
-(2.6)
Assim,
uma
função deLyapunov
quando IÀ,-(A0)|<
1, para i=
1,. . . ,n e' dada porV(a:¡,)
=
:v£P:1:¡, (2.7)onde
P
é solução de e=
-€BfQ£BkOs
domínios de invariância positiva D(V(xk)) associados à função deLyapunov
(2.7)têm
aforma
deum
hiperelipsoide e são descritos por:O
resultado a seguir,menos
clássicoem
teoria de sistemas lineares, permite associarfunções de
Lyapunov
de natureza poliedral ao sistema linear assintoticamente estável.E
im-portante salientar que este resultado está diretamente relacionado à propriedade de invariância
positiva de domínios poliedrais compactos.
Teorema
2.3 : [48]O
ponto de equilíbrio do sistema é assintoticamente estável se esomente se existe
um
índicem
2
n,uma
matrizL
E §R"×'" euma
matriz F Efimx"
tais que:'(1)
A¿L-
LF*z
oHl`H,×,
<
1 ou, deforma
equivalente, |'y¿,~|<
1Ji
A
funçao deLyapunov
poliedral associada é:V(a:).=
max
Il,-:cl (2.8)líiím
onde l¿
=
i-ésima coluna de lOs
domínios de invariância positiva D(V(a:k)) associados à função deLyapunov
(2.8)têm
aforma
deum
poliedro compacto e são descritos por:D(V(:n))
=
{m G Êltn; |L:1:|§ cz, oz>
0}A
construção de funções deLyapunov
do tipo (2.8) é de especial interesse e, portanto,será abordada posteriormente.
2.3
Invariância Positiva
de
Poliedros
para Sistemas
Di-
nâmicos
Esta subseção
tem
por objetivo mostrar alguns aspectos de problemas de controle sobrestrições e apresentar resultados teóricos de invariância. positiva e conceitos afins que
podem
ser utilizados para resolver estes problemas.
Geralmente,
em
problemas reais de sistemas de controle, as restrições nos estados e/ oudos controles
definem
conjuntos poliedrais convexos. Destemodo,
são dadas a. seguir algumasdefinições de base sobre poliedros convexos.
Todo poliedro convezo não nulo do ÊR" pode ser caracterizado por
uma
matrizQ
E ÉRW”
e pelo vetor 17 E ÉRQ,com
qE
N
-
{0},n G
./V-
Este poliedro é defimfido por:Rim
Ê
{z ewzoz
5
«z} <2.9›Definição
2.8 (Poliedro dissimétrico)Um
poliedro dissimétrico S'(G, pM,p,,,) é definido por:d
S(G›pM›pm)
Ê
{m G §Rn;_pm
É Gm É
pM}
onde:
G
E
ÊRW", pM,p,,.E
ífšgcom
pM,p,,,>
0.Em
particular, sepM
=
pm
define-se poliedro símétrico. Poliedros dissimétricos e simétrícospodem
ser esquematizados pela figura abaixo:_ A A X2 u X2 S‹\G,p) S(G, ,OM ,gn )
/
/
V
›
xl xl 3) b)Fig.2.4 a) poliedro simétrico b) poliedro dissimétrico
Note que a definição 2.8 corresponde a
um
caso particular de poliedro convexo. Desta. for-ma,
escrevendo S'(G,p) e 5(G',pM,pm) na forma R[Q,r]], tem-se:o caso simétrico:
Q:
[
__g} er¡=
. . , .
_
_
G
_
pM
2.3.1
A
Lei
de Saturação Aplicada
à
Realimentação
de Estados
Seja o sistema linearem
tempo
discreto representado no espaço de estados pela seguinte equaçãoinvariante no tempo: _
a:k+1.
:
Amk
+
Buk
onde: :uk E §R",uk G 1/1
C
ÊR"',A E §R"×" eB
E §Ê"×'",com
posto(B)=
m.
O
par(A,B)
ésuposto estabilizável.
As
variáveis de controle são restritas ao conjuntocompacto
M
C
§R'":V
U
=
{'Uz É §Rm; -'wmÉ
ukÉ
wM}
onde: w,,,,wM E 97€” e w,,,,wM
>
O.Uma
lei de controle linear por realimentaçao de estados:_ Uh
=
Ffllké aplicada a (2.l0) tal que o
modelo
linearem
malha
fechada$¡,,+1
=
+
(212)seja assintoticamente estável. Assim, no espaço de estados ÉR", as restriçoes no controle definem
o seguinte conjunto poliedralz ~
S'(F,wM,wm)
=
{:I: G §R";-wm
Ê
Fxk
Ê
wM}
(213)chamado
domínio de linearidade do sistema. E, suponha que fora de S'(F
,
wm, wM),
uma
lei de controle saturada é aplicada: psat((Fa;k))¡ uk ='sat(F:nk)
=
Í sat((1Tmk))2 J . (2.14) âaâ((Fzz,.)),,,onde as variáveis de controle
assumam
os seguintes valores para 2'=
1,. . .
,m
[15][31j: ¿, SC (F:13k)¿>
( )¿ (Ll.k)¿=
(S(1.É(F33¡¢)).¿=
¿, Se (F£Bk)¿<
( ¿ (2.l.5) (F2=¡z)z', Se (wm)z'É
(FfB¡z)z' wM)z'paraz`=1,...,m
""šás
se /\ã_/3O
sistema dinâmico correspondenteem
malha
fechada pode ser representado por:A
lei de controle (2.15) échamada
regulador saturado.O
sistema (2.16) é ditoum
sistemalocalmente linear, pois a dinâmica do sistema
em
malha
fechada segue omodelo
linear (212)apenas para estados pertencentes a S(F,wM,w,,,). Externamente a .5'(F,wM,w,,,), o
compor-
tamento
dinâmico do sistema (2.16) é não linear devido a ação de controle saturada (2.l5).Pode-se esquematizar estas duas regioes pela figura abaixo: l
A
WM
9wm
) x,/
é
L/
Oo «›]%°'? %`,f‹›z¢.,7 O6 fo '91- 0%] *bo 0,; (76 Ot /bf. /l¡¡0al`0¡0 '›
C: Oo "30o\ Q' 0'9o`¡¡.'?'‹7¿z0 /29 fo a,. _><Fig.2.5 Domínio de linearidade
Substituindo (2.14) no sistema (2.16) tem-se:
sat((F:nk))1
¡IJ¡¢+1
=
Áãlšk+
B
Sat((}¡7wk))z
(2.17)
sat((Fa:k))
O
sistema (2.l7), equivalente a (2.16), apresentaum
comportamento
peculiar paradeterminadas regiões que
compõem
o espaço de estados ÉR". Estas regiões,chamadas
regiõesintervalos, I1, 12 e I3, de variaçao de
(F
wk),~, mostrados a seguir: fz=
i-(wa,
‹wM›.i ou p(F:z:k),- 6
Iz=
(-oo,-(wm),-) ou Vazkê R”,parai=1,...,m; z=1,...,3m
(2.18) I3=
((wM)¿, oo).Assim, para
um
dado ask cada variável (Fa:k),- é definida somente paraum
intervalo Ij,=
1,2ou 3, e o
número
de regiões de linearidade, z, corresponde às combinações possíveis dem
intervalos do tipo I1,I2 ou I3. Logo, o
comportamento
peculiar do sistema (2.17)pode
serdescrito
como
segue: 'Proposição
2.1 :Os
hipe"/'planos quegeram
o poliedroS'(F,wM,wm)
dividem o espaço ÊÊ" de estadosem
3"' regiões fechadas R” onde xk+1 dadoem
(217) e'uma
função linear de mk::r:¡,+1= f”(a:k) , Vazk E Rz; paraz-:1,...,3'"
onde fz é
uma
funçao linear de :ck associada à regiao R2._ Evidentemente, para
um
dado z=
zz, a região R1=
Rz* corresponde ao poliedro
S(F,
wM,
wm). E, apesar do sistema (217) terum
comportamento
não linear para estadosnão
pertencentes ao domínio de linearidade, S' (F,
wM,wm),
talcomportamento
é linear dentro deuma
regiãoR”
G ÊR", z 7É zz.No
caso den
=
m
=
2, as regiões Rz, para i=
1,.. .,3'",podem
ser esquematizadasna figura abaixo: i A X2 8 1
d\
_ S(F,wM,wm) 2 7~
5L
X1 3 6d~
5 4Para verificar a linearidade da função
f
z(:1:k)em
R2 considere a região‹2 da fig.2.6. Observa-seque nesta região, o vetor
F
az satisfaz a inequação abaixo: ~(Fw›¢)1
>
(wm)1(F$¡z)2
_
('wM)2Assim, a função sat(Fm), nesta região, é constante e o sistema não linear (2.l7) apresenta
um
comportamento
linear descrito por:~
:WB
[ ¡¿;;¿¿¿1]~
para o intervalo considerado. Considerando agora a região 1 da figura fig.2.6, tem-se:
~
-<w...)1
<
(zm).
<
[
‹wM›1
(wM)z
_
(F£Z2k)2_
OODa
mesma
forma que o exemplo anterior, para o intervalo considerado, pode-se escrever que osistema (2.17)
tem
um
comportamento
linear descrito por:=
A“”“+
B
l (‹ÍÍÍ›)Ã lApesar do espaço de estados ÊR" ser dividido
em
regiões R” onde o sistema (2.17)tem
um
comportamento
linear, o regulador saturado é de natureza não linear e o estudo da estabilidadedo sistema (2.16) não é trivial.
No
caso de se estudar ocomportamento
de trajetórias aoredor do domínio de linearidade do modelo,
S
(F,wM,
wm), deve-se considerar as características indesejáveis próprias de sistemas não lineares: pontos de equilíbrio parasitas, ciclos limites,etc... [21j[58].
Em
geral, parauma
matriz de realimentação de estadosF
qualquer, se:D0 E
S(FawM›wm)
nada garante que a trajetória :1:(k, mo),
com
k>
O,permaneça
no interior deS'(F,wM,wm),
oumesmo
que esta trajetória seja estável.O
problema de determinação deuma
F
e deum
domínio de estabilidade para o sistema(2.16) é classicamente tratado pela determinaçao de domínios elipsoidais determinados a partir
de funções de
Lyapunov
quadráticas, contidos no poliedro S'(F, wM,w,,,). Porém, devido à
quando comparado
com
um
domínio poliedral. Neste contexto, toda a análise subsequente serábaseada principalmente
em
domínios de estabilidade de tipo poliedral.A
construção de leis de controle saturadas que estabilizam globalmente o sistema ( 2.16)é possível apenas para sistemas lineares
em
malha
aberta assintoticamente ou criticamenteestáveis [17]. Nestes casos, pela aplicação de
uma
lei de realimentação de estados adequada, odomínio de estabilidade corresponde a todo o espaço de estados ÊR".
Para os demais casos,
uma
maneira de se tratar o problema de regulaçãocom
restriçõesnas variáveis de controle, consiste
em
se calcularuma
matriz de realimentação de estadosF
que estabilize o sistema (2.12) e que garanta a invariância positiva de S'(F,wM,w,,,) ou de
um
poliedro inclusoem
S
(F, wM,'wm).No
capítulo seguinte, será mostrado que isto ésempre
possível. Assim, determina-se
um
domínio de estabilidade local_para o sistema (2.16).Na
verdade, geralmente estes domínios positivamente invariantes poliedrais (de esta-bilidade), ou domínios de
Lyapunov
poliedrais, não correspondem ao maior domínio de esta-bilidade do sistema (2.16). necessário
também
estudar ocomportamento
das trajetórias dosistema (2.l6) fora de S' (F, wM,w,,,). Assim, o problema da extensão de domínios poliedrais
positivamente invariantes, sob saturaçao, é tratado no capítulo 4 e o da extensao de domínios
de funções de Lyapunov, sob saturação, de tipo poliedral é tratado no capítulo 5. Para tanto,
utiliza-se nos capítulos 4 e 5 a definiçao das regioes de linearidade R” do sistema abordado.
2.3.2
Caracterização
Algébrica
da
Invariância
Positiva
de
Polie-
dros
para Sistemas
Lineares
em
Tempo
Discreto
Nesta subseção, são apresentadas as relações algébricas que caracterizam a propriedade
de invariância positiva de poliedros convexos, simétricos e dissimétricos
em
relaçao ao sistemalinear
em
tempo
discreto descrito por: i:r:¡,_¡_1
=
Aomk (2.l9)onde: rc
G
ER” eA0
E §R"×". Estes resultados são fundamentais no contexto dos problemastratados nesta dissertação.
Proposição
2.2 (Invariância positiva de R[Q,f¡]O
poliedro R[Q,17] e'um
conjunto positivamente invariante do sistema(219)
se e so-mente se, existe
uma
matriz não negativa 'H E §7Êq×° ('H,-,-2
O parai=
1, . ..,q,-j=
1,.. . ,q)tal que
Ha
S
vv (2.21)ou, de
forma
equivalente:R(A0z)
3
R(z),vz
e re"R(z)
â
z¿zíz,1×{mz×{%,o}}
A
proposição seguinte dáuma
condição geométrica necessária e suficiente para aonde
existência de
uma
matriz 'H que satisfaça a relação (220).Proposiçao
2.3 .'[62]
Uma
condição necessária e suficiente para a existência deuma
matriz7-l E Êftqxq que satisfaça a equação
'HQ
=
QA0
6 que 0 /CerQ
sejaum
subespaçoA0
invariante:A0lCer
Q
C
/CerQÉ
de interesse particularquando
o sistema (2.l9) representaum
sistema controladopor realimentação de estados. Neste caso, a condição de A0-invariância é equivalente a (A,
B
)-invariância.
Quando
o sistema linear (2.l9) é considerado válidoem
todo o espaço de estados, todohomotético de
um
poliedro positivamente invariante étambém
positivamente invariante. Estapropriedade é enunciada a seguir para o caso mais genérico do poliedro R[Q,n].
Propriedade
2.3 [19] (Homotetia)Se R[Q,n] é
um
poliedro positivamente invariante do sistema (219), então para todoescalar positivo e
>
0, R[Q, en] étambém
um
poliedro positivamente invariante de (219).Note que, caso o domínio de validade do
modelo
(2.19) seja local,como
ocorreno
casode sistemas lineares
com
restrições no vetor de controle (216), a propriedade de homotetiaacima será válida apenas para certos valores de ê.
`
Como
foi mostrado anteriormente, a definição de poliedro dissimétrico e por conse-quência de poliedro simétrico corresponde a
um
caso particular de polierdo convexo. Assim,pode-se
também
encontraruma
caracterização algébrica particular para a propriedade de inva-riância positiva dos poliedros simétricos e dissimétricos:
S(G', p) é
um
poliedro positivamente invariante do sistema (219) se e somente se,existe
uma
matrizH
G 929” tal queHG
=
GAO
(2.22)Hp
S
/J (2.23)ou de
forma
equivalente,V(A0:1:)§ l/(ze), Va: E 9%" (2.24)
onde -
v(z)
â
i=_n}zz×g{@}
(225),..., ›
Proposição
2.5 (Invariância positiva de S'(G,pM,pm)) [10][04]'
S(G',pM,p,,,) é
um
poliedro positivamente invariante do sistema (219) se e somentese, existe
uma
matrizH
E §R9×9 (tal que 2V
2
HG
=
GAO
(226)HJ*
H-
PM
,OMlH'
H*llP~zlSlPm
(227)com:
H* =
sup(h,~,~,0) eH" =
sup(-h,›,~,O) ou deforma
equivalente .W(A0:r)
É
W(:c), Va: EW'
(2.28)onde
W(z)
Ê
mâíx(max
-%-3%)
(229)i:
mi
Note que, a satisfação da relação (224) ( ou (228), no caso dissimétrico), garantindo a
invaríancia de .S'(G', p), garante
também
ainvariância de todo homotético deS
(G, p), conformeenunciado na propriedade 2.3 para o caso genérico de poliedro convexo.
As
relações (2.20) e (2.2l) (ou (2.22) e (223), ou (2.26) e (2.27)) sãochamadas
derelações de invariância positiva.
Como
apresentado nas proposições 2.4 e 2.5, as respectivas relações de invariância positiva caracterizam o não crescimento ao longo das trajetórias dosistema (2.19) das funções escalares R(a:), V(a:) e
Seja
G
E ÊRQX". Então, se g<
n
e posto(G)=
g,uma
parte do espectro de A0, notadoPropriedade
2.4 [19]Se g
<
n
e posto(G)=
g, entãoP
O-(H)
c
zf(A0)Se
um
poliedro dissimétrico é positivamente invariantecom
relação ao sistema (2.19),sempre é possível construir
um
poliedro simétrico a partir deste que sejatambém
positivamenteinvariante,
como
enunciado pela propriedade seguinte:Propriedade
2.5 [19] Se S(G,pM,p,.,,),com
G' de posto pleno, e'um
poliedro positivamen-te inva/riante do sistema (219), então existe
um
polied'/“o simétrico positivamente invarianterelativo ao sistema (219), dado por S'(G,pM
+
pm).Deste
modo,
alguns resultados de estabilidade relacionados às equações (2.23) e (2.27)podem
ser analisados dentro do contexto de conjuntos poliedrais simétricos. Para tanto,podem-
se utilizar certas propriedades de
M
-matrizes [51][05] ou o conceito denorma
infinita deuma
matriz e raio espectral.
Dada
uma
matrizQ
E §R"×" temos que:p
e
||Q|¡«z
=
zz1§›‹}Í{1Qz-,-|} (230)e
2
=
mÍi1x{|À,›(Q)|}, onde 9 é o raio espectral deQ
[22] e À, éum
dos autovaloresde Q.
Considerando
S
=
diag{1/p,~}, para i=
1,...,n, a inequação |H|pÉ
ppode
serreescrita assim:
|SH's-111,,
5
1,, (2.31)Mas, pela definição de
norma
infinita (2.30), (2.31) é equivalente az||Hl|z×›
S
1Então, 9
É
|1°°É
1, ou seja, os autovalores deH
pertencem ao círculo de raio unitáriono P lano
com
P lexo. Por conse Cl uência, o sistema q ue descreve a dinâmica dentro do es Pa o §(¶Ê"/lCe'r' G):
e¡,+1
=
Hek,com
ek=
Gacké necessariamente assintoticamente estável. lsto pode ser resumido
na
seguinte proposição:Proposição
2.6 Seja amatrizH
E §R9×9 e o vetorp 6 ÉRQ>
0. Se_|H|pÉ
p então |À,~(H)|<
1,Considere agora a propriedade de invariäncia positiva
quando
a lei de saturação éaplicada ao sistema (2.l6). Neste caso, as relações de invariância positiva não
podem
mais serutilizadas para caracterizar a invariância positiva. Porém,
com
relação ao sistema não-linear,ainda pode-se utilizar de funções semi-definidas positivas para caracterizar domínios poliedrais
positivamente invariantes e contrativos,
como
será enunciado na proposiçao seguinte:Proposição
2.7 Relativamente ao sistema (216), o poliedro.5'(\I/,oéeM,aem)
=
{m E §R"; -ae",í
\I1:zÉ
aeM}
(2.32)e' contrativo, se e somente se
AVÍ/g(a:¡,)
=
Wg(xk+1)-
Wg(:n¡,)<
0, Van, E S(\I',aeM,oze,,,)-
{0} (233)33 ¿ IB ¿ onde (W ) (ql )
W”
Ê
i ‹«M›z ''
‹‹zm›zsuficiência: Seja
um
mk G S'(\I/, ozeM, ozem)-
{0} e defina o escalar a'(:1:¡,)':Prova
‹z'‹zzzz›
Ê
Wim)
Então, a'(a:k)
S
oz.De
(2.32) e da relação acima, conclui-se que :ckE
ÕS(\I1, o/(a:k)eM, a'(:nk)e,,,).Se a relação (233) é satisfeita, tem-se que :c¡,+1 E ÕS(\I1,a'(:n¡,+1)eM,a'(a:¡,_¡_1)e,,,) onde o/(a:¡,+1)
<
a'(:Bk). Isto implica que S'(\I/,
aeM,
oéem) é contrativocom
relação ao sistema (2.16). ~ necessidade: Por hipótese S(\I1, ozeM, ozem) é contrativo, ou seja, se .Vmk E ÕS'(\I/, a'(xk)eM,oz'(a:k)em),
com
O<
0/(:z:k)É
oz, existe a'(:z;¡,+1) tal quefl=k+1 É Ô5(*Í1›0/(“=k+1)€M›0/($k+1)@m) » 0
<
0/(ffl1z+1)É
0/(mk)Consequentemente, Víck E S'(\I¡, ozeM, aem) tem-se:
WQÍ-Th)
=
0/(mk) 6 Wg($k+1)=
0/($k+1) š 0/($k+1)<
C/ÍífiklÉ
01 (2-34)De
(2.34) tem-se queWg(a:k+1)
-
Wg(a:¡,)<
0, Van, E S(\I1,ozeM,oze,,,)-
{0}2.4
Determinação
de
Poliedros
Simétricos
Positivamen-
te
Invariantes
Um
método
clássico para determinarum
domíniocompacto
Q C
S(F,wM,
wm), posi-tivamente invariante e estável relativamente ao sistema (216), consiste
em
se determinaruma
função de
Lyapunov
V(a:) quadrática ou poliedral eum
escalar 6>
O tal que:D(V(:r))
=
{:13 G Êffn; V(:1;)É
e}satisfaça:
q D(V(:c))
Ç
S(F,wM,w,,,)Neste trabalho são de interesse
também
os domínios poliedrais positivamente invarian-tes que não são necessariamente compactos. neste contexto que diferentes autores [09], [37]
consideram o problema da determinação de poliedros positivamente invariantes relativamente
ao sistema linear (2.l9), a partir da autoestrutura da matriz A0. Extensoes para o caso contínuo
foram apresentadas por [18] e [l9]. Assim, é apresentada nesta seção
uma
técnica relativa aosistema linear
em
tempo
discreto,:1:k+1
=
Aozck (2.35)para determinaçao de poliedros simétricos limitados (politopos simétricos) positivamente inva-
riantes [l9]. Estas metodologias apresentadas nos itens 2.4.1 e 2.4.2 são baseadas nas relações
de invariância (222) e (2.23) onde a matriz
H
assume formas particulares:forma
canônicareal de Jordan e
uma
extensãobloco triangular da forma real de Jordan. Vale salientar que0 poliedro simétrico determinado por este algoritmo, além de ser positivamente invariante, é
contrativo. '
2.4.1
Forma
Canônica
Real de
Jordan
Neste caso, utiliza-se
como
matrizH
candidata nas relações de invariância (2.22~) e (223) arepresentação sob a forma real de Jordan da matriz
A0
dada por:_ L1 0 . . . 0 V 0 . _ .
L
H=V
1A0v=
P1D1
_ .'zo
0.
.oD,,
onde
V
eV`1
correspondem aos autovetores à esquerda e à. direita de A0.Os
blocos L1, . . . , LPIestão associados aos pl autovalores reais não necessariamente distintos de Ag. Assim, a cada
bloco L¿ corresponde
um
autovalor Àicom
multiplicidade qi dado por:À,- 1' O _ 0
O À¿ 1 .
L,~
=
. . .. . '- 1
0 . _ 0 À,-
Já. os blocos D1, . . . ,
Dm,
estäo associados aos pg pares de autovalores complexos conjugadosde A0.
A
cada bloco Dm,_ correspondeum
par de complexos conjugados /.im :fz jam,com
multiplicidade sm: i ~ ,um
-am
1 O Oom
/im 0 1 _ O 0am
-am
. . .am nm
. ` - . 1 0 . ' ' - 0 1 . . Opm.-am
_0
. Oam
,am_
Dm:
A
matrizG
candidata édada
por:G
z
v-1
(2.sô)A
partir destas considerações, mostra-se o seguinte resultado:Proposição
2.8 [18]Uma
condição necessária e suficiente para a invariância positiva do politopo simétricodefinido por:
5(G,f›)
=
{w 6 ?R";-PS Gw
S
/›}onde:
G
=
V`1
éuma
matriz dos autovetores reais generalizados à direita de A0 e pE
ÊR" éum
vetor estritamente positivo apropriado; e' que todos os autovalores de
A0
(reais e complexos),
notados p.,~ :E ja,-, satisfaçam:
'
|/»¿z'|+|Uz'lÉ1› Pf"`<H'=1›---›P1+P2
A
condição espectralacima
é esquematizada pela figura fig.2.7.Para este caso particular onde
G
é dado por (236), o posto(G)=
n
e anorma
poliedralOs
sistemas instáveispodem
admitir conjuntos positivamente invariantes.Em
par-ticular, se o sistema (2.19) é instável e
A0
possui certos autovalores estáveis que satisfazemIp]
+
|a|<
1, então o sistema admite poliedros positivamente invariantes construidos a partirdos autovetores à direita associados ao autovalores estáveis.
Os
poliedros positivamente inva-riantes sao necessariamente nao limitados nas direçoes dos autovetores (à direita) associados
aos autovalores instáveis. '
A
0
1|zU|+|0|<1
P
lo 1.M
-
1.Fig.'2.7 Região de invariância positiva
~
2.4.2
Uma
Extensao Bloco
Triangular
da
Forma
Real
de
Jordan
Utiliza-se
como
matrizH
candidata,uma
extensão sob forma bloco triangularda
repre-sentação real de Jordan de
A0
para se determinar politopos simétricos positivamente invariantes.Os
politopos positivamente invariantes determinados se caracterizam por possuíremsomente
um
subconjunto de suas faces determinado a partir dos autovetores reais à. esquerda deA0.
A
importância da construção destes poliedros se verifica para certos problemas particularesde controle sob restrições
quando
não é possível obter invariância positiva de todo o poliedrode restrições [34].
Considera-se inicialmente que os autovalores de
A0
satisfaçam a seguinte condição:e a representação de
A0
sob a forma canônica real de Jordan possa serdecomposta
assim:A‹›h/1vê1={v11ê1[Q1
Éh]
~com
A1 E §Rs×*,A2 G ¶("`”)×("`s), V1 G §R"×$, V5 G 9Ê"×("`5) de forma que o(A1) F1 o({\2)z
Q)_Assim, seja G'
=
I;
gl
¶
com
G1 E §R'×",G2
G §R("`”)×" tais que2
G1
_
Í, OIn__s:|
A
partir destas considerações iniciais, pode-se escrever o seguinte resultado:Proposição
2.9 [19]Sejam
pl e pz tais quei"?f'›Â1«HílHíli
então, a toda matriz não nula
M
E §R'°×(”"3) que satisfaz_ P P
uA11.|Mu
[ P; ]
s
[P1
] (227)pode-se fazer corresponder
uma
matrizQ1
E ÉRSX",Q1
76 G1, tal que 0 n-politopo:S<[ã;}›[2;})={M=~[í:]42;]fiííiâfi
seja positivamente invariante.
A
matrizQ1
E §R”×" e' determinadacomo
segue:Q1
=
G'1+
DG'z, onde a matriz não nulaD
=
[dl dz d,,_,],com
dj E ÉRSparaj
=
1,. . .,(n
-
s) e' determinada para os seguintes casos:0 Se 02,-
=
O então dj=
(/,/,z¿I,-
A1)"1m,-,com
dj=
0, se e somente semj
=
0,;e z1~
WI,-A1
-O-,IsT
Ím~
}[a
}S
, O t J:
J .7 J , J :_ o e 02, 95 en ao [ dJ_+1 } { 02115Mais
_A1
m]_+1com
dJ_+1 TR i Os i se e somêntg se j=
Os i - On-s mj+1 0s+1Pela inequação (2.37) deduz-se que existe diferentes matrizes
M
candidatas.A
proposi- ção 2.9também
pode ser aplicada para se determinar poliedros não limitados positivamenteinvariantes [19].
Para se utilizar os resultados dos itens 2.4.1 e 2.4.2, para
um
sistema linearcom
res-trições nas variáveis de controle, tem-se que satisfazer
também
a seguinte condição:S(G',p)
Q
S'(F,wM,wm)
(238)Assim, p deve ser escolhido de forma que a relação (238)
também
seja satisfeita.Conclusão
_Dentro de muitos roblemas ráticos de controle sob restri Çoes de sistemas dinâmicos ›
as restrições aplicadas sobre as variáveis de estado e / ou de controle,
definem
poliedros convexosdentro do espaço de estados. Neste contexto, a propriedade de invariância positiva de domínios
poliedrais, definidos no espaço de estados,
tem
fundamental importância no cálculo de leisde controle. Pois, se o domínio de condições iniciais de
um
sistema controladocom
restriçõespertence a
um
conjunto positivamente invariante, incluso no domínio definido pelas restrições, astrajetórias do sistema
permanecem
dentro deste domínio positivamente invariante e a satisfaçãodas restrições é garantida.
Se
um
sistema linear controlado por realimentaçao de estados é assintoticamente -estável, pode-se facilmente determinar conjuntos compactos positivamente invariantes a partir
de funções de
Lyapunov
poliedrais ou quadráticas.Como
o domínio de funções deLyapunov
U)
t1:I~
o~ Q.
clássicas quadrática e forma hiperelipsoidal, ele não se adapta
bem
aos problemas de con-trole sob restrições. necessário, portanto, caracterizar a invariância positiva para domínios
poliedrais.
A
contratividade de poliedros convexos eem
particular de poliedros simétricos e dis-simétricos contendo a origem no espaço de estados é equivalente à. existência de certas funções
escalares semi-definidas não-negativas decrescentes ao longo das trajetórias do sistema linear
:z;k+1
=
Aomk
ou :ck+1 ==Amk
+
Bsat(Fa:k).Em
particular, no caso de poliedros positivamenteinvariantes nos quais o vetor de controle u
= Fm
satisfaz as restrições, pode-setambém
definir,de
forma
equivalente, relaçoes de invariância positiva que garantem a invariância positiva destepoliedro.
Todos os sistema lineares
com
pólos dentro do círculo de raio unitário do planocomplexo
para À,-(A0)
=
pi+
U,-j, se |/.¿|,~+
|a|¿<
1,1'
=
1, . . . ,n, pode-se sempre determinar poliedros
positivamente invariantes a partir da representação sob a forma real de Jordan de A0. Assim,
foram apresentadas neste capítulo, duas metodologias de construção de politopos (poliedros li-
mitados) simétricos positivamente ínvariantes e contrativos utilizando-se de formas particulares
da matriz
H
:0 sob a forma canônica real de Jordan e
o
uma
extensão bloco triangular da forma real de jordan.Ôs
resultados deste capítulocom
relação ao sistema :nk+1=
/1012;, são utilizados noscapítulos seguintes para o caso de sistemas lineares
em
tempo
discreto controlados por reali-rnentação de estados sob restrição no vetor de controle. Neste contexto, todo resultado aplicado
ao sistema linear a:k+1
=
Aomk poderá ser aplicadotambém
ao sistema linearem
malha
fechada:nk+1