13.04.2013 Views

Modelagem de Sistemas Dinâmicos Determin´ısticos

Modelagem de Sistemas Dinâmicos Determin´ısticos

Modelagem de Sistemas Dinâmicos Determin´ısticos

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!