Modelagem de Sistemas Dinâmicos Determin´ısticos
Modelagem de Sistemas Dinâmicos Determin´ısticos
Modelagem de Sistemas Dinâmicos Determin´ısticos
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Universida<strong>de</strong> Fe<strong>de</strong>ral do Rio Gran<strong>de</strong> do Sul<br />
Escola <strong>de</strong> Engenharia<br />
Departamento <strong>de</strong> Engenharia Elétrica<br />
ENG04020-Tópicos Especiais em Automação e Controle I<br />
<strong>Mo<strong>de</strong>lagem</strong> <strong>de</strong> <strong>Sistemas</strong> <strong>Dinâmicos</strong><br />
Determinísticos<br />
I Introdução<br />
Prof. Walter Fetter Lages<br />
17 <strong>de</strong> junho <strong>de</strong> 2002<br />
Nesta aula será feita uma breve revisão <strong>de</strong> vários mo<strong>de</strong>los para sistemas<br />
dinâmicos <strong>de</strong>terminísticos. Por <strong>de</strong>terminístico enten<strong>de</strong>-se mo<strong>de</strong>los que <strong>de</strong>screvem<br />
completamente a resposta do sistema, ao contrário <strong>de</strong> mo<strong>de</strong>los estocásticos,<br />
cuja resposta contém componentes aleatórios <strong>de</strong>finidos em algum<br />
espaço <strong>de</strong> probabilida<strong>de</strong>.<br />
Em particular, serão abordados mo<strong>de</strong>los no espaço <strong>de</strong> estados, representações<br />
utilizando operadores diferença, mo<strong>de</strong>los DARMA e funções <strong>de</strong><br />
transferência.<br />
II Mo<strong>de</strong>los no Espaço <strong>de</strong> Estados<br />
Será utilizada a seguinte notação para mo<strong>de</strong>los no espaço <strong>de</strong> estados 1 :<br />
x(t + 1) = Ax(t) + Bu(t) x(0) = x0<br />
y(t) = Cx(t)<br />
on<strong>de</strong> u(t) é a entrada (r × 1), y(t) é a saída (m × 1), x(t) é o estado (n × 1)<br />
e xo é o estado inicial.<br />
1 Note-se que, embora seja utilizada a variável t, trata-se <strong>de</strong> um mo<strong>de</strong>lo discreto no<br />
tempo<br />
1
III Representações Utilizando Operador Diferença<br />
Mo<strong>de</strong>los no espaço <strong>de</strong> estados são representados por uma equação a diferenças<br />
<strong>de</strong> primeira or<strong>de</strong>m. Outras representações po<strong>de</strong>m ser obtidas utilizando-se<br />
equações a diferenças <strong>de</strong> or<strong>de</strong>m superior.<br />
De forma a po<strong>de</strong>r representar estes mo<strong>de</strong>los <strong>de</strong> forma conveniênte, <strong>de</strong>finese<br />
o operador q, <strong>de</strong>nominado <strong>de</strong>slocamento em avanço. Ou seja:<br />
e conseqüentemente:<br />
qy(t) △ = y(t + 1) para t ≥ 0<br />
q −1 y(t) △ = y(t − 1) para t ≥ 1 q −1 y(0) △ = 0<br />
q i y(t) △ = y(t + i) para t ≥ 0<br />
q −i y(t) △ = y(t − i) para t ≥ i q −i y(0) △ = 0 para 0 ≤ t < i<br />
Coni<strong>de</strong>re agora a equação a diferenças <strong>de</strong> primeira or<strong>de</strong>m:<br />
que po<strong>de</strong> ser escrita na forma:<br />
y(t + 1) + ay(t) = u(t) t ≥ 0<br />
(q + a)y(t) = u(t) t ≥ 0<br />
Analogamente, utilizando-se o operador diferença, um sistema dinâmico<br />
linear genérico po<strong>de</strong> ser escrito na forma<br />
P (q)z(t) = Q(q)u(t) t ≥ 0<br />
y(t) = R(q)z(t)<br />
com condições iniciais a<strong>de</strong>quadas para z(t) e on<strong>de</strong> P (q), Q(q) e R(q) são<br />
matrizes polinomiais.<br />
A representação utilizando-se o operador diferença inclui o mo<strong>de</strong>lo no<br />
espaço <strong>de</strong> estados como um caso especial quando<br />
P (q) = qI − A<br />
Q(q) = B<br />
R(q) = C<br />
Z(t) = x(t)<br />
Por outro lado, a representação utilizando o operador diferença apresenta<br />
duas formas particularmente interessantes: representação com operador<br />
diferença à direita e representação com operador diferença à esquerda.<br />
2
Na representação com operador diferença à direita, o mo<strong>de</strong>lo assume a<br />
seguite forma:<br />
Dr(q)z(t) = u(t) t ≥ 0<br />
y(t) = Nr(q)z(t)<br />
Já na representação com operador diferença à esquerda, o mo<strong>de</strong>lo assume<br />
a seguite forma:<br />
ou equivalentemente<br />
Dl(q)z(t) = Nl(q)u(t) t ≥ 0<br />
y(t) = z(t)<br />
Dl(q)y(t) = Nl(q)u(t) t ≥ 0<br />
III.1 Representação com Operador Diferença à Direita<br />
Esta forma <strong>de</strong> mo<strong>de</strong>lo (1) também po<strong>de</strong> ser escrita como:<br />
<br />
Dr(q)<br />
Nr(q)<br />
<br />
z(t) =<br />
<br />
u(t)<br />
y(t)<br />
<br />
t ≥ 0<br />
No caso SISO, Dr(q) e Nr(q) são polinômios escalares na forma:<br />
Dr(q) = a0q n + a1q n−1 + · · · + an<br />
Nr(q) = b1q n−1 + · · · + bn<br />
O grau <strong>de</strong> Nr(q) é (n − 1) ou menor para garantir que a função <strong>de</strong> transferência<br />
associada seja estritamente própria, ou seja,<br />
H(z) =<br />
b1z n−1 + · · · + zn<br />
a0z n + a1z n−1 + · · · + zn<br />
Com as suposições acima, a representação com operador diferença à direita<br />
é controlável e po<strong>de</strong>-se obter a partir <strong>de</strong>la um mo<strong>de</strong>lo no espaço <strong>de</strong><br />
estados controlável.<br />
O mo<strong>de</strong>lo (1) po<strong>de</strong> ser escrito na forma<br />
on<strong>de</strong><br />
[a0q n + L(q)] z(t) = u(t) t ≥ 0<br />
3<br />
(1)<br />
(2)
L(q) = LΨ(q)<br />
Ψ(q) T = <br />
q n−1 q n−2 · · · 1 <br />
L = <br />
Similarmente, N(q) po<strong>de</strong> ser expresso na como<br />
N(q) = NΨ(q)<br />
N = <br />
b1 · · · bn<br />
e portanto, o sistema (1) po<strong>de</strong> ser <strong>de</strong>scrito por<br />
<br />
a1 · · · an<br />
qnz(t) = − 1<br />
1<br />
LΨ(q)z(t) + u(t) t ≥ 0<br />
a0 a0<br />
y(t) = NΨ(q)z(t)<br />
Definido-se o vetor <strong>de</strong> estados<br />
x(t) = Ψ(q)z(t) = <br />
po<strong>de</strong>-se escrever o mo<strong>de</strong>lo no espaço <strong>de</strong> estados<br />
⎡<br />
⎢<br />
x(t + 1) = ⎢<br />
⎣<br />
y(t) = Nx(t)<br />
− a1<br />
a0<br />
1<br />
. ..<br />
z(t + n − 1) · · · z(t) T<br />
· · · − an<br />
a0<br />
1 0<br />
⎤<br />
⎡<br />
⎥ ⎢<br />
⎥ ⎢<br />
⎥ x(t) + ⎢<br />
⎦ ⎣<br />
1<br />
a0<br />
0.<br />
0<br />
⎤<br />
<br />
⎥<br />
⎦ u(t)<br />
Esta expressão é <strong>de</strong>nominda forma controlador e é completamente controável.<br />
Note-se que existe uma relação <strong>de</strong> um-para-um entre os coeficientes<br />
da forma controlador, os coeficientes da representaçã com operador diferença<br />
à direita e os coeficientes da função <strong>de</strong> transferência.<br />
III.2 Representação com Operador Diferença à Esquerda<br />
Esta forma <strong>de</strong> mo<strong>de</strong>lo (2) também po<strong>de</strong> ser escrita como:<br />
Dl(q)y(t) = Nl(q)u(t) t ≥ 0 (3)<br />
No caso SISO, Dl(q) e Nl(q) são polinômios escalares na forma:<br />
Dl(q) = a0q n + a1q n−1 + · · · + an<br />
Nl(q) = b1q n−1 + · · · + bn<br />
4
Tal como no representação com operador diferença à direita, aqui também<br />
o grau <strong>de</strong> Nl(q) é (n−1) ou menor para garantir que a função <strong>de</strong> transferência<br />
associada seja estritamente própria.<br />
Com as suposições acima, a representação com operador diferença à esquerda<br />
é observável e po<strong>de</strong>-se obter a partir <strong>de</strong>la um mo<strong>de</strong>lo no espaço <strong>de</strong><br />
estados observável.<br />
O mo<strong>de</strong>lo (3) po<strong>de</strong> ser escrito na forma<br />
y(t) = − a1<br />
y(t − 1) · · · − an<br />
y(t − n) + b1<br />
u(t − 1) · · · + bn<br />
u(t − n)<br />
a0<br />
a0<br />
que po<strong>de</strong>, para t ≥ n, ser expresso como<br />
y(t) = − a1<br />
y(t − 1) + b1<br />
u(t − 1) + r1(t − 1)<br />
a0<br />
r1(t) = − a2<br />
y(t − 1) + b2<br />
u(t − 1) + r2(t − 1)<br />
a0<br />
Definindo-se o vetor <strong>de</strong> estados 2<br />
a0<br />
a0<br />
a0<br />
rn−1(t) = − an<br />
y(t − 1) + bn<br />
u(t − 1)<br />
x(t) = <br />
a0<br />
a0<br />
y(t) r1(t) · · · rn−1(t) T<br />
que é <strong>de</strong>nominada forma observador e é completamente observável. Obviamente,<br />
este resultado é o dual do resultado obtido para a representação com<br />
operador diferença à direita.<br />
IV Mo<strong>de</strong>lo DARMA<br />
Neste mo<strong>de</strong>lo, o vetor <strong>de</strong> saídas atual é expresso como uma combinação linear<br />
das saídas anteriores e das entradas anteriores:<br />
A0y(t) = − n1<br />
j=1 Ajy(t − j) + m1<br />
j=1 Bju(t − j − d) t ≥ 0 (4)<br />
on<strong>de</strong> A0 é quadrada e não singular e d representa um atraso. As dimensões<br />
<strong>de</strong> y(t) e u(t) são respectivamente m e r.<br />
2 Notar o erro na <strong>de</strong>finição em [1]. Lá, x(t) está <strong>de</strong>finido como x(t) T =<br />
y(t) r1(t) · · · rn−1(t) T<br />
5<br />
.<br />
a0
O termo <strong>de</strong>pen<strong>de</strong>nte dos valores anteriores <strong>de</strong> y é <strong>de</strong>nominado autoregressivo<br />
e o termo <strong>de</strong>pen<strong>de</strong>nte <strong>de</strong> u é <strong>de</strong>nomindado componente <strong>de</strong> média móvel,<br />
daí o nome do mo<strong>de</strong>lo (Deterministic AutoRegressive with Moving Average).<br />
Utilizando q −1 , o mo<strong>de</strong>lo (4) po<strong>de</strong> ser expresso como<br />
on<strong>de</strong><br />
A(q −1 )y(t) = B(q −1 )u(t) t ≥ 0 (5)<br />
A(q −1 ) = A0 + A1q −1 + · · · + An1q −n1<br />
B(q −1 ) = <br />
B0 + B1q −1 + · · · + Bm1q −m1<br />
<br />
q −d<br />
Comparando-se as expressões (3) e (5) percebe-se que o mo<strong>de</strong>lo DARMA<br />
é uma representação com operador diferença à esquerda em termos <strong>de</strong> q −1 .<br />
Portanto, as mesmas proprieda<strong>de</strong>s são válidas, em especial a equivalência<br />
com um mo<strong>de</strong>lo no espaço <strong>de</strong> estados observável. Note-se ainda que o mo<strong>de</strong>lo<br />
DARMA po<strong>de</strong> representar as proprieda<strong>de</strong>s <strong>de</strong> entrada-saída <strong>de</strong> um mo<strong>de</strong>lo<br />
no espaço estados genérico (não necessariamente controlável e observável).<br />
A expressão (5) po<strong>de</strong> ser normalizada <strong>de</strong> forma que A0 = I, multiplicando-<br />
se ambos os lados por A −1<br />
0 . Neste caso, o mo<strong>de</strong>lo DARMA po<strong>de</strong> ser expresso<br />
como<br />
y(t) = θ T φ(t − 1) t ≥ 0<br />
on<strong>de</strong> θ T é uma matriz m×p <strong>de</strong> parâmetros <strong>de</strong>pen<strong>de</strong>ntes <strong>de</strong> A(q −1 ) e <strong>de</strong> B(q −1 )<br />
e φ(t) é um vetor contendo os valores passados das saídas e das entradas.<br />
Referências<br />
[1] G. C. Goodwin and K. S. Sin. Adaptive Filtering, Prediction and Control.<br />
Prentice-Hall Information and System Sciences Series. Prentice-Hall, Inc.,<br />
Englewood Cliffs, NJ, 1984.<br />
6