Download PDF
ads:
BRUNO C
´
ESAR REGINATO
AMBIENTE COMPUTACIONAL PARA IDENTIFICAC¸
˜
AO
DE SISTEMAS NOS DOM
´
INIOS DO TEMPO E DA
FREQ
¨
U
ˆ
ENCIA USANDO BASES DE FUNC¸
˜
OES
ORTONORMAIS GENERALIZADAS
CURITIBA
Setembro, 2008
ads:
Livros Grátis
http://www.livrosgratis.com.br
Milhares de livros grátis para download.
BRUNO C
´
ESAR REGINATO
AMBIENTE COMPUTACIONAL PARA IDENTIFICAC¸
˜
AO
DE SISTEMAS NOS DOM
´
INIOS DO TEMPO E DA
FREQ
¨
U
ˆ
ENCIA USANDO BASES DE FUNC¸
˜
OES
ORTONORMAIS GENERALIZADAS
Disserta¸ao apresentada ao Programa de
os-Gradua¸ao em Engenharia de Produ¸ao
e Sistemas da Pontif´ıcia Universidade
Cat´olica do Paran´a como requisito para a
obten¸ao do t´ıtulo de Mestre em Engenharia
de Produ¸ao e Sistemas.
Orientador:
Gustavo Henrique da Costa Oliveira
Pontif
´
ıcia Universidade Cat
´
olica do Paran
´
a - PUCPR
CURITIBA
Setembro, 2008
ads:
i
Ele contou at´e infinito. 2 vezes.
(autor desconhecido)
ii
Agradecimentos
Onipresen¸ca define Deus, por permitir que tudo acontecesse sempre da melhor forma,
garantindo vida e sa´ude, tanto minha, quanto das importantes pessoas aqui mencionadas.
Bastante espa¸co seria pouco para agradecer aos meus Pais, Vitorio e Helaine, pelo
amor e grande engajamento na minha educa¸ao e forma¸ao, sempre me acompanhando e
apoiando, mesmo `a distˆancia, em todos os passos de minha vida.
Realmente importante o incentivo e companherismo demonstrados pelos meus Irm˜aos,
abio Henrique e Paulo Vitor, em rela¸ao a mim.
Imensamente grato `a minha Namorada, Gabriela, que me acompanha desde antes
de eu decidir pela gradua¸ao em Engenharia Mecatrˆonica, portanto sendo sempre uma
confidente e incentivadora em todas as minhas decis˜oes.
Gustavo ´e o nome dele: o Professor que deu a mim muitas oportunidades desde
2005, ainda na gradua¸ao. Dedicou-se e teve muita paciˆencia em orientar-me durante o
desenvolvimento deste trabalho.
Amigos Emerson Donaisky e Jos´e Meissner, tornaram os anos de gradua¸ao e mestrado
mais divertidos, pois compartilhamos as mesmas lutas, expectativas e conquistas.
Docente Nathan Mendes, que inicialmente foi co-orientador deste trabalho.
Outrossim agrade¸co: A PUCPR, pela bolsa de mestrado concedida `a minha pessoa.
A FINEP e CNPq pelo aux´ılio financeiro e suporte para o desenvolvimento deste trabalho.
iii
Sum´ario
Lista de Figuras p. vi
Lista de Tabelas p. viii
Lista de S´ımbolos p. ix
Lista de Abreviaturas p. xii
Resumo p. xiv
Abstract p. xv
1 Introdu¸ao p. 1
1.1 Defini¸oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 3
1.1.1 Produto Interno e Norma . . . . . . . . . . . . . . . . . . . . . p. 3
1.1.2 Ortonormalidade . . . . . . . . . . . . . . . . . . . . . . . . . . p. 4
1.1.3 Bases de Fun¸oes Completas . . . . . . . . . . . . . . . . . . . . p. 4
1.1.4 Fun¸oes Internas e Filtros Passa-Tudo . . . . . . . . . . . . . . p. 6
1.1.5 Modelos em Espa¸co de Estados Ortogonais . . . . . . . . . . . . p. 6
1.2 Identifica¸ao de Sistemas . . . . . . . . . . . . . . . . . . . . . . . . . . p. 7
1.3 Motivao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 10
1.3.1 Bases de Fun¸oes Racionais . . . . . . . . . . . . . . . . . . . . p. 12
1.4 Estrutura da Disserta¸ao . . . . . . . . . . . . . . . . . . . . . . . . . . p. 14
2 Bases de Fun¸oes Ortonormais p. 15
Sum´ario iv
2.1 Representa¸ao de Sistemas Lineares . . . . . . . . . . . . . . . . . . . . p. 16
2.2 Bases Formadas por Fun¸oes Internas . . . . . . . . . . . . . . . . . . . p. 20
2.2.1 Fun¸ao Interna com olo Real . . . . . . . . . . . . . . . . . . . p. 20
2.2.2 Fun¸ao Interna com olos Complexos . . . . . . . . . . . . . . . p. 21
2.2.3 Conex˜ao em erie de Fun¸oes Internas . . . . . . . . . . . . . . p. 23
2.2.4 Bases de Fun¸oes Ortonormais Generalizadas . . . . . . . . . . p. 25
2.3 Representa¸ao de Sistemas MIMO . . . . . . . . . . . . . . . . . . . . . p. 27
2.4 Identifica¸ao no Dom´ınio do Tempo . . . . . . . . . . . . . . . . . . . . p. 28
2.5 Identifica¸ao no Dom´ınio da Freq¨uˆencia . . . . . . . . . . . . . . . . . . p. 29
3 Sele¸ao de olos p. 31
3.1 M´etodos para Sele¸ao de olos em Modelos Lineares com Estrutura OBF p. 32
3.2 Parametriza¸ao dos olos . . . . . . . . . . . . . . . . . . . . . . . . . p. 35
3.3 Defini¸ao do Problema . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 37
3.4 Localiza¸ao
´
Otima Assint´otica dos olos . . . . . . . . . . . . . . . . . p. 38
4 Softwares e Rotinas Desenvolvidas p. 40
4.1 Prepara¸ao do Pacote . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 40
4.2 IDENTGOBF . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 40
4.3 Rotina para alculo dos olos
´
Otimos para o Modelo . . . . . . . . . . p. 42
4.4 Otimizador de olos em Batelada . . . . . . . . . . . . . . . . . . . . . p. 48
4.5 Valida¸ao de Modelos GOBF . . . . . . . . . . . . . . . . . . . . . . . p. 50
5 Exemplos e Aplica¸oes p. 52
5.1 Sistemas El´etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 52
5.1.1 Linha de Transmiss˜ao . . . . . . . . . . . . . . . . . . . . . . . p. 54
5.1.2 Transformador . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 55
5.1.3 Transformador BBC e ZTR . . . . . . . . . . . . . . . . . . . . p. 55
Sum´ario v
5.1.4 VCFP - Voice Coil-Driven Flexible Positioner . . . . . . . . . . p. 58
5.2 Sistemas ermicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 61
5.2.1 FF600 - Inverno . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 64
5.2.2 FF600 - Ver˜ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 66
5.2.3 FF600 - Modelo Unificado . . . . . . . . . . . . . . . . . . . . . p. 68
5.2.4 C´elula ermica Experimental . . . . . . . . . . . . . . . . . . . p. 69
5.2.5 Outros Sistemas . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 73
6 Conclus˜ao p. 76
6.1 Trabalhos Futuros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 77
Referˆencias p. 81
Anexos p. 90
vi
Lista de Figuras
2.1 Estrutura do Modelo Usando Bases de Fun¸oes Ortonormais . . . . . . p. 19
2.2 Estrutura do Modelo Usando Bases de Fun¸oes Ortonormais Generalizadas p. 27
2.3 Esquema de Bases de Fun¸oes Ortonormais em Sistema MIMO . . . . . p. 28
4.1 Interface Gr´afica para Identifica¸ao GOBF . . . . . . . . . . . . . . . . p. 41
4.2 Guia para Identifica¸ao na Freq¨uˆencia . . . . . . . . . . . . . . . . . . . p. 42
4.3 Interface Assistente para Aloca¸ao de olos . . . . . . . . . . . . . . . p. 43
5.1 Exemplo 1 - Linha de Transmiss˜ao . . . . . . . . . . . . . . . . . . . . p. 55
5.2 Exemplo 2 - Transformador . . . . . . . . . . . . . . . . . . . . . . . . p. 56
5.3 Exemplo 3 - Transformador BBC (Identifica¸ao) . . . . . . . . . . . . . p. 57
5.4 Exemplo 3 - Transformador BBC (Valida¸ao) . . . . . . . . . . . . . . p. 57
5.5 Exemplo 3 - Transformador ZTR (Identifica¸ao) . . . . . . . . . . . . . p. 58
5.6 Exemplo 3 - Transformador ZTR (Valida¸ao) . . . . . . . . . . . . . . . p. 58
5.7 VCFP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 59
5.8 Exemplo 4 - VCFP Tempo (Identifica¸ao) . . . . . . . . . . . . . . . . p. 59
5.9 Exemplo 4 - VCFP Erro Absoluto (Identifica¸ao) . . . . . . . . . . . . p. 60
5.10 Exemplo 4 - VCFP Tempo (Valida¸ao) . . . . . . . . . . . . . . . . . . p. 60
5.11 Exemplo 4 - VCFP Freq¨encia . . . . . . . . . . . . . . . . . . . . . . . p. 61
5.12 Interface do software PowerDomus . . . . . . . . . . . . . . . . . . . . p. 62
5.13 Dimens˜oes do Ambiente Utilizado nas Simula¸oes . . . . . . . . . . . . p. 63
5.14 Dados de Entrada para BESTest FF600 Inverno . . . . . . . . . . . . . p. 64
5.15 Sinal de Controle BESTest 600FF Inverno . . . . . . . . . . . . . . . . p. 65
5.16 Identifica¸ao BESTest 600FF Inverno . . . . . . . . . . . . . . . . . . . p. 65
Lista de Figuras vii
5.17 Valida¸ao BESTest 600FF Inverno . . . . . . . . . . . . . . . . . . . . . p. 66
5.18 Dados de entrada para BESTest 600FF Ver˜ao . . . . . . . . . . . . . . p. 66
5.19 Sinal de controle BESTest 600FF Ver˜ao . . . . . . . . . . . . . . . . . . p. 67
5.20 Identifica¸ao BESTest 600FF Ver˜ao . . . . . . . . . . . . . . . . . . . . p. 67
5.21 Valida¸ao BESTest 600FF Ver˜ao . . . . . . . . . . . . . . . . . . . . . p. 68
5.22 BESTest 600FF Inverno com Controle - Modelo Unificado . . . . . . . p. 69
5.23 BESTest 600FF Inverno sem Controle - Modelo Unificado . . . . . . . . p. 69
5.24 BESTest 600FF Ver˜ao com Controle - Modelo Unificado . . . . . . . . p. 70
5.25 BESTest 600FF Ver˜ao sem Controle - Modelo Unificado . . . . . . . . . p. 70
5.26 Entradas do Sistema . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 71
5.27 Sa´ıdas do Sistema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 71
5.28 Identifica¸ao do Subsistema Ventila¸ao . . . . . . . . . . . . . . . . . . p. 72
5.29 Identifica¸ao do Subsistema Temperatura . . . . . . . . . . . . . . . . . p. 72
5.30 Identifica¸ao do Subsistema Umidade . . . . . . . . . . . . . . . . . . . p. 73
5.31 Dados de Valida¸ao para o Caso MIMO . . . . . . . . . . . . . . . . . . p. 75
6.1 Interface para Valida¸ao de Modelos GOBF . . . . . . . . . . . . . . . p. 78
6.2 Interface para Otimiza¸ao de olos em Modelos GOBF . . . . . . . . . p. 79
6.3 Sub-Interface da Otimiza¸ao: Interface de M´ultiplas Simula¸oes . . . . p. 80
viii
Lista de Tabelas
1.1 Polinˆomios utilizados nas estruturas de modelos lineares. . . . . . . . . p. 11
5.1 Resultados para Diferentes Estruturas de Modelos . . . . . . . . . . . . p. 74
ix
Lista de S´ımbolos
φ
i
(k) - base de fun¸oes ortonormais, p. 4
f(k) - fun¸ao ao-nula, p. 5
c
i
- coeficientes da representa¸ao em eries de uma fun¸ao ortonormal, p. 5
ξ
i
- olo de um sistema qualquer, p. 5
y(k) - sinal de sa´ıda de um sistema, p. 8
u(k) - sinal de entrada de um sistema, p. 8
ν(k) - sinal de perturba¸ao aplicado a um sistema, p. 8
H(q) - fun¸ao de transferˆencia de um sistema qualquer, p. 8
ς(k) - ru´ıdo branco presente na modelagem de um sistema, p. 8
G(q) - fun¸ao de transferˆencia que modela a perturba¸ao de um sistema qualquer, p. 8
µ - edia, p. 8
σ
2
- variˆancia, p. 8
ϕ
T
(k) - vetor de dados de um sistema, p. 9
θ - vetor de parˆametros, formado pelos coeficientes de H(q) e G(q), para um modelo PEM,
p. 9
ϕ
T
(k) - vetor de dados de um sistema, p. 9
F
i
(q) - fun¸ao de transferˆencia de base, p. 13
H(q
1
) - fun¸ao de transferˆencia estritamente pr´opria no operador atraso q
1
, p. 16
q
1
- operador atraso, p. 16
φ
j
(k) - conjunto de fun¸oes ortonormais, p. 16
c
i
- coeficientes da representa¸ao em eries do sinal h(k), p. 17
l
i
(k) - sa´ıda da n-´esima fun¸ao da base { φ
i
(k) }
i=1
para a entrada u(k), p. 17
Lista de S´ımbolos x
n - limite superior do somat´orio para a representa¸ao do sinal y(k), p. 17
˜y(k) - sa´ıda prevista do sistema, p. 17
G(z) - fun¸ao de transferˆencia racional, p. 20
G
i
(z) - fun¸ao interna qualquer, p. 20
b
i
- primeiro coeficiente real para a parametriza¸ao de G
i
(z), p. 22
d
i
- segundo coeficiente real para a parametriza¸ao de G
i
(z), p. 22
x
1
(t) e x
2
(t) - vetores de estados das fun¸oes internas G
1
(z) e G
2
(z), respectivamente,
p. 23
G
1
(z)G
2
(z) - conex˜ao dos filtros passa-tudo G
1
(z) e G
2
(z), p. 23
G
c
(z) - sistema com G
1
(z) e G
2
(z) conectados: G
1
(z)G
2
(z), p. 24
G
b
(z) - realiza¸ao em cascata de n
b
fun¸oes G(z), p. 25
n
b
- n´umero de realiza¸oes em cascata da fun¸ao G(z), p. 25
φ
im
(k) - iesimo elemento do vetor de sinais ν
m
(k), p. 25
ν
m
(k) - vetor de sinais, p. 26
V
m
(z) - transformada inversa de ν
m
(k), p. 26
l
im
(k) - sa´ıda da (im)-´esima fun¸ao de base Φ
im
(z) : i = 1, . . . , n
b
, m = 1, . . . quando a
entrada ´e u(k), p. 26
c
im
- coeficientes da representa¸ao utilizando bases ortonormais, p. 26
n
g
- n´umero de fun¸oes utilizado para o truncamento da realiza¸ao em cascata das bases
G
b
(z), p. 26
c
m
- vetor contendo os elementos c
im
para i = 1, . . . , n
b
, p. 26
l
m
- vetor contendo os elementos l
im
para i = 1, . . . , n
b
, p. 26
L(k) - concatena¸ao de l
i
(k), i = 1, . . . , n
g
, p. 26
C - concatena¸ao de c
i
(k), i = 1, . . . , n
g
, p. 26
M - N´umero de sinais de entrada num sistema MISO ou MIMO, p. 27
Q - N´umero de sinais de sa´ıda num sistema MIMO, p. 27
n
m
- n´umero de termos utilizados para truncar a mesima s´erie de um sistema MIMO ou
Lista de S´ımbolos xi
MISO, p. 28
γ
k
- vari´aveis utilizadas na parametriza¸ao de olos, p. 36
ρ - taxa de convergˆencia do erro entre o modelo e o sistema, p. 38
xii
Lista de Abreviaturas
OBF - Orthonormal Basis Functions - Bases de Fun¸oes Ortonormais, p. xiv
FIR - Finite Impulse Response - Estrutura Resposta ao Impulso, p. xiv
ARX - Auto-Regressive with eXogenous Input - Esrutura Auto Regressivo com Entrada
Ex´ogena, p. xiv
ARMAX - Auto-Regressive Moving Average with eXogenous Input - Estrutura Auto Re-
gressivo M´edia ovel com Entrada Ex´ogena, p. xiv
GOBF - Generalized Orthonormal Basis Functions - Bases de Fun¸oes Ortonormais Ge-
neralizadas, p. xiv
SISO - Single-Input / Single-Output -
´
Unica Entrada,
´
Unica Sa´ıda, p. xiv
MIMO - Multiple-Input / Multiple-Output - M´ultiplas Entradas, M´ultiplas Sa´ıdas, p. xiv
IEEE - Institute of Electrical and Electronics Engineers, p. 1
PID - Controlador Proporcional-Integral-Derivativo, p. 2
CD - Compact Disc, p. 3
HVAC - Heating, Ventilation and Air Conditioning - Aquecimento, Ventila¸ao e Condi-
cionamento de Ar, p. 3
PEM - Prediction Error Methods - M´etodos Baseados no Erro de Previs˜ao, p. 7
ARMA - Auto-Regressive Moving Average - Estrutura Auto Regressivo edia ovel,
p. 10
ARARX - Auto-Regressive with eXogenous Input - Estrutura Auto Regressivo Auto Re-
gressivo com Entrada Ex´ogena, p. 10
ARARMAX - Auto-Regressive Moving Average with eXogenous Input - Estrutura Auto
Regressivo Auto Regressivo edia ovel com Entrada Ex´ogena, p. 10
OE - Estrutura Output Error, p. 10
BJ - Estrutura Box-Jenkins, p. 10
Lista de Abreviaturas xiii
AR - Auto-Regressive - Auto-Regressivo, p. 11
VCFP - Voice Coil-Driven Flexible Positioner, p. 14
MISO - Multiple-Input-Single-Output - M´ultiplas Entradas -
´
Unica Sa´ıda, p. 27
MSE - Mean Squared Error - Erro edio Quadr´atico, p. 34
FPE - Final Prediction Error - Erro de Previs˜ao Final, p. 34
AIC - Akaike Information Criterion, p. 34
R
2
- Coeficiente de Correla¸ao M´ultipla, p. 34
SQP - Sequential Quadratic Programming - Programa¸ao Quadr´atica Sequencial, p. 46
PSO - Particle Swarm Optimization - Otimiza¸ao por Nuvem de Part´ıculas, p. 46
BESTest - Building Energy Simulation Test, p. 63
xiv
Resumo
A identifica¸ao de sistemas ´e o procedimento para a representa¸ao de modelos mate-
aticos a partir de dados experimentais. Os m´etodos de identifica¸ao mais usuais visam
determinar a estrutura, realiza¸ao e os parˆametros do mo delo a fim de, usualmente, mi-
nimizar o erro entre sua sa´ıda e a sa´ıda real do sistema. Diferentes tipos de estruturas
de modelos dinˆamicos podem ser utilizadas neste contexto. Dentre elas, destaca-se a uti-
liza¸ao de Bases de Fun¸oes Ortonormais (Orthonormal Basis Functions) (OBF). Este
tipo de modelo, que teve seu ponto de partida com estudos que datam da ecada de 20,
teve grande impulso mais recentemente, com diversos resultados te´oricos e pr´aticos sendo
publicados na literatura especializada ap´os a ecada de 90. De fato, modelos formados por
bases de fun¸oes ortonormais podem ser vistos como uma extens˜ao de modelos tipo Finite
Impulse Response (FIR) e possuem vantagens para a implementa¸ao do procedimento de
identifica¸ao de sistemas. A principal delas ´e a preservao de caracter´ısticas de modelos
tipo FIR, por´em com realiza¸oes de modelos de sistemas dinˆamicos complexos requerendo
menos parˆametros, o que diminui a variˆancia da estima¸ao de parˆametros. Uma das carac-
ter´ısticas comuns aos modelos FIR e OBF ´e a necessidade de sele¸ao a priori do regressor
apropriado para a constru¸ao do modelo. Esta fase ´e necess´aria e nem sempre acil de ser
implementada em modelos com estrutura Auto-Regressive with eXogenous Input (ARX)
ou Auto-Regressive Moving Average with eXogenous Input (ARMAX). Os modelos for-
mados por bases de fun¸oes ortonormais racionais na representa¸ao de sistemas dinˆamicos
se caracterizam tamb´em pela incorpora¸ao, nas fun¸oes da base, da(s) dinˆamica(s) domi-
nante(s) do sistema. Exemplos ao as fun¸oes de Laguerre e de Kautz, caracterizadas por
uma ´unica dinˆamica cada. Estas bases de fun¸oes ao completas no espa¸co de fun¸oes
quadraticamente som´aveis permitindo, portanto, a representa¸ao de qualquer sistema lin-
ear est´avel. Entretanto, as propriedades do modelo podem ser melhoradas atraes da
incorpora¸ao de mais dinˆamicas na base. Um exemplo ao as Bases de Fun¸oes Ortonor-
mais Generalizadas (GOBF). Ao permitir a incorpora¸ao de arias dinˆamicas `a base, a
parametriza¸ao das fun¸oes torna-se complexa. Este trabalho tem como objetivo apre-
sentar m´etodos de identifica¸ao de sistemas para modelos com estrutura formada pelas
GOBF, nos dom´ınios do tempo (para sistemas Single-Input / Single-Output (SISO) e
Multiple-Input / Multiple-Output (MIMO)) e da freq¨uˆencia (para sistemas SISO), estu-
dar formas de sele¸ao dos parˆametros das fun¸oes de base. As ecnicas ao aplicadas
a sistemas dinˆamicos reais. Adicionalmente, uma ferramenta computacional (em ambi-
ente Matlab
R
) para utiliza¸ao desta estrutura na identifica¸ao de sistemas ´e apresentada.
Palavras-Chave: Identifica¸ao de Sistemas, Bases de Fun¸oes Ortonormais, Sistemas
Dinˆamicos, Bases de Laguerre, Bases de Kautz, GOBF, Software.
xv
Abstract
System Identification is a technique to obtain mathematical models of dynamic system
by using experimental data. A usual strategy related with system identification methods
is based on obtaining the model structure, realization and parameters is such a way that
the error between the output system signal and the output model signal is minimized.
Different structures of dynamic systems can be used in this context. One of them is
the Orthonormal Basis Functions (OBF) in the model structure. Such ideas started in
the middle of the twenties and have been receiving much attention recently, mainly after
the nineties, when many theoretical and practical results have been published on sp e-
cialized literature. In fact, models that uses orthonormal basis functions can be seen as
an extension of the Finite Impulse Response (FIR) models and presents advantages on
system identification context. An important one is that OBF structure heritages good
FIR models properties but requires less parameter for the same approximation quality, so
decreasing the variation due to the parameters’ estimation. A common property of FIR
and OBF models that there is no need of an a priori selection of the model regressor. This
selection is necessary and not trivial to perform ARX or ARMAX structure. Some well
known basis function used for OBF Models are the Laguerre, Kautz and the one known
as Generalized Orthornormal Basis Functions. This work presents methods for system
identification using GOBF, on time (for MISO/MIMO systems) and frequency (for SISO
systems) domains, and analyses the basis’ parameters selection. The techniques are ap-
plied to actual dynamic systems. Furthermore, a computation tool (based on Matlab
R
platform) is proposed for making easy the use of this structure on system identification.
Keywords: System Identification, Orthonormal Basis Functions, Dynamic Systems, La-
guerre Functions, Kautz Functions, GOBF, Software.
1
1 Introdu¸ao
Identificar sistemas dinˆamicos significa calcular, aproximar ou obter modelo(s) matem´a-
tico(s) que representem determinado(s) tipo(s) de comportamento(s) do sistema que est´a
sendo estudado, numa determinada faixa ou regi˜ao de opera¸ao (Aguirre, 2007). Derivada
do latim, a palavra modelo significa originalmente molde ou padr˜ao. Um modelo pode
ser visto como uma representa¸ao idealizada de uma situa¸ao real.
Os modelos fazem parte do cotidiano humano ao normalmente quanto o ato de
falar ou andar. Qualquer ser humano possui certas habilidades que, uma vez aprendi-
das pelo erebro, p odem ser repetidas em situa¸oes ou circunstˆancias similares. Isto ´e
poss´ıvel porque o ser humano tem um modelo mental n´ıtido daquilo que deve fazer, e
pode reproduzi-lo em ocasi˜oes similares.
O fato de criar e exercitar modelos mentais ´e tarefa antiga ao ser humano. Infelizmente
ainda ao se tem conhecimento suficiente para decodificar os modelos mentais, que tanto
tempo levam para serem formados. De fato, o ser humano, como provedor de tecnologia,
precisa perpetuar seus conhecimentos, torn´a-los acess´ıveis a outras pessoas ou mesmo ser
capaz de reproduzi-los no tempo e modo que achar conveniente. Assim a necessidade
de criar modelos acaba sendo imprescind´ıvel e uma forma comum para a constru¸ao de
modelos ´e a utiliza¸ao de rela¸oes e/ou representa¸oes matem´aticas. Assemelhando-se aos
modelos mentais, que ao formados por observao e experiˆencia, os modelos matem´aticos
tamem podem ser constru´ıdos a partir de dados observados que descrevem o comporta-
mento do sistema em estudo.
Um modelo matem´atico pode ser definido como uma equa¸ao (ou um conjunto de
equa¸oes) que expressa as caracter´ısticas de um sistema f´ısico ou de um processo. Se-
gundo o Institute of Electrical and Electronics Engineers (IEEE), ”o modelo matem´atico
de um sistema ´e definido como um conjunto de equa¸oes usado para representar um
sistema f´ısico”. Ressalta-se que nenhum modelo matem´atico de sistema f´ısico real ´e e-
xato, no entanto, pode-se melhorar a precis˜ao do modelo de um sistema aumentando a
1 Introdu¸ao 2
complexidade de suas equa¸oes, por´em, dificilmente obt´em-se exatid˜ao.
A modelagem ou identifica¸ao ´e importante quando pretende-se projetar um sistema
novo, explicar o comportamento de um sistema a existente ou quando o teste experi-
mental ´e caro ou perigoso (Aguirre, 2007). Desta forma, a modelagem ´e um artif´ıcio
seguro, vi´avel e, comparativamente a ensaios destrutivos, de baixo custo. Ao final do
procedimento, obt´em-se uma equa¸ao (ou conjunto de equa¸oes) que pode ser utilizada
para responder quest˜oes sobre o sistema sem a necessidade da realiza¸ao de experimentos
pr´aticos al´em daqueles necess´arios para a obten¸ao dos sinais de entrada(s) e sa´ıda(s)
do sistema. Atrav´es de um modelo, pode-se inferir como o sistema se comporta sob
determinadas condi¸oes operacionais.
A modelagem ou identifica¸ao de sistemas ´e comumente utilizada em (Ljung e Glad,
1994):
i) Previs˜ao/Diagn´ostico: o modelo ´e aplicado para prever os estados, ou comportamento
dinˆamico, futuros de um sistema.
ii) Supervis˜ao: o modelo ´e utilizado em simula¸oes onde avaliam-se as caracter´ısticas
operacionais do sistema, para fins de projeto, treinamento ou tomada de decis˜ao.
iii) Otimiza¸ao: o modelo ´e empregado em setores como escalonamento, manuten¸ao e
economia de sistemas industriais para, por exemplo, maximizar produ¸ao, minimizar
custos, etc.
iv) An´alise e projeto de sistemas de controle: o modelo ´e utilizado para sintonia de con-
troladores Proporcional-Integral-Derivativo (PID), s´ıntese de algoritmos de controle
adaptativo, robusto, preditivo, estima¸ao de estados, etc.
Pode-se citar que as necessidades de controlar processos est˜ao vinculadas, principal-
mente, `a qualidade, economia e seguran¸ca. Quando aplicada ao controle de processos,
uma boa modelagem permite: i) Manter os processos industriais dentro de seus pontos
operacionais mais eficientes; ii) Prevenir condi¸oes inst´aveis no processo que poderiam
or em perigo pessoas e/ou equipamentos; iii) Mostrar dados sobre o processo aos opera-
dores da planta, para que eles possam manter o mesmo em ritmo seguro e eficiente. De
fato, para fins de controle de processos, usualmente ao se pretende encontrar um modelo
matem´atico exato ou complexo, mas um mo delo adequado para a aplica¸ao.
Diferentes setores industriais e/ou classes de sistemas utilizam modelagem e iden-
tifica¸ao de sistemas. Alguns exemplos ao: manipuladores rob´oticos (Johansson et
1.1 Defini¸oes 3
al., 2000; Wernholt e Gunnarsson, 2004), colunas de destila¸ao (El-Fandi et al., 1998),
trocadores de calor (Weyer et al., 2000; Duran e White, 1994), servomecanismos (Garcia,
1997), processos qu´ımicos em geral (Thompson e Kramer, 1994; Funkquist, 1997), leitores
de Compact-Disc (CD) (Callafon et al., 1994), sistemas de potˆencia (Lorito, 1998; Nunes,
2006), energia (Alessandri e Parisini, 1997), edifica¸oes (Freire, 2006), Heating, Ventila-
tion and Air Conditioning (HVAC) (Brus, 2005), biom´edicos (Westwick e Kearney, 2003;
Ludeman, 1993), bioqu´ımicos (Junichiro e Kenji, 2006; Bulsari e Saxen, 1991; Karnaukhov
e Karnaukhova, 2003), econˆomicos (Aguirre e Aguirre, 1998), ambientais (Bechmann et
al., 1999; Jorgensen, 1999), ve´ıculos ereos ao-tripulados (Silveira, 2006), dentre outros
(Cubillos e Lima, 1997; Cubillos et al., 1996; Bohlin, 1994; Ohsaki et al., 2002).
A seguir, na se¸ao 1.1, as defini¸oes relacionadas com este documento ao descritas
e, na se¸ao 1.2, alguns fundamentos sobre identifica¸ao de sistemas ao apresentados. Na
se¸ao 1.3 uma motivao para a utiliza¸ao de modelos com bases de fun¸oes ortonormais ´e
apresentada e, na se¸ao 1.4, as contribui¸oes e estrutura deste documento ao relacionadas.
1.1 Defini¸oes
1.1.1 Produto Interno e Norma
O produto interno entre duas fun¸oes f(k) e g(k) ´e dado por:
f(k), g(k ) :=
k=−∞
f(k)g
(k), (1.1)
onde g
(·) ´e o complexo conjugado de g( ·)
O produto interno entre duas fun¸oes de transferˆencia F (z) e G(z) ´e definido por:
F (z), G(z) :=
1
2π
π
π
F (e
jw
)G
(e
jw
)dw, (1.2)
ou
F (z), G(z) :=
1
j2π
T
F (z)G
k
(1/z
)
dz
z
, (1.3)
onde G
(·) ´e o complexo conjugado de G(·) e T ´e o c´ırculo unit´ario, isto ´e, {z, |z| = 1}.
A norma de uma fun¸ao f(k) ´e dada por:
1.1 Defini¸oes 4
f(k) :=
f(k), f(k), (1.4)
e a norma de uma fun¸ao de transferˆencia F (z) ´e definida por:
F (z) :=
F (z), F (z). (1.5)
1.1.2 Ortonormalidade
Ortonormalidade entre vetores de um determinado espa¸co vetorial consiste na pro-
priedade matem´atica que faz com que dois vetores sejam ortogonais entre si e normais.
Para que sejam ortogonais, seu produto interno deve ser zero e, para serem normais, de-
vem ter comprimento unit´ario (a norma de cada vetor ´e igual a um). Se um conjunto de
vetores formar uma base neste espa¸co vetorial e tais vetores forem ortonormais entre si,
tem-se uma base ortonormal. Portanto, uma base de fun¸oes ortonormais ´e constitu´ıda de
um conjunto de fun¸oes que ao mutuamente ortogonais e normais. Uma base ortogonal
satisfaz somente a primeira condi¸ao, no entanto, ´e poss´ıvel multiplicar escalares nesta
base para torn´a-la ortonormal.
´
E desta forma que usualmente as bases ortonormais ao
constru´ıdas.
Duas fun¸oes f(k) e g(k) ao ortonormais em um intervalo (−∞, ) se forem orto-
gonais entre si e normais, isto ´e, se seu produto interno satisfaz `as seguintes condi¸oes:
f(k), g(k) = 0, f(k) = g(k) = 1. (1.6)
Duas fun¸oes de transferˆencias F (z) e G(z) ao ortornomais se e somente se as
seguintes condi¸oes forem mantidas:
F (z), G(z) = 0, F (z) = G(z) = 1. (1.7)
1.1.3 Bases de Fun¸oes Completas
Seja {φ
i
(k)}
i=1
um conjunto de fun¸oes ortonormais. Este conjunto de fun¸oes forma
uma base completa em um determinado espa¸co de fun¸oes se qualquer fun¸ao f(k) deste
espa¸co puder ser escrita como uma combina¸ao linear das fun¸oes da base, isto ´e:
1.1 Defini¸oes 5
f(k) =
i=1
c
i
φ
i
(k), (1.8)
onde
c
i
=
i=1
f(k)φ
i
(k). (1.9)
Pode-se tamem escrever:
lim
n→∞
f(k)
n
i=1
c
i
φ
i
(k) = 0. (1.10)
Uma base ´e completa se nenhuma fun¸ao ao-nula f(k) puder ser encontrada, tal que
(Eykhoff, 1974):
k=0
f(k)φ
i
(k) = 0, i. (1.11)
De forma an´aloga, tem-se que uma base de fun¸oes Φ
i
(z) ´e completa se qualquer
F (z), estritamente pr´opria, anal´ıtica em |z| > 1 e cont´ınua em |z| 1, puder ser escrita
conforme segue:
H(z) =
k=1
c
i
Φ
i
(z), (1.12)
onde c
i
ao os coeficientes da expans˜ao em s´eries da fun¸ao F (z).
No caso de bases de fun¸oes racionais, isto ´e, Φ
i
(z) ´e racional, para obter aproxima¸oes
que convirjam para o sistema real `a medida que o umero de fun¸oes tende ao infinito,
a condi¸ao necess´aria e suficiente para a completude de tais bases est´a na equa¸ao 1.13,
onde ξ
i
, i = 1, ..., n ao os olos de Φ
i
(z) (Heuberger et al., 2005).
i=1
(1 |ξ
i
|) = . (1.13)
1.1 Defini¸oes 6
1.1.4 Fun¸oes Internas e Filtros Passa-Tudo
Seja H(z) uma fun¸ao de transferˆencia, racional, assintoticamente est´avel, cujas pro-
priedades em termos de resposta em freq¨encia ao do tipo passa-tudo, completamente
determinada por seus olos, e
H(z)H(1/z)
= 1. (1.14)
Esta fun¸ao H(z) ´e denominada fun¸ao interna.
1.1.5 Modelos em Espa¸co de Estados Ortogonais
Seja um sistema tipo passa-tudo, cuja realiza¸ao m´ınima em espa¸co de estados ´e dada
por:
x(k + 1) = Ax(k) + Bu(k)
y(k) = Cx(k) + Du(k).
(1.15)
A resposta ao impulso deste sistema ´e:
h(k) =
D, k = 0
CA
k1
B, k 0,
(1.16)
e, sendo o sistema passa-tudo, sabe-se que (Heuberger et al., 2005):
k=1
h(k)h(k + j) =
1, j = 0
0, j 0.
(1.17)
Este resultado pode ser expresso como segue:
AA
T
+ BB
T
= I
DD
T
+ CC
T
= 1
BD
T
+ AC
T
= 0,
(1.18)
que ´e equivalente a:
1.2 Identificao de Sistemas 7
A B
C D
A B
C D
T
= I. (1.19)
A matriz da equa¸ao 1.19 ´e denominada uma matriz ortogonal. Um sistema H(z),
cujas matrizes (A, B, C, D) da realiza¸ao em espa¸co de estados satisfazem `a equa¸ao 1.19,
´e tamb´em denominado ortogonal.
1.2 Identifica¸ao de Sistemas
Os procedimentos envolvidos na elabora¸ao de modelos matem´aticos ao usualmente
classificados em (Soderstr¨om e Stoica, 1989; den Bosch e der Klauw, 1994; Ljung e Glad,
1994; Aguirre, 2007; Ljung, 1999; Coelho e Coelho, 2004; Arruda e Bastos, 2007):
i) Identifica¸ao Caixa-Branca: tamb´em conhecida como an´alise f´ısico-matem´atica, baseia-
se nas leis da f´ısica que caracterizam um sistema particular, como as leis de con-
servao de massa, energia e momento (Woods e Lawrence, 1997);
ii) Identifica¸ao Caixa-Preta: tamem conhecida como an´alise experimental, baseia-se
nas medidas ou observoes do sistema, normalmente ao coletados dados de entrada
e sa´ıda e, a partir destes, aplica-se um m´etodo de identifica¸ao para estimar o modelo
matem´atico que rege o sistema.
iii) Identifica¸ao Caixa-Cinza: mescla propriedades f´ısicas e an´alise experimental.
(Hellendoorn e Driankov, 1998; Abonyi et al., 2000; Lindskog, 1996)
Um estudo de caso comparando dois destes procedimentos pode ser encontrando em
(Lindskog e Sjoberg, 1995).
Os m´etodos mais conhecidos de identifica¸ao caixa-preta visam minimizar algum
´ındice de desempenho vinculado ao erro entre a sa´ıda do sistema e a sa´ıda do sistema pre-
vista pelo modelo. Tais etodos ao conhecidos como Prediction Error Methods (PEM).
(Soderstr¨om e Stoica, 1989; den Bosch e der Klauw, 1994; Ljung e Glad, 1994; Aguirre,
2007; Ljung, 1999; Coelho e Coelho, 2004; Ljung, 2002).
A seguir, descrevem-se os princ´ıpios asicos da previs˜ao da sa´ıda em modelos de
sistemas lineares, visando apresentar a base dos m´etodos de identifica¸ao ditos PEM.
´
E
importante destacar que a identifica¸ao de sistemas ao lineares ´e abordada por diversos
1.2 Identificao de Sistemas 8
autores, por exemplo, (Campello, 2002; Campello e Oliveira, 2007; Giannakis e Serpedin,
2001; Petrick e Wigdorowitz, 1997; Billings, 1980), dentre muitos outros. Entretanto, a
identifica¸ao de sistemas ao lineares ao ´e abordada neste documento.
Para um sistema linear, define-se que o sinal de sa´ıda do sistema y(k) ´e modelado em
fun¸ao do sinal de entrada u(k) e de um sinal de perturba¸ao ν(k), conforme:
y(k) = H(q)u(k) + ν(k). (1.20)
Junto `a parcela relativa `a entrada do sistema na equa¸ao previamente descrita, est´a a
fun¸ao de transferˆencia, no operador avan¸co/atraso q, H(q). Admitindo que o espectro de
freq¨encias da perturba¸ao ν(k), presente no sistema, pode ser descrito pelo espectro de
freq¨encias de um ru´ıdo branco
1
ς(k), ponderado por uma fun¸ao de transferˆencia G(q),
tem-se:
y(k) = H(q)u(k) + G(q)ς(k), (1.21)
que ´e o mesmo que:
y(k) = H(q)u(k) + ς(k) + [G(q) 1]ς(k). (1.22)
Isolando o ru´ıdo na equa¸ao 1.21 e assumindo que G(q) possui inversa est´avel, obt´em-
se:
ς(k) = G
1
(q)y(k) G
1
(q)H(q)u(k). (1.23)
Atrav´es da substitui¸ao da equa¸ao 1.23 em 1.22, e ap´os expans˜oes e simplifica¸oes,
chega-se a:
y(k) = G
1
(q)H(q)u(k) + [1 G
1
(q)]y(k) + ς(k). (1.24)
Portanto, a melhor previs˜ao de y(k), considerando a informa¸ao at´e k 1, ´e dada por
ˆy(k|k 1), onde:
1
Ru´ıdo branco ´e um sinal aleat´orio inteiramente descrito pelos momentos estat´ısticos de primeira e
segunda ordem, isto ´e, m´edia e variˆancia. Neste caso, assume-se edia µ igual a zero e variˆancia dada
por σ
2
(den Bosch e der Klauw, 1994).
1.2 Identificao de Sistemas 9
y(k|k 1) = ˆy(k|k 1) + ς(k), (1.25)
e:
ˆy(k|k 1) = G
1
(q)H(q)u(k) + [1 G
1
(q)]y(k ). (1.26)
A equa¸ao 1.26 pode ser reescrita como mostrado na sequˆencia, onde ϕ
T
(k) ´e o vetor
de dados (regressor com os sinais passados de u(k) e y(k)) e θ ´e o vetor de parˆametros
formados pelos coeficientes de H(q) e G(q), onde
ˆy(k|k 1) = ϕ
T
(k)θ. (1.27)
Tal parametriza¸ao permite a aplica¸ao do etodo dos m´ınimos quadrados (Gauss,
1809) para a obten¸ao dos coeficientes que melhor representam o modelo.
O etodo dos m´ınimos quadrados surgiu em 1809, quando Gauss publicou um ar-
tigo (Gauss, 1809) demonstrando que a melhor maneira de determinar um parˆametro
desconhecido de uma equa¸ao de condi¸oes ´e minimizando a soma dos quadrados dos
res´ıduos (erros). Tal formula¸ao foi feita no final do s´eculo XVIII para previs˜ao de tra-
jet´oria de planetas e cometas a partir de observoes realizadas. Gauss estabeleceu que os
parˆametros desconhecidos de um modelo matem´atico deveriam ser selecionados de modo
que ”o valor mais prov´avel das grandezas desconhecidas ´e a que minimiza a soma dos
quadrados da diferen¸ca entre os valores atualmente observados e os valores calculados
multiplicados por n´umeros que medem o grau de precis˜ao, onde quanto mais precisa a
medida, maior a sua pondera¸ao”.
Em outras palavras, o objetivo ´e encontrar θ que minimize o erro quadr´atico de
previs˜ao do modelo em rela¸ao aos dados dispon´ıveis, isto ´e, deve-se estimar os parˆametros
θ a partir do vetor de dados ϕ
T
(k) coletados a fim de minimizar o seguinte crit´erio de
custo (fun¸ao objetivo):
V (ϕ, θ) =
N1
k=0
(y(k) ˆy(k|k 1))
2
, (1.28)
ou
1.3 Motiva¸ao 10
V (ϕ, θ) =
N1
k=0
(y(k) ϕ
T
(k)θ)
2
. (1.29)
1.3 Motivao
Uma forma de representar as fun¸oes G(q) e H(q) (ver equa¸ao 1.21) ´e atrav´es de
fun¸oes polinomiais racionais, sendo que os coeficientes dos polinˆomios ao os parˆametros
do modelo conforme representa¸ao a seguir.
A(q)y(t) =
B(q)
F (q)
u(t) +
C(q)
D(q)
ς(t). (1.30)
Os casos mais comuns, decorrentes da equa¸ao 1.30, ao (Ljung, 1999):
Finite Impulse Response (FIR);
Auto-Regressive with eXogenous Input (ARX);
Auto-Regressive Moving Average with eXogenous Input (ARMAX);
Auto-Regressive Moving Average (ARMA);
Auto-Regressive with eXogenous Input (ARARX);
Auto-Regressive Moving Average with eXogenous Input (ARARMAX);
Output Error (OE);
Box-Jenkins (BJ).
Estes ao apresentados na Tabela 1.1 (Ljung, 1999). Os polinˆomios desta tabela est˜ao
no operador q, conforme a express˜ao
X(q) = X
0
+ X
1
q
1
+ X
2
q
2
+ . . . X
nx
q
nx
.
No caso da identifica¸ao param´etrica, o objetivo ´e encontrar os parˆametros de um
modelo, descritos atrav´es do vetor θ, que minimizam o erro de previs˜ao do modelo usando
um crit´erio tipo m´ınimos quadrados, por exemplo, a equa¸ao 1.29. Estruturas do tipo
ARX podem ser utilizadas neste contexto e os resultados obtidos ao freq¨uentemente
satisfat´orios.
1.3 Motiva¸ao 11
Tabela 1.1: Polinˆomios utilizados nas estruturas de modelos lineares.
Polinˆomios Usados Nome do Modelo
B(q) FIR
A(q); B(q) ARX
A(q); B(q); C(q) ARMAX
A(q); C(q) ARMA
A(q); B(q); D(q) ARARX
A(q); B(q); C(q); D(q) ARARMAX
B(q); F (q) OE
B(q); F (q); C(q); D(q) BJ
Entretanto, alguns problemas podem surgir ao utilizar este tipo de estrutura. Um de-
les ´e que os parˆametros θ estimados ficam correlacionados na presen¸ca de ru´ıdos ν(k) que
ao podem ser modelados por uma estrutura Auto-Regressiva (AR) com os mesmos olos
da fun¸ao transferˆencia do sistema. Devido a sua caracter´ıstica auto-regressiva, a estru-
tura ARX ´e tamb´em sens´ıvel `a escolha da ordem dos polinˆomios. Neste caso a recurs˜ao
de erros devido a uma a sele¸ao da ordem do modelo pode comprometer a qualidade de
previs˜ao da sa´ıda, principalmente ao utilizar previs˜ao livre. Na verdade, a qualidade da
estima¸ao de parˆametros pode ser aumentada quando utilizam-se ordens elevadas, mas
problemas num´ericos podem ocorrer em decorrˆencia disto, tais como cancelamentos de
olos e zeros. Por outro lado, a sele¸ao de uma ordem mais baixa que a do sistema real
leva a uma polariza¸ao dos parˆametros estimados. A fun¸ao de custo que calcula o erro
de polariza¸ao do modelo estimado pode ser derivada e ´e encontrada, por exemplo, em
(Heuberger et al., 2005).
Para contornar alguns destes problemas, podem-se utilizar estruturas mais complexas,
como ARMAX ou OE. Nestes casos, o modelo do ru´ıdo de medida ´e melhorado atrav´es
da inclus˜ao de um terceiro polinˆomio (o polinˆomio C(q)) ou deixa de estar vinculado aos
mesmos olos do modelo (o polinˆomio A(q)), respectivamente.
Os modelos com estrutura OE tˆem parˆametros da fun¸ao H(q) independentes da repre-
senta¸ao do espectro de freq¨uˆencias do ru´ıdo do sistema, isto ´e, G(q). ao a polariza¸ao
devido ao ru´ıdo, pois a entrada e ru´ıdo ao ao correlacionados. Existe uma melhora
na estima¸ao param´etrica quando a uma sele¸ao inadequada da ordem do modelo, pois
a fun¸ao de custo do erro de polariza¸ao ao possui pondera¸ao em altas freq¨uˆencias.
Uma limita¸ao da estima¸ao param´etrica de modelos com estrutura OE ´e que a solu¸ao
1.3 Motiva¸ao 12
via m´ınimos quadrados ao ´e anal´ıtica e depende de m´etodos num´ericos de otimiza¸ao
(Bazaraa et al., 2006). Estes etodos devem ser bem aplicados e iniciados, assim como ´e
necess´aria a utiliza¸ao de bons m´etodos para valida¸ao, a fim de ao recair em solu¸oes
de m´ınimo local.
Um caso onde ao ´e necess´aria a utiliza¸ao de etodos num´ericos de otimiza¸ao na es-
tima¸ao de parˆametros de modelos OE ´e quando os parˆametros do denominador da fun¸ao
de transferˆencia (p´olos) ao assumidos conhecidos. Nestes casos, somente os parˆametros
do numerador devem ser calculados e o modelo ´e linear nos parˆametros estimados. Este
caso pode ser definido como fun¸ao de transferˆencia com denominador fixo. Uma subca-
tegoria de modelos com denominador fixo bem conhecida e de acil obten¸ao admite que
os olos do modelo encontram-se na origem do c´ırculo unit´ario discreto. ao os modelos
FIR. Este tipo de modelo possui duas caracter´ısticas principais (Ljung, 1999): i) ´e uma
regress˜ao linear (caso particular do modelo ARX) e ii) possui as vantagens da estrutura
OE.
No entanto, modelos com estrutura FIR requerem elevado n ´umero de parˆametros para
representar um sistema, principalmente quando do per´ıodo de amostragem ´e pequeno
comparado `a sua dinˆamica, visto que ´e necess´ario esperar a convergˆencia da resposta
ao impulso. Al´em disso, sabe-se que a variˆancia dos parˆametros estimados do modelo ´e
proporcional ao umero de parˆametros, portanto ´e importante a busca de modelos mais
compactos para a representa¸ao de sistemas dinˆamicos.
Uma forma de diminuir a quantidade de parˆametros mantendo a linearidade do modelo
em rela¸ao aos parˆametros estimados para o caso OE ´e utilizar fun¸oes de transferˆencia
com denominador fixo com olos fora da origem e pr´oximos `a dinˆamica real do sistema.
A fun¸ao de transferˆencia com denominador fixo pode ser escrita, conforme segue:
H(z) =
B(z)
A(z)
=
b
1
A(z)
+
b
2
z
A(z)
+ ··· +
b
nb
z
nb1
A(z)
. (1.31)
1.3.1 Bases de Fun¸oes Racionais
Do ponto de vista de bases de fun¸oes racionais (bases com nb fun¸oes), a equa¸ao
1.31 pode ser escrita como segue:
H(q) =
nb
i=1
b
i
F
i
(q), (1.32)
1.3 Motiva¸ao 13
onde
F
i
(q) =
q
i1
A(q)
, i = 1, ..., nb.
Ressalta-se que a fun¸ao de transferˆencia de base, F
i
(q), tem resposta infinita ao
impulso portanto ao a dificuldades em descrever um sistema com longa resposta ao
impulso (mem´oria).
Infelizmente, na maioria dos processos ao se sabe ao certo sobre a exata localiza¸ao
dos olos do sistema ou mesmo suas constantes de tempo, ou seja, ao a total conhe-
cimento de informa¸oes a priori, portanto faz-se necess´ario obter modelos mais flex´ıveis,
que levam em conta a incerteza da aloca¸ao de olos.
Ainda vale ressaltar que fun¸oes de bases com denominador fixo a ao ao mais
ortogonais (exceto quando A(q) = q
n
, como exemplo, o caso FIR). Isso implica que a
modelagem pode ser numericamente a-condicionada. Isto deve-se ao fato de que o sinal
de entrada transformado ´e pr´e-filtrado por um filtro passa-baixa, portanto, que excita
menos que a entrada do sistema propriamente dita, por isso a importˆancia de uma sele¸ao
adequeda da base de fun¸oes (Ninness, 1998).
O ponto crucial quando se utilizam bases de fun¸oes com denominador fixo (portanto,
com olos fixos) ´e como escolher a localiza¸ao destes olos. Em princ´ıpio, deve-se escolhˆe-
los o mais pr´oximo poss´ıvel dos olos do sistema real.
No contexto de bases ortonormais, pode-se dizer que a proposta FIR cont´em todos
os olos fixos na origem do c´ırculo unit´ario discreto, a base de Laguerre (Oliveira et
al., 1998; Sbarbaro, 1997) prop˜oe um olo real repetido nb vezes na base, em Kautz
(Kautz, 1954; Wahlberg, 1994) tem-se a estrutura que permite a utiliza¸ao de um par de
olo complexo conjugado (sendo que o n´umero de bases deve ser m´ultiplo de dois, devido
ao par de olos). E, por fim, a estrutura de Bases de Fun¸oes Ortonormais Generalizadas
(Heuberger et al., 1995; den Hof et al., 1995), onde pode-se incorporar um conjunto de
olos que podem ser reais ou complexos conjugados. Tais olos determinam o subespa¸co
onde seria poss´ıvel encontrar a melhor estima¸ao da fun¸ao de transferˆencia. As bases
de fun¸oes ao apenas ferramentas para descrever o subespa¸co, ao alterando a estrutura
asica do mesmo.
1.4 Estrutura da Disserta¸ao 14
1.4 Estrutura da Disserta¸ao
A presente disserta¸ao de mestrado trata do estudo das Bases de Fun¸oes Ortonor-
mais, tanto no dom´ınio do tempo quanto no da freq¨uˆencia. Descreve seus fundamentos
matem´aticos e chega ao problema de sele¸ao olos para a base. Em virtude disso, apre-
senta um hist´orico sobre revis˜ao da sele¸ao de olos, inclusive ressaltando alguns etodos
que prop˜oem algoritmos baseados em inteligˆencia artificial ou mesmo algoritmos h´ıbridos.
Visando facilitar a utiliza¸ao por outras pessoas, um software para auxiliar o processo
de identifica¸ao foi desenvolvido e sua documenta¸ao ´e apresentada para que sirva como
guia tanto para usu´arios quanto para poss´ıveis novos desenvolvimentos sobre a plataforma
a concebida.
Estudos de caso em arias ´areas, no dom´ınio do temp o e da freq¨encia, experimentais e
acadˆemicos, ao abordados usando a teoria apresentada, rotinas e etodos desenvolvidos,
evidenciando sua viabilidade e validade.
Esta disserta¸ao de mestrado est´a organizada da seguinte forma:
Cap´ıtulo 2: Apresentam-se as bases de fun¸oes ortonormais generalizadas, seus con-
ceitos e defini¸oes para sistemas SISO e MIMO. O problema de identifica¸ao nos dom´ınios
do tempo e da freq¨uˆencia ao definidos.
Cap´ıtulo 3: O problema da sele¸ao de olos ´e tratado focando a id´eia da otimalidade
devido ao truncamento das bases. Al´em de uma revis˜ao bibliogr´afica sobre a sele¸ao de
olos, apresenta-se uma forma de parametriz´a-los para facilitar sua sele¸ao.
Cap´ıtulo 4: Apresenta-se a interface gr´afica computacional a desenvolvida e discorre-
se sobre as rotinas finalizadas que auxiliam o usu´ario na identifica¸ao de sistemas usando
bases de fun¸oes ortonormais.
Cap´ıtulo 5: Estudos de caso sobre aplica¸oes de identifica¸ao GOBF ao apresenta-
dos, tanto no dom´ınio do tempo quanto no da freq¨encia, de transformadores, linhas de
transmiss˜ao, Voice Coil-Driven Flexible Positioner (VCFP) e sistemas t´ermicos.
Cap´ıtulo 6: A conclus˜ao ´e apresentada e propostas para trabalhos futuros tamb´em
ao discutidas.
15
2 Bases de Fun¸oes Ortonormais
Conforme descrito no Capitulo 1, a estrutura de modelos formada por bases de fun¸oes
ortonormais apresenta vantagens no contexto de identifica¸ao de sistemas. Somados a es-
tas vantagens, pode-se citar a redu¸ao da polariza¸ao dos parˆametros devido a dinˆamicas
ao modeladas no modelo nominal, a possibilidade de alterara¸ao on-line da complexidade
do modelo com um m´ınimo de perturba¸ao nos parˆametros, a obten¸ao de melhor previs˜ao
a horizonte longo com o modelo devido a estrutura OE (pois evita-se a realimenta¸ao dos
erros de previs˜ao), a ao necessidade do conhecimento do n´umero de termos passados rele-
vantes dos sinais de entrada/sa´ıda do sistema (em compara¸ao com a sele¸ao de estrutura
em modelos ARMAX), a robustez a estimativas pouco precisas do atraso de transporte
e a incorpora¸ao de conhecimento a priori acerca dos olos, diminuindo o n´umero de
parˆametros a serem estimados.
O potencial de aplica¸ao das bases de fun¸oes ortonormais est´a presente em diversas
´areas da engenharia, que incluem circuitos, processamento de sinais, telecomunica¸oes
e teorias de controle (Campello et al., 2007; Oliveira et al., 2007; Oliveira et al., 2005;
Wahlberg, 1994; Oliveira e Rocha, 2005; Oliveira et al., 1998; Sabatini, 2000; Heuberger et
al., 2005). Muitos problemas de modelagem de sistemas nestas ´areas ao beneficiados pela
eficiente capacidade de representa¸ao desta estrutura de modelo. As aplica¸oes das OBF
figuram em diferentes problemas tais como a modelagem de transformadores (Reginato
e Oliveira, 2007a), tanques pressurizados (Fischer e Medvedev, 1998), sistemas t´ermicos
(aquecimento e umidifica¸ao) (Bouzrara e Messaoud, 2002), manipuladores rob´oticos com
elos flex´ıveis (Ziaei e Wang, 2004), estruturas treli¸cadas (Nalbantoglu et al., 2002) e
processos qu´ımicos (tais como produ¸ao de papel) (Elnaggar, 1997), dentre outros.
Este cap´ıtulo trata da identifica¸ao de sistemas usando base de fun¸oes ortonormais,
abordando inicialmente, na se¸ao 2.1, a representa¸ao de sistemas lineares e chegando, na
se¸ao 2.2, `as defini¸oes para bases formadas por fun¸oes internas. Tais fun¸oes internas
ao classificadas segundo seu tip o de parametriza¸ao, ou seja, seus tipos de olos. Para
tanto, estudam-se fun¸oes internas com olo real e com olos complexos. A partir destas
2.1 Representa¸ao de Sistemas Lineares 16
fun¸oes com uma dinˆamica, o estudo das conex˜oes entre fun¸oes internas ´e realizado,
dando vez, por fim, `as bases de fun¸oes ortonormais generalizadas. Por conseguinte, na
se¸ao 2.3, explicita-se a representa¸ao de tais bases para sistemas MIMO. Finalmente, nas
se¸oes 2.4 e 2.5, a estima¸ao de parˆametros dos modelos ´e descrita, no dom´ınio do tempo
e no da freq¨encia, respectivamente.
2.1 Representa¸ao de Sistemas Lineares
Um sistema causal, linear e est´avel pode ser representado por
y(k) = H(q
1
)u(k), (2.1)
e tamb´em pelo seguinte somat´orio de convolu¸ao
y(k) =
i=0
h(k i)u(i). (2.2)
Nestas equa¸oes, u(k) e y(k) ao, respectivamente, os sinais de entrada e sa´ıda do
sistema e h(k) ´e a resposta ao impulso do sistema. H(q
1
) ´e uma fun¸ao de transferˆencia
racional, estritamente pr´opria, no operador atraso q
1
, isto ´e:
H(q
1
) =
B(q
1
)
A(q
1
)
. (2.3)
A fun¸ao H(q
1
) tamem pode ser definida pelos coeficientes h
i
da equa¸ao 2.4, que
ao equivalentes aos coeficientes de h(k), isto ´e, h
i
= h(i). ou
H(q
1
) = h
1
q
1
+ h
2
q
2
+ h
3
q
3
+ . . . . (2.4)
Caso h(k) possua energia finita, isto ´e, se
k=1
h
2
(k) < , (2.5)
enao h(k) pode ser desenvolvido em termos de um conjunto de fun¸oes ortonormais
φ
j
(k)= 1, 2, . . . (Oliveira, 1997). Tal conjunto ´e denominado base e cada fun¸ao de base
´e tamb´em uma seq¨uˆencia discreta no temp o. Desenvolvendo h(k) em termos da base,
2.1 Representa¸ao de Sistemas Lineares 17
tem-se a equa¸ao 2.6, onde c
i
ao os coeficientes da representa¸ao em eries do sinal h(k),
tal que
h(k) =
i=1
c
i
φ
i
(k). (2.6)
Substituindo a equa¸ao 2.6 em 2.2, tem-se:
y(k) =
i=1
j=1
c
j
φ
j
(k i)u(i), (2.7)
y(k) =
j=1
c
j
i=1
φ
j
(k i)u(i). (2.8)
Na sequˆencia, define-se l
i
(k) como sendo a convolu¸ao entre a n-´esima fun¸ao da base
{ φ
i
(k) }
i=1
para a entrada u(k), isto ´e (Oliveira, 1997):
l
i
(k) =
i=1
φ
j
(k i)u(i), (2.9)
ou
l
i
(k) = Φ
i
(q
1
)u(k), (2.10)
onde Φ
i
(q
1
) ´e a representa¸ao de φ
i
(k) na forma de uma fun¸ao racional no operador
atraso q
1
. Portanto, obt´em-se:
y(k) =
i=1
c
i
l
i
(k). (2.11)
Como, na pr´atica, ao ´e poss´ıvel realizar este somat´orio at´e infinito, ele ´e truncado
em n termos, obtendo-se a sa´ıda prevista do sistema ˜y(k), como apresentado a seguir.
˜y(k) =
n
i=1
c
i
l
i
(k). (2.12)
Portanto, o erro de aproxima¸ao entre o sistema e o modelo com n termos ´e definido
por:
2.1 Representa¸ao de Sistemas Lineares 18
ε
n
(k) = y(k) ˜y(k). (2.13)
Os co eficientes c
i
da representa¸ao em s´eries do sinal h(k) podem ser obtidos conforme
os passos a seguir:
1. Multiplicando-se a equa¸ao 2.6 por φ
m
(k):
φ
m
(k)h(k) =
i=1
c
i
φ
i
(k)φ
m
(k). (2.14)
2. Fazendo o somat´orio em k do resultado:
k=0
φ
m
(k)h(k) =
k=0
i=1
c
i
φ
i
(k)φ
m
(k), (2.15)
k=0
φ
m
(k)h(k) =
i=1
c
i
k=0
φ
i
(k)φ
m
(k). (2.16)
3. Uma vez que φ
i
(k) e φ
m
(k) ao fun¸oes ortonormais no intervalo [0, [, seu produto
interno ´e zero para i = m (conforme eq. 1.7), logo obt´em-se:
k=0
φ
m
(k)h(k) = c
m
, (2.17)
ou
c
i
=
k=0
φ
i
(k)h(k). (2.18)
Um modelo com estrutura formada por bases de fun¸oes ortonormais pode ser repre-
sentado em blocos atrav´es da Figura 2.1.
Os exemplos usuais de fun¸oes ortonormais racionais na vari´avel complexa z (da
Transformada Z) ao apresentados a seguir (Makila e Partington, 1999; Oliveira et al.,
1996; Oliveira et al., 1998; Kautz, 1954; Morvan et al., 2000; Rosa et al., 2008).
O primeiro exemplo ao as fun¸oes de Laguerre, que utilizam como parˆametro apenas
1 olo real e ao dadas por:
2.1 Representa¸ao de Sistemas Lineares 19
Figura 2.1: Estrutura do Modelo Usando Bases de Fun¸oes Ortonormais
L
m
(z) =
z
1 ξ
2
z ξ
1 ξz
z ξ
m1
, m = 1, . . . , (2.19)
onde ξ ´e um olo real. A base de fun¸oes de Laguerre ´e adequada para a modelagem
de processos dinˆamicos com caracter´ısticas sobreamortecidas. As fun¸oes de Kautz ao
definidas atrav´es de um par de olos complexos conjugados e ao dadas por:
K
2m
(z) =
1 c
2
z(z b)
z
2
+ b(c 1) c
cz
2
+ b(c 1)z + 1
z
2
+ b(c 1)z c
m1
, (2.20)
K
2m1
(z) =
(1 c
2
)(1 b
2
)z
z
2
+ b(c 1)z c
cz
2
+ b(c 1)z + 1
z
2
+ b(c 1)z c
m1
(2.21)
m = 1, . . . ,
onde ξ ´e um olo complexo, b =
ξ + ξ
1 + ξξ
e c = ξξ
. A opera¸ao ξ
representa o
conjugado.
2.2 Bases Formadas por Fun¸oes Internas 20
As fun¸oes ortonormais racionais definidas atraes de mais de um olo, sejam eles
reais ou complexos conjugados, ao as fun¸oes de Takenaka-Malmquist (Takenaka, 1925;
Malmquist, 1925), dadas por:
T M
m
(z) =
z
1 |ξ
m
|
2
z ξ
m
m1
j=1
1 ξ
j
z
z ξ
j
, m = 1, . . . , (2.22)
onde ξ
m
´e um olo real ou complexo.
Entretanto, conforme apresentado a seguir, bases de fun¸oes ortonormais racionais
podem ser obtidas atrav´es de fun¸oes denominadas Fun¸oes Internas. As bases de fun¸oes
de Laguerre e de Kautz ao um caso particular das bases formadas por fun¸oes internas.
2.2 Bases Formadas por Fun¸oes Internas
2.2.1 Fun¸ao Interna com olo Real
Uma fun¸ao de transferˆencia racional G(z) ´e chamada de ”interna” se for est´avel
e satisfizer a equa¸ao 1.14, sendo assim um filtro passa-tudo. Fun¸oes internas bem
conhecidas e estudadas ao as fun¸oes que formam o modelo FIR, ie, z
1
.
Um exemplo de fun¸ao interna G
i
(z) com olo real ξ
m
, ou seja, ξ
m
= ξ
m
, ´e dado pela
equa¸ao:
G
i
(z) =
1 ξ
m
z
z ξ
m
, 1 < ξ
m
< 1. (2.23)
Nota-se que:
G
i
(z)G
i
(z
1
) =
1 ξ
m
z
z ξ
m
z ξ
m
1 ξ
m
z
= 1. (2.24)
Sendo y(z) = G
i
(z)u(z), a realiza¸ao em espa¸co de estados de G
i
(z) ´e desenvolvida a
seguir.
(z ξ
m
)y(z) = (1 ξ
m
z)u(z), (2.25)
ou
2.2 Bases Formadas por Fun¸oes Internas 21
y(k) = ξ
m
y(k 1) ξ
m
u(k) + u(k 1). (2.26)
Definindo x
(k) = ξ
m
y(k 1) + u(k 1), obt´em-se:
x
(k + 1) = ξ
m
y(k) + u(k)
y(k) = x
(k) ξ
m
u(k),
(2.27)
x
(k + 1) = ξ
m
x
(k) + (1 ξ
2
m
)u(k)
y(k) = x
(k) ξ
m
u(k).
(2.28)
Definindo x
(k) =
1 ξ
2
m
x(k), obt´em-se:
1 ξ
2
m
x(k + 1) = ξ
m
1 ξ
2
m
x(k) + (1 ξ
2
m
)u(k)
y(k) =
1 ξ
2
m
x(k) ξ
m
u(k),
(2.29)
ou
x(k + 1) = ξ
m
x(k) +
1 ξ
2
m
u(k)
y(k) =
1 ξ
2
m
x(k) ξ
m
u(k).
(2.30)
Portanto, a representa¸ao ortogonal (veja em 1.1.5) em espa¸co de estados de G
i
(z),
isto ´e, (A
i
, B
i
, C
i
, D
i
), ou
x(k + 1) = A
i
x(k) + B
i
u(k)
y(k) = C
i
x(k) + D
i
u(k),
(2.31)
´e definida por:
A
i
B
i
C
i
D
i
=
ξ
m
1 ξ
2
m
1 ξ
2
m
ξ
m
. (2.32)
Estas fun¸oes ao an´alogas `as Bases de Laguerre.
2.2.2 Fun¸ao Interna com olos Complexos
Um exemplo de fun¸ao interna G
i
(z) com olo complexo ´e dado pela equa¸ao:
2.2 Bases Formadas por Fun¸oes Internas 22
G
m
(z) =
1 ξ
m
z
z ξ
m
. (2.33)
Conectando-se em cascata duas fun¸oes internas com olos complexos conjugados
entre si, conforme a equa¸ao 2.33, tem-se o desenvolvimento a seguir. Seja
G
1
(z) =
1 ξ
m
z
z ξ
m
,
G
2
(z) =
1 ξ
m
z
z ξ
m
,
portanto, G
i
(z) ´e:
G
i
(z) =
1 ξ
m
z
z ξ
m
1 ξ
m
z
z ξ
m
,
G
i
(z) =
1 (ξ
m
+ ξ
m
)z + ξ
m
ξ
m
z
2
z
2
(ξ
m
+ ξ
m
)z + ξ
m
ξ
m
.
Para parametrizar esta representa¸ao utilizando os coeficientes reais b
i
e d
i
, definem-
se:
b
i
=
ξ
m
+ ξ
m
1 ξ
m
ξ
m
, (2.34)
e
d
i
= ξ
m
ξ
m
. (2.35)
Neste caso, a seguinte fun¸ao de transferˆencia, que tamb´em ´e interna, ´e obtida:
G
i
(z) =
d
i
z
2
+ b
i
(d
i
1)z + 1
z
2
+ b
i
(d
i
1)z d
i
, 1 < b
i
< 1, 1 < d
i
< 1. (2.36)
Sua representa¸ao em espa¸co de estados, conforme equa¸ao 2.31, ´e dada por:
A
i
=
b
i
d
i
1 b
2
i
1 b
2
i
b
i
d
i
, (2.37)
2.2 Bases Formadas por Fun¸oes Internas 23
B
i
=
1 b
2
i
1 d
2
i
b
i
1 d
2
i
, (2.38)
C
i
=
0
1 d
2
i
, (2.39)
D
i
= d
i
, (2.40)
ou
A
i
B
i
C
i
D
i
=
b
i
d
i
1 b
2
i
1 b
2
i
b
i
d
i
1 b
2
i
1 d
2
i
b
i
1 d
2
i
0
1 d
2
i
d
i
. (2.41)
Estas fun¸oes ao an´alogas `as Bases de Kautz.
2.2.3 Conex˜ao em S´erie de Fun¸oes Internas
Quando pretende-se utilizar fun¸oes internas que agrupam mais de uma dinˆamica,
pode-se conect´a-las em erie, conforme descrito a seguir.
Teorema 2.1 (Heuberger et al., 2005): Sejam duas fun¸oes internas G
1
(z) e G
2
(z)
com vetores de estados x
1
(t) e x
2
(t), respectivamente. A representa¸ao em espa¸co de
estados de G
1
(z) e G
2
(z) ´e, respectivamente:
A
1
B
1
C
1
D
1
,
A
2
B
2
C
2
D
2
,
A conex˜ao em s´erie G
1
(z)G
2
(z) tamem ´e uma fun¸ao interna e ortogonal, com o
vetor de estados apresentado na equa¸ao a seguir:
x(t) =
x
1
(t)
x
2
(t)
. (2.42)
A realiza¸ao em espa¸co de estados da conex˜ao em erie possui as seguintes matrizes:
2.2 Bases Formadas por Fun¸oes Internas 24
A
c
=
A
1
0
B
2
C
1
A
2
, (2.43)
B
c
=
B
1
B
2
D
1
, (2.44)
C
c
= [D
2
C
1
C
2
] , e (2.45)
D
c
= D
2
D
1
. (2.46)
Tal resultado pode ser generalizado para conectar arios filtros ortogonais passa-tudo.
Prova:
Para provar o teorema, definem-se os sinais de entrada e sa´ıda de G
1
(z) e G
2
(z) como
sendo u
1
(z), u
2
(z) e y
1
(z), y
2
(z), respectivamente. Combinando-se os estados x
1
(k), x
2
(k)
e a sa´ıda da conex˜ao em s´erie y
2
(k), obt´em-se
x
1
(k + 1)
x
2
(k + 1)
y
2
(k)
=
I 0 0
0 A
2
B
2
0 C
2
D
2
x
1
(k)
x
2
(k)
y
1
(k)
.
Reescrevendo esta express˜ao, chega-se a:
x
1
(k + 1)
x
2
(k + 1)
y
2
(k)
=
I 0 0
0 A
2
B
2
0 C
2
D
2
A
1
0 B
1
0 I 0
C
1
0 D
1
x
1
(k)
x
2
(k)
u
1
(k)
,
ou
x
1
(k + 1)
x
2
(k + 1)
y
2
(k)
=
A
1
0 B
1
B
2
C
1
A
2
B
2
D
1
D
2
C
1
C
2
D
2
D
1
x
1
(k)
x
2
(k)
u
1
(k)
.
Por fim, tem-se o sistema G
c
(z) que ´e o sistema conectado G
1
(z)G
2
(z). O sistema
G
c
(z) tem representa¸ao em espa¸co de estados conforme descrito pelas equa¸oes 2.43 a
2.46. A representa¸ao previamente apresentada tamem ´e ortonormal, pois ´e o produto
2.2 Bases Formadas por Fun¸oes Internas 25
de duas matrizes ortonormais.
Dessa forma, pode-se conectar em erie quantas fun¸oes internas quanto desejado,
apenas calculando recursivamente as matrizes das equa¸oes 2.43 a 2.46.
2.2.4 Bases de Fun¸oes Ortonormais Generalizadas
As bases de fun¸oes ortonormais generalizadas (GOBF, Generalized Orthonormal Ba-
sis Functions) ao bases de fun¸oes racionais constru´ıdas a partir de fun¸oes internas
e que incorporam a informa¸ao de mais de uma dinˆamica (p´olo). Esta representa¸ao
permite uma aproxima¸ao de um sistema linear com menos parˆametros que o caso das
bases de Laguerre e Kautz, no entanto, aumentando a complexidade para a sele¸ao de
seus parˆametros (p´olos), conforme o Cap´ıtulo 3 abordar´a especificamente. Al´em disso, as
bases previamente citadas ao casos particulares de GOBF.
Seja G
b
(z) uma fun¸ao dada pela realiza¸ao em cascata de n
b
fun¸oes G(z), cada uma
tendo um olo diferente (real ou complexo). G
b
(z) tamb´em ´e uma fun¸ao interna. Estes
n
b
olos cont´em a informa¸ao a priori sobre as dinˆamicas dominantes do sistema. A
qu´adrupla (A,B,C,D) ´e a representa¸ao em espa¸co de estados de G
b
(z).
Seja φ
i1
(k) o iesimo estado do vetor de estados ν
1
(k) de G
b
(z) quando o sinal de
entrada ´e um impulso, isto ´e:
ν
1
(k + 1) =
1
(k) + Bδ(k),
(2.47)
sendo δ(k) o impulso unit´ario, e
ν
1
(k) =
φ
11
(k)
φ
21
(k)
.
.
.
φ
n
b
1
(k)
. (2.48)
Seja V
1
(z) a Transformada Z de ν
1
(k), logo:
V
1
(z) = (zI A)
1
B. (2.49)
Assumindo uma concatena¸ao em s´erie de fun¸oes G
b
(z), tem-se que uma base de
fun¸oes ortonormais pode ser definida por φ
im
(k), i = 1, . . . , n
b
e m = 1, . . .. Nesta repre-
2.2 Bases Formadas por Fun¸oes Internas 26
senta¸ao, φ
im
(k) ´e o iesimo elemento do vetor de sinais ν
m
(k) e V
m
(z) ´e a transformada
inversa de ν
m
(k), dada por:
V
m
(z) = (zI A)
1
BG
m1
b
(z), m = 1, . . . . (2.50)
Seja Φ
im
(z) a Transformada Z de φ
im
(k), para i = 1, . . . , n
b
e m = 1, . . .. Neste
contexto, definindo l
im
(k) como sendo a sa´ıda da (im)-´esima fun¸ao de base Φ
im
(z) quando
a entrada ´e u(k), tem-se que o modelo com bases de fun¸oes ortonormais ´e dado por:
y(k) =
m=1
n
b
i=1
c
im
l
im
(k), (2.51)
onde c
im
ao os coeficientes da representa¸ao utilizando bases ortonormais no sistema.
Truncando a realiza¸ao em cascata das bases G
b
(z) em n
g
fun¸oes, obt´em-se a equa¸ao
2.52, que ´e representada pela figura 2.2, onde c
m
e l
m
ao vetores contendo os elementos
c
im
e l
im
, respectivamente, para i = 1, . . . , n
b
.
˜y(k) =
n
g
m=1
c
m
l
m
(k). (2.52)
Neste caso, o erro de aproxima¸ao do modelo ´e dado pela equa¸ao 2.13, com n = n
b
n
g
.
Por fim, definindo-se L(k) e C como sendo, respectivamente, a concatena¸ao de l
i
(k) e
c
i
, i = 1, . . . , n
g
, a sa´ıda do modelo ´e dada pela equa¸ao 2.53.
˜y(k) = C
T
L(k). (2.53)
A representa¸ao em espa¸co de estados do modelo GOBF obtido ´e dada pela equa¸ao
2.54 onde o vetor de estados e as matrizes A e B ao obtidas utilizando n
g
fun¸oes V
m
(z)
(m = 1, . . . , n
g
) do modelo, com os olos previamente alocados.
L(k + 1) = AL(k) + Bu(k). (2.54)
Para montar esta estrutura de matrizes A e B utilizam-se as fun¸oes internas de
primeira e segunda ordem previamente apresentadas, que ao an´alogas `as bases de La-
guerre e Kautz, respectivamente. Portanto, a estrutura GOBF consiste em agrupar, numa
mesma base, um conjunto de olos previamente alocados em qualquer parte do c´ırculo
unit´ario discreto. Assim, olos reais e complexos conjugados podem estar presentes na
2.3 Representa¸ao de Sistemas MIMO 27
Figura 2.2: Estrutura do Modelo Usando Bases de Fun¸oes Ortonormais Generalizadas
mesma base, permitindo considerar arios modos do sistema, reduzindo a quantidade de
fun¸oes necess´arias `a representa¸ao de um determinado processo, possibilitando a redu¸ao
da ordem (compacta¸ao) do modelo.
2.3 Representa¸ao de Sistemas MIMO
Para sistemas MIMO, com M sinais de entrada e Q sinais de sa´ıda, pode-se utilizar
a mesma id´eia previamente exposta. Para cada rela¸ao entre uma entrada e uma sa´ıda,
a uma base distinta. Tal base tem seus olos alocados de acordo com conhecimento a
priori ou otimiza¸ao, conforme ser´a prop osto mais `a frente. Portanto, para o sistema
mencionado, ter-se-´a M ×Q bases, cada uma tamem com n
g
e n
b
adequados a M-´esima
entrada e Qesima sa´ıda em quest˜ao, conforme apresentado na Figura 2.3.
Neste caso, o sistema MIMO pode ser decomposto em Q sistemas Multiple-I nput-
Single-Output (MISO), cada um com as mesmas M entradas. Para cada sistema MISO,
um conjunto diferente de bases de fun¸oes ortonormais pode ser utilizado. A partir destas
2.4 Identificao no Dom´ınio do Tempo 28
Figura 2.3: Esquema de Bases de Fun¸oes Ortonormais em Sistema MIMO
defini¸oes, a sa´ıda ˜y(k) de cada modelo MISO, quando a mesima s´erie ´e truncada em n
m
termos, ´e dada pela equa¸ao 2.55, tal que
˜y(k) =
m
j=1
C
T
j
L
j
(k). (2.55)
2.4 Identifica¸ao no Dom´ınio do Tempo
Num conjunto de dados de entrada e sa´ıda no dom´ınio do tempo, a identifica¸ao de
sistemas est´a baseada em encontrar o conjunto de n parˆametros do vetor C que minimiza,
no sentido do crit´erio dos m´ınimos quadrados, o seguinte erro de previs˜ao um passo `a
frente:
(k; C) = y(k) C
T
L(k), (2.56)
onde C e L(k) representam, respectivamente, a concatena¸ao de c
j
e l
j
(k), j = 1, . . . , n
g
.
Em poucas palavras, tem-se a sa´ıda do sistema em quest˜ao (y(k)) e, com base nas
sa´ıdas (V (k)) dos filtros das bases de fun¸oes ortonormais, estimam-se os coeficientes (c)
que minimizam o erro entre a sa´ıda do sistema (y(k)) e a sa´ıda do modelo (˜y(k)).
2.5 Identificao no Dom´ınio da Freencia 29
Portanto, tem-se que um modelo representado pela regress˜ao linear
˜y(k) = ϕ
T
(k)θ,
onde
ϕ
T
(k) =
l
1
(k) l
2
(k) . . . l
n
(k)
,
θ =
c
1
c
2
. . . c
n
,
em que ϕ(k) ´e o vetor de dados e θ ´e o vetor de parˆametros.
O objetivo ´e encontrar θ que minimize o erro quadr´atico de previs˜ao do modelo em
rela¸ao aos dados dispon´ıveis, isto ´e
V (ϕ, θ) =
N1
k=0
(y(k) ϕ
T
(k)θ)
2
. (2.57)
O problema ´e linear nos parˆametros, sendo o algoritmo de m´ınimos quadrados (Gauss,
1809) utilizado para estimar os coeficientes c
i
do modelo.
2.5 Identifica¸ao no Dom´ınio da Freq¨uˆencia
A identifica¸ao de sistemas baseada no dom´ınio da freq¨uˆencia se destaca, em rela¸ao
a identifica¸ao no dom´ınio do tempo, por apresentar vantagens, tais como: acil redu¸ao
de ru´ıdo, redu¸ao do n´umero de dados e acil combina¸ao de dados (Schoukens e Pin-
telon, 1991). Este problema, utilizando bases de fun¸oes ortonormais generalizadas ´e
um assunto menos explorado quando comparado com a identifica¸ao no dom´ınio do
tempo. Entretanto, alguns trabalhos neste sentido pode ser encontrados em (Vries e
den Hof, 1998; Ak¸cay e Heuberger, 2001; Ninness, 1996; Cluett e Wang, 1992; Deschrijver
e Dhaene, 2006).
Seja H(e
jw
) a resposta em freq¨encia de um sistema, que pode ser obtida diretamente
ou estimada por meio da Transformada Discreta de Fourier (Aguirre, 2007), em proce-
dimento tamb´em conhecido como ETFE (Empirical Transfer Function Estimate). W
N
´e
um conjunto ordenado de N valores de freq¨encias utilizados na descri¸ao de H(·), isto ´e:
2.5 Identificao no Dom´ınio da Freencia 30
W
N
= {w
1
, . . . , w
N
}. (2.58)
Um sistema H, cuja resposta em freq¨encia ´e H(e
jw
), pode ser aproximadamente
representado por:
˜
H(e
jw
, θ) = φ
T
(e
jw
)θ, (2.59)
onde
θ =
c
1
··· c
n
g
,
φ
T
(e
jw
) =
V
1
(e
jw
)
T
··· V
n
g
(e
jw
)
T
.
Portanto, a identifica¸ao no dom´ınio da freq¨uˆencia est´a baseada em obter θ que mi-
nimize o seguinte crit´erio:
θ = arg min
1
N
w∈W
N
H(e
jw
) φ
T
(e
jw
)θ
2
. (2.60)
Desta forma, a ´unica diferen¸ca na metodologia de identifica¸ao entre o dom´ınio do
tempo e o dom´ınio da freq¨encia ´e a obten¸ao dos coeficientes θ, visto que as bases ao
formadas de forma idˆentica `as do dom´ınio do tempo.
31
3 Sele¸ao de olos
A sele¸ao de olos em modelo com estrutura formada por bases de fun¸oes ortonormais
ao ´e, em princ´ıpio, um problema para a aplica¸ao desta metodologia de identifica¸ao de
sistemas, pois, se a base selcionada for completa, qualquer resposta ao impulso est´avel
pode ser aproximada por infinitas fun¸oes da base independente da aloca¸ao dos olos.
Na pr´atica, por´em, ao ´e vi´avel tratar bases com infinitas fun¸oes. Portanto, a erie
que representa a expans˜ao da resposta ao impulso em fun¸oes ortonormais deve ser trun-
cada e, a partir de ent˜ao, a a necessidade de uma sele¸ao de olos criteriosa. Isto ´e
devido ao fato de que a convergˆencia da erie de fun¸oes ´e fun¸ao destes olos e, portanto,
pode se tornar mais apida atrav´es de sua sele¸ao adequada.
De fato, para um determinado sistema, o erro decorrente do truncamento da erie
depende da sele¸ao das fun¸oes de base utilizadas e de seus parˆametros (isto ´e, os olos,
considerando bases de fun¸oes racionais). Se o n´umero de fun¸oes da s´erie (ordem de
truncamento) for grande, a sele¸ao do(s) olo(s) ao ´e, em princ´ıpio, crucial. Mas, para
um n´umero pequeno de fun¸oes, tal sele¸ao ´e importante a fim de que a aproxima¸ao do
sistema seja adequada. Portanto, para um dado modelo OBF, a um olo ou um conjunto
de olos que minimiza o erro de aproxima¸ao. A sele¸ao de olos passa a ser fator crucial
a partir do momento em que se pretende utilizar uma erie com poucas fun¸oes de base.
Normalmente, nestes casos, o(s) olo(s) ´e/s˜ao selecionado(s) utilizando-se uma in-
forma¸ao aproximada da dinˆamica do sistema. Por´em, solu¸oes para auxiliar nesta
sele¸ao, sejam elas anal´ıticas ou num´ericas, ao desej´aveis. Este problema, aplicado `a
representa¸ao de sistemas lineares e ao lineares, vem sendo analisado por muitos au-
tores na literatura, veja (Heuberger et al., 2005; Silva, 2000) e referˆencias inclusas. Neste
documento, a-se enfase `a sele¸ao de olos de modelos GOBF para sistemas lineares.
Neste sentido, o desafio ent˜ao ´e encontrar os olos das fun¸oes da base. Portanto,
tem-se um problema onde deseja-se identificar um sistema assumindo um dado conjunto
de olos para a base de fun¸oes e um dado conjunto de fun¸oes na base. Ao final, deseja-
3.1 etodos para Sele¸ao de olos em Modelos Lineares com Estrutura OBF 32
se encontrar o conjunto de olos que melhora a convergˆencia da s´erie, portanto tende a
melhor representar o sistema em quest˜ao para o dado n´umero de fun¸oes na base.
Os modelos GOBF possuem uma estrutura mais flex´ıvel de representa¸ao em rela¸ao
aos modelos FIR, Laguerre ou Kautz, uma vez que permitem a incorpora¸ao de diferentes
dinˆamicas na base. Esta representa¸ao foi descrita no Cap´ıtulo 2 deste documento. Tal
flexibilidade permite melhorar a convergˆencia da erie, tornando-a mais apida e levando
a uma representa¸ao adequada do sistema com um modelo com poucos parˆametros (em
rela¸ao a um modelo Laguerre ou Kautz equivalente). Entretanto, esta estrutura mais
flex´ıvel torna o problema de sele¸ao de olos mais complicado.
Na se¸ao 3.1, a seguir, um breve estado da arte sobre a sele¸ao de olos ´e apresentado.
Na se¸ao 3.2, uma representa¸ao alternativa para as fun¸oes internas ´e apresentada. Esta
representa¸ao tem por objetivo tornar flex´ıvel a sele¸ao entre olos reais e olos complexos
em um modelo com estrutura GOBF. Quando o n´umero de dinˆamicas ´e superior a 1, isto
´e, no caso de modelos mais complexos que o caso Laguerre ou Kautz, ´e interessante que a
metodologia de sele¸ao de olos ao esteja restrita a uma determinada combina¸ao entre
olos reais e olos complexos. A se¸ao 3.3 apresenta a defini¸ao do problema para a
aloca¸ao dos olos. Na se¸ao 3.4, ´e apresentada uma metodologia para sele¸ao dos olos
de um modelo GOBF quando algumas informa¸oes sobre o sistema real a ser modelado
est˜ao dispon´ıveis.
3.1 M´etodos para Sele¸ao de olos em Modelos Li-
neares com Estrutura OBF
Desde os primeiros trabalhos descrevendo a estrutura de modelos OBF, a quest˜ao da
sele¸ao de olos foi colocada. Este problema pode ser classificado e abordado de diversas
formas. A seguir, alguns trabalhos referentes a sele¸ao de olos presentes na literatura
ao descritos, sem a pretens˜ao desta ser uma revis˜ao definitiva sobre o problema.
Apesar da resposta ao impulso de um sistema linear ser dominada pelo olo de maior
odulo (Heuberger et al., 2003), faz-se necess´ario selecionar os olos de um modelo OBF,
dessa forma, obtendo olos do modelo mais pr´oximos poss´ıveis dos olos do sistema.
Tal sele¸ao vem sendo analisada por muitos autores na literatura, veja (Heuberger et
al., 2005; Silva, 2000) e referˆencias inclusas. Como apresentado em (de Hoog, 2001), o
problema de sele¸ao de olos foi trabalhado em (Silva, 1995a; Silva, 1995b; Silva, 1996)
quando sabe-se que tais olos est˜ao em uma regi˜ao espec´ıfica do c´ırculo unit´ario discreto.
3.1 etodos para Sele¸ao de olos em Modelos Lineares com Estrutura OBF 33
Em (Heuberger, 1991), e posteriormente desenvolvido em (van Donkelaar et al., 1998)
e (van Donkelaar, 2000), foi proposta a obten¸ao de um modelo, num processo interativo,
no qual a cada passo uma nova fun¸ao de base ´e gerada a partir da redu¸ao do modelo
gerado no passo anterior.
Quando a um conhecimento a priori da(s) dinˆamica(s) do sistema, basta adicionar
ao modelo alguns olos pr´oximos de onde acredita-se que os olos do sistema est˜ao
(Wahlberg, 1991; Heuberger et al., 1995). Portanto, quando acredita-se que o sistema tem
um olo em z = 0.45, enao, por exemplo, um modelo com olos em z = 0.4, 0.42, 0.48, 0.5
pode ser estruturado (Ninness et al., 1999).
No entanto, nem sempre algum conhecimento a priori do sistema est´a dispon´ıvel,
portanto fizeram-se necess´arios estudos mais criteriosos sobre a sele¸ao de olos. Em
(Clowes, 1965), demonstrou-se como selecionar o olo de Laguerre para sistemas com
fun¸oes transferˆencia racionais, assumindo-se que ao a atraso de transporte no sistema
e que uma express˜ao anal´ıtica da resposta ao impulso do sistema est´a dispon´ıvel.
a em (Masnadi-Shirazi e Ahmed, 1991), uma solu¸ao anal´ıtica para determinar o olo
´otimo de Laguerre ´e proposta, ainda assim, tal solu¸ao tamb´em restringe-se `a aplica¸ao
de um impulso na entrada do sistema. Com a mesma restri¸ao de sinal de entrada, Fu
(Fu e Dumont, 1993a) discutiu a sele¸ao do olo ´otimo de Laguerre, propondo um ´ındice
de minimiza¸ao no qual o peso de cada coeficiente da expans˜ao de Laguerre ´e linearmente
ponderado. No entanto, a id´eia da fun¸ao de minimiza¸ao pode ser aplicada a outros
tipos de OBF, tais como Kautz (Morvan et al., 2000) e Generalizadas (Silva, 2005).
Alguns trabalhos, tais como (King e O’Canainn, 2000; Maione e Turchiano, 1985; Fu
e Dumont, 1993b), prop˜oem o uso de busca num´erica unidimensional para encontrar a
localiza¸ao do olo ´otimo de Laguerre. Em (Wang e Cluett, 1994), uma solu¸ao para o
olo de Laguerre para sistemas em temp o cont´ınuo ´e proposta.
Ainda para sele¸ao do olo de Laguerre, apresenta-se em (Malti et al., 1998) a sele¸ao
do(s) olo(s) para sistemas MISO (a partir de qualquer sinal de entrada), que ´e feita
atraes do m´etodo Newton-Raphson. a em (Bouzrara e Messaoud, 2002), onde ex-
clusivamente sistemas t´ermicos foram tratados, a otimiza¸ao do olo de Laguerre, para
qualquer sinal de entrada, ´e feita baseada num etodo denominado Separable Nonlin-
ear Least-Square Methods onde um crit´erio normalizado utilizando o MSE ´e considerado
como ´ındice de minimiza¸ao. Por fim, em (Sabatini, 2000), um algoritmo h´ıbrido para
sele¸ao do olo ´otimo de Laguerre, apenas para sistemas SISO, ´e apresentado. O algo-
ritmo h´ıbrido utiliza o algoritmo evolutivo denominado Algoritmo Gen´etico (AG) para
3.1 etodos para Sele¸ao de olos em Modelos Lineares com Estrutura OBF 34
fins de explora¸ao, e, por fim, o algoritmo Newton-Raphson como especializa¸ao do re-
sultado obtido pelo AG. Tal trabalho, al´em da proposta inovadora at´e enao, comparou o
desempenho do algoritmo h´ıbrido proposto e outros dois (algoritmo gen´etico puramente
e outro algoritmo cl´assico de otimiza¸ao), por fim, mostrando que o algoritmo h´ıbrido
mostrou melhor desempenho para os casos estudados.
Para sistemas modelados com olos complexos conjugados (Kautz), um etodo para
alculo dos olos ´e apresentado em (Tanguy et al., 2002). O etodo apresentado ao
requer que uma ordem inicial para o modelo seja dada, o que at´e ent˜ao ainda ao havia
sido proposto. Em (Morvan et al., 2000) a sele¸ao dos olos de Kautz tamb´em ´e discutida.
a em (Silva, 2000), um m´eto do para selecionar os olos de Laguerre ou Kautz foi proposto
atraes da procura de solu¸oes em duas equa¸oes ao lineares, no entanto, ao fazendo
compara¸oes se o etodo tem desempenho superior aos que utilizam etodos num´ericos.
Conforme a complexidade dos sistemas aumenta, normalmente mais olos devem ser
agregados `as bases de fun¸oes ortonormais, portanto a necessidade das GOBF, e, con-
seq¨uentemente, de sua sele¸ao de olos. Para tanto, em (Nalbantoglu et al., 2002), um
m´etodo ´e aplicado para a sele¸ao dos olos de um sistema GOBF que modela estruturas
flex´ıveis de sistemas SISO, para qualquer sinal de entrada. a em (Ziaei e Wang, 2004),
afirma-se que uma estrat´egia de otimiza¸ao global para a sele¸ao de olos, ap esar de
computacionalmente custosa, ´e mais apropriada que aquelas baseadas em etodos gradi-
ente, portanto utilizando o m´etodo denominado ”Direct”, que inicialmente foi proposto
em (Jones et al., 1993). Adicionalmente compara os resultados do algoritmo aplicado `a
sele¸ao de olos de um sistema GOBF SISO, ao restrito `a entrada impulso, aos modelos
PEM (Prediction Error Methods) como ARX e ARMAX, mostrando o melhor desem-
penho do modelo GOBF. E em (R. oth e den Hof, 2006) aplica-se o etodo Kolmogorov
n-width e agrupamento de dados (clusterization) Fuzzy c-Means (FCM) para a sele¸ao
dos olos GOBF de sistemas SISO.
Uma metodologia para sele¸ao dos olos ´e atraes da escolha de valores que minimizem
o erro de aproxima¸ao do sistema real com o modelo. Alguns crit´erios para medir o erro
de aproxima¸ao ao: Mean Squared Error (MSE), Final Prediction Error (FPE), Akaike
Information Criterion (AIC), Coeficiente de Correla¸ao M´ultipla (R
2
), dentre outros.
Um dos crit´erios de custo mais utilizados durante o desenvolvimento dos trabalhos
foi o MSE. Ressalta-se que qualquer outro ´ındice poderia ser minimizado ou maximizado,
dependendo do caso.
Definido o crit´erio de custo, sabe-se o espa¸co de busca: o c´ırculo unit´ario discreto.
3.2 Parametriza¸ao dos olos 35
Resta a defini¸ao do n´umero de fun¸oes de bases que ser˜ao utilizadas e o umero e tipo
de olos a serem utilizados em cada base.
Assumindo que, para um problema qualquer, a base de fun¸oes possui 5 olos distin-
tos, tem-se a seguinte gama de possiblidades de tipos de olos que poderiam ser utilizados:
5 olos somente com componentes reais, 3 olos reais e um par de olos complexos conju-
gados ou 2 pares complexos conjugados e 1 olo real. Este tipo de distin¸ao entre os olos
´e necess´aria para que se possa montar a base de acordo com as componentes previamente
definidas.
Analisar todas as combina¸oes poss´ıveis ´e vi´avel para bases com poucos olos distintos,
por´em o problema tende a aumentar `a medida que o n´umero de olos distintos aumenta.
Visando contornar este tipo de problema, estudou-se uma forma de parametriza¸ao dos
olos, proposta em (Heuberger et al., 2005).
3.2 Parametriza¸ao dos olos
O problema de sele¸ao de olos para fun¸oes com mais de uma dinˆamica, ou mo de-
los GOBF, est´a relacionado com a sele¸ao do n´umero e do tipo de olo (p´olo real ou
complexo). Por exemplo, no caso de fun¸oes internas dadas pelas equa¸oes 2.23 e 2.36,
concatenadas de forma a se obter um mo delo com 5 olos distintos, tem-se um leque de
op¸oes, como mencionado previamente.
Uma base com n
b
olos distintos implica que n
b
parˆametros devem ser escolhidos,
na forma de olos reais ou componentes real e imagin´aria de olos complexos. Outros
problemas associados a esta representa¸ao dos olos das bases de fun¸oes ao:
A parametriza¸ao ao ´e ´unica, visto que qualquer permuta¸ao dos olos recair´a no
mesmo modelo.
No caso de olos complexos conjugados, o espa¸co de busca para um parˆametro fica
em fun¸ao de outro previamente selecionado, isto ´e, para que o olo fique dentro do
c´ırculo unit´ario discreto, deve-se obedecer ao fato que o odulo deve ser inferior a 1.
Desta forma, dependendo do valor da componente real, a imagin´aria fica limitada a
outro espa¸co de busca, e vice-versa.
Para contornar estes problemas, uma parametriza¸ao relacionada ao algoritmo Schur
3.2 Parametriza¸ao dos olos 36
aplicado a G
b
(z), que tamb´em est´a relacionado ao teste de estabilidade Schur-Cohn apli-
cado ao denominador de G
b
(z), ´e apresentada a seguir (Heuberger et al., 2005).
Para uma fun¸ao G
b
(z) est´avel e causal, com olos reais e/ou complexos conjugados
e de ordem n
b
, existir˜ao n
b
parˆametros relacionados com os olos de G
b
(z), independente
se estes olos ao complexos ou ao.
Sejam N
0
(k) e D
0
(k) iguais a 1. Enao, uma fun¸ao interna com n
b
olos pode ser
definida conforme segue:
G
b
(z) =
N
n
b
(z)
D
n
b
(z)
, (3.1)
sendo
N
k
(z)
D
k
(z)
=
1 γ
k
γ
k
1
N
k1
(z)
zD
k1
(z)
, (3.2)
e γ
k
pertencente ao intervalo fechado entre 1 e 1.
Exemplo: Sejam duas fun¸oes internas com 1 e 2 olos, respectivamente. Usando a
equa¸ao 3.2, obt´em-se:
G
b
(z) =
1 γ
1
z
z γ
1
, (3.3)
e
G
b
(z) =
1 γ
1
(1 γ
2
)z γ
2
z
2
z
2
γ
1
(1 γ
2
)z γ
2
. (3.4)
Nota-se que, em 3.4, ao est´a pr´e-definido se ao dois olos reais ou um par complexo
conjugado. Esta especifica¸ao dep ende dos valores de γ
1
e γ
2
.
Desta forma, para uma fun¸ao G
b
(z) com n
b
olos, existe uma parametriza¸ao similar
`as equa¸oes 3.3 e 3.4, obtida pela recurs˜ao da equa¸ao 3.2. Portanto, existem γ
k
, k =
1, . . . , n
b
, parˆametros relacionados com os olos da base. A propor¸ao entre olos reais e
olos complexos ser´a conseq¨encia de um dado conjunto de valores para γ
k
.
Esta parametriza¸ao facilita o procedimento de sele¸ao de olos das fun¸oes de uma
base com mais de uma dinˆamica. Isto ´e feito da seguinte forma. Deve-se, inicialmente,
definir a quantidade de dinˆamicas da base (n
b
) e, na sequˆencia, calcular os valores para γ
k
3.3 Defini¸ao do Problema 37
que otimizam um determinado crit´erio de sele¸ao dos olos. Uma vez calculados, sabe-se a
localiza¸ao (e tipo) dos olos da base. Logo, a vantagem ´e a ao necessidade da defini¸ao
a priori dos tipos de olos para a base.
Como ser´a visto mais `a frente, apesar de ter-se tal parametriza¸ao, para fins de soft-
ware, o usu´ario pode optar ou ao por utiliz´a-la, ou seja, caso opte por ao utilizar, o
mesmo deve definir os tipos de olos presentes na base em quest˜ao.
3.3 Defini¸ao do Problema
Devido `a propriedade de completude das bases de fun¸oes descritas no Cap´ıtulo 3,
qualquer olo ou conjunto de olos podem ser selecionados para o modelo, desde que
sejam est´aveis. No entanto, uma escolha adequada pode levar a uma representa¸ao mais
eficiente do sistema, no sentido de uma convergˆencia mais apida para a s´erie.
Sejam y(k) o sinal de sa´ıda de um sistema linear e ˜y(k) o sinal de sa´ıda do modelo.
Para um dado n´umero n
g
de fun¸oes de bases, formadas por n
b
olos definidos por p,
tem-se que a sa´ıda do modelo ´e dada por:
˜y(k; p) = C(p)
T
L(k; p), (3.5)
onde L(k; p) ´e a sa´ıda da base de fun¸oes formada pelos olos p quando a entrada ´e u(k).
C(p) ao os coeficientes do modelo calculados usando uma base formada por fun¸oes
internas com olos em p e ˜y(k ; p) ´e a sa´ıda do modelo.
Valores ´otimos para o conjunto de olos das bases podem ser definidos como sendo
aqueles que minimizam uma norma do erro entre a sa´ıda real e a sa´ıda do modelo.
Um exemplo, no dom´ınio do tempo, ´e o crit´erio formado pela norma 2, isto ´e:
J(p) =
K
k=1
(y(k) ˜y(k; p))
2
, (3.6)
ou
J(p) =
K
k=1
y(k) C(p)
T
L(k, p)
2
, (3.7)
onde K ´e o umero de dados dispon´ıveis. No caso de sistemas MISO, com M entradas
3.4 Localiza¸ao
´
Otima Assint´otica dos olos 38
(conforme 2.3), tem-se que diferentes bases de fun¸oes podem ser utilizadas para repre-
sentar a rela¸ao entre cada entrada e sa´ıda do sistema. Nestes casos, p ´e definido como
sendo a uni˜ao dos olos que definem cada uma destas bases de fun¸oes. O crit´erio 3.7 ´e
enao dado por:
J(p) =
K
k=1
y(k)
m
j=1
C
j
(p)
T
L
j
(k, p)
2
. (3.8)
Portanto, o problema de determinar os melhores olos para uma determinada base ´e
equivalente a:
p
= argmin J(p)
s.to p ,
(3.9)
onde p
´e a localiza¸ao ´otima do olos para um determinado conjunto de entrada(s) e
sa´ıda(s) e ´e o espa¸co dos olos est´aveis no plano Z.
Um desenvolvimento an´alogo pode ser realizado para o dom´ınio da freq¨encia.
3.4 Localiza¸c˜ao
´
Otima Assinotica dos olos
O erro entre o modelo do sistema formado por bases de fun¸oes, com n (n = n
b
n
g
)
fun¸oes, e o sistema real ´e dado pela equa¸ao 2.13, re-escrita a seguir:
ε
n
(k) = y(k) ˜y(k), (3.10)
sendo
˜y(k) =
n
g
m=1
c
m
l
m
(k). (3.11)
Assume-se a seguir que, para n suficientemente grande, a seguinte rela¸ao ´e satisfeita
(Silva, 2005):
||ε
n+s
(·)|| ρ
s
||ε
n
(·)||, (3.12)
com 0 ρ < 1, onde ρ ´e a taxa de convergˆencia exponencial da norma do erro. Quanto
3.4 Localiza¸ao
´
Otima Assint´otica dos olos 39
menor ρ, mais rapidamente o erro de aproxima¸ao converge para zero.
Em (Silva, 2005) ´e mostrado que a taxa de convergˆencia ρ pode ser calculada em
fun¸ao dos olos da base e dos olos do sistema real. Seja um sistema com n
b
olos em
p
j
, j = 1, . . . , n
b
, aproximado por um modelo com estrutura formada por uma fun¸ao
interna G
b
, dada pela equa¸ao 3.1, reescrita a seguir:
G
b
(z) =
N
n
b
(z)
D
n
b
(z)
. (3.13)
Os nb olos de G
b
(z) ao definidos atrav´es de γ
i
, i = 1, . . . , nb, conforme a Se¸ao
3.2. Seja γ um vetor contendo os nb valores de γ
i
. Portanto, a taxa de convergˆencia do
modelo, isto ´e ρ, em fun¸ao de γ, ´e dada por:
ρ(γ) = max
j
N
ng
(1/p
j
)
D
ng
(1/p
j
)
. (3.14)
Esta equa¸ao permite derivar uma t´ecnica, aplicada a sistemas SISO, para a aloca¸ao
dos melhores olos para um sistema, desde que o n´umero de olos alocados seja menor do
que o n´umero de olos do sistema nominal e que a ordem do truncamento da s´erie ortonor-
mal tenda a infinito. Em outras palavras, atrav´es da resolu¸ao do seguinte problema de
otimiza¸ao:
min
γ
max
j
N
ng
(1/p
j
)
D
ng
(1/p
j
)
, (3.15)
pode-se chegar a valores para os olos da base que melhoram a taxa de convergˆencia do
modelo. A solu¸ao do problema 3.15 deve ser realizada numericamente.
Este m´etodo, tal como ´e proposto, necessita do conhecimento dos olos nominais do
sistema.
40
4 Softwares e Rotinas
Desenvolvidas
Visando encapsular os conceitos apresentados ao longo deste documento, um software
em plataforma Matlab
R
´e apresentado neste cap´ıtulo a fim de facilitar a identifica¸ao de
sistemas utilizando modelos com estrutura GOBF.
4.1 Prepara¸ao do Pacote
Para deixar o pacote apto a ser utilizado no Matlab, o usu´ario deve extrair o arquivo
IDENTGOBF, com extens˜ao ZIP numa pasta qualquer do sistema. Supondo que o
caminho completo, depois de extra´ıdo, seja ”D:\MeusSoftwares\IDENTGOBF”, o usu´ario
deve ir at´e o Matlab e digitar a seguinte linha de comando:
addpath(genpath(’D:\MeusSoftwares\IDENTGOBF’))
4.2 IDENTGOBF
Ao entrar na interface principal, que ´e obtida digitando-se identgobf diretamente no
Matlab, o usu´ario deve selecionar um arquivo que cont´em seus dados para identifica¸ao,
seja ele no tempo ou na freq¨encia. A interface principal ´e mostrada na figura 4.1
Ao selecionar o arquivo, o usu´ario deve especificar se a identifica¸ao ser´a no dom´ınio
da freq¨uˆencia ou ao. Caso ao especifique, assume-se que a identifica¸ao ´e feita no
dom´ınio do tempo.
Caso a identifica¸ao seja feita no dom´ınio do tempo, o usu´ario deve selecionar a
vari´avel que cont´em os dados de entrada do sistema. A dimens˜ao desta vari´avel ´e N
i
×E
i
,
onde N
i
´e o n´umero de pontos coletados e E
i
´e a quantidade de entradas do sistema. A
vari´avel de sa´ıda deve ter dimens˜ao N
i
×S
i
, onde S
i
´e o n ´umero total de sa´ıdas do sistema.
4.2 IDENTGOBF 41
Figura 4.1: Interface Gr´afica para Identifica¸ao GOBF
Como E
i
e S
i
ao ao limitados a 1, este software identifica sistemas MIMO.
Caso a identifica¸ao seja feita no dom´ınio da freq¨uˆencia, dispon´ıvel somente para
sistemas SISO, o usu´ario deve assinalar o campo correspondente a essa op¸ao. Em seguida,
caso ao saiba como proceder, deve clicar na op¸ao Troubleshooting e em seguida na
op¸ao Click Here”. Enao um guia para ajudar o usu´ario na especifica¸ao dos dados em
freq¨encia ser´a apresentado, conforme figura 4.2.
Ap´os a sele¸ao da entrada de dados, o usu´ario deve selecionar os olos e a ordem
do sistema. Caso isto esteja em vari´aveis do arquivo previamente selecionado (como as
provenientes do sistema de otimiza¸ao de olos autom´atico, que ser´a apresentado pos-
teriormente), a op¸ao Variable Input deve ser selecionada. Caso o usu´ario ainda ao
tenha olos nem ordens para o sistema, este deve selecionar a op¸ao Manual Input”e
em seguida clicar no bot˜ao Start”para que a interface Wizard seja exibida, conforme a
4.3 Rotina para alculo dos olos
´
Otimos para o Modelo 42
Figura 4.2: Guia para Identifica¸ao na Freq¨uˆencia
figura 4.3.
Depois de configurar os parˆametros de projeto, o usu´ario deve selecionar como quer
analisar os resultados da identifica¸ao. Em tal painel, o usu´ario pode optar por: ver o
resultado gr´afico da identifica¸ao, ver o erro de previs˜ao, obter o alculo do MSE e FPE,
salvar diversos parˆametros de projeto e resultados em arquivo e por fim, pode tamem
chamar uma fun¸ao feita pelo pr´oprio usu´ario. Ou seja, digita-se no campo apropriado
o nome da fun¸ao e ent˜ao ela ´e chamada a partir da interface. Dentro desta fun¸ao o
usu´ario pode manipular os dados de projeto e resultados como desejar, tal como salvar,
visualizar, deletar, dentre outros. E ao final da sua fun¸ao, ela p ode retornar um valor,
de acordo com sua necessidade, que ser´a apresentada no formul´ario principal do software.
4.3 Rotina para alculo dos olos
´
Otimos para o
Modelo
Conforme apresentado, nem sempre ´e vi´avel ao usu´ario testar diversos olos, princi-
palmente quando trata-se de sistemas MIMO. Para tanto, as teorias desenvolvidas sobre
sele¸ao de olos em (Reginato e Oliveira, 2007b; Reginato e Oliveira, 2007a) foram tamb´em
4.3 Rotina para alculo dos olos
´
Otimos para o Modelo 43
Figura 4.3: Interface Assistente para Aloca¸ao de olos
encapsuladas em rotinas dispon´ıveis ao usu´ario.
A rotina ´e chamada atrav´es de linha de comando, conforme definido a seguir:
otimiza
polos(entradas,saidas,ordem,polo ro,opcao,[x
0
])
entradas: matriz de entrada do sistema, com a dimens˜ao N
i
× E
i
. Caso seja uma
identifica¸ao no dom´ınio da freq¨uˆencia, a vari´avel aqui presente deve ser do tipo ”frd”.
Para obtˆe-la, o usu´ario pode utilizar a interface principal do software.
saidas: matriz de sa´ıda do sistema, com a dimens˜ao N
i
×S
i
. Caso seja uma identifica¸ao
no dom´ınio da freq¨encia, esta vari´avel deve ser passada como [].
ordens: matriz de ordens do modelo GOBF do sistema, com a dimens˜ao E
i
× S
i
.
Para facilitar o entendimento, os parˆametros a seguir foram retirados da ordem de como
ao passados `a fun¸ao.
opcao: Admite apenas 2 valores: 0 ou 1. Caso opcao seja 1, enao o usu´ario est´a definindo
4.3 Rotina para alculo dos olos
´
Otimos para o Modelo 44
manualmente o tipo dos olos. Caso opcao seja 0, pede-se que a rotina encontre os
melhores olos, permitindo que sejam de qualquer tipo (Kautz, Laguerre ou GOBF),
conforme visto na se¸ao 3.2.
polo
ro: matriz de ordens OBF do sistema, com a dimens˜ao E
i
× S
i
, sempre respeitando
o parˆametro definido no argumento opcao. polo
ro deve ser m´ultiplo de ordens.
[x
0
]: parˆametro opcional. Conem o valor inicial para os olos, sempre respeitando o
parˆametro definido no argumento opcao. As otimiza¸oes come¸cam com este ponto inicial,
caso definido pelo usu´ario.
Na sequˆencia, alguns exemplos de utiliza¸ao da rotina otimiza polos ao apresenta-
dos. Nestes exemplos, caso a identifica¸ao seja no dom´ınio do tempo, saidas deve ser
uma matriz N
i
× S
i
. Caso o dom´ınio da identifica¸ao seja a freq¨encia, saidas deve ser
[].
Exemplos
1. Sistema SISO. Desejam-se 4 bases, sendo que 1 olo real repete-se nela.
otimiza
polos(entradas,saidas,4,1,1,[p
1
])
2. Sistema SISO. Desejam-se 4 bases, sendo que 2 olos reais repetem-se nela.
otimiza
polos(entradas,saidas,4,2,1,[p
1
p
2
])
3. Sistema SISO. Desejam-se 4 bases, com possibilidade de 4 olos reais distintos.
otimiza
polos(entradas,saidas,4,4,1,[p
1
p
2
p
3
p
4
])
4. Sistema SISO. Desejam-se 4 bases, com 1 par de olos complexo conjugados. Este
par acaba por estar presente 2 vezes na base.
otimiza
polos(entradas,saidas,4,1i,1,[p
1
])
5. Sistema SISO. Desejam-se 4 bases, com 2 pares de olos complexo conjugados.
Estes pares ao repetem-se na base.
otimiza
polos(entradas,saidas,4,2i,1,[p
1
p
2
])
5. Sistema SISO. Desejam-se 8 bases, com 4 olos reais e 2 pares de olos complexo
conjugados. Estes pares ao repetem-se na base.
otimiza
polos(entradas,saidas,8,4+2i,1,[p
1
p
2
. . . p
8
])
6. Sistema SISO. Desejam-se 4 bases, com apenas 1 olo. No entanto, quer-se que
4.3 Rotina para alculo dos olos
´
Otimos para o Modelo 45
a otimiza¸ao encontre os melhores olos. Como quer-se apenas 1 olo, este pode apenas
ser real (Laguerre).
otimiza
polos(entradas,saidas,4,1,0)
7. Sistema SISO. Desejam-se 4 bases, com 2 olos. No entanto, ´e desej´avel que a
otimiza¸ao encontre os melhores olos, podendo ser real (Laguerre) ou imagin´ario (Kautz).
Para este exemplo, caso os olos encontrados sejam reais, eles estar˜ao presentes 2 vezes e
caso sejam complexo conjugados, estar˜ao presentes apenas 1 vez.
otimiza
polos(entradas,saidas,4,2,0)
8. Sistema SISO. Desejam-se 6 bases, com 3 olos. No entanto, quer-se que a
otimiza¸ao encontre os melhores olos, podendo ser real (Laguerre) ou imagin´ario (Kautz).
Para este exemplo, podem-se encontrar 3 olos reais distintos (ou iguais), ou enao 1 olo
real juntamente com 1 par de olos complexo cojugado. O conjunto de olos encontrado
estar´a presente 2 vezes na base.
otimiza
polos(entradas,saidas,6,3,0)
9. Sistema MIMO com 3 entradas e 2 sa´ıdas. Deseja-se:
E
1
- S
1
: Ordem 2 / 1 olo real presente 2 vezes na base;
E
2
- S
1
: Ordem 3 / 1 olo real e 1 par de olos complexo conjugados;
E
3
- S
1
: Ordem 4 / 2 pares de olos complexo conjugados;
E
1
- S
2
: Ordem 5 / 5 olos reais;
E
2
- S
2
: Ordem 10 / 1 olo real e 2 par de olos complexo conjugados: este conjunto
est´a presente 2 vezes na base;
E
3
- S
2
: Ordem 7 / 5 olos reais e 1 par de olos complexo conjugados.
otimiza polos(entradas,saidas,[2 3 4; 5 10 7],[1 1+1i 2i; 5 1+2i 5+1i],1)
10. Sistema MIMO com 3 entradas e 2 sa´ıdas. Deseja-se que os olos sejam otimizados
sem que seja definido o tipo de olo, ou seja, para cada rela¸ao entrada × sa´ıda, diferentes
combina¸oes de olos podem ser encontradas em fun¸ao da ordem do modelo.
E
1
- S
1
: Ordem 2 / polo
ro: 1 - O algoritmo poder´a encontrar apenas 1 olo real, e
este estar´a presente na base por 2 vezes.
E
2
- S
1
: Ordem 3 /polo
ro: 3 - O algoritmo poder´a encontrar 3 olos reais ou 1 olo
real com 1 par de olos complexo conjugados.
4.3 Rotina para alculo dos olos
´
Otimos para o Modelo 46
E
3
- S
1
: Ordem 4 / polo ro: 2 - O algoritmo poder´a encontrar 2 olos reais (presentes
na base 2 vezes) ou encontrar 1 par de olo complexo conjugados (tamb´em repetidos na
base 2 vezes).
E
1
- S
2
: Ordem 5 / polo
ro: 5 - O algoritmo poder´a encontrar 5 olos reais, encontrar
1 olo real com 2 pares de olos complexo conjugados ou encontrar 3 olos reais com 1
par de olo complexo conjugados.
E
2
- S
2
: Ordem 10 / polo
ro: 5 - O algoritmo poder´a encontrar 5 olos reais,
encontrar 1 olo real com 2 pares de olos complexo conjugados ou encontrar 3 olos
reais com 1 par de olo complexo conjugados. Para quaisquer olos encontrados, eles
estar˜ao presentes na base por 2 vezes.
E
3
- S
2
: Ordem 7 / polo
ro: 7 - O algoritmo poder´a encontrar 7 olos reais, encontrar
1 olo real com 3 pares de olos complexo conjugados, encontrar 3 olos reais com 2
pares de olo complexo conjugados ou encontrar 5 olos reais com 1 par de olo complexo
conjugados.
otimiza polos(entradas,saidas,[2 3 4; 5 10 7],[1 3 2; 5 5 7],1)
ao ´e poss´ıvel, para sistemas SISO ou MISO, mesclar o parˆametro opcao com 0 e
1. Portanto tal parˆametro tem dimens˜ao 1 × 1, assim ao acompanhando dimens˜oes de
entradas e sa´ıdas do sistema.
Ap´os executar a linha de comando relativa `a otimiza¸ao a ser feita, o usu´ario ser´a per-
guntado sobre qual tipo de otimiza¸ao quer usar. Ele pode escolher entre 3 op¸oes: apenas
Programa¸ao Quadr´atica Sequencial (SQP) (op¸ao 1), apenas Particle Swarm Optimiza-
tion (PSO) (op¸ao 2) ou algoritmo H
´
IBRIDO (SQP+PSO) (Reginato e Oliveira, 2007b;
Reginato e Oliveira, 2007a) (op¸ao 3).
Caso o usu´ario queira alterar parˆametros espec´ıficos relativos ao algoritmo PSO ou
ao SQP, tais parˆametros encontram-se internos `as fun¸oes, portanto ao sendo poss´ıvel
sua altera¸ao de forma externa.
Qualquer que seja o crit´erio para a obten¸ao de olos, o algoritmo busca sempre
minimizar tal crit´erio. O crit´erio de erro ´e definido manualmente pelo usu´ario dentro da
fun¸ao calcula
funcao gerenciamento. Tal fun¸ao tamb´em pode ser a mesma fun¸ao
definida na interface principal do software, no local My Custom Function”. Caso o
usu´ario queira uma fun¸ao com outro nome, deve especificar tal nome na interface e,
quando utilizar a otimiza¸ao, especificar tal nome dentro dos odigos fontes dos arquivos
envolvidos na otimiza¸ao (esta ´ultima ao ao recomend´avel).
4.3 Rotina para alculo dos olos
´
Otimos para o Modelo 47
A cada novo melhor valor da fun¸ao custo, o resultado da otimiza¸ao ´e salvo no
diret´orio de trabalho atual do Matlab (´e o diret´orio retornado pelo comando cd’). O
nome do arquivo ´e ’melhor.mat’. Caso, ao iniciar uma nova simula¸ao, a exista um
arquivo com mesmo nome no mesmo diret´orio, o conte´udo ´e sobrescrito sem que o usu´ario
seja avisado.
O arquivo ”melhor.mat” conem as seguintes vari´aveis:
entradas: Matriz entradas definida pelo usu´ario;
saidas
: Matriz
saidas
definida pelo usu´ario;
ordem:
´
E a vari´avel ordem definida pelo usu´ario;
GLOBAL
tipo polos: Aparece apenas quando opcao ´e igual a 1, ´e a mesma vari´avel
polo
ro definida pelo usu´ario. Quando a opcao ´e igual a 0, esta vari´avel ao existe e
aparece a vari´avel num
lambdas;
num
lambdas: Aparece apenas quando opcao ´e igual a 0, ´e a mesma vari´avel polo ro
definida pelo usu´ario. Quando opcao ´e igual a 1, esta vari´avel ao existe e aparece a
vari´avel GLOBAL
tipo polos;
nome
criterio: Nome da fun¸ao de custo definida pelo usu´ario, proveniente, por
padr˜ao, da fun¸ao calcula
funcao gerenciamento;
criterio
minimizacao: Valor da fun¸ao de custo que o usu´ario definiu na fun¸ao
calcula
funcao gerenciamento. Este ´e o menor valor obtido pela minimiza¸ao;
algoritmo: Nome do algoritmo utilizado para a otimiza¸ao, definido pelo usu´ario;
polos: olos otimizados que ao como resultado o menor valor para a fun¸ao custo
especificada, cujo valor da fun¸ao custo est´a na vari´avel criterio
minimizacao;
gamas
que dao os polos: Quando a otimiza¸ao ´e realizada com a opcao igual a 0,
ao os valores da equa¸ao 3.2 que ao os olos encontrados em polos;
motivo
parada: String que informa qual o crit´erio de parada que ocasionou o ermino
do procedimento de otimiza¸ao. Caso nenhum crit´erio de parada seja atingido, marca a
´ultima vez que o arquivo foi salvo. Isto pode ocorrer em situa¸oes inesperadas como o
travamento do computador (ou mesmo do Matlab), queda do fornecimento de energia
el´etrica, etc.
4.4 Otimizador de olos em Batelada 48
4.4 Otimizador de olos em Batelada
`
As vezes ´e conveniente enfileirar (agendar) otimiza¸oes de olos (as mesmas mostradas
na se¸ao anterior). Tal necessidade vem `a tona principalmente quando se quer combinar
diversas ordens ou tipos de olos para um sistema qualquer.
Para tanto est´a definida uma fun¸ao que permite ao usu´ario agendar arias otimiza¸oes
de olos para um mesmo sistema, de forma que, ao acabar uma otimiza¸ao, uma pr´oxima
otimiza¸ao ´e iniciada, e assim sucessivamente, at´e que todas sejam conclu´ıdas. Tal ao ´e
desej´avel tamem para quando o computador que executa as otimiza¸oes estar´a por longo
per´ıodo sem monitora¸ao humana.
A rotina para otimiza¸ao de olos em batelada a suporte para sistemas SISO e MISO.
Sistemas MIMO ao ao suportados de uma o vez, sendo ent˜ao necess´ario que o sistema
MIMO em quest˜ao seja desacoplado em S
i
sistemas MISO. A rotina identifica sistemas
no dom´ınio do tempo ou da freq¨encia.
Para chamar a fun¸ao deve-se utilizar a seguinte linha de comando:
batelada(entradas,saidas,ordem,polo
ro,opcao)
A fun¸ao rec´em apresentada possui os mesmos parˆametros da fun¸ao de otimiza¸ao
simples. No entanto, o ´unico diferencial ´e a forma de formata¸ao de seus parˆametros.
As vari´aveis entradas e saidas possuem a mesma forma apresentada previamente.
A vari´avel ordem e polo
ro tem dimens˜oes B
i
× E
i
, onde B
i
´e o n´umero total de
identifica¸oes a serem realizadas.
Exemplos:
Para ilustrar de forma simples o mecanismo para um sistema MISO com 3 entradas,
pode-se exemplificar que desejam-se 2 simula¸oes em batelada.
1. Em todas as simula¸oes, definirem-se-´a as componentes reais e/ou imagin´arias dos
olos. Os tipos de olos e ordens ao dados por:
Simula¸ao 1:
E
1
- S
1
- Ordem 4 / 2 pares de olos complexo conjugados;
E
2
- S
1
- Ordem 8 / 4 olos reais e 2 pares de olos complexo conjugados;
E
3
- S
1
- Ordem 3 / 3 olos reais.
4.4 Otimizador de olos em Batelada 49
Simula¸ao 2:
E
1
- S
1
- Ordem 2 / 1 olo real (presente 2 vezes na base);
E
2
- S
1
- Ordem 6 / 3 pares de olos complexo conjugados;
E
3
- S
1
- Ordem 7 / 3 olos reais e 2 pares de olos complexo conjugados.
batelada(entradas,saidas,[4 8 3; 2 6 7],[2i 4+2i 3; 1 3i 3+2i],1)
2. Em todas as simula¸oes, o usu´ario deixar´a que a otimiza¸ao encontre os melhores
tipos de olos (permitindo unicamente ou a combina¸ao de Laguerre e Kautz):
Simula¸ao 1:
E
1
- S1 - Ordem 3 / polo
ro: 3;
E
2
- S1 - Ordem 2 / polo
ro: 1 (os olos estar˜ao presentes 2 vezes na base);
E
3
- S1 - Ordem 6 / polo
ro: 2 (os olos estar˜ao presentes 3 vezes na base).
Simula¸ao 2:
E
1
- S1 - Ordem 4 / polo
ro: 2 (os olos estar˜ao presentes 2 vezes na base);
E
2
- S1 - Ordem 9 / polo
ro: 9;
E
3
- S1 - Ordem 20 / polo
ro: 4 (os olos estar˜ao presentes 5 vezes na base).
batelada(entradas,saidas,[3 2 6; 4 9 20],[3 1 2; 2 9 4],0)
Ao inserir os parˆametros para a identifica¸ao em batelada, o usu´ario ser´a perguntado
sobre o nome de t´ıtulo da simula¸ao. Num exemplo pr´atico, caso o usu´ario insira o nome
’teste’, os resultados de cada otimiza¸ao ao gravados num total de B
i
arquivos com o
nome iniciando em ’teste
melhor caso 1’ e terminando em ’teste melhor caso B
i
’. Em
seguida ´e realizada a sele¸ao do etodo de otimiza¸ao que deseja-se utilizar. O m´etodo
selecionado ´e utilizado para todas as B
i
otimiza¸oes.
Cada arquivo gerado possui as mesmas vari´aveis descritas na se¸ao anterior. Os
arquivos tamem ao gravados na pasta de trabalho atual do Matlab.
Quando cada arquivo B
i
´e gerado, no mesmo diret´orio onde ele se encontra, um
arquivo com nome ’resultados.csv’ tamb´em ´e gerado. Este arquivo cont´em a compara¸ao
do crit´erio de custo (j´a ordenado de forma crescente) de cada arquivo B
i
a gerado, seguido
do respectivo nome do arquivo. Desta forma o projetista pode encontrar facilmente a
melhor estima¸ao de parˆametros com base no menor valor da fun¸ao custo presente no
4.5 Valida¸ao de Modelos GOBF 50
arquivo ’resultados.csv’.
Ap´os qualquer tipo de otimiza¸ao, seja ela utilizando a rotina batelada ou otimi-
za
polos, o arquivo com os resultados pode ser importado para o software ’identgobf
para que os resultados sejam visualizados e o usu´ario tenha uma vis˜ao mais aprofundada
do modelo obtido.
4.5 Valida¸ao de Modelos GOBF
Uma vez estimados os parˆametros do modelo GOBF, como em qualquer processo de
identifica¸ao de sistemas, deve-se partir para a etapa de valida¸ao do modelo, que consiste
em utilizar novos dados de entrada (entradas
validacao) que, aplicados ao modelo,
devem produzir sa´ıda estimada compat´ıvel com a sa´ıda medida neste novo conjunto de
dados (saidas validacao).
Para utilizar a fun¸ao de valida¸ao de modelos GOBF, deve-se utilizar o comando:
[saidas
validacao estimada]=validacao gobf(entradas validacao,A,B,c)
A vari´avel entradas
validacao ´e a vari´avel de entrada para o processo de valida¸ao
de dados. Deve ter a mesma dimens˜ao da vari´avel entradas do processo de identifica¸ao.
As vari´aveis A, B e c ao as matrizes em espa¸co de estados do modelo GOBF a
identificado. Para sistemas SISO, ao matrizes convencionais, tal qual estamos habituados
a manipul´a-las. No entanto, para sistemas MISO ou MIMO, o formato dessas vari´aveis
deve ser de acordo com aqueles salvos pela interface ’identgobf na etapa de identifica¸ao.
Esta fun¸ao retorna a vari´avel saidas
validacao estimada que tem a mesma di-
mens˜ao da vari´avel saidas que foi utilizada na parte de identifica¸ao.
Por fim, cabe ao usu´ario, de posse das vari´aveis saidas
validacao e
saidas
validacao estimada compar´a-las, visualiz´a-las e/ou aplicar algum alculo de
fun¸ao de custo para determinar se o modelo GOBF ´e ou ao alido para o sistema em
quest˜ao.
Ressalta-se que, para o alculo da saidas
validacao estimada, a saidas validacao
ao ´e utilizada. Isto significa que o etodo utilizado ´e de previs˜ao a horizonte longo pois
os valores passados do sinal de sa´ıda ao ao utilizados (o modelo ao ´e auto-regressivo).
Al´em disso, neste modelo ao assume-se modelagem para o sinal de perturba¸ao, ou seja,
ao equipara-se aos m´etodos PEM que possuem polinˆomios C ou D diferentes de 1, tais
4.5 Valida¸ao de Modelos GOBF 51
como ARMAX, ARARX e ARARMAX.
52
5 Exemplos e Aplica¸oes
Neste Cap´ıtulo, alguns estudos de caso sobre identifica¸ao de sistemas dinˆamicos u-
sando modelos formados por bases de fun¸oes ortonormais ao apresentados. Tais estu-
dos de caso abordam o problema de identifica¸ao tanto no dom´ınio do tempo como da
freq¨encia. Estes estudos de caso abordam, de uma parte, a quest˜ao da sele¸ao de olos,
de outra parte, a identifica¸ao de sistemas MISO e SISO. No caso da sele¸ao de olos,
o algoritmo apresentado em (Reginato e Oliveira, 2007b; Reginato e Oliveira, 2007a) ´e
utilizado. Ressalta-se que, para todos os exemplos aqui mencionados, todas os modelos
obtidos ao modelos de previs˜ao livre, pois toda a ecnica apresentada neste documento
visa obten¸ao de modelos GOBF utilizando previs˜ao livre.
5.1 Sistemas El´etricos
A determina¸ao de modelos dinˆamicos de sistemas ´e um procedimento importante
em diversos campos da engenharia. Dentre estes campos, pode-se citar a ´area de sis-
temas el´etricos de potˆencia, com a modelagem de componentes como transformadores de
potˆencia ou linhas de transmiss˜ao. Modelos dinˆamicos permitem realizar an´alises e obter
resultados que seriam demorados, de alto custo ou mesmo invi´aveis se fossem efetuados
no sistema real. No caso espec´ıfico da ´area de sistemas de potˆencia, a determina¸ao de
modelos de transformadores vem recebendo bastante aten¸ao nas ´ultimas d´ecadas e di-
versas abordagens em sido apresentadas na literatura, por exemplo, podem-se citar os
trabalhos (Vaessen, 1998; Gustavsen, 2004; Keyhani et al., 1998; Degeneff et al., 1998).
Neste contexto, uma ecnica que vem sendo aplicada com bons resultados ´e a denominada
vector fitting (Gustavsen e Semlyen, 1999).
Essa modelagem se faz necess´aria para o aprimoramento das simula¸oes de transit´orios
el´etricos caracterizados por diferentes faixas de freq¨encia e que envolvam a intera¸ao
desses equipamentos com os demais componentes do sistema el´etrico. Estat´ısticas de
desempenho de transformadores tˆem apresentado um n´umero significativo de falhas de
5.1 Sistemas El´etricos 53
causa desconhecida que podem estar potencialmente relacionadas `as tens˜oes transit´orias
originadas pela intera¸ao dos transformadores com os outros componentes do sistema
el´etrico. O estudo dessa intera¸ao requer, na maioria dos casos, a realiza¸ao de simula¸oes
de transit´orios cuja confiabilidade dos resultados depende diretamente da modelagem do
transformador. Um exemplo t´ıpico ´e o estudo dos transit´orios apidos (VFT) gerados
quando de manobras e curtos-circuitos em subesta¸oes blindadas a SF6 e que atingem os
transformadores. O impacto dessas sobretens˜oes, de frentes muito apidas, ir´a depender da
resposta desses equipamentos a altas freq¨uˆencias e sua determina¸ao implica na obten¸ao
de modelos apropriados a essa condi¸ao. Dessa forma, ´e de grande interesse para o
aprimoramento da an´alise de transit´orios decorrentes da intera¸ao dos transformadores
com os demais componentes do sistema a obten¸ao de modelos que representem esses
equipamentos em diferentes faixas de freq¨uˆencia.
No caso de linhas de transmiss˜ao, a expans˜ao do sistema el´etrico tem requerido con-
stru¸oes que resultam em configura¸oes com alto grau de assimetria e acoplamentos. Dessa
forma, modelos sem restri¸oes quanto `a geometria ou natureza das linhas de transmiss˜ao
se tornam necess´arios. Modelos no dom´ınio de fases a est˜ao sendo propostos na litera-
tura e disponibilizados em programas de transit´orios eletromagn´eticos com objetivo de
retratar o comportamento dinˆamico desse componente diretamente sem a transi¸ao para
o dom´ınio modal. Para isso, o aprimoramento de ecnicas de identifica¸ao torna-se de
grande interesse.
Nos ´ultimos anos, ocorreram algumas falhas de transformadores importantes no sis-
tema de tranmiss˜ao brasileiro. Em alguns casos, ao foi obtido um diagn´ostico claro,
mas as evidˆencias apontam para as opera¸oes de manobra como causa mais prov´avel. A
an´alise dessas ocorrˆencias motivou o desenvolvimento de simula¸oes de transit´orios eletro-
magn´eticos com o objetivo de quantificar ao apenas a amplitude, mas principalmente as
faixas de freq¨encias t´ıpicas das tens˜oes transit´orias de alta freq¨uˆencia nos terminais dos
transformadores. Essas tens˜oes ao geradas, por exemplo, nas manobras de energiza¸ao de
transformadores em vazio, em subesta¸oes de diferentes configura¸oes e n´ıveis de tens˜ao.
Neste contexto, a modelagem de transformadores, assim como de outros componentes
do sistema el´etrico, pode ser feita analisando as caracter´ısticas f´ısicas destes equipamentos,
abordagem freq¨uentemente utilizada por fabricantes. Este procedimento, conhecido por
abordagem caixa branca, ´e realizado com modelos baseados na f´ısica ou first principles
models. Os modelos ao, em geral, descritos em termos de equa¸oes diferenciais que
representam o equipamento e cuja solu¸ao pode ser obtida analiticamente ou via simula¸ao
5.1 Sistemas El´etricos 54
por computador, por exemplo, atrav´es de pacotes como MATLAB ou ATP/EMTP. Esta
metodologia ´e, muitas vezes, dif´ıcil de ser colo cada em pr´atica, tendo em vista que detalhes
construtivos dos equipamentos para determina¸ao dos coeficientes que caracterizam as
propriedades do componente ao est˜ao dispon´ıveis ou ao, muitas vezes, de conhecimento
exclusivo dos fabricantes.
5.1.1 Linha de Transmiss˜ao
Seja um sistema de 18
a
ordem, apresentado em (Gustavsen e Semlyen, 1999), criado
para simular o comportamento de um sistema com resposta em freq¨uˆencia suave. Uma vez
que a curva de resposta em freq¨encia ´e suave, sem presen¸ca de picos de ressonˆancia, em
princ´ıpio ao a necessidade da utiliza¸ao de olos complexos conjugados para identificar
o sistema.
Um modelo com bases de Laguerre com um ´unico olo real localizado em 0.55, 15
fun¸oes de base, p ossui MSE de 5.69 × 10
6
e, com 50 fun¸oes, MSE de 1.31 × 10
8
(Oliveira, 2007). Atrav´es da utiliza¸ao do etodo vector fitting, modelos de 4
a
, 6
a
e 8
a
ordens obtidos possuem MSE de 5.04 × 10
7
, 9.61 × 10
10
e 3.84 × 10
11
, respectivamente
(Gustavsen e Semlyen, 1999).
No caso de modelos GOBF, a sele¸ao dos olos ´e mais complexa e um algoritmo de
otimiza¸ao ao linear, baseado no crit´erio de custo MSE ´e necess´ario para sua obten¸ao.
Neste caso, a dimens˜ao da base, i.e. o n´umero de fun¸oes n
b
, e a estrutura de cada fun¸ao
G
b
da base, i.e., o n´umero de olos reais e o n´umero de olos complexos que forma cada
fun¸ao, devem ser definidos a priori.
A otimiza¸ao foi executada visando minimizar a fun¸ao custo definida pelo MSE entre
a resposta em freq¨encia do sistema e do modelo. Vale ressaltar que a identifica¸ao foi
feita inteiramente no tempo (ou seja, o vetor C do espa¸co de estados GOBF foi obtido
atraes de minimiza¸ao no dom´ınio do tempo), apenas o crit´erio de custo utilizado foi no
dom´ınio da freq¨uˆencia. O crit´erio de custo foi assim definido para que ficasse compat´ıvel
com resultados a publicados.
O sistema (de 18
a
ordem) foi modelado por GOBF com 4 fun¸oes e 4 olos reais
distintos: 0.06, 0.25, 0.69 e 0.95 e est´a representado na figura 5.1. O respectivo MSE entre
as curvas ´e 1.441 × 10
7
. Mais compara¸oes sobre esta simula¸ao podem ser encontradas
em (Reginato e Oliveira, 2007b), (Reginato e Oliveira, 2007a) e (Reginato e Oliveira,
2008b).
5.1 Sistemas El´etricos 55
10
2
10
3
10
4
10
5
5
6
7
8
9
10
11
12
13
Frequência (rad/seg)
Magnetude (dB)
Modelo GOBF − Linha de Transmissão
Sistema
Modelo
Figura 5.1: Exemplo 1 - Linha de Transmiss˜ao
5.1.2 Transformador
O sistema de 18
a
ordem, proposto em (Gustavsen e Semlyen, 1999), com curva de
resposta em freq¨encia ao suave, foi modelado por GOBF com olos complexos conju-
gados.
Em (Oliveira, 2007), isto ´e, com uma base formada por somente um par de olos
complexos conjugados de localiza¸ao 0.061 + j0.64, ao necess´arias 500 fun¸oes de base
para uma aproxima¸ao adequada, representada por um MSE de 3.88. O melhor mo delo
obtido por GOBF, com MSE de 1.44 × 10
25
, reduziu a dimens˜ao do modelo previamente
mencionado em 96 porcento (de 250 mil elementos, o sistema passou a ter apenas 400) e
o MSE do erro de estima¸ao foi levado a valores pr´oximos de zero, gerando resposta em
freq¨encia conforme mostrado na figura 5.2.
Para que os valores obtidos fossem compat´ıveis com os a publicados, a identifica¸ao
foi feita no dom´ınio do tempo, mas o crit´erio de custo utilizado foi a minimiza¸ao do MSE
na freq¨uˆencia.
Maiores detalhes sobre este estudo de caso podem ser encontrados em (Reginato e
Oliveira, 2007a) e (Reginato e Oliveira, 2008b).
5.1.3 Transformador BBC e ZTR
O setor de 345kV da subesta¸ao Tijuco Preto tem um arranjo em disjuntor e meio
com barramentos de 700m, dez entradas de linhas de transmiss˜ao, quatro bancos de
5.1 Sistemas El´etricos 56
0 200 400 600 800 1000
0
20
40
60
80
100
120
140
160
180
Magnitude [p.u.]
Freqüência [10xkHz]
Modelo GOBF − Transformador
Sistema
Modelo
Figura 5.2: Exemplo 2 - Transformador
autotransformadores e quatro ilhas de bancos de capacitores em derivao. Cada auto-
transformador de 765/345/20kV 500MV A est´a localizado a cerca de 190m dos dois
disjutores que podem ser utilizados para a sua manobra. O modelo de dois fabricantes
destes transformadores, neste trabalho denominados de BBC e ZTR, ao analisados.
Os dados de entrada e sa´ıda no dom´ınio do tempo ao comuns em testes de curto
circuito em transformadores. Portanto, ser˜ao utilizados como base da identifica¸ao no
dom´ınio do tempo. A forma de onda 1, 2/50µs, compat´ıvel com o impulso atmosf´erico do
ensaio diel´etrico normalizado, ´e aplicada no prim´ario do transformador. A resp osta em
termos de corrente, tamb´em no prim´ario dos transformadores, pode ser visualizada, a
com a identifica¸ao nas figuras 5.3 e 5.5. Portanto, o objetivo ´e obter uma representa¸ao
da admitˆancia do transformador.
Para o Transformador BBC, ´e utilizada uma base de fun¸oes formada com fun¸oes
internas com 9 olos distintos, sendo 4 pares de olos complexos conjugados e 1 olo real,
totalizando um sistema de 9
a
ordem (n˜ao a repeti¸ao de bases). O MSE do procedimento
de estima¸ao de parˆametros do modelo identifica¸ao foi 1.48 × 10
8
, conforme figura 5.3.
O procedimento de valida¸ao ´e realizado atrav´es da curva de resposta em freq¨encia.
A compara¸ao entre a curva de resposta em freq¨uˆencia do sistema e a obtida atraes do
modelo calculado ´e apresentada na figura 5.4. Pode-se observar que a curva de resposta
em freq¨uˆencia do modelo est´a bem pr´oxima da curva do sistema real, validando assim o
modelo identificado.
Para o Transformador ZTR, ´e utilizada uma base de fun¸oes formada com fun¸oes
5.1 Sistemas El´etricos 57
0 0.5 1 1.5
x 10
−4
−2
−1
0
1
2
3
x 10
4
Resposta no Tempo do Trafo BBC
Corrente (A)
Tempo (s)
Sistema
Modelo Identificado
Figura 5.3: Exemplo 3 - Transformador BBC (Identifica¸ao)
10
0
10
1
10
2
10
3
10
4
10
5
10
6
10
0
10
1
10
2
10
3
10
4
10
5
10
6
Freqüência (Hz)
Magnetude (abs)
Resposta em Freqüência do Trafo BBC
Sistema
Modelo Identificado
Figura 5.4: Exemplo 3 - Transformador BBC (Valida¸ao)
internas com 7 olos distintos, sendo 3 pares de olos complexos conjugados e 1 olo real,
totalizando um sistema de 7
a
ordem (n˜ao a repeti¸ao de bases). O MSE do procedimento
de estima¸ao de parˆametros do modelo identifica¸ao foi 9.32. Apesar de elevado (quando
comparado ao caso BBC), tal ´ındice de desempenho ainda ´e muito baixo, visto que a
amplitude dos sinais em quest˜ao est˜ao na ordem de dezenas de kiloamp´eres. Melhores
aproxima¸oes na etapa de estima¸ao podem ser obtidas, por´em comprometem a apro-
xima¸ao do modelo como um todo se consideramos a etapa de valida¸ao. A figura 5.5
conem a aproxima¸ao do modelo obtido.
O procedimento de valida¸ao ´e realizado atrav´es da curva de resposta em freq¨encia.
A figura 5.6 cont´em uma compara¸ao entre a resposta em freq¨uˆencia do sistema e do
5.1 Sistemas El´etricos 58
0 1 2 3 4 5
x 10
−5
−2.5
−2
−1.5
−1
−0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
Resposta no Tempo do Trafo ZTR
Corrente (A)
Tempo (s)
Sistema
Modelo Identificado
Figura 5.5: Exemplo 3 - Transformador ZTR (Identifica¸ao)
modelo obtido. Verifica-se que, tamem no dom´ınio da freq¨uˆencia, o modelo apresenta
uma aproxima¸ao satisfat´oria.
10
0
10
1
10
2
10
3
10
4
10
5
10
6
10
1
10
2
10
3
10
4
10
5
10
6
Freqüência (Hz)
Magnetude (abs)
Resposta em Freqüência do Trafo ZTR
Sistema
Modelo Identificado
Figura 5.6: Exemplo 3 - Transformador ZTR (Valida¸ao)
Maiore informa¸oes sobre as identifica¸oes dos Transformadores BBC e ZTR podem
ser obtidas em (Reginato e Oliveira, 2008c).
5.1.4 VCFP - Voice Coil-Driven Flexible Positioner
O simulador VCFP (Voice Coil-Driven Flexible Positioner), mostrado na figura 5.7,
´e um circuito anal´ogico que reproduz a dinˆamica de mecanismos de posicionamento pre-
sentes em unidades de disco r´ıgido.
5.1 Sistemas El´etricos 59
Figura 5.7: VCFP
O procedimento de identifica¸ao tem como primeiro passo a sele¸ao da estrutura e dos
parˆametros das fun¸oes da base. Tem-se como ponto de partida uma fun¸ao interna com
dois parˆametros (dois olos reais ou um par complexo conjugado). Com uma base com
uma repeti¸ao desta fun¸ao, isto ´e, n
g
= 1, chegam-se aos seguintes olos ´otimos: 0.94 e
0.50. O MSE entre a sa´ıda do sistema e a previs˜ao livre ou paralelo-paralelo do modelo ´e
de 5.645 × 10
3
.
A identifica¸ao dos parˆametros do modelo OBF realizada na sequˆencia gerou um
modelo cujo MSE entre a sa´ıda do sistema e a previs˜ao livre do modelo, calculado usando
dados de valida¸ao, ´e de 8.14 × 10
3
. Os sinais de sa´ıda do sistema e de previs˜ao podem
ser visualizados na figura 5.8. O valor do MSE desta previs˜ao ´e bem pequeno quando
comparado com a amplitude do sinal de sa´ıda, portanto, a correta aloca¸ao dos olos
permitiu a adequada representa¸ao de um sistema de ordem elevada utilizando-se poucos
(2) parˆametros, para melhor visualiza¸ao, o erro absoluto entre a resposta do sistema e a
resposta do modelo ´e visualizado na figura 5.9.
0 0.2 0.4 0.6 0.8 1
−10
−5
0
5
10
15
Sistema e Modelo no Tempo
Corrente (A)
Tempo (s)
Sistema
Modelo
Figura 5.8: Exemplo 4 - VCFP Tempo (Identifica¸ao)
5.1 Sistemas El´etricos 60
0 0.2 0.4 0.6 0.8 1
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
Erro
Tempo (s)
Erro Absoluto
Figura 5.9: Exemplo 4 - VCFP Erro Absoluto (Identifica¸ao)
Para fins de compara¸ao, a figura 5.10 apresenta a resposta em freq¨encia do VCFP,
juntamente com a do modelo apresentado na figura 5.8. Nota-se que o modelo estimado
no dom´ınio do tempo aproxima de forma adequada a tendˆencia da resposta em freq¨encia
real do sistema. Por´em, melhores aproxima¸oes podem ser obtidas se a identifica¸ao for
realizada diretamente no dom´ınio da freq¨encia.
8
10
12
14
16
18
20
Magnitude (dB)
10
1
10
2
10
3
10
4
10
5
−225
−180
−135
−90
−45
0
45
Phase (deg)
Bode Diagram
Frequency (rad/sec)
Sistema
Modelo
Figura 5.10: Exemplo 4 - VCFP Tempo (Valida¸ao)
Desta forma, parte-se para a identifica¸ao diretamente no dom´ınio da freq¨encia. No
procedimento de identifica¸ao, utiliza-se a mesma estrutura da base do exemplo anterior,
isto ´e, uma fun¸ao interna com dois parˆametros n
b
= 2. No modelo com somente uma
fun¸ao interna, n
g
= 1, chega-se aos seguintes olos ´otimos: 0.8677 e 0.5673. No modelo
com 9 repeti¸oes da fun¸ao interna, chega-se aos seguintes olos: 0.4774 ±j0.303. A
5.2 Sistemas T´ermicos 61
resposta em freq¨encia do sistema original e a dos modelos com 1 e 9 fun¸oes (2 e 18
parˆametros) podem ser visualizadas na figura 5.11. Pode-se observar que a aproxima¸ao
da resposta em freq¨uˆencia original ´e melhor que no caso da identifica¸ao no dom´ınio do
tempo. Nota-se, entretanto, que a ressonˆancia observada perto dos 10
4
rad/s ´e melhor
aproximada pelo modelo com mais fun¸oes.
8
10
12
14
16
18
20
Magnitude (dB)
10
1
10
2
10
3
10
4
10
5
−225
−180
−135
−90
−45
0
45
Phase (deg)
Bode Diagram
Frequency (rad/sec)
Sistema
Modelo 2 pólos e n
g
= 1
Modelo 2 pólos e n
g
= 9
Figura 5.11: Exemplo 4 - VCFP Freq¨encia
5.2 Sistemas T´ermicos
Desde a crise energ´etica mundial no anos 70, programas de simula¸ao de energia
em edifica¸oes em sendo desenvolvidos nos Estados Unidos e Europa a fim de reduzir
o consumo de energia el´etrica especialmente de sistemas HVAC. Em geral, o principal
objetivo de obter modelos para an´alises ermicas em edifica¸oes residenciais e comerciais
´e a melhora das condi¸oes clim´aticas internas para os ocupantes e preven¸ao de desperd´ıcio
de energia pelo sistema HVAC, o que gera custos.
Normalmente, os modelos ao obtidos atraes da an´alise f´ısica do sistema (caixa-
branca) ou por processo de identifica¸ao (caixa-preta), menos usualmente modelos caixa-
cinza (jun¸ao de an´alise f´ısica e identifica¸ao) ao usados. Em geral, para casos de identi-
fica¸ao caixa-preta para estes tipos de sistemas, usam-se etodos de regress˜ao linear, a fim
de relacionar a(s) entrada(s) com a(s) sa´ıda(s) do sistema. Exemplos que utilizam estes
tipos de etodos ao apresentados em (Virk e Loveday, 1994; Freire et al., 2005b; Freire
et al., 2008; Freire, 2006).
Apesar de estes modelos normalmente obterem resultados fact´ıveis, o tipo de previs˜ao
5.2 Sistemas T´ermicos 62
realizado pelos modelos resultantes, quando estes possuem modelagem para o erro, ao
´e uma previs˜ao livre, visto que, para a obten¸ao da sa´ıda do modelo, utiliza-se a sa´ıda
real do sistema, mesmo na etapa de valida¸ao. Portanto, uma regress˜ao linear com bons
parˆametros, utilizando-se desta metodologia, certamente possui resultados satisfat´orios.
Em contrapartida, os modelos GOBF, tal qual foram desenvolvidos durante todo
os trabalho, ao utilizam-se da metodologia citada. Portanto garantindo uma previs˜ao
livre para o modelo, no entanto, dificultando a obten¸ao de resultados muito satisfat´orios
quando comparados com modelos obtidos atrav´es de ecnicas de regress˜ao linear.
A fim de determinar modelos baseados em procedimentos de identifica¸ao de sis-
temas, dados de entrada e sa´ıda ao necess´arios para experimentos e simula¸oes. Para
os casos aqui estudados, os dados utilizados nos m´etodos de identifica¸ao foram obtidos
por simula¸oes no software PowerDomus (Mendes et al., 2005). Em poucas palavras, o
PowerDomus, cuja interface ´e mostrada na figura 5.12, ´e um software orientado a objetos
que vem sendo desenvolvido pelo Curso de Engenharia Mecˆanica da Pontif´ıcia Univer-
sidade Cat´olica do Paran´a para simular o comportamento higrot´ermico de edifica¸oes,
considerando difus˜ao de vapor e migra¸ao de capilaridade, dentre outros. As simula¸oes
provenientes de tal software ao utilizadas, por exemplo, em (Freire et al., 2005b; Freire
et al., 2005a; Freire et al., 2008; Freire et al., 2006; Freire, 2006; Donaisky et al., 2007)
Figura 5.12: Interface do software PowerDomus
Para defini¸ao dos sistemas a serem identificados, baseou-se em informa¸oes obtidas no
Anexo 41 (IEA, 2003), que vem sendo desenvolvido pela Agˆencia Internacional de Energia
(IEA) (Judkoff e Neymark, 1995). O estudo de caso em quest˜ao ´e para o modelo BESTest
600FF. A id´eia do anexo proposto pela Agˆencia Internacional de Energia ´e desenvolver, de
5.2 Sistemas T´ermicos 63
um modo compreens´ıvel e integrado, um conjunto de an´alises para programas de simula¸ao
de edifica¸oes envolvendo m´etodos anal´ıticos, comparativos e emp´ıricos - Building Energy
Simulation Test (BESTest). Tais m´etodos ajudar˜ao a melhorar a qualidade dos programas
existentes no mercado.
O caso FF600 foi projetado a partir de materiais leves, isto ´e, menor in´ercia ermica.
A sigla ”FF”adicionada ao nome do caso proposto pela IEA significa free floating, ou seja,
temperatura interna variando livremente de acordo com as varia¸oes clim´aticas externas,
isto significa que ao a sistema de condicionamento de ar embutido. Assim sendo, um
aquecedor de potˆencia de 5000W ´e adicionado ao modelo de edifica¸ao para testes de
controle em malha fechada.
Os ambientes simulados possuem as seguintes caracter´ısticas: assumem-se as zonas
de dimens˜oes 8.0m × 6.0m × 2.7m de comprimento, largura e altura respectivamente,
possuindo duas janelas de 3.0m × 2.0m direcionadas para o sul, como apresentado na
figura 5.13.
Os sinais de entrada dispon´ıveis no sistema provenientes de vari´aveis clim´aticas ao:
temperatura externa, umidade relativa externa e radia¸ao solar total. Obtiveram-se estes
dados a partir de arquivos clim´aticos do tipo TRY. Esses arquivos possuem 8760 registros
correspondendo `as varia¸oes de temperatura, umidade relativa, radia¸ao solar direta e
difusa, velocidade do vento e dire¸ao do vento para uma determinada cidade para todas
as horas do ano. Desta forma, utilizou-se uma interpola¸ao linear aplicada aos dados para
que as simula¸oes pudessem utilizar um passo de tempo menor. A ´unica entrada para
o sistema que ao ´e proveniente dos arquivos clim´aticos utilizados ´e o sinal de controle
aplicado a um sistema de climatiza¸ao. Por fim, os sinais de sa´ıda ao: temperatura e
umidade relativa internas. O sistema de climatiza¸ao utilizado trata-se de um dispositivo
de aquecimento.
Figura 5.13: Dimens˜oes do Ambiente Utilizado nas Simula¸oes
Para as identifica¸oes apresentadas, os dados do sistema foram gerados pelo PowerDo-
5.2 Sistemas T´ermicos 64
mus, com base nos dados de entrada da cidade de Denver (Estados Unidos da Am´erica).
Quando a esta¸ao trabalhada ´e o ver˜ao, os dados ao de 1 a 15 de julho, e quando in-
verno, ao de 1 a 15 de dezembro. Para todos os casos, o per´ıodo de amostragem ´e de 60
segundos.
Ainda para qualquer esta¸ao, os dados de entrada para os modelos ao: temperatura
externa (
o
C), umidade relativa externa (-) e radia¸ao solar total (kW/m
2
). Quando a
controle de temperatura, a uma quarta entrada no sistema, que ´e o sinal de controle
(kW ), proveniente do aquecedor. Para a identifica¸ao, considerou-se como sa´ıda apenas
a temp eratura interna (constituindo um sistema MISO), no entanto, o sistema tamb´em
possui a umidade relativa interna como sa´ıda (portanto o sistema, como um todo, ´e
MIMO).
Tanto para a esta¸ao de ver˜ao, quanto para a de inverno, o procedimento de identi-
fica¸ao consistiu em considerar o sistema com as quatro entradas, ou seja, com o sinal de
controle. a a valida¸ao ´e feita para os dados do sistema sem o sinal de controle, assim
sendo, o sistema da valida¸ao apresenta apenas trˆes entradas.
5.2.1 FF600 - Inverno
Os dados de entrada do sistema ao mostrados na figura 5.14. Quando o sistema est´a
em malha fechada, a entrada respectiva ao sinal de controle ´e apresentada na figura 5.15.
0 5 10 15
−40
−20
0
20
Temp. Ext (°C)
Inverno − Dados de Entrada
0 5 10 15
0
0.5
1
Umi. Ext. (−)
0 5 10 15
0
0.5
1
1.5
Rad. Sol. Tot. (kW/m²)
Tempo (Dias)
Figura 5.14: Dados de Entrada para BESTest FF600 Inverno
Aplicando-se o m´etodo proposto em (Reginato e Oliveira, 2007b; Reginato e Oliveira,
2007a) para a sele¸ao de olos, com fun¸ao de custo dada pelo MSE entre a curva de sa´ıda
5.2 Sistemas T´ermicos 65
0 5 10 15
0
500
1000
1500
2000
2500
3000
3500
4000
4500
5000
Sinal de Controle (kW)
Tempo (Dias)
Inverno − Sinal de Controle (quarta entrada)
Figura 5.15: Sinal de Controle BESTest 600FF Inverno
do sistema e do modelo, definindo-se que os olos para a modelagem de cada entrada
seriam apenas do tipo real, combinando-se as diversas ordens poss´ıveis entre 1 e 3 para
cada entrada, o modelo para o sistema foi obtido com 2 olos para a temperatura externa
(localiza¸ao 0.9975 e 0.9953), 2 olos para a umidade relativa externa (apesar de ambos
estarem em 0.9998, a diferen¸ca em casas decimais subsequentes), 1 olo em 0.9929 para
a radia¸ao solar total e, finalmente, 2 olos (em 0.9988 e 0.8990) para o sinal de controle.
Tanto o resultado da identifica¸ao, que ´e visto na figura 5.16, com MSE 1.3893, quanto
o da valia¸ao, visto na figura 5.17, com MSE 2.1843, comprovam que os olos selecionados
representam bem as dinˆamicas do sistema.
0 5 10 15
10
15
20
25
30
35
40
45
50
Tempo (dias)
Temperatura (°C)
FF600 INVERNO − Com Controle
Power Domus
Modelo
Figura 5.16: Identifica¸ao BESTest 600FF Inverno
5.2 Sistemas T´ermicos 66
0 5 10 15
0
5
10
15
20
25
30
35
40
45
Tempo (dias)
Temperatura (°C)
FF600 INVERNO − Sem Controle
Power Domus
Modelo
Figura 5.17: Valida¸ao BESTest 600FF Inverno
5.2.2 FF600 - Ver˜ao
Os dados de entrada do sistema na esta¸ao ver˜ao est˜ao apresentados na figura 5.18.
Quando em malha fechada, observa-se na figura 5.19 que a pouco sinal de controle (no
restante do per´ıodo omitido graficamente, o sinal ´e zero). Isto deve-se ao fato de que,
por ser ver˜ao, a temperatura a estava elevada, portanto ao fazendo sentido o sinal de
controle (aquecedor) atuar sobre o sistema.
0 5 10 15
10
20
30
40
Temp. Ext (°C)
Verão − Dados de Entrada
0 5 10 15
0
0.5
1
Umi. Ext. (−)
0 5 10 15
0
0.5
1
1.5
Rad. Sol. Tot. (W/m²)
Tempo (Dias)
Figura 5.18: Dados de entrada para BESTest 600FF Ver˜ao
Seguindo o mesmo procedimento de identifica¸ao utilizado na esta¸ao inverno, en-
contraram-se 2 olos (em 0.9996 e 0.7146) para a temperatura externa, outros 2 olos
(localizados em 0.9995 e 0.5556) para a umidade relativa externa, mais 2 olos (que,
5.2 Sistemas T´ermicos 67
0 0.01 0.02 0.03 0.04 0.05
0
500
1000
1500
2000
2500
3000
3500
Sinal de Controle (kW)
Tempo (Dias)
Verão − Sinal de Controle (quarta entrada)
Figura 5.19: Sinal de controle BESTest 600FF Ver˜ao
apesar de estarem alocados aparentemente em 0.9873, possuem valores distintos quando
considerada maior precis˜ao num´erica) e, por fim, 1 olo (em 0.9796) para o sinal de
controle.
O resultado da identifica¸ao ´e mostrado na figura 5.20, com MSE 1.3308, seguido
pelo resultado da valida¸ao, na figura 5.21, com MSE 1.3588. Tais figuras explicitam a
eficiˆencia do etodo de aloca¸ao de olos tamb´em para sistemas ermicos.
Tanto o resultado da identifica¸ao, que ´e visto na figura 5.20, quanto o da valia¸ao,
visto na figura 5.21, comprovam que os olos selecionados representam bem as dinˆamicas
do sistema.
0 5 10 15
20
25
30
35
40
45
Tempo (dias)
Temperatura (°C)
FF600 VERÃO − Com Controle
Power Domus
Modelo
Figura 5.20: Identifica¸ao BESTest 600FF Ver˜ao
5.2 Sistemas T´ermicos 68
0 5 10 15
20
25
30
35
40
45
Tempo (dias)
Temperatura (°C)
FF600 VERÃO − Sem Controle
Power Domus
Modelo
Figura 5.21: Valida¸ao BESTest 600FF Ver˜ao
5.2.3 FF600 - Modelo Unificado
Anteriormente um modelo para o inverno era apresentado, e outro modelo tamb´em era
obtido para o ver˜ao. Neste caso, o objetivo foi obter apenas um modelo que representasse
ambas as esta¸oes, com ou sem controle, assim facilitando a incorpora¸ao do modelo em
pacotes de controle.
Para a fun¸ao custo, utilizou-se a edia entre o MSE do caso ver˜ao com controle,
ver˜ao sem controle, inverno com controle e inverno sem controle.
O resultado foi obtido com a seguinte aloca¸ao de olos: 1 olo em 0.9982 para a
temperatura externa, 3 olos em 0.9814, 0.9953 e 0.9994 para a umidade relativa externa,
1 olo para a radia¸ao solar total (em 0.9934) e 2 olos em 0.9999 e 0.8840 para o sinal
de controle.
Os resultados da identifica¸ao para a esta¸ao inverno com controle, inverno sem cont-
role, ver˜ao com controle e ver˜ao sem controle est˜ao mostrados, respectivamente, nas figuras
5.22, 5.23, 5.24 e 5.25 e com MSE: 2.2668, 2.2562, 1.9403 e 1.6823, respectivamente.
Novamente o algoritmo de sele¸ao de olos obteve ˆexito, mesmo tratando-se de um
sistema MISO, no qual dinˆamicas distintas tiveram de ser modeladas e algumas ao-
linearidades estiveram presentes.
5.2 Sistemas T´ermicos 69
0 5 10 15
10
15
20
25
30
35
40
45
50
Tempo (dias)
Temperatura (°C)
FF600 INVERNO − Com Controle
Power Domus
Modelo
Figura 5.22: BESTest 600FF Inverno com Controle - Modelo Unificado
0 5 10 15
0
5
10
15
20
25
30
35
40
45
Tempo (dias)
Temperatura (°C)
FF600 INVERNO − Sem Controle
Power Domus
Modelo
Figura 5.23: BESTest 600FF Inverno sem Controle - Modelo Unificado
5.2.4 C´elula T´ermica Experimental
Nesta parte, o aparato experimental projetado em (Meissner et al., 2008), discorrido
em (Meissner, 2008) e utilizada em (Donaisky et al., 2008b; Donaisky et al., 2008a) tem
seus sistemas identificados atrav´es da t´ecnica GOBF.
O sistema a ser considerado ´e um sistema MIMO, possuindo 3 entradas e 3 sa´ıdas,
conforme as figuras 5.26 e 5.27, respectivamente.
Para facilitar o processo de identifica¸ao, o sistema MIMO foi dividido em trˆes outros
subsistemas:
5.2 Sistemas T´ermicos 70
0 5 10 15
20
25
30
35
40
45
Tempo (dias)
Temperatura (°C)
FF600 VERÃO − Com Controle
Power Domus
Modelo
Figura 5.24: BESTest 600FF Ver˜ao com Controle - Modelo Unificado
0 5 10 15
20
25
30
35
40
45
Tempo (dias)
Temperatura (°C)
FF600 VERÃO − Sem Controle
Power Domus
Modelo
Figura 5.25: BESTest 600FF Ver˜ao sem Controle - Modelo Unificado
Subsistema SISO Ventila¸ao: para a sa´ıda ”velocidade do ar”, a entrada ´e apenas
o ”controle de velocidade do ar”, ou seja, as outras entradas do sistema ao afetam a
dinˆamica desta sa´ıda.
Subsistema MISO Temperatura: as trˆes entradas apresentadas est˜ao relacionadas `a
sa´ıda ”temperatura interna”.
Subsistema MISO Umidade: as entradas trˆes entradas tamb´em alteram o comporta-
mento da sa´ıda ”umidade relativa interna”.
Para todas as identifica¸oes, o algoritmo para sele¸ao de olos apresentado em (Reginato
e Oliveira, 2007b; Reginato e Oliveira, 2007a) foi utilizado. Para os subsistemas cujas
5.2 Sistemas T´ermicos 71
0 1000 2000 3000 4000 5000 6000 7000
0
20
40
60
Sinais de Entrada do Sistema
Contr. Vel. Ar (%)
0 1000 2000 3000 4000 5000 6000 7000
0
20
40
Contr. Temp. Int. (%)
0 1000 2000 3000 4000 5000 6000 7000
0
50
100
Contr. Umi. Rel. Int. (%)
Amostras
Figura 5.26: Entradas do Sistema
0 1000 2000 3000 4000 5000 6000 7000
0
2
4
6
Sinais de Saída do Sistema
Vel. Ar (m/s)
0 1000 2000 3000 4000 5000 6000 7000
10
20
30
40
Temp. Int. (ºC)
0 1000 2000 3000 4000 5000 6000 7000
0
50
100
Umi. Rel. Int. (%)
Amostras
Figura 5.27: Sa´ıdas do Sistema
sa´ıdas ao ventila¸ao e temperatura, a fun¸ao custo foi minimizar o MSE. a para o sub-
sistema Umidade, a fun¸ao custo foi 1×R
2
, pois apresentou melhores resultados quando
comparada `a fun¸ao custo MSE.
Para a sele¸ao de olos feita para cada subsistema, houve combina¸ao de diversas
ordens, repeti¸oes e tipos de olos a fim de encontrar o conjunto de olos que melhor
representasse cada subsistema, sendo aqui publicados apenas o melhor modelo obtido
analisando-se puramente a fun¸ao custo em quest˜ao, ressaltando-se que em nenhuma
fun¸ao custo houve pondera¸ao de ordem para o modelo. Isto foi necess´ario pois, para a
otimiza¸ao ao se optou pela parametriza¸ao utilizada na se¸ao 3.2.
5.2 Sistemas T´ermicos 72
A melhor identifica¸ao para o subsistema de Ventila¸ao obteve 1 olo real e 2 pares
de olos complexos conjugados. Este conjunto de olos foi repetido 8 vezes na base. O
resultado da identifica¸ao, cujo MSE foi 0.6744, est´a na figura 5.28.
0 1000 2000 3000 4000 5000 6000 7000
0
1
2
3
4
5
6
Identificação Subsistema Velocidade do Ar
Amostras
Velocidade do ar (m/s)
Sistema
Modelo
Figura 5.28: Identifica¸ao do Subsistema Ventila¸ao
a o subsistema de Temperatura teve cada uma de suas entradas modeladas por um
par de olos complexos conjugados, com cada olo repetindo-se 20 vezes na base (os
olos que modelam tais entradas diferem-se entre si). Desta forma, a otimiza¸ao acabou
encontrando um modelo Kautz como sendo a melhor solu¸ao do sistema MISO em quest˜ao.
Seu MSE foi de 0 .0674 e a resposta do modelo, sobreposta `a do sistema est´a na figura
5.29.
0 1000 2000 3000 4000 5000 6000 7000
10
15
20
25
30
35
40
45
Identificação Subsistema Temperatura Interna
Amostras
Temperatura Interna (ºC)
Sistema
Modelo
Figura 5.29: Identifica¸ao do Subsistema Temperatura
Por fim, a sele¸ao de olos para o subsistema Umidade tamb´em obteve um modelo
5.2 Sistemas T´ermicos 73
com bases de Kautz para cada entrada do sistema. Os olos foram repetidos por 20 vezes
na base, fazendo com que a fun¸ao custo ficasse em 0.9732. O resultado da identifica¸ao
do subsistema mencionado ´e apresentado na figura 5.30.
0 1000 2000 3000 4000 5000 6000 7000
0
10
20
30
40
50
60
70
80
90
100
Identificação Subsistema Umidade Relativa Interna
Amostras
Umidade Relativa Interna (%)
Sistema
Modelo
Figura 5.30: Identifica¸ao do Subsistema Umidade
5.2.5 Outros Sistemas
Um estudo de caso envolvendo a sele¸ao de olos em um sistema MISO ´e apresentado.
O sistema tem trˆes entradas e uma sa´ıda, e as fun¸oes transferˆencia relacionando cada
entrada com a sa´ıda ao dadas por:
y(z) =
0.1459z
3
+ 0.1313z
2
+ 0.02771z 0.00423
z
4
1.7z
3
+ 1.753z
2
1.068z + 0.3161
u
1
(z)
+
0.2548z
2
+ 0.1911z + 0.1822
z
3
1.4z
2
+ 0.6724z 0.1539
u
2
(z)+
0.6155z
4
+ 1.323z
3
0.7309z
2
0.02993z + 0.09752
z
5
1.96z
4
+ 1.552z
3
0.7342z
2
+ 0.2091z 0.02205
u
3
(z)
+ξ(z)
onde y(z) ´e o sinal de sa´ıda e u
i
(z), i = 1, 2, 3 ao os sinais de entrada. ξ(z) ´e um
sinal de perturba¸ao, com distribui¸ao normal, edia zero e desvio padr˜ao igual a 0.1.
Um conjunto de trˆes sinais de entrada (sinais aleat´orios, com 100 amostras, distribui¸ao
normal, edia zero e desvio padr˜ao igual a 1) juntamente com a sa´ıda do sistema ao
os dados necess´arios para a sele¸ao dos olos. Para fins de ilustrar a aplicabilidade do
m´etodo em diferentes bases, fixou-se que a rela¸ao entre u
1
e y ´e modelada utilizando-se
5.2 Sistemas T´ermicos 74
Tabela 5.1: Resultados para Diferentes Estruturas de Modelos
N´umero de Bases ´ındice (×10
2
)
Kautz Lag. GOBF MSE FPE
10 6 12 0.639 1.14
8 8 8 0.678 1.11
10 7 8 0.695 1.16
10 6 8 0.703 1.15
8 7 8 0.725 1.16
8 6 8 0.727 1.14
6 4 9 1.11 1.64
6 4 8 1.17 1.69
6 4 6 1.46 2.01
4 3 8 1.97 2.66
4 3 6 2.15 2.80
a base de Kautz, entre u
2
e y a base de Laguerre e entre u
3
e y a base GOBF com 4 olos
reais (com possibilidade de serem distintos). Cada uma das trˆes bases foi constru´ıda com
oito fun¸oes.
Os olos das trˆes bases foram selecionados utilizando-se o etodo proposto em (Reginato
e Oliveira, 2007b; Reginato e Oliveira, 2007a). Os valores obtidos para os olos ao:
0.17 + 0.58i para a base de Kautz, 0.45 para a base de Laguerre e 0.3, 0.88, 0.13, 0.12
para base GOBF. O MSE entre a sa´ıda do sistema e a do modelo, utilizando-se previs˜ao
livre ´e 6.78 × 10
3
.
Adicionalmente, na Tabela 5.1 encontram-se resultados da aproxima¸ao do modelo
utilizando bases ortonormais com diferentes n´umeros de fun¸oes.
Para a valida¸ao do modelo, outro conjunto de dados foi gerado. Os novos sinais de
entrada possuem as mesmas caracter´ısticas daqueles utilizados para gerar os dados de
identifica¸ao. Para a valida¸ao, o MSE entre a sa´ıda do sistema e a do modelo (tamb´em
utilizando previs˜ao livre) ´e 7.78 × 10
3
. A Fig. 5.31 conem os sinais de sa´ıda e a previs˜ao
modelo, assim como o erro absoluto entre estes sinais. Estes resultados mostram que o
modelo obtido, com poucos parˆametros devido a sele¸ao inicial adequada de olos para as
bases, ´e alido para representar o sistema. Mais detalhes sobre esta identifica¸ao foram
publicadas em (Reginato e Oliveira, 2007b; Reginato e Oliveira, 2008a).
5.2 Sistemas T´ermicos 75
0 20 40 60 80 100
−2
−1
0
1
2
3
Saídas do Sistema e do Modelo
Sistema
Modelo
0 20 40 60 80 100
0
0.05
0.1
0.15
0.2
Amostras
Erro Absoluto
Figura 5.31: Dados de Valida¸ao para o Caso MIMO
76
6 Conclus˜ao
A id´eia de utilizar bases de fun¸oes ortonormais na representa¸ao de sistemas ´e um
campo antigo, por´em teve grande repercus˜ao ap´os a ecada de 90. Apesar de ter conheci-
mento amplo, ainda ´e explorado por poucos grupos de pesquisa no Brasil. Este conceito
vem sendo utilizado na representa¸ao e modelagem de sistemas em diferentes ´areas da
engenharia.
Aliada `as caracter´ısticas e vantagens das bases de fun¸oes ortonormais formadas por
fun¸oes internas com arias dinˆamicas descritas neste documento, estudos apresentados
visam analisar e melhorar o desempenho dos modelos em quest˜ao. As frentes de estudo
foram divididas em duas partes: dom´ınio do tempo e dom´ınio da freq¨uˆencia. O desen-
volvimento matem´atico referente a ambos os dom´ınios foi enao descrito.
A fim de facilitar a aplicabilidade, por terceiros, dos resultados em sistemas reais e
de interesse atualmente nos processos, foram desenvolvidas interfaces gr´aficas e rotinas
computacionais que trabalham em conjunto, facilitando a aplica¸ao desta estrutura de
modelos para sistemas dinˆamicos. O essencial para a obten¸ao dos modelos foi encapsu-
lado em um ambiente computacional.
De fato, um passo importante na identifica¸ao de um sistema dinˆamico usando bases
ortonormais ´e a sele¸ao dos olos das fun¸oes. Isto ´e devido ao fato que as fun¸oes de
transferˆencias geradas por tal etodo necessitam que seus olos sejam adequadamente alo-
cados para que a s´erie de fun¸oes que represente o sistema possua uma boa convergˆencia.
Neste sentido, um algoritmo h´ıbrido, baseado em inteligˆencia artificial, foi utilizado para
que a aloca¸ao dos olos fosse feita de maneira mais precisa e de forma a obter baixas
dimens˜oes para os sistemas estudados. Por fim, diversos exemplos mostraram a aplica-
bilidade e validade da teoria, algoritmo e software propostos em diversas ´areas, tanto
no dom´ınio do tempo, quanto no da freq¨encia. Todos os modelos (que ao de previs˜ao
livre) obtidos permitem a aplica¸ao GOBF em sistemas el´etricos, em particular linhas de
transmiss˜ao e transformadores, em sistemas SISO e MISO, em sistemas eletro-mecˆanicos
6.1 Trabalhos Futuros 77
e sistema ermicos ao descritos, evidenciando a aplicabilidade dos resultados obtidos.
6.1 Trabalhos Futuros
Trabalhos futuros na ´area de identifica¸ao de sistemas usando bases de fun¸oes ortonor-
mais incluem:
1. Compara¸ao de desempenho entre modelos GOBF e outras estruturas para identi-
fica¸ao de sistemas a propostas.
2. Compara¸ao entre o etodo de sele¸ao de olos GOBF proposto e os a abordados
na literatura.
3. Estudo da influˆencia, na sele¸ao de olos, dos parˆametros pertinentes aos algoritmos
utilizados para as otimiza¸oes.
4. Flexibilidade para que possa ser utilizada a previs˜ao um passo a frente nas identi-
fica¸oes, o que pode ser desej´avel em alguns casos.
5. Sele¸ao de olos na freq¨encia com base na an´alise dos seus respectivos espectros,
de forma a pelo menos obter parˆametros iniciais para os algoritmos de otimiza¸ao.
6. Apesar de conclu´ıdo para a finalidade `a qual foi proposto, o software pode agre-
gar mais interfaces, como as apresentadas nas figuras 6.1, 6.2, 6.3. ao interfaces semi-
acabadas e com linhas de odigo a embutidas, que necessitam ter seus parˆametros corre-
tamente lidos, formatados e enviados `as respectivas rotinas.
6.1 Trabalhos Futuros 78
Figura 6.1: Interface para Valida¸ao de Modelos GOBF
6.1 Trabalhos Futuros 79
Figura 6.2: Interface para Otimiza¸ao de olos em Modelos GOBF
6.1 Trabalhos Futuros 80
Figura 6.3: Sub-Interface da Otimiza¸ao: Interface de M´ultiplas Simula¸oes
81
Referˆencias
Abonyi, J., R. Babuska, H. B. Verbruggen e F. Szeifert (2000). Incorporating prior
knowledge in fuzzy model identification. International Journal of Systems Science
31(5), 657–667.
Aguirre, A. e L. A. Aguirre (1998). Time series analysis of monthly beef cattle prices with
nonlinear autoregressive models. In: Applied Economics. Vol. 32. pp. 245–275.
Aguirre, L. A. (2007). Introdu¸ao `a Identificao de Sistemas: ecnicas Lineares e ao
Linares Aplicadas a Sistemas Reais. 3 ed.. Editora UFMG. Belo Horizonte, MG,
Brasil.
Ak¸cay, H. e P. Heuberger (2001). A frequency-domain iterative identification algorithm
using general orthonormal basis functions. Automatica 37(5), 663–674.
Alessandri, A. e T. Parisini (1997). Nonlinear modelling of complex large-scale plants using
neural networks and stochastic approximation. IEEE Transactions on Systems, and
Cybernetics - Part A 27(6), 750–757.
Arruda, G. H. M. e P. R. Bastos (2007). Enciclop´edia de Autom´atica. Chap. 1: Introdu¸ao
`a Identifica¸ao de Sistemas Dinˆamicos, pp. 24–55. Vol. 3. Edgard Bl¨ucher. ao Paulo,
SP, Brasil.
Bazaraa, M. S., H. Sherali e C. M. Shetty (2006). Nonlinear Programming. John Wiley &
Sons, Inc. New York, EUA.
Bechmann, H., M. K. Nielsen, H. Madsen e K. P. Niels (1999). Grey-box modelling of
pollutant loads from a sewer system. Urban Water 1(1), 71–78.
Billings, S. A. (1980). Identification of nonlinear systems - a survey. IEE Proceedings-D
Control Theory and Applications 127(6), 272–285.
Bohlin, T. (1994). A case study of grey box identification. Automatica 30(2), 307–318.
Bouzrara, K. e H. Messaoud (2002). Robust identification of thermal processes using
orthogonal function bases. Heat Transfer Research 33(7-8), 473–489.
Brus, L. (2005). Nonlinear identification of a solar heating system. In: Proceedings of the
IEEE International Conference on Control Applications. Toronto, EUA. pp. 1491–
1497.
Bulsari, A. e H. Saxen (1991). Application of feed-forward neural networks for system
identification of a biochemical process. In: IEEE International Joint Conference on
Neural Networks. Vol. 2. Singapura. pp. 1224–1229.
Referˆencias 82
Callafon, R. A., P.M.J. Van den Hof e D.K. De Vries (1994). Identification and control
of a compact disc mechanism using fractional representations. In: Proc. 10th IFAC
Symposium on System Identification. Dinamarca.
Campello, R. J. G.B. e G. H. C. Oliveira (2007). Enciclop´edia de Autom´atica. Chap. 4:
Modelos ao Lineares, pp. 104–122. Vol. 3. Edgard Bl¨ucher. ao Paulo, SP, Brasil.
Campello, R. J. G. B., G. H. C. Oliveira e W. C. Amaral (2007). Identifica¸ao e controle
de processos via desenvolvimentos em eries ortonormais. Parte A: Identifica¸ao. Sba
Controle & Automa¸ao 18(3), 301–321.
Campello, R. J. G. B. (2002). Arquiteturas e Metodologias para Modelagem e Controle
de Sistemas Complexos utilizando Ferramentas Cl´assicas e Modernas. PhD thesis.
UNICAMP. Campinas, SP, Brasil.
Clowes, G. J. (1965). Choice of the time-scaling factor for linear system approximation
using orthonormal laguerre functions. In: IEEE Transactions on Automatic Control.
Vol. 10. pp. 487–489.
Cluett, W. R. e L. Wang (1992). Frequency smoothing using laguerre model. Control
Theory and Applications, IEE Proceedings D pp. 88–96.
Coelho, A. A. R. e L. S. Coelho (2004). Identificao de Sistemas Dinˆamicos Lineares.
Editora UFSC. Florian´opolis, SC, Brasil.
Cubillos, F. A. e E. L. Lima (1997). Identification and optimizing control of a roucher
flotation circuit using an adaptable hybrid-neural model. Minerals Engineering
10(7), 707–721.
Cubillos, F. A., P. I. Alvarez, J. C. Pinto e E. L. Lima (1996). Hybrid-neural modeling
for particulate solid drying processes. In: Power Technology. Vol. 87. pp. 153–160.
Degeneff, R. C., W. J. McNutt, W. Neugebauer, J. Panek, M. E. McCallun e C. C. Honey
(1998). Transformer response to system switching voltages. IEEE Trans. on Power
Apparatus and Systems.
den Bosch, P. P. J. Van e A. C. Van der Klauw (1994). Modeling, Identification and
Simulation of Dynamical Systems. CRC Press. Londres, Inglaterra.
den Hof, P. M. J. Van, P. S. C. Heuberger e J. Bokor (1995). System identification with
generalized orthonormal basis functions. Automatica 31(12), 1821–1834.
Deschrijver, D. e T. Dhaene (2006). Parametric identification of frequency domain systems
using orthonormal rational bases. In: 14th IFAC Symposium on System Identification
(SYSID 2006). pp. 837–842.
de Hoog, Thomas (2001). Rational orthonormal bases and related transforms in linear
system modeling. PhD thesis. Delft University of Technology, Delft - The Nether-
lands.
Donaisky, E., G. H. C. Oliveira e N. Mendes (2008a). Algoritmos PMV-MBPC para
conforto t´ermico em edifica¸oes: Aplica¸ao em uma c´elula-teste. In: XVII Congresso
Brasileiro de Autom´atica (CBA’08). Juiz de Fora, MG, Brasil.
Referˆencias 83
Donaisky, E., G. H. C. Oliveira e N. Mendes (2008b). An´alise de desempenho de contro-
lador MBPC baseado em PMV aplicado a sistemas de aquecimento. In: V Congresso
Nacional de Engenharia Meanica (CONEM’08). Salvador, BA, Brasil.
Donaisky, E., G. H. C. Oliveira, R. Z. Freire e N. Mendes (2007). PMV-based predictive
algorithms for controlling thermal comfort in building plants. In: Proc. of 16th IEEE
Conference on Control Applications (CCA’07). Suntec City, Singapore.
Duran, M. A. e B. S. White (1994). Bayesian estimation applied to effective heat transfer
coefficients in a packed bed. Chemical Engineering Science 50(3), 495–510.
Elnaggar, A. (1997). On line parameter estimation of the laguerre functions. In: Proc. of
the 36th Conference on Decision & Control. Vol. 2. pp. 1273–1276.
El-Fandi, M., I. A. Henderson e J. McGhee (1998). System identification of a two input
two-output simulated distillation column using noninteracting multisymbol signals.
In: Proceedings of the 12th European Simulation Multiconference on Simulation.
Manchester, Reino Unido. pp. 176–179.
Eykhoff, P. (1974). System Identification : Parameter and State Estimation. John Wiley
& Sons. New York, EUA.
Fischer, B. R. e A. Medvedev (1998). Laguerre shift identification of a pressurized process.
In: Proc. of the American Control Conference. Philadelphia, EUA. pp. 1933–1937.
Freire, R. Z., G. H. C. Oliveira e N. Mendes (2005a). Development of single-zone predictive
equations using linear regression for advanced controllers synthesis. In: Proc. of the
Nineth Building Simulation Conference (IBPSA’05). Vol. 1. Montreal, Canada.
Freire, R. Z., G. H. C. Oliveira e N. Mendes (2005b). Thermal comfort based predictive
controllers for building heating systems. In: Proc. of the 16th IFAC World Congress
(IFAC’05). Prague, Czech Republic.
Freire, R. Z., G. H. C. Oliveira e N. Mendes (2006). Non-linear predictive controllers for
thermal comfort optimization and energy saving. In: Proc. of the IFAC Workshop
on Energy Saving Control in Plants and Buildings. Bansko, Bulgaria.
Freire, R. Z., G. H. C. Oliveira e N. Mendes (2008). Development of regression equa-
tions for predicting energy and hygrothermal performance of buildings. Energy and
Buildings 40(5), 810–820.
Freire, R. Z. (2006). ecnicas avan¸cadas de controle aplicadas a sistemas de clima-
tiza¸ao visando conforto ermico. Master’s thesis. Pontif´ıcia Universidade Cat´olica
do Paran´a. Curitiba, PR, Brasil.
Funkquist, J. (1997). Grey-box identification of a continuous digester - a distributed-
parameter process. Control Engineering Practice 5(7), 919–930.
Fu, Y. e G. A. Dumont (1993a). An optimum time scale for discrete Laguerre network.
IEEE Transactions on Automatic Control 38(6), 934–938.
Referˆencias 84
Fu, Y. e G. Dumont (1993b). On determination of laguerre filter pole through step or im-
pulse response data. In: Proc. 12th IFAC World Congress. IFAC. Sydney, Australia.
pp. 5:303–307.
Garcia, C. (1997). Modelagem e simula¸ao de processos industriais e de sistemas
eletromeanicos. EDUSP. ao Paulo, SP, Brasil.
Gauss, C. F. (1809). Theoria Motus Corporum Coelestium: In Sectionibus Conicis Solem
Ambientium. F. Perthes and I.H. Besser.
Giannakis, G. B. e E. Serpedin (2001). A bibliography on nonlinear system identification.
Signal Process 81, 533–580.
Gustavsen, Bjorn (2004). Wide band modeling of power transformers. IEEE Transactions
on Power Delivery 1(19), 414–422.
Gustavsen, B. e A. Semlyen (1999). Rational approximation of frequency domain re-
sponses by vector fitting. IEEE Transactions on Power Delivery.
Hellendoorn, H. e D. Driankov (1998). Fuzzy Model Identification: Selected Approaches.
Springer.
Heuberger, P.S.C. (1991). On Approximate System Identification with System Based Or-
thonormal Functions. PhD thesis. Delft University of Technology, Delft - The Nether-
lands.
Heuberger, P. S. C., P.M.J. Van den Hof e B. Wahlberg (2005). Modelling and Identifica-
tion with Rational Orthogonal Basis Functions. Springer Verlag.
Heuberger, P. S. C., P. M. J. Van den Hof e O. H. Bosgra (1995). A generalized orthonor-
mal basis for linear dynamical systems. IEEE Transactions on Automatic Control
40(3), 451–465.
Heuberger, P. S. C., T. J. Hoog, P. M. J. Van Den Hof e B. Wahlberg (2003). Orthonormal
basis functions in time and frequency domain: Hambo transform theory. Society for
Industrial and Applied Mathematics 42, 1347–1373.
IEA (2003). International energy agency - annex 41 - whole building heat, air and moisture
response moist-eng. Technical report. Modelling, Belgium.
Johansson, R., A. Robertsson, K. Nilsson e M. Verhaegen (2000). State-space system
identification of robot manipulator dynamics. In: Mechatronics. Vol. 10. pp. 403–
418.
Jones, D. R., C. D. Perttunen e B. E. Stuckman (1993). Lipschitzian optimization without
the lipshitz constant. Journal of Optimization Theory and Application 79, 157–181.
Jorgensen, S. E. (1999). State-of-the-art of ecological modelling with emphasis on devel-
opment of structural dynamic models. Ecological Modelling 120, 75–96.
Judkoff, R. D. e J. S. Neymark (1995). Building Energy Simulation Test (BESTEST) and
Diagnostic Method. Colorado National Renewable Energy Laboratory. NREL/TP-
472-6231.
Referˆencias 85
Junichiro, Y. e D. Kenji (2006). Bayesian system identification method for biochemical
reaction systems. In: IPSJ SIG Technical Reports. pp. 35–40.
Karnaukhov, A. V. e E. V. Karnaukhova (2003). Application of a new method of nonlinear
dynamical system identification to biochemical problems. Biochemistry 68(3), 253–
259.
Kautz, W. H. (1954). Transient synthesis in time domain. IRE Transactions on Circuit
Theory CT-1(3), 29–39.
Keyhani, A., S. W. Chua e S. A. Sebo (1998). Maximum likelihood estimation of trans-
former high frequency parameters from test data. IEEE Transactions on Power De-
livery.
King, J. J. e T. O’Canainn (2000). Optimum pole positions for laguerre functions models.
In: Electronics Letters. Vol. 5. pp. 601–602.
Lindskog, P e J. Sjoberg (1995). A comparison between semi-physical and black-box
neural net modeling: a case study. In: Proceedings of the International Conference:
Engineering Applications of Artificial Neural Networks, Helsinki, Finland. pp. 235–
238.
Lindskog, P. (1996). Methods, Algorithms and Tools for System Identification Based on
Prior Knowledge. PhD thesis. Linkoping University, Sweden.
Ljung, L. e T. Glad (1994). Modeling of Dynamic Systems. Prentice Hall.
Ljung, L. (1999). System Identification: Theory for the user. 2 ed.. Prenctice Hall, Inc.
Ljung, L. (2002). Prediction error estimation methods. Circuits, Systems, and Signal
Processing 21(1), 11–21.
Lorito, F. (1998). Identification of a grey-box model of nonlinear current transformer for
simulations purposes. Control Engineering Practice 6, 1331–1339.
Ludeman, L. C. (1993). Blind nonlinear system identification during ventricular fibrilla-
tion. In: Proceedings of the Twelfth Southern Biomedical Engineering Conference.
pp. 309–311.
Maione, B. e B. Turchiano (1985). Laguerre z-transfer function representation of linear
discrete-time systems. Int. Journal of Control 41(1), 245–257.
Makila, P. M. e J. R. Partington (1999). Laguerre and Kautz shift approximations of
delay systems. International Journal of Control 72(10), 932–946.
Malmquist, F. (1925). Sur la etermination d’une classe de fonctions analytiques par leurs
valeurs dans un ensemble donn´e de points. In: Comptes Rendus du Sixi`eme Congr`es
des math´ematiciens scandinaves. Copenhague, Dinamarca. pp. 253–259.
Malti, R., S. B. Ekongolo e J. Ragot (1998). Dynamic siso and miso system approxima-
tions based on optimal laguerre models. IEEE Transactions on Automatic Control
43(9), 1318–1323.
Referˆencias 86
Masnadi-Shirazi, M. A. e N. Ahmed (1991). Optimum Laguerre networks for a class of
discrete-time systems. IEEE Transactions on Signal Processing 39(9), 2104–2108.
Meissner, J. W., N. Mendes, K. C. Mendon¸ca, L. M. Moura e M. Abadie (2008). Obten¸ao
de curvas caracter´ısticas para simula¸ao de condicionadores de ar. In: Mercofrio 2008.
Curitiba, PR, Brasil.
Meissner, J. W. (2008). Desenvolvimento de um aparato experimental para avalia¸ao da
in´ercia higrosc´opica de materiais porosos de edifica¸oes. Master’s thesis. Pontif´ıcia
Universidade Cat´olica do Paran´a. Curitiba, PR, Brasil.
Mendes, N., R. C. L. F. Oliveira e G. H. Santos (2005). Energy efficiency and thermal
comfort analysis using the powerdomus hygrothermal simulation tool. In: Proc. of
the Nineth Building Simulation Conference (IBPSA’05). Vol. 1. Montreal, Canada.
pp. 9–16.
Morvan, R., N. Tanguy e L. C. Calvez (2000). Pertinent parameters for kautz approxi-
maion. Electronics Letters 36(8), 769–771.
Nalbantoglu, V., J. Bokor, G. Balas e P. Gaspar (2002). System identification with gener-
alized orthonormal basis functions: An application to flexible structures. In: Control
Engineering Practice. Vol. 11. pp. 245–259.
Ninness, B., H. Hjalmarsson e F. Gustafsson (1999). On the fundamental role of orthonor-
mal bases in system identification. In: IEEE Transactions on Automatic Control.
Vol. 44. pp. 1384–1406.
Ninness, B. (1996). Frequency domain estimation using orthonormal bases. In: in Pro-
ceedings of the 13th IFAC World Congress. pp. 381–386.
Ninness, B. (1998). The utility of orthonormal bases. Technical Report EE9802. DECE /
University of Newcastle. Australia.
Nunes, M. F. (2006). Estudo comparativo sobre etodos de identifica¸ao para levan-
tamento de modelos a partir de dados de resposta em freq¨encia. Master’s thesis.
Instituto Militar de Engenharia - IME. Rio de Janeiro, RJ, Brasil.
Ohsaki, H., M. Morita e M. Murata (2002). On modeling round-trip time dynamics of the
internet using system identification. In: 16th International Conference on Informa-
tion Networking.
Oliveira, G. H. C. e A. C. O. Rocha (2005). Identifica¸ao de linhas e transformadores
de sistemas el´etricos usando bases de laguerre e kautz. In: VII SBAI - Simp´osio
Brasileiro de Automa¸ao Inteligente. ao Luis, MA, Brasil.
Oliveira, G. H. C., G. Favier, G. Dumont e W. C. Amaral (1998). Uncertainties identifi-
cation using laguerre mo dels with application to paper machine headbox. In: Proc.
of IEEE/IMACS on Computational Engineering in Systems Applications. Vol. 1.
Tunisia. pp. 329–334.
Oliveira, G. H. C., M. F. Amorim e K. Latawiec (2005). Multiple model identification
and control of neonate incubators using laguerre basis. In: Proc. of the IFAC World
Congress. Prague/Czech Republic.
Referˆencias 87
Oliveira, G. H. C., R. J. G. B. Campello e W. C. Amaral (2007). Identifica¸ao e controle de
processos via desenvolvimentos em s´eries ortonormais. Parte B: Controle preditivo.
SBA Controle & Automa¸ao 18(3), 322–336.
Oliveira, G. H. C., W. C. Amaral e G. Favier (1996). Controle preditivo de processos
com incertezas param´etricas modelados por filtros de laguerre. In: Anais do 11
o.
Congresso Brasileiro de Automatica. Vol. 2. ao Paulo, SP, Brasil. pp. 947–952.
Oliveira, G. H. C. (1997). Controle Preditivo para Processos com Incertezas Estruturadas
baseado em eries de Fun¸oes Ortonormais. PhD thesis. DCA/FEEC/Unicamp -
Campinas/SP/Brasil.
Oliveira, G. H. C. (2007). Modelagem de componentes de sistemas el´etricos de p otˆencia
usando bases de fun¸oes ortonormais. EletroEvolu¸ao 47, 37–45.
Petrick, M. H. e B. Wigdorowitz (1997). A priori nonlinear model structure selection for
system identification. Control Engineering Practice 5(8), 1053–1062.
Reginato, B. C. e G. H. C. Oliveira (2007a). Bases de fun¸oes ortonormais generalizadas na
modelagem de componentes do sistema el´etrico de potˆencia. In: Semin´ario Nacional
de Produ¸ao e Transmiss˜ao de Energia El´etrica. Rio de Janeiro, Brasil.
Reginato, B. C. e G. H. C. Oliveira (2007b). On selecting the mimo generalized orthonor-
mal basis functions poles by using particle swarm optimization. In: Proc. of the
European Control Conference. Kos, Greece.
Reginato, B. C. e G. H. C. Oliveira (2008a). Algoritmo h´ıbrido para sele¸ao de olos em
modelos formados por bases de fun¸oes ortonormais generalizadas. In: CBA 2008 -
Congresso Brasileiro de Autom´atica. Juiz de Fora, MG, Brasil.
Reginato, B. C. e G. H. C. Oliveira (2008b). Bases de fun¸oes ortonormais generalizadas na
modelagem de componentes do sistema el´etrico de potˆencia. EletroEvolu¸ao 51, 18–
26.
Reginato, B. C. e G. H. C. Oliveira (2008c). Estudo de caso da modelagem de transfor-
madores do sistema furnas usando bases ortonormais. In: V Workspot- International
Workshop on Power Transformers. Bel´em, PA, Brasil.
Rosa, A., R. J. G. B. Campello e W. C. Amaral (2008). alculo de dire¸oes de busca
exatas para otimiza¸ao de filtros de laguerre e de kautz. In: Congresso Brasileiro de
Autom´atica - CBA. Juiz de Fora, MG, Brasil.
R. oth, P. S. C. Heuberger e P. M. J. Van den Hof (2006). Optimal pole selection for
lpv system identification with obfs, a clustering approach. 14th IFAC Symposium on
System Identification pp. 356–361.
Sabatini, A. M. (2000). A hybrid genetic algorithm for estimating the optimal time scale
of linear systems approximations using laguerre models. IEEE Transactions on Au-
tomatic Control 45(5), 1007–1011.
Sbarbaro, D. (1997). Local laguerre models. In: Multiple Model Approaches to Modelling
and Control (R. Murray-Smith e T. A. Johansen, Eds.). Chap. 10, p. 257. Taylor &
Francis.
Referˆencias 88
Schoukens, J. e R. Pintelon (1991). Identification of Linear Systems: A Practical Guideline
to Accurate Modeling. Pergamon.
Silva, T. O. (1995a). On the determination of the optimal pole position of Laguerre filters.
IEEE Trans. on Signal Processing 43(9), 2079–2087.
Silva, T. O. (1995b). Optimality conditions for truncated kautz networks with two period-
ically repeating complex conjugate poles. IEEE Transactions on Automatic Control
40(2), 342–346.
Silva, T. O. (1996). A n-width result for the generalized orthonormal basis function model.
In: Preprints of the 13th IFAC World Congress. ao Francisco, EUA. pp. 375–380.
Silva, T. O. (2000). Optimal pole conditions for laguerre and two-parameters kautz mod-
els: A survey of known results. In: Proc. of the 12th IFAC Symposium on System
Identification (SYSID). Vol. 2. Santa Barbara, EUA. pp. 457–462.
Silva, T. O. (2005). Modelling and Identification with Rational Orthonormal Basis Func-
tions. Chap. Pole Selection in GOBF Mo dels, pp. 297–336. Springer.
Silveira, B. P. (2006). Identifica¸ao de sistemas no dom´ınio da freq¨encia para aplica¸ao
em ve´ıculos a´ereos ao-tripulados. Tese de mestrado. Instituto Militar de Engenharia
- IME. Rio de Janeiro, RJ, Brasil.
Soderstr¨om, T. e P. Stoica (1989). System Identification. Prentice Hall.
Takenaka, S. (1925). On the orthogonal functions and a new formula of interpolation. In:
Japanese Journal of Mathematics II. pp. 129–145.
Tanguy, N., R. Morvam, P. Vilb´e e L. Calvez (2002). Pertinent choice of parameters for
discrete kautz approximation. IEEE Transactions on Automatic Control 47(5), 783–
787.
Thompson, M. L. e M. A. Kramer (1994). Modeling chemical processes using prior knowl-
edge and neural networks. AIChE Journal 40(8), 1328–1340.
Vaessen, P.T.M (1998). Transformer model for high frequencies. IEEE Trans. on Power
Delivery.
van Donkelaar, E.T., P.S.C. Heuberger e P.M.J. Van den Hof (1998). Identification of a
fluidized catalytic cracking unit: An orthonormal basis functions approach. In: In
Proceedings of the 1998 American Control Conference. pp. 1814–1817.
van Donkelaar, E.T. (2000). Improvement of Efficiency in Identification and Model Pre-
dictive Control of Industrial Processes: A Flexible Linear Parametrization Approach.
PhD thesis. Delft University of Technology, Delft - The Netherlands.
Virk, G. S. e D. L. Loveday (1994). Model-based control for hvac aplications. In: Proc. of
The Third IEEE Conference on Control Applications. Glasgow, Esc´ocia. pp. 1861–
1866.
Vries, D. K. e P. M. J. Van den Hof (1998). Frequency domain identification with gen-
eralized orthonormal basis functions. IEEE TRANSACTIONS ON AUTOMATIC
CONTROL 43(5), 656–669.
Referˆencias 89
Wahlberg, B. (1991). System identification using laguerre models. IEEE Trans. on Auto-
matic Control 36, 551–562.
Wahlberg, B. (1994). System identification using kautz models. IEEE Transactions on
Automatic Control 39(6), 1276–1282.
Wang, L. e W. R. Cluett (1994). Optimal choice of time-scaling factor for linear system
approximations using laguerre models. IEEE Transactions on Automatic Control
39(7), 1463–1467.
Wernholt, E. e S. Gunnarsson (2004). Nonlinear grey-box identification of industrial robots
containing flexibilities. Technical Report LiTH-ISY-R-2641. Department of Electrical
Engineering, Link¨oping University. SE-581 83 Link¨oping, Sweden.
Westwick, D. T. e R. E. Kearney (2003). Identification of Nonlinear Physiological Systems.
Wiley-IEEE Computer Society Pr.
Weyer, E., S. abor e H. Katalin (2000). Grey box fault detection of heat exchangers. In:
Control Engineering Practice. Vol. 8. pp. 121–131.
Woods, R. L. e K. L. Lawrence (1997). Modeling and Simulation of Dynamics Systems.
Prentice Hall, Inc.. New Jersey, EUA.
Ziaei, K. e D. W. L. Wang (2004). Application of orthonormal basis functions for iden-
tification of flexible - link manipulators. In: Control Engineering Practice. Vol. 14.
pp. 99–106.
90
Anexos
Encontram-se em anexo:
1. Artigo publicado no European Control Conference (ECC 2007) [Kos, Gr´ecia / 2-5
de Julho de 2007] sob t´ıtulo On Selecting the MIMO Generalized Orthonormal
Basis Functions Poles by Using Particle Swarm Optimization.
2. Artigo publicado no XIX Semin´ario Nacional de Produ¸ao e Transmiss˜ao de Energia
El´etrica (SNPTEE 2007) [Rio de Janeiro, Brasil / 14-17 de Outubro de 2007] sob t´ıtulo
Bases de Fun¸oes Ortonormais Generalizadas na Modelagem de Componentes
do Sistema El´etrico de Potˆencia.
On Selecting the MIMO Generalized Orthonormal Basis Functions
Poles by Using Particle Swarm Optimization
Bruno C. Reginato and Gustavo H. C. Oliveira
Abstract This paper deals with the problem of finding the
pole(s) in Orthonormal Basis Functions (OBF) models. In fact,
any stable system can be exactly represented by an infinite
orthonormal functions series, assuming that the basis used
in such representation is complete. However, in practice a
truncated basis functions expansion is used. For certain basis
choice and fixed number of functions, there is a pole or set
of poles that minimizes the truncation error. The problem is
then to find such set. Therefore, the present paper is focused
on the problem of finding the basis functions poles when
more than one dynamic is involved, for instance, in SISO
Generalized Orthonormal Basis Functions (GOBF) models or
MIMO Laguerre, Kautz and/or GOBF models. It is proposed
and analyzed here the use of Particle Swarm Optimization
(PSO) for such problem. Simulation results presented shows
the validity of the proposed method.
Keywords - Linear Systems, System Identification, Orthonor-
mal Basis Functions, Particle Swarm Optimization.
I. INTRODUCTION
In the last decade, the subject of using orthonormal
basis functions (OBF) in system identification problems has
receiving a great interest in the literature [1], [2]. Such kind
of basis functions can be used to approximate stable transfer
functions and are particularly attractive for process control
applications in industries. However, the applications of OBF
aren’t restricted to this area. Many problems due to the prop-
erty that basis function models are linearly parametrized, can
be addressed by its efficient representation or parametrization
of signals and systems.
In fact, any stable system can be exactly represented by
an infinite series orthonormal basis functions, assuming that
the basis used in such representation is complete. However,
in practice, a truncated series expansion is used. For a
given system, the truncation error depends on the basis
class choice, the basis functions number and the functions
parameters, also refereed as functions pole(s), dynamic(s) or
time(s) scale. On OBF related issues, there is a compromise
between the number of expansion terms and the optimality
of the pole(s). If the expansion terms number is large,
the choice of the function pole(s) is not crucial. But, for
a limited number of expansion terms, such selection is
important to provide a good approximation. Moreover, by
limiting the number of these terms one can obtain simplified
mathematical representations and lower computational costs
Bruno C. Reginato and Gustavo H. C. Oliveira are with
the Industrial and Systems Engineering Graduate Program
(PPGEPS) of the Pontifical Catholic University of Paran
´
a
(PUCPR), R. Imaculada Conceic¸
˜
ao 1155, Curitiba/PR/Brazil, Zip
Code 80215-901, e-mail: [email protected],
Gustavo H. C. Oliveira is the author for correspondence.
for simulations and processing. Therefore, for certain basis
choice and fixed number of functions, there is a pole or set
of poles that minimizes the truncation error. The problem is
then to find such set.
A well known class of OBF is the one based on functions
parametrized by one or more dynamics, such as the Laguerre
basis, Kautz basis [2], or Generalized Orthonormal Basis
Functions (GOBF) [3]. The problem of choosing the OBF
dynamic(s) or pole(s) for linear systems have been analyzed
by several authors in the literature, see for instance [4],
[2] and references included. Most of the solutions deals
with the problem of choosing the Laguerre or Kautz poles.
Usually, in these cases, the pole is selected by using a priori
knowledge of the dominant dynamic of the system. In [5],
an analytical solution for deriving the optimal Laguerre pole
is proposed. The solution is valid for certain class of system
and is based on the system impulse response. In [6], a
method to derive the optimum Laguerre functions pole is
discussed. The solution is also based on the process impulse
response knowledge and it is proposed a minimization index
where the weight in each Laguerre coefficient is linearly
increased. Some works, such as [7], [8], [9], proposes the use
of numerical unidimensional search for seeking the Laguerre
pole optimal position. On the other hand, in [10], a method
based on the derivatives of each model coefficient with
respect to the Laguerre pole, that does not require numerical
search and can be used for an arbitrary signal, is proposed.
On the other hand, the problem of choosing the pair of
complex poles in Kautz functions for linear systems have
been addressed, for instance in [11], [12], [13]. The MISO
case is addressed in [14], where the Newton Raphson’s iter-
ative technique is applied to compute the optimal Laguerre
pole. This method is not limited to the use of impulse
response signals.
The use of artificial intelligence techniques for selecting
the optimal OBF parameters is proposed, for instance, in
[15]. In this previously cited work, an hybrid method, linking
Genetic Algorithm and Newton-Raphson optimizer is used
for finding the Laguerre model pole on SISO systems based
on its impulse response. The hybrid algorithm incorporates
Newton-Raphson local optimizer for improving the conver-
gence to the global minimum point.
However, few results are available for Generalized Or-
thonormal Basis Functions, where the choice of more than
one dynamic is necessary. The present paper is focused
on the problem of finding the basis functions parameters
when more than one dynamic or pole is involved. Such case
can be, for instance, the selection of the GOBF poles in
a SISO model or the selection of Laguerre, Kautz and/or
GOBF poles in a MISO/MIMO model. Therefore, it is
proposed and analyzed the use Particle Swarm Optimization
(PSO) for such problem. PSO is a optimization technique
for continuous non-linear functions based on the movements
of a individuals group, each individual is called particle.
The poles selection aren’t constrained to the use impulse
response. This property is desirable in practice.
The paper is organized as follows. Section II contains a
review of the main issues related with orthonormal basis
functions for system modeling, including the MIMO case. In
Section III, the problem of finding the basis functions pole is
stated. For sake of comparison, Section IV contains a method
for obtaining asymptotically optimal pole locations for linear
systems. In Section V, the main aspects related with PSO
algorithm for optimization problems and its relation to the
paper focused are presented. Some application examples, for
SISO and MISO systems, are discussed in Section VI and,
finally, conclusions are addressed in Section VII.
II. GENERALIZED ORTHONORMAL BASIS FUNCTIONS
FOR SYSTEM MODELING
A SISO linear causal dynamic system, with finite memory,
can be described by its impulse response h(k), that is:
y(k) =
i=0
h(k i)u(i) (1)
In this equation, u(k) and y(k) are the input and output sig-
nals, respectively, and h(k) is the system impulse response.
If h(k) has finite memory, it can be represented by a series
of orthonormal functions, as follows:
h(k) =
i=1
c
i
φ
i
(k) (2)
where { φ
i
(k) }
i=1
is a base of orthonormal functions and c
i
is the i-th series coefficient. Let Φ
i
(z) being the Z transform
of φ
i
(k) and l
i
(k) the output of Φ
i
(z) when the input signal is
u(k). By using this definitions, the model output ˜y(k), when
the series is truncated in n terms, is given by:
˜y(k ) =
n
i=1
c
i
l
i
(k) (3)
This model is linear in the parameters, so a least square
algorithm can be used to estimate the c
i
coefficients.
Different orthonormal basis can be used in such con-
text, and they are usually constructed as a function of the
dominant system dynamic(s). An issue when defining such
orthonormal basis is the choice of the number of different
modes in the base and its value. Two sets of such functions
which have been used frequently are the Laguerre and Kautz
functions. FIR structure can be viewed as a particular case
of Laguerre/Kautz basis. Generalized Orthonormal Basis
Functions (GOBF) are basis built by using more than one
mode or pole. Such flexibility improves the convergence of
the series decomposition, leading to a more parsimonious
representation in relation to basis having only one mode.
Laguerre and Kautz basis are also a special case of the GOBF
ones. All these bases are complete in the Lebesgue space,
meaning that any stable system can be modeled using this
approach. The GOBF are constructed by using the definition
of inner functions, as follows: Defining H
i
(z) as a transfer
function with all-pass behavior given by the filter
H(z) =
1 p
i
z
p
i
z 1
(4)
where p
i
is the conjugate of p
i
. Since H
i
(z
1
)H
i
(z) = 1,
H
i
(z) can be called an inner function. Assuming G
b
(z) a
function given by the cascade realization of n
b
functions
H
i
(z), each one having different p
i
poles (real or complex
conjugated). These n
b
poles contains an a priori information
about the system dominant dynamics. The function G
b
(z) is
also an inner function.
An orthonormal basis function can be defined by φ
i j
(k),
where φ
i j
(k) is the i-th element of the signals vector ν
j
(k)
and V
j
(z), i.e., the inverse transform of ν
j
(k), is given by:
V
j
(z) = (zI A)
1
BG
j1
b
(z), j = 1,... ,n
g
(5)
In this equation, the quadruple (A,B,C,D) is the
space state realization of G
b
(z). In this context, defin-
ing l
i j
(k) as the output of the (i j)-th basis function
Φ
i j
(z) : i = 1, ... ,n
b
, j = 1, ... when the input is u(k). There-
fore, the model with orthonormal basis functions is given by:
y(k) =
j=1
n
b
i=1
c
i j
l
i j
(k) (6)
where c
i j
are the coefficients of the representation using
orthonormal basis on the system. Truncating the cascade
realization of the functions G
b
(z) in n
g
functions, it is
obtained:
˜y(k ) =
n
g
j=1
c
j
l
j
(k) (7)
In this equation, c
j
and l
j
are vectors containing the
elements c
i j
and l
i j
, respectively, for i = 1, ... ,n
b
. The
approximation error between the true system and the OBF
model can be defined as:
ε
n
(k) = y(k ) ˜y(k)
where n = n
b
n
g
. Finally, defining L(k) and C the concatena-
tion of l
i
(k) and c
i
, i = 1,.. ., n
g
, the model output is:
˜y(k ) = C
T
L(k) (8)
Therefore, the space state realization of the GOBF model
is given by:
L(k + 1) = AL(k) + Bu(k) (9)
where the state vector and the matrices A e B are obtained
using the number of functions V
j
(z) on the model, using the
previously selected poles locations.
For MIMO systems, with M input signals and Q output
signals, the same idea can be applied. In this case, the MIMO
system can be decomposed in Q MISO systems, each one
having M inputs. For each MISO system, a different set of
orthonormal basis functions can be defined. By using this
definitions, the output ˜y(k) of each MISO model, when the
m-th series is truncated in n
m
terms, is given by:
˜y(k) =
m
j=1
C
T
m
L
m
(k) (10)
III. PROBLEM STATEMENT
Due to the property of completeness, any pole or poles can
be selected to model a given stable linear process. However,
an adequate choice can lead to a more efficient representation
of the system since the better the pole choice, the faster will
be the convergence of the series, then the number of basis
functions can be decreased (the smaller will be the number
of model parameters).
Let y(k) being the actual process output, ˜y(k) the model
output, for a given basis function number n
m
and p a vector
containing the basis poles. Therefore, one obtains:
˜y(k ) =
m
j=1
C
m
(p)
T
L
m
(k, p) (11)
The optimal values for the set of basis dynamics can be
defined as the ones that minimizes error between the actual
output the model output, that is, the following criterium:
J(p) =
K
k=1
(y(k) ˜y(k))
2
(12)
or
J(p) =
K
k=1
y(k)
m
j=1
C
m
(p)
T
L
m
(k, p)
2
(13)
where K is the number of available data.
Therefore, the problem of finding the optimal basis dy-
namics is equivalent to:
p
= argmin J(p)
s.to p
(14)
where p
is the optimal pole location for a given set of input
and output data and is the space of all stable poles in the
Z plane.
IV. ASYMPTOTICALLY OPTIMAL POLE LOCATIONS
This section describes a method to find the best poles
locations when this number is smaller than the nominal
system order and the truncation order tends to infinity. This
technique for SISO systems, presented in [2], assumes an a
priori information about the transfer function of the nominal
system.
The rate of convergence of the model error can be defined
as:
||ε
n+s
(·)|| ρ
s
||ε
n
(·)|| (15)
with 0 ρ < 1. So, the norm of the error of the approx-
imation has an exponential convergence factor of ρ. The
smaller is ρ, faster is the convergence to zero of the error of
the approximation. Knowing that the G
b
(z) function of the
GOBF model can also be parameterized by γ
i
coefficients,
i = 1, .. .,n
b
, such as:
N
i
(z)
D
i
(z)
=
1 γ
i
γ
i
1
N
i1
(z)
zD
i1
(z)
(16)
where N
0
(z) = D
0
(z) = 1. The optimal GOBF model param-
eterization, computed using the system actual poles p
j
, can
be obtained by finding the γ = [γ
1
,.. ., γ
n
g
], parameters that
minimizes the rate of convergence, which can be also given
by:
ρ(γ) = max
j
N
ng
(1/p
j
)
D
ng
(1/p
j
)
(17)
The minimization of ρ(γ) must be done numerically.
V. THE PSO ALGORITHM
The Particle Swarm Optimization (PSO) is a method for
optimization of continuous nonlinear functions. This method
was discovered by simulating simplified social model [16].
The potential solutions of such problems, called particles,
moves inside the solution space by following the current
optimum particles. PSO method exhibits some attributes
which are also encountered in a large class of evolutionary
computation based optimization algorithms [17].
In [18], making reference to fish schooling, it is suggested
that social sharing of information among individuals of the
same species offers an evolutionary advantage. Such hypoth-
esis was fundamental to the development of particle swarm
optimization (PSO) algorithms. An example is that birds and
fish adjust their physical movement to avoid predators, seek
food and mates or optimize environmental parameters such
as temperature.
While empirical evidence has accumulated that the al-
gorithm is a useful tool for optimization, there isn’t many
results related with its convergence. In [19], it is proposed a
generalized model for controlling the convergence properties
of the algorithm, such as applying coefficients to various
parts of the formula in order to guarantee convergence, while
encouraging exploration. Although the convergence can be
achieved due to some coefficient adjustments [19], [20],
[21], the real strength of the particle swarm derives from
the interactions among particles as they search the space
collaboratively.
The procedure for applying PSO method is (more details
can be found in [22]):
(a) Initialize a population (an array) by including m
particles. For each i-th particle, there is initial location x
i,0
in the solution space and velocity v
i,0
, which lies inside the
interval [v
max
,v
max
];
(b) Evaluate the optimization fitness function for each
particle;
(c) Compare the evaluated fitness value of each i-th
particle with an f
i,best
, which is the best fitness value of
each particle. If this value is better than f
i,best
, then set the
current particle fitness as the f
i,best
. Furthermore, if current
Fig. 1. The PSO Algorithm
value is better than g
best
, which is the value of the globally
best fitness, then update g
best
;
(d) Update the velocity and the location of the i-th particle,
at iteration t, i.e., v
i,t
and x
i,t
, according to (18) and (19),
respectively:
v
i,t+1
= wv
i,t
+ c
1
rand
1,t
( f
i,best
x
i,t
)
+c
2
rand
2,t
(g
best
x
i,t
)
(18)
x
i,t+1
= x
i,t
+ v
t
(19)
where rand
1,t
and rand
2,t
are uniform distributed random
numbers between the interval [0,1].
(e) Go to step (b) until a stop criterion is achieved. Usually,
the stop criterion is based on the fitness value or a predefined
maximum number of iterations.
Therefore, the parameters of a standard PSO algorithm
includes: the number of iterations e
max
, the number of par-
ticles m, the dimension of the problem d, the inertia weight
w, acceleration constants c
1
and c
2
, maximum velocity v
max
and respectively variables range. A scheme describing the
PSO algorithm is shown in Fig. 1 [23].
In the present paper, we are interested in using the PSO
method for choosing the poles location in MISO or SISO
systems having GOBF structure. Therefore, the algorithm
parameters related with the Orthonormal Basis Function
(OBF) environment are the (i) dimension of the problem,
i.e., the size of x
i
(ii) the variables range and (iii) the fitness
function.
The dimension of the problem is related to the number of
poles components are being optimized. For example, in the
case where a complex pole and real pole are optimized, the
problem dimension is 3. This is because x
i,1
represents the
real part of the complex pole, x
i,2
represents the complex
part of the complex pole and x
i,3
represents the real pole.
The variables range are defined depending on the kind of
pole that is being optimized. If the pole related with j-th
component of x
i
is real, its range is set to [0.9999,0.9999].
If it is related with a real part of a complex pole, its
range is set to [0.9999,0.9999] and if it is related with
a imaginary part of a complex pole, its range is set to
[0,0.9999]. However, when combining the real and complex
parts of a pole, if the pole location is outside the unit circle,
the fitness associated with this particle is set as a quite large
number to avoid selecting unstable poles.
The fitness function was defined as the MSE between the
actual output and the predicted output. The poles location
related to a minimum MSE is assumed the best one for a
given system identification application.
The other PSO parameters are assumed, by default, as:
e
max
= 200, m = 300, v
max
= 4, c
1
= 2, c
2
= 2 and w = 0.9.
VI. EXAMPLES
In this section, two case studies of orthonormal basis
functions for SISO and MISO system identification are
analyzed. Both contains results of PSO method application
for searching the optimal location of the basis functions
dynamics. The aim is to search for models having a more
compact representation while guaranteeing a good quality in
the approximation. The SISO case is related to the problem
of obtaining a black-box model for transmission lines in the
electrical power system.
A. Case study for a SISO system
Modeling the electrical power system equipments are
becoming more and more relevant in the last decade due
an increase in the need of obtaining an accurate description
of the whole system for predicting its transient behavior due
to several factors, for instance, changes in its configuration
for responding a certain load demand or response to natural
phenomenons such as lightening. The models should be
accurate in a wide band of frequencies and be able to be
included in an electromagnetic transient programs.
An example of the above discussion is the problem of
modeling power system transmission lines. In [24], a nodal
model, having 18-th order, for the characteristic admittance
and propagation encountered in transmission lines is pro-
posed. This model has a smooth frequency response, so it
is appropriate for using OBF descriptions with real poles.
Table I contains the transfer function of such system, in terms
of poles and residues. The system impulse and frequency
responses are given in Fig. 2, recalling that impulse response
tests are quite often used in power systems applications.
The model structure is a GOBF realization with 4 func-
tions and 4 different real poles. So, its dimension for the PSO
optimization algorithm purpose is four. By using the system
impulse response and feeding the PSO algorithm with the
previously cited initial parameters; one obtains the following
values for the basis functions poles: 0.06, 0.25, 0.69 and
0.95. The MSE between the actual frequency response and
the model one is 1.44 × 10
7
. For a sake of comparison, a
Laguerre basis modeling with optimal pole location (pole
equal to 0.55) for such system, requires 15 functions to
obtain a MSE of 5.69 × 10
6
and 50 functions for a MSE
of 1.31 × 10
8
. As it is expected, due to presence of more
than one dynamic, the GOBF structure leads to a more
TABLE I
POLE S AND RESIDUES FOR A TRA NSMISSION LINE MODEL
# Pole Residue # Pole Residue
1 -2000 1000 10 -34000 -12000
2 -4000 -1000 11 -44000 20000
3 -9000 7000 12 -48000 41000
4 -15000 12000 13 -56000 8000
5 -18000 5000 14 -64000 15600
6 -21000 -12000 15 -72000 -10000
7 -23000 -2000 16 -79000 -12000
8 -29500 1500 17 -88000 50000
9 -33000 31000 18 -93000 -2000
Fig. 2. Transmission Line Impulse and Frequency Responses.
efficient representation, in terms of model dimension, in
relation to the Laguerre functions structure. Due to the use
of PSO algorithm, the identification procedure is able to take
advantage of such more complex structure where an adequate
choice of poles is also a more complex task than in the
Laguerre case.
Different GOBF structures can also be used, generating
different approximations. For the sake of comparison be-
tween the previous presented cases, these results are sum-
marized in Table II.
An algorithm for obtaining the model parameterization is
described in Section IV. By using equation (17) and assum-
ing that the actual poles location are known, the OBF model
- with four different real poles - that minimizes the series rate
TABLE II
MODEL APPROXIMATION FOR DIFFERENT GOBF STR UCTURES.
# Number of Poles Number of Functions MSE
1 2 8 3.65 × 10
6
2 3 6 7.89 × 10
6
3 4 8 6.49 × 10
9
TABLE III
FURTHER COMPARATIO NS
n MSE
1
ρ MSE
2
20 4.75 × 10
21
3.78 × 10
2
1.46 × 10
19
28 2.27 × 10
29
4.86 × 10
2
1.32 × 10
26
32 7.94 × 10
32
5.96 × 10
2
3.34 × 10
29
0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
−0.3
−0.2
−0.1
0
0.1
0.2
0.3
0.9
0.8
0.7
0.1π/T
0.1π/T
Rate of Convergence
PSO / n=20
PSO / n=28
PSO / n=32
Fig. 3. Poles Locations given by both methods
of convergence can be computed, where the optimal poles are
given by: 0.13, 0.53, 0.83 and 0.93. The rate of convergence
provided by this model (see equation (15)) is 2.941 × 10
2
.
The two previously cited algorithms are based on different
objective functions. The PSO uses the MSE criterium and,
the other one, is based on the minimizing the rate of
convergence. However for a larger number of functions than
the ones presented in Table II, the results obtained by the
PSO algorithm can be quite similar to the ones computed
by equation (17). Table III contains the number of functions
used by the PSO algorithm, its model approximation (MSE
1
),
the computed rate of convergence and the model approxima-
tion by using the second method parameterization (MSE
2
).
On the one hand, it can be noted that the MSE provided
by the PSO-based method is slightly lower than the other
one, but on the other hand, although the rate of convergence
are similar in all cases, the lowest value is achieved by the
Section IV method. Moreover, by Fig. 3, it can be noted that
the poles obtained by the PSO related to Table III cases are
closer to the location given by the ones that minimize the
rate of convergence.
B. Case study for a MISO system
Following, a case study describing an application of PSO
method for choosing the basis dynamics in a MISO system
is presented. The original system has three inputs and one
output and the transfer functions relating each input with the
output is given by (20).
y(z) =
0.1459z
3
+ 0.1313z
2
+ 0.02771z 0.00423
z
4
1.7z
3
+ 1.753z
2
1.068z + 0.3161
u
1
(z)
+
0.2548z
2
+ 0.1911z + 0.1822
z
3
1.4z
2
+ 0.6724z 0.1539
u
2
(z)
+
0.6155z
4
+ 1.323z
3
0.7309z
2
0.02993z + 0.09752
z
5
1.96z
4
+ 1.552z
3
0.7342z
2
+ 0.2091z 0.02205
u
3
(z)
+ξ(z)
(20)
where y(z) is the system output, u
i
(z) i = 1,2,3 are the
system inputs and ξ(z) is a disturbance signal, a random
signal with normal distribution, zero mean and standard
deviation 0.1. Note that all three subsystems have been
normalized in order to have unit gain. A set of three input
signals (random signals, 100 samples, normal distribution,
zero mean and standard deviation equal to 1) together with
the respective output signal are the data used for pole
selection and parameter estimation purpose. The relation
between u
1
and y is modeled by a Kautz basis functions,
the one between u
2
and y is modeled by a Laguerre basis
functions and the last one by a GOBF (having 4 real poles).
Each of the three basis is constructed with 8 functions.
The poles of the three basis are selected by using the PSO
algorithm. The algorithm initial parameters are the same as
previously mentioned. The dimension for this problem is
7. By using the PSO algorithm for the MISO system, one
obtains the following optimal poles positions: 0.17 + 0.58i,
for the Kautz basis; 0.45 for the Laguerre basis and 0.30,
0.88, 0.13, 0.12 for the GOBF basis. The MSE between
the actual output signal and the model output prediction
(multiple step ahead prediction, i.e. a parallel-parallel based
prediction) is 6.78 × 10
3
.
For sake of comparison, Table IV summarizes the same
procedure, but using orthonormal basis with different number
of functions. Also, in the same Table, a comparison between
the FPE criterium of the OBF model with different number
of functions can be found.
For validation purposes of the MISO OBF model with all
basis having 8 functions and poles obtained by means of the
PSO method, another set of data is generated. The random
input signals have the same first and second moments of
the data used for parameter estimation. The MSE between
the system output signal and the model output prediction
(parallel-parallel prediction) is 7.78 × 10
3
. Fig. 4 contains
both signal plus the absolute error between them. All these
results suggest a quite good agreement between the model
and the actual system. Such agreement, with models having
a few number of functions, is possible due the appropriate
choice of the basis functions poles made by the PSO algo-
rithm.
VII. CONCLUSIONS
This paper was about the problem of finding the pole(s) in
Orthonormal Basis Functions (OBF) models. It was based on
the fact that any stable system can be exactly represented by
an infinite orthonormal functions series, however, in practice
TABLE IV
APPROXIMATION RESULTS FOR DIFFERENT MODEL STRUCTURES.
Number of Functions Numeric Index
Kautz Laguerre GOBF MSE FPE
10 6 12 6.39 × 10
3
1.14 × 10
2
8 8 8 6.78 × 10
3
1.11 × 10
2
10 7 8 6.95 × 10
3
1.16 × 10
2
10 6 8 7.03 × 10
3
1.15 × 10
2
8 7 8 7.25 × 10
3
1.16 × 10
2
8 6 8 7.27 × 10
3
1.14 × 10
2
6 4 9 1.11 × 10
2
1.64 × 10
2
6 4 8 1.17 × 10
2
1.69 × 10
2
6 4 6 1.46 × 10
2
2.01 × 10
2
4 3 8 1.97 × 10
2
2.66 × 10
2
4 3 6 2.15 × 10
2
2.80 × 10
2
0 20 40 60 80 100
−2
−1
0
1
2
3
Actual and Predicted Output
Actual Output
Predicted Output
0 20 40 60 80 100
0
0.05
0.1
0.15
0.2
Samples
Absolute Error
Fig. 4. Validation data for the MISO Case.
a truncated basis functions expansion is used. For certain
parameter choice and fixed number of functions, there is a
pole or set of poles that minimizes the truncation error. The
problem is then to find such set.
Therefore, the present paper proposed and analyzed the
use of Particle Swarm Optimization (PSO) for such problem.
PSO methods can be used for optimization continuous non-
linear functions and, under certain conditions, the conver-
gence can be proved. It was shown that this solution is
appropriated for the cases where more than one dynamic is
involved in the basis functions poles, for instance, in SISO
GOBF models or MIMO Laguerre, Kautz and/or GOBF
models. In such cases, it is not easy to find analytical so-
lutions for the optimal pole selection. Moreover, the method
is not constrained to the use of impulse response signals.
Simulation results shown the validity of the proposed
method. In the transmission line (SISO) case, the use of a
GOBF representation allows reducing the model parameters
in relation to the Laguerre and, an adequate pole selection
had an important role for such achievement. For a large
number of functions, it have been notice that the series rate
of convergence of the model with poles selected by a PSO
algorithm can be close to the optimal value. Moreover, the
poles positions were similar between them. In the MISO
case, it have been shown that the method can deal with the
choice of different basis functions parameters.
REFERENCES
[1] P. V. den Hof, B. Wahlberg, P. Heuberger, B. Ninness, J. Bokor, and
T. O. Silva, “Modelling and identification with rational orthogonal
basis functions, in Proc. of the 12th IFAC SYSID, vol. 2, 2000, pp.
445–456.
[2] P. Heuberger, P. V. den Hof, and B. Wahlberg, Eds., Modelling and
Identification with Rational Orthogonal Basis Functions. Springer
Verlag, 2005.
[3] P. M. J. V. den Hof, P. S. C. Heuberger, and J. Bokor, “System iden-
tification with generalized orthonormal basis functions, Automatica,
vol. 31, no. 12, pp. 1821–1834, 1995.
[4] T. O. Silva, “Optimal pole conditions for laguerre and two-parameters
kautz models: Survey of known results, in Proc. of the 12th IFAC
SYSID, vol. 2, 2000, pp. 457–462.
[5] M. A. Masnadi-Shirazi and N. Ahmed, “Optimum Laguerre networks
for a class of discrete-time systems, IEEE Transactions on Signal
Processing, vol. 39, no. 9, pp. 2104–2108, September 1991.
[6] Y. Fu and G. A. Dumont, An optimum time scale for discrete
Laguerre network, IEEE Transactions on Automatic Control, vol. 38,
no. 6, pp. 934–938, june 1993.
[7] J. J. King and T. O’Canainn, “Optimum pole positions for laguerre
functions models, Electronics Letters, vol. 5, pp. 601–602, 2000.
[8] B. Maione and B. Turchiano, “Laguerre z-transfer function represen-
tation of linear discrete-time systems, Int. Journal of Control, vol. 41,
no. 1, pp. 245–257, 1985.
[9] Y. Fu and G. Dumont, “On determination of laguerre filter pole
through step or impulse response data, pp. 5:303–307, 1993.
[10] T. O. Silva, “On the determination of the optimal pole position of
Laguerre filters, IEEE Trans. on Signal Processing, vol. 43, no. 9,
pp. 2079–2087, 1995.
[11] T. O. e Silva, “Optimality conditions for truncated kautz networks
with two periodically repeating complex conjugate poles, IEEE
Transactions on Automatic Control, vol. 40, no. 2, pp. 342–346, 1995.
[12] R. Morvan, N. Tanguy, and L. C. Calvez, “Pertinent parameters for
kautz approximaion, Electronics Letters, vol. 36, no. 8, pp. 769–771,
2000.
[13] N. Tanguy, R. Morvam, P. Vilb
´
e, and L.-C. Calvez, “Pertinent choice
of parameters for discrete kautz approximation, IEEE Transactions
on Automatic Control, vol. 47, no. 5, pp. 783–787, 2002.
[14] R. Malti, S. B. Ekongolo, and J. Ragot, “Dynamic siso and miso
system approximations based on optimal laguerre models, IEEE
Transactions on Automatic Control, vol. 43, no. 9, pp. 1318–1323,
1998.
[15] A. M. Sabatini, A hybrid genetic algorithm for estimating the optimal
time scale of linear systems approximations using laguerre models,
IEEE Transactions on Automatic Control, vol. 45, no. 5, pp. 1007–
1011, 2000.
[16] J. Kennedy and H. Eberhart, “Particle swarm optimization, in Proc.
of the IEEE International Conference on Neural Networks, 1995, pp.
1942–1948.
[17] T. Back, U. Hammel, and H.-P. Schwefel, “Evolutionary computation:
Comments on the history and current state, IEEE Transactions on
Evolutionary Computation, vol. 1, no. 1, pp. 3–17, 1997.
[18] E. O. Wilson, ISociobiology: The New Synthesis. Belknap Press,
1975.
[19] M. Clerc and J. Kennedy, “The particle swarm - explosion, stability,
and convergence in a multidimensional complex space, IEEE Trans-
actions on Evolutionary Computation, vol. 6, no. 1, pp. 58–73, 2002.
[20] V. Kadirkamanathan, K. Selvarajah, and P. J. Fleming, “Stability
analysis of the particle dynamics in particle swarm optimizer, IEEE
Transactions on Evolutionary Computation, vol. 10, no. 3, pp. 245–
255, 2006.
[21] T. I. C., “The particle swarm optimization algorithm: Convergence
analysis and parameter selection, Information Processing Letters,
vol. 85, no. 6, pp. 317–325, 2003.
[22] X.-F. Xie, W.-J. Zhang, and Z.-L. Yang, A dissipative particle
optimization, in Proc. of the Congress on Evolutionary Computation,
vol. 2, 2002, pp. 1456–1461.
[23] E. Donaisky and L. dos Santos Coelho, “Planejamento de trajet
´
oria
em rob
´
otica m
´
ovel baseada em uma abordagem de otimizac¸
˜
ao da
intelig
ˆ
encia coletiva, in VII Confer
ˆ
encia Internacional de Aplicac¸
˜
oes
Industriais, INDUSCON 2006, 2006.
[24] B. Gustavsen and A. Semlyen, “Rational approximation of frequency
domain responses by vector fitting, IEEE Transactions on Power
Delivery, vol. 14, no. 3, 1999.
(*) Rua Imaculada Conceição 1155 - CEP 81200-240 - Curitiba - PR - BRASIL
Tel.: (041) 271-1330 - Fax: (041) 3271-1330 - e-mail: [email protected]
SNPTEE
SEMINÁRIO NACIONAL
DE PRODUÇÃO E
TRANSMISSÃO DE
ENERGIA ELÉTRICA
Versão 1.0
GSC0028
14 a 17 Outubro de 2007
Rio de Janeiro - RJ
GRUPO X
GRUPO DE ESTUDO DE SOBRETENSÕES E COORDENAÇÃO DE ISOLAMENTO - GSC
BASES DE FUNÇÕES ORTONORMAIS GENERALIZADAS NA MODELAGEM DE COMPONENTES DO
SISTEMA ELÉTRICO DE POTÊNCIA
Bruno César Reginato Gustavo Henrique da Costa Oliveira *
PPGEPS/CCET
Pontifícia Universidade Católica do Paraná
RESUMO
O presente trabalho aborda o problema da modelagem de componentes do sistema elétrico de potência e retoma
a proposta de utilização de bases de funções ortonormais para tanto. Esta abordagem permite a modelagem de
processos estáveis causais e possui caráter inovador no âmbito de sistemas de potência. O modelo final obtido
pode ser representado em espaço de estados, facilitando sua incorporação em pacotes computacionais. Mostra-
se, no presente trabalho, que a utilização das bases de funções denominadas GOBF ou Generalized Orthonormal
Basis Functions, além de preservar as propriedades gerais do modelo, possibilita realizações de ordem reduzida,
gerando modelos de menor dimensão que o caso de bases ortonormais clássicas isto é, aquelas construídas com
uma só dinâmica. Resultados de simulação em elementos como linhas de transmissão e transformadores ilustram
as propriedades do método.
PALAVRAS-CHAVE
Modelagem de sistemas, transitórios do sistema elétrico, transformadores elétricos, linhas de transmissão, bases
de funções ortonormais generalizadas.
1.0 - INTRODUÇÃO
A determinação de modelos dinâmicos de sistemas é um procedimento importante em diversos campos da
engenharia. Dentre estes campos, pode-se citar a área de sistemas elétricos de potência, com a modelagem de
componentes como transformadores de potência ou linhas de transmissão. Modelos dinâmicos permitem realizar
análises e obter resultados que seriam demorados, de alto custo ou mesmo inviáveis se fossem efetuados no
sistema real. No caso específico da área de sistemas de potência, a determinação de modelos de transformadores
vem recebendo bastante atenção nas últimas décadas e diversas abordagens têm sido apresentadas na literatura,
por exemplo, podem-se citar os trabalhos (1) (2) (3) (4). Neste contexto, uma técnica que vem sendo aplicada com
bons resultados é a denominada vector fitting (5).
Essa modelagem se faz necessária para o aprimoramento das simulações de transitórios elétricos caracterizados
por diferentes faixas de freqüência e que envolvam a interação desses equipamentos com os demais
componentes do sistema elétrico. Estatísticas de desempenho de transformadores têm apresentado um número
significativo de falhas de causa desconhecida que podem estar potencialmente relacionadas às tensões
transitórias originadas pela interação dos transformadores com os outros componentes do sistema elétrico. O
estudo dessa interação requer, na maioria dos casos, a realização de simulações de transitórios cuja
confiabilidade dos resultados depende diretamente da modelagem do transformador. Um exemplo típico é o
estudo dos transitórios rápidos (VFT) gerados quando de manobras e curtos–circuitos em subestações blindadas
a SF6 e que atingem os transformadores. O impacto dessas sobretensões, de frentes muito rápidas, irá depender
da reposta desses equipamentos a altas freqüências e sua determinação implica na obtenção de modelos
apropriados a essa condição. Dessa forma, é de grande interesse para o aprimoramento da análise de transitórios
2
decorrentes da interação dos transformadores com os demais componentes do sistema a obtenção de modelos
que representem esses equipamentos em diferentes faixas de freqüência.
No caso de linhas de transmissão, a expansão do sistema elétrico tem requerido construções que resultam em
configurações com alto grau de assimetria e acoplamentos. Dessa forma, modelos sem restrições quanto à
geometria ou natureza das linhas de transmissão se tornam necessários. Modelos no domínio de fases estão
sendo propostos na literatura e disponibilizados em programas de transitórios eletromagnéticos com objetivo de
retratar o comportamento dinâmico desse componente diretamente sem a transição para o domínio modal. Para
isso, o aprimoramento de técnicas de identificação torna-se de grande interesse.
Neste contexto, a modelagem de transformadores, assim como de outros componentes do sistema elétrico, pode
ser feita analisando as características físicas destes equipamentos, abordagem freqüentemente utilizada por
fabricantes. Este procedimento, conhecido por abordagem caixa branca, é realizado com modelos baseados na
física ou first principles models. Os modelos são, em geral, descritos em termos de equações diferenciais que
representam o equipamento e cuja solução pode ser obtida analiticamente ou via simulação por computador, por
exemplo, através de pacotes como MATLAB ou ATP/EMTP. Esta metodologia é, muitas vezes, difícil de ser
colocada em prática, tendo em vista que detalhes construtivos dos equipamentos para determinação dos
coeficientes que caracterizam as propriedades do componente não estão disponíveis ou são, muitas vezes, de
conhecimento exclusivo dos fabricantes.
Os métodos denominados genericamente de identificação de sistemas (6), ou abordagem caixa preta, são
aqueles onde a modelagem é realizada a partir de dados experimentais, seja no domínio do tempo ou da
freqüência, que caracterizam o comportamento dinâmico do sistema. Neste contexto, uma estrutura de modelo
dinâmico que vem sendo aplicada com bons resultados em identificação de sistemas é a denominada Bases de
Funções Ortonormais (OBF Orthonormal Basis Functions) (7). Na verdade, a idéia de utilizar bases de funções
ortonormais na representação de sistemas lineares data da década de 20, com o trabalho de Satoru Takenaka (8)
e Folke Malmquist (9). Posteriormente Lee em 1933 e 1960, Kautz em 1952, Ross em 1964, abordaram também
este problema (10). Uma grande revitalização nesta área ocorreu após a década de 1990, devido à expansão dos
fundamentos teóricos sobre os quais recaem as idéias previamente apresentadas. Veja, por exemplo, os trabalhos
(7) (11) (12) (13) (14).
Em (15), a utilização de modelos formados por bases de funções ortonormais no contexto de sistemas elétricos de
potência foi proposta. Esta abordagem permite aproximar processos estáveis causais e, apesar de ser conhecida
no contexto de controle de processos e servomecanismos, sua aplicação no âmbito de sistemas de potência
apresentou um caráter inovador. Através da estrutura OBF, o modelo final obtido pode ser descrito usando a
representação em espaço de estados, facilitando sua incorporação em pacotes computacionais do setor elétrico.
Mostrou-se, em (15), a boa aproximação entre a resposta em freqüência do modelo e do componente, onde as
bases de Laguerre apresentaram-se apropriadas para equipamentos cuja resposta em freqüência é suave, como
linhas de transmissão. Já as bases de Kautz, definidas através de pólos complexos, mostraram-se apropriadas
para equipamentos cuja resposta em freqüência apresenta picos de ressonância. Verificou-se também que o
método vector fitting pode ser visto como uma realização do modelo baseada em funções não ortonormais.
Apesar da boa adequação da estrutura de modelo utilizada ao problema proposto, os modelos resultantes
apresentaram ordem elevada devido ao fato das bases utilizadas serem definidas através de somente uma
dinâmica.
Assim sendo, o presente artigo propõe a utilização da base de funções denominada Bases de Funções
Ortonormais Generalizadas Generalized Orthonormal Basis Functions GOBF (12) no contexto da modelagem
de equipamentos do sistema elétrico de potência. Esta classe de bases, que possui como caso particular as bases
de Laguerre e Kautz, apresenta como principal característica o fato de poder ser definida por mais de uma
dinâmica ou pólo. Isto faz com que a realização do modelo em espaço de estados possua ordem reduzida em
relação aos casos citados anteriormente, melhorando a aproximação do modelo e facilitando sua implementação
em ambiente computacional.
O presente artigo está estruturado conforme descrito a seguir. Na Seção 2, os principais aspectos relacionados à
modelagem de sistemas lineares usando bases de funções ortonormais generalizadas são abordados. Na seção
3, discorre-se sobre representação utilizando bases de funções ortonormais generalizadas. Na Seção 4, exemplos
de simulação são apresentados e, finalmente, na Seção 5 o artigo é concluído.
2.0 - MODELAGEM DE SISTEMAS DINÂMICOS USANDO BASES DE FUNÇÕES ORTONORMAIS
GENERALIZADAS
Nesta seção, a modelagem de sistemas dinâmicos usando bases de funções ortonormais é apresentada. Têm-se,
como foco principal, os sistemas dinâmicos lineares em tempo discreto, isto é, aqueles cujos sinais de entrada e
saída estão em função da variável independente k (onde k é um número inteiro) e cuja ferramenta de análise é a
Transformada Z. O objetivo é descrever a aplicabilidade do método na modelagem de componentes de sistemas
de potência.
3
Assim sendo, um sistema causal e linear pode ser caracterizado por uma função de transferência
)()()( zUzHzY
=
(1)
ou por sua resposta ao impulso, isto é:
=
=
0
)()()(
i
iuikhky
(2)
onde u(k) e y(k) são, respectivamente, os sinais de entrada e saída do sistema, h(k) é a resposta ao impulso do
sistema. Portanto H(z) é a Transformada Z de h(k). Uma vez que H(z) é estável, tem-se que h(k) possui memória
finita e, portanto, pertence ao espaço de funções Lebesque. Logo, este sinal pode ser representado pela seguinte
série de funções:
=
=
0
)()(
i
ii
kckh
φ
(3)
Nesta equação, {
φ
i
(k): i=1,...} é uma base de funções ortonormais e c
i
são os coeficientes da parametrização em
séries do sinal h(k). Substituindo a equação (3) na (2), tem-se:
=
=
=
0 0
)()()(
i m
ii
mumkcky
φ
(4)
Definindo l
i
(k) como sendo a convolução de
φ
i
(k) com u(k) e
Φ
i
(z) como sendo a Transformada Z de
φ
i
(k), tem-se
que l
i
(k) é a saída n-ésima função da base {
Φ
i
(z): i=1,...} quando a entrada é u(k). Com esta representação, a
saída do modelo (1), truncando a série em n elementos, é dada por:
=
=
=
n
i
ii
i
ii
klcklcky
11
)()()(
(5)
ou
=
Φ
n
i
ii
zczH
1
)()(
(6)
As equações (1) e (6) são ilustradas pela Figura 1. Os coeficientes c
i
podem ser calculados conforme apresentado
a seguir:
=
=
0
)()(
k
ii
khkc
φ
(7)
Várias bases de funções podem ser utilizadas no desenvolvimento em séries da resposta ao impulso h(k) e, neste
trabalho, aborda-se o problema quando a classe de funções ortonormais é definida através de um conjunto de
pólos fixos escolhidos a priori. Usualmente, estes pólos são selecionados a partir de um conhecimento aproximado
a respeito da(s) dinâmica(s) dominante(s) do processo.
A utilização de bases ortonormais com pólos fixos, em relação a bases o ortonormais de mesma estrutura (por
exemplo, a utilizada no vector fitting) apresenta vantagens tais como: melhora o condicionamento numérico do
problema de estimação paramétrica, permite a análise do erro de estimação, apresenta independência entre os
parâmetros para uma larga gama de sinais de excitação. A representação de sistemas através de bases de
funções ortonormais apresenta características importantes no contexto de identificação de sistemas, tais como:
reduz (ou elimina) a polarização dos parâmetros devido a dinâmicas não modeladas no modelo nominal, permite
alterar a complexidade do modelo on-line com um mínimo de perturbação nos parâmetros, melhora a previsão do
modelo devido a estrutura output error, pois evita-se a realimentação dos erros de previsão, o necessita do
conhecimento do número de termos passados relevantes dos sinais de entrada/saída do sistema (e.g., seleção de
estrutura em modelos ARMAX); apresenta robustez a estimativas pouco precisas do atraso de transporte.
4
Figura 1 - Estrutura do modelo usando bases de funções ortonormais.
Uma questão relevante na definição das bases ortonormais com pólos fixos é a seleção do tipo e da quantidade
de pólos distintos presentes na base. Neste contexto, as principais propostas podem ser resumidas em:
a. Base FIR (Finite Impulse Response): Esta base é composta por funções de transferência com pólos na
origem;
b. Base de Laguerre: Esta base é composta por funções de transferência formadas com um único pólo real;
c. Base de Kautz (13): Esta base é composta por funções de transferência formadas com um único par de pólos
complexos conjugados;
d. Unified Construction for Orthonormal Basis UCOB (11): Esta base é composta por funções de transferência
formadas com mais de uma dinâmica, seja ela definida por pólos complexos ou reais;
e. Generalized Orthonormal Basis Functions GOBF (12): Assim como a UCOB, esta base é composta por
funções de transferência formadas com mais dinâmica, seja ela definida por pólos complexos ou reais. É
também conhecida por OBGIF - Orthonormal Basis Generated by Inner Functions.
Todas estas bases citadas são completas no espaço de Lebesque, logo é possível aproximar qualquer sistema
cuja resposta ao impulso possua integral finita. Porém, é necessária a seleção do valor para os pólos da base.
Este não é um ponto crítico no procedimento de identificação, no entanto, uma escolha adequada pode levar a
uma convergência mais rápida da série (um modelo com poucos parâmetros). Neste sentido, diversos trabalhos
sobre seleção de pólos foram apresentados na literatura, entre eles (15) (16) (17). Apesar de aumentar a
complexidade do problema de seleção do(s) pólos(s), quanto maior a informação a priori disponível sobre o
processo incorporada na base, maior a flexibilidade na caracterização da resposta em freqüência do sistema.
Aliada à escolha dos pólos, o número de funções de base também é importante para uma boa representação do
sistema. Em princípio, é necessário um somatório infinito na representação de um sistema dinâmico H(z) estável
(conforme a equação (5)). Entretanto, na prática, deve haver um truncamento deste somatório, o que determina
quantos termos são utilizados para a representação do sinal de resposta ao impulso do sistema, isto é, o número
de funções de base. Em resumo, um compromisso entre o número de funções de base e a seleção dos pólos
das funções: quanto melhor(es) alocado(s) for(em) o(s) pólo(s), melhor será a convergência dos termos da série, e
menos funções na base serão necessárias para a adequada representação do sistema e vice-versa. Assim, a
convergência da série com bases GOBF tende a ser mais rápida (com menos funções de base) em relação às
bases de Laguerre e de Kautz.
3.0 - BASES DE FUNÇÕES ORTONORMAIS GENERALIZADAS NA REPRESENTAÇÃO DE SISTEMAS
LINEARES
Aliada às propriedades decorrentes da ortonormalidade, a utilização das bases de funções ortonormais
generalizadas (GOBF/OBGIF) agrega propriedades desejáveis à identificação de sistemas ao permitir a
combinação de vários modos reais e/ou complexos, o que proporciona vantagens, em relação às bases de
Laguerre e Kautz, tais como (12): consideração de vários modos do sistema, permitindo agregar à base diferentes
informações a priori do sistema, ou seja, diferentes pólos podendo estar combinados em uma mesma função da
base; redução da quantidade de funções necessárias para representação de um determinado sistema,
5
possibilitando, portanto, uma redução na dimensão do modelo. As principais características da estrutura de
modelos com GOBF/OBGIF são apresentadas a seguir.
Seja H
i
(z) uma função de transferência, com comportamento de filtro passa todas, dada por
1
1
)(
*
=
zp
zp
zH
i
i
(8)
onde o p
i
* é o conjugado de p
i
. A função H
i
(z) é tal que: H
i
(z
-1
)H
i
(z)=1. Esta propriedade define uma função
denominada de função interna. Assuma, na seqüência, uma função G
b
(z) construída a partir da realização em
cascata de n
b
funções H
i
(z), cada uma contendo um pólo p
i
distinto, real ou em pares complexos conjugados.
Estes n
b
pólos representam a informação a priori do comportamento dinâmico do processo a ser inserida no
modelo. A função G
b
(z) é também uma função interna.
Uma base de funções ortonormais pode ser definida através da
φ
ij
(k), onde
φ
ij
(k) é o i-ésimo elemento do vetor de
sinais v
j
(k) e V
j
(z), ie, a transformada inversa de v
j
(k), é dada por:
(
)
)()(
)1(
1
zGBAzIzV
j
b
j
=
, j=1,...,n
g
(9)
Nesta equação, a quádrupla (A,B,C,D) é a representação em espaço de estados de G
b
(z).
Neste contexto, pode-se definir l
ij
(k) como sendo a saída da (ij)-ésima função da base {
Φ
ij
(z): i=1,...,n
b
, j=1,...}
quando a entrada é u(k). Desta forma, o modelo com bases de funções ortonormais generalizada é dado por:
= =
=
1 1
)()(
j
n
i
ijij
b
klcky
(10)
onde c
ij
são os coeficientes da representação em bases ortonormais do sistema. Truncando-se a realização em
cascata das funções G
b
(z) em n
g
funções, obtém-se:
=
=
g
n
j
jj
klcky
1
)()(
(11)
Nesta equação, c
j
e l
j
são vetores contendo os elementos c
ij
e l
ij
, respectivamente, para i=1,...,n
b
. A representação
deste modelo é dada pela Figura 2. Pode-se observar que a estrutura do modelo GOBF é semelhante ao
apresentado na Figura 1. Cada vetor l
j
da Figura 2, representa um conjunto de n
b
vetores l
i
da Figura 1.
Finalmente, definindo L como sendo a concatenação de l
1
, l
2
, ..., l
ng
e c a concatenação dos vetores c
1
, c
2
, ..., c
ng
,
obtém-se:
)()(
ˆ
kLky
T
=
(12)
Portanto a representação em espaço de estados do modelo GOBF é dada por:
=
+=+
)(
)()()1(
kLy
kukLkL
T
(13)
onde o vetor de estados e as matrizes
A
e
b
são obtidos em função do número de funções V
j
(z) contidas no
modelo, em função dos pólos escolhidos a priori para o desenvolvimento das funções da base. O conjunto de
pólos pertencente ao problema pode ser selecionado através de métodos de otimização não linear, por exemplo,
sequential quadratic programming, ou alguma classe de algoritmos evolutivos como os Algoritmos Genéticos (18)
ou Particle Swarm Optimization (17).
6
Figura 2 – Estrutura do modelo usando bases de funções ortonormais generalizadas.
4.0 - EXEMPLO DE SIMULAÇÃO
Nesta seção, um exemplo de simulação ilustra o procedimento de identificação usando bases de funções
generalizadas para obtenção de modelos de componentes de sistemas elétricos de potência. Neste sentido,
alguns componentes do sistema elétrico possuem resposta em freqüência suave, i.e., sem picos de ressonância.
Um exemplo são as linhas de transmissão. Outros possuem resposta em freqüência não suave, por exemplo, os
transformadores de potência. Assim sendo, a seguir, dois casos são tratados: componentes com resposta em
freqüência suave e não suave.
A identificação do modelo é realizada através dos seguintes passos: a) Seleção da base de funções; b) Seleção
do número de funções da base; c) Seleção dos pólos da base escolhida; d) Estimação dos parâmetros da série; a
estimação é realizada através da resposta ao impulso do sistema real e e) Validação; a validação é realizada
comparando-se as respostas em freqüência do sistema real e do modelo obtido, dando origem ao índice MSE,
descrito na equação (14).
(
)
=
=
N
k
N
jkwYjkwY
MSE
0
2
00
)(
ˆ
)(
(14)
onde w
0
é o intervalo de discretização da resposta em freqüência, N é o total de amostras dos dados, Y é a
resposta em freqüência do sistema e
Y
ˆ
é a resposta em freqüência do modelo estimado.
4.1 Estudo de Caso 1: Linha de Transmissão (resposta em freqüência suave)
Seja um sistema de 18
a
ordem, apresentado em (5), criado para simular o comportamento de um sistema com
resposta em freqüência suave (uma linha de transmissão, conforme Figura 3).
Uma vez que a curva de resposta em freqüência é suave, sem presença de picos de ressonância, em princípio
não necessidade da utilização de pólos complexos conjugados para identificar o sistema. Um modelo com
bases de Laguerre com um único pólo real localizado em 0,55, 15 funções de base, possui MSE de 5,69E-06 e,
com 50 funções, MSE de 1,31E-08 (15). Através da utilização do método vector fitting, modelos de 4ª, e
ordens obtidos possuem MSE de 5,04E-07, 9,61E-10 e 3,84E-11, respectivamente (5).
No caso de modelos GOBF, a seleção dos pólos é mais complexa e um algoritmo de otimização não linear,
baseado no critério de custo MSE é necessário para sua obtenção. Neste caso, a dimensão da base, i.e. o
número de funções n
b
, e a estrutura de cada função G
b
da base, i.e., o número de pólos reais e o número de pólos
complexos que forma cada função, devem ser definidos a priori. A Tabela 1 faz um comparativo dos melhores
resultados obtidos.
Analisando a Tabela 1, verifica-se boa aproximação do sistema utilizando baixas ordens. Comparando os valores
previamente citados com a Tabela 1, nota-se a utilização de GOBF, isto é, devido a presença de mais de uma
dinâmica no modelo, possibilitou a compactação dos modelos estimados e melhoria na aproximação obtida.
7
Figura 3 – a) Resposta em freqüência (suave) típica de uma linha de transmissão. b) Erro entre as curvas do
sistema e a do modelo
Tabela 1 – Resultados para a linha de transmissão
# Ordem N
r
N
c
MSE # Ordem N
r
N
c
MSE
1 4 4 0 1,441E-07 4 7 5 1 4,561E-12
2 5 3 1 9,511E-08 5 8 6 1 6,682E-13
3 6 2 2 4,596E-08
* N
r
é o número de pólos reais e N
c
é o número de pares de pólos complexos conjugados presentes na base
4.2 Estudo de Caso 2: Transformador (resposta em freqüência não suave)
Seja um sistema de 18
a
ordem, proposto em (5) e cuja resposta em freqüência é dada pela Figura 4. Uma vez que
a curva de resposta em freqüência é não suave, bases de funções com pólos complexos, devem ser utilizadas. A
Tabela 2 apresenta alguns resultados da aproximação do modelo com bases formadas por diferentes
combinações de pólos reais e complexos, cuja localização foi determinada através de um método de otimização
não linear (utilizando a mesma função custo e algoritmo de minimização citados previamente).
Figura 4 – a) Resposta em freqüência (não suave) típica de um transformador. b) Erro entre as curvas do sistema
e a do modelo
Em (15), isto é, com uma base formada por somente um par de pólos complexos conjugados de localização 0,061
+ j0,64, são necessárias 500 funções de base para uma aproximação adequada, representada por um MSE de
3,88. Através da Tabela 2, nota-se uma melhor compactação e aproximação dos modelos obtidos. Por exemplo,
no modelo identificado #1, a dimensão está reduzida em 96% (de 250 mil elementos, o sistema passou a ter
apenas 400) e o MSE do erro de estimação foi levado a valores próximos de zero.
Tabela 2 – Resultados para o transformador
# Ordem N
r
N
c
MSE # Ordem N
r
N
c
MSE
1 20 4 8 1,44E-25 4 16 2 7 1,98E-03
2 19 3 8 1,81E-25 5 14 0 7 3,57E-01
3 18 2 8 2,14E-10 6 13 5 4 5,12E-00
8
5.0 - CONCLUSÃO
A realização de simulações de sistemas elétricos com modelos confiáveis nas diferentes faixas de freqüência vem
se tornando cada vez mais relevante nos últimos anos. Para tanto, este trabalho apresentou a proposta de
utilização de modelos formados por bases de funções ortonormais, em particular as bases de funções ortonormais
generalizadas, na representação de componentes de sistemas elétricos de potência.
A utilização de bases ortonormais na modelagem de sistemas permite representar o componente de tal forma que
a estrutura do modelo é baseada no erro da saída e linear nos parâmetros, isto é, uma regressão linear, o que
preserva a convexidade do problema de identificação. Este trabalho apresentou os fundamentos desta técnica de
identificação, ressaltando os princípios mais importantes, a seleção da base de funções.
A representação final do modelo é feita no formato espaço de estados, o que facilita sua incorporação em
softwares de simulação dinâmica pré-existentes. Comparou-se o método proposto com a metodologia denominada
vector fitting e com o caso de bases de funções ortonormais formadas por uma única dinâmica (Laguerre e Kautz).
Em relação ao vector fitting, a utilização de bases ortonormais melhora a robustez numérica da estimação de
parâmetros e permite a análise dos erros de estimação. Em relação às bases de Laguerre e Kautz, a utilização da
estrutura GOBF permite uma redução na dimensão do modelo e aprimorando a qualidade da estimação obtida.
Exemplos de simulação ilustraram a modelagem de sistemas usando a metodologia proposta em componentes de
sistemas elétricos com resposta em freqüência suaves (eg, linha de transmissão) e não suaves (eg,
transformador). Para ambos os casos a presença de diferentes tipos de dinâmicas, proporcionada pelos modelos
GOBF, foi importante para a adequada representação dos sistemas, facilidade de incorporação dos modelos em
pacotes de simulação de transitórios e diminuição do custo computacional para a simulação dos modelos obtidos.
6.0 - REFERÊNCIAS BIBLIOGRÁFICAS
(1) Vaessen, P.T.M. Transformer Model For High Frequencies. IEEE Trans. on Power Delivery, vol. 3, no. 4, 1998.
(2) Gustavsen, B. Wide Band Modeling of Power Transformers. IEEE Trans. on Power Delivery, vol. 19, n. 1, 2004.
(3) Keyhani, A. and S. W. Chua, S. A. Sebo. Maximum Likelihood Estimation of Transformer High Frequency
Parameters From Test Data. IEEE Transactions on Power Delivery, vol. 3, no. 4.1998.
(4) Degeneff R. C., W. J. McNutt, W. Neugebauer, J. Panek and M. E. McCallun, C. C. Honey. Transformer
Response to System Switching Voltages. IEEE Trans. on Power Apparatus and Systems, vol. 101, no. 6.1998.
(5) Gustavsen, B. and A. Semlyen, Rational Approximation of Frequency Domain Responses by Vector Fitting,
IEEE Transactions on Power Delivery, vol. 14, no. 3, 1999.
(6) Ljung, L. System Identification: Theory for the user. Prentice Hall, 2a ed., 1999.
(7) P. Heuberger, P. V. den Hof, and B. Wahlberg, Eds., Modelling and Identification with Rational Orthogonal
Basis Functions. Springer Verlag, 2005.
(8) Takenaka, S. On the orthogonal functions and a new formula of interpolation. Japanese Journal of Mathematics
II, pp 129-145, 1925
(9) Malmquist, F. Sur la détermination d'une classe de fonctions analytiques par leurs valeurs dans un ensemble
donné de points. Comptes Rendus du Sixième Congrès des mathématiciens scandinaves (Kopenhagen) pp 253-
259, 1925.
(10) Ninness, B., Gibson, S. and Weller, S., Practical Aspects of Using Orthonormal System Parameterisations in
Estimation Problems, IFAC, United States of America, 2000.
(11) Ninness, B. and F. Gustafsson; A Unifying Construction of Orhonormal Bases for System Identification. Proc.
of the Control and Decision Conference. Pp. 3388-3393. Orlando, FL, USA. 1994.
(12) Van den Hof, P. M. J. and P. S. C. Heuberger and J. Bokor. System Identification with Generalized
Orthonormal Basis Functions. Automatica, vol 3, number 12, pp 1821-1834,1995.
(13) Wahlberg B and P. M. Makila. Approximation of Stable Linear Dynamical Systems using Laguerre and Kautz
Functions Automatica, vol. 32, no. 5, pp. 693-708, 1996.
(14) Wahlberg, B., System Identification Using Kautz Models, IEEE Trans. on Automatic Control, vol 39, number 6,
pp 1276-1282, 1994.
(15) Oliveira, G. H. C., Modelagem de Componentes de Sistemas Elétricos de Potência Usando Bases de Funções
Ortonormais. XVIII SNPTEE, Curitiba, 2005.
(16) Fu, Y. and G. A. Dumont, An Optimum Time Scale for Discrete Laguerre Network, IEEE Transactions on
Automatic Control, vol 38, number 6, pp 934-938, 1993.
(17) Reginato, B. C e Oliveira, G. H. C., On Selecting the MIMO Generalized Orthonormal Basis Functions Poles
by Using Particle Swarm Optimization, European Control Conference, Aceito para publicação, 2007.
(18) Sabatini, A. M., A Hybrid Genetic Algorithm for Estimating the Optimal Time Scale of Linear Systems
Approximations using Laguerre Models, IEEE Transactions on Automatic Control, vol. 45, no. 5, pp. 1007–1011,
2000.
Livros Grátis
( http://www.livrosgratis.com.br )
Milhares de Livros para Download:
Baixar livros de Administração
Baixar livros de Agronomia
Baixar livros de Arquitetura
Baixar livros de Artes
Baixar livros de Astronomia
Baixar livros de Biologia Geral
Baixar livros de Ciência da Computação
Baixar livros de Ciência da Informação
Baixar livros de Ciência Política
Baixar livros de Ciências da Saúde
Baixar livros de Comunicação
Baixar livros do Conselho Nacional de Educação - CNE
Baixar livros de Defesa civil
Baixar livros de Direito
Baixar livros de Direitos humanos
Baixar livros de Economia
Baixar livros de Economia Doméstica
Baixar livros de Educação
Baixar livros de Educação - Trânsito
Baixar livros de Educação Física
Baixar livros de Engenharia Aeroespacial
Baixar livros de Farmácia
Baixar livros de Filosofia
Baixar livros de Física
Baixar livros de Geociências
Baixar livros de Geografia
Baixar livros de História
Baixar livros de Línguas
Baixar livros de Literatura
Baixar livros de Literatura de Cordel
Baixar livros de Literatura Infantil
Baixar livros de Matemática
Baixar livros de Medicina
Baixar livros de Medicina Veterinária
Baixar livros de Meio Ambiente
Baixar livros de Meteorologia
Baixar Monografias e TCC
Baixar livros Multidisciplinar
Baixar livros de Música
Baixar livros de Psicologia
Baixar livros de Química
Baixar livros de Saúde Coletiva
Baixar livros de Serviço Social
Baixar livros de Sociologia
Baixar livros de Teologia
Baixar livros de Trabalho
Baixar livros de Turismo