Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
RESUMEN
En este artculo se presenta un mtodo para realizar una estimacin paramtrica de un Sistema Lineal Invariante en
el Tiempo (SLIT). La metodologa aprovecha las bondades de las propiedades operacionales disponibles para la
mayora de las series ortogonales tales como, la matriz de Integracin Producto y de Coeficientes. Un aspecto
importante de esta aproximacin es que se obtiene una expresin analtica. El caso de estudio que se presenta es un
motor de CD controlado por armadura, el cual se analiza por medio de la metodologa propuesta usando como serie
ortogonal las series Walsh. La tcnica provee un excelente resultado sin mucho esfuerzo computacional.
Palabras Clave: Identificacin Paramtrica, Matriz Operacional, Redundancia Analtica y Series Walsh.
1
Profesor Investigador. Facultad de Ingeniera Elctrica, Universidad Michoacana de San Nicols de Hidalgo, E-
mail: ilazaro@umich.mx, janzurez@umich.mx.
2
Profesor Investigador. Facultad de Ingeniera Industrial, Universidad de Sonora, Campus Hermosillo, E-mail:
nun_pitalua@hotmail.com
23
Lzaro Castillo, I. et al / Ingeniera 13-2 (2009) 23-32
INTRODUCCIN
En las ltimas dcadas el funcionamiento de los Existe un inters prctico en la identificacin de
procesos industriales ha cambiado drsticamente, esto sistemas por el manejo de las dificultades asociadas
se debe principalmente a la incorporacin de la con la derivacin de los modelos a partir de los
computadora como elemento de control y a su principios fsicos, en donde es frecuente la aplicacin
evolucin, esto ha permitido que la automatizacin de de tcnicas de identificacin para estimar los
procesos permita incrementar la productividad de parmetros del mismo. Entre las diversas tcnicas
algunos sectores industriales. paramtricas en (Avils et al., 2002) se encuentra una
revisin de las principales tcnicas aplicadas a
Para aumentar la competitividad ha sido necesario Sistemas Lineales Invariantes en el Tiempo (SLIT),
desarrollar nuevas tcnicas: mtodos y herramientas en donde a partir de la respuesta en lazo abierto del
que permitan maximizar la eficiencia de los procesos, sistema se obtiene una aproximacin del mismo a uno
desarrollando controladores de gran calidad, y de orden reducido (primero o segundo orden).
maximizar la eficiencia de los procesos con el menor
ajuste de la mquina. Para ello es imprescindible Otros esfuerzos se han encaminado a extender los
conocer el comportamiento dinmico del proceso, mtodo clsicos dados por Ziegler-Nichols, en (Juri
principalmente de las partes crticas. Por esta razn es y Perunicic, 2004) se propone dicha extensin a
vital contar con tcnicas eficientes de identificacin sistemas con retardo. Por otro lado, el uso de las
que permitan obtener los parmetros del modelo de series ortogonales aplicadas al anlisis de sistemas ha
un sistema (Fossois y Rivera, 2007). recibido una atencin considerable al emplearse en
varios problemas tales como el anlisis, estimacin de
Se denomina identificacin a la tcnica de construir parmetros y control ptimo. Ejemplos tpicos de
un modelo a partir de las variables medidas del aplicaciones se pueden encontrar en (Chen y Hsiao,
proceso: entradas o variables de control, salidas o 1975; Chen y Tsay, 1977; Cheng-Chiian y Yen-Ping,
variables controladas y perturbaciones. El enfoque de 1983; Samavat y Rashidie, 1995; Rico et al., 2001;
la identificacin se puede realizar en funcin de la Lzaro et al., 2008), en donde las matrices
estructura del modelo, y del comportamiento fsico o operacionales juegan un papel importante en la
no del mismo, dentro de esto se puede distinguir: transformacin de una ecuacin diferencial lineal en
ecuaciones algebraicas. Por ejemplo, una ecuacin
Caja negra.- Cuando los parmetros del modelo no diferencial lineal con coeficientes variantes o
tienen una interpretacin fsica. invariantes en el tiempo puede ser transformada en un
conjunto de ecuaciones algebraicas va matriz
Caja gris.- Si algunas partes del sistema son operacional de integracin.
modeladas basadas en principios fundamentales y
otras como una caja negra. En este artculo la matriz operacional de integracin,
la matriz producto y la matriz de coeficientes para las
Caja blanca.- La estructura del modelo se obtiene a series ortogonales, permiten desarrollar una tcnica
partir de las leyes fundamentales. Los parmetros para la identificacin fuera de lnea de parmetros de
tienen una interpretacin fsica. SLIT, la obtencin del modelo se basa en el enfoque
de la caja blanca.
Existiendo adems varias formas de catalogar los
modelos matemticos: Aunque la solucin es esencialmente la misma en
todos los dominios, las caractersticas de las matrices
1.- Modelos no paramtricos: Estos se caracterizan intermedias que son empleadas son usualmente
mediante grficos, diagramas o representaciones que diferentes. Ejemplos de ello son la aplicacin de los
describen las propiedades dinmicas mediante un polinomios de Chebyshev de primer y segundo tipo,
nmero no finito de parmetros, dentro de estas series de Fourier, series Walsh, series de Bloques de
tcnicas estn: la respuesta al impulso, al escaln y a Pulso, series Hartley y series Haar. Como caso
la frecuencia. particular se emplean las series Walsh para mostrar la
aplicacin de la tcnica en la identificacin de
2.- Modelos paramtricos: Describen las relaciones parmetros de un SLIT. Los resultados de la tcnica
entre las variables del sistema mediante expresiones desarrollada se muestran a travs de simulaciones
matemticas, es decir, con ecuaciones diferenciales realizadas en la plataforma de Matlab.
en sistemas continuos y ecuaciones de diferencias en
sistemas discretos.
24
Lzaro Castillo, I. et al / Ingeniera 13-2 (2009) 23-32
1
1
Variantes en el Tiempo de cualquier orden, adems
de que puede emplearse a cualquier sistema cuyo 0 0
modelo sea conocido aplicando algunas de las series 1 1
Series Walsh
0
Desde que Corrington construy las tablas Walsh
1
para resolver ecuaciones diferenciales de orden
(t ) = M (4)
superior (Chen y Hsiao, 1975), desarrollaron la
matriz operacional Walsh para resolver ecuaciones m
de estado, el mtodo operacional Walsh ha sido M
aplicado satisfactoriamente para resolver problemas
tales como la sntesis en el dominio del tiempo en y cm se denominan coeficientes de la serie Walsh y
teora de sistemas; as como la determinacin de se determinan de manera que la siguiente integral
ganancias en control ptimo, el mtodo directo de del error cuadrtico es minimizada.
solucin del problema variacional y la estimacin
2
paramtrica de sistemas (Lazaro et al., 2008). Las 1
(5)
= f (t ) cmm (t ) dt
funciones Walsh i(t) son un conjunto de ondas 0 m =0
cuadradas las cuales son ortonormales. La Figura 1 aplicando el lmite
muestra las funciones de 0(t) a 7(t) en el orden 1 2
(6)
bivalente, las cuales pueden definirse a partir de las lim f (t ) cmm (t ) dt = 0
funciones de Rademacher. m 0 m=0
25
Lzaro Castillo, I. et al / Ingeniera 13-2 (2009) 23-32
Matriz Operacional de Integracin. Debido a que computacional y su dimensin depende del nmero
las funciones de Walsh son un conjunto de ondas de componentes elegidos. La Ecuacin (9) es una
rectangulares, sus integrales son frmula aproximada, su aproximacin depende de la
dimensin de o P.
8 (8)
o bien en forma compacta
(t )dt P
4 44 41 (t ) (9)
donde
P- Matriz operacional de integracin
26
Lzaro Castillo, I. et al / Ingeniera 13-2 (2009) 23-32
[C ] (t ) = (t )c (13)
Similarmente, los elementos del vector x ( t ) n1 y
Donde [C] es la matriz de coeficientes dado un
vector c definido en la ecuacin (3). Es interesante u ( t ) q1 pueden ser aproximados como:
mencionar que la matriz producto y la de
xi (t ) X i t (t ) (21)
coeficientes son en realidad una propiedad que hace
posible la solucin analtica para sistemas variantes ui (t ) U (t )
i
t
(22)
en el tiempo y que fueron encontradas por primera
vez en el dominio de Walsh. Para el caso de 4 Teniendo esto presente el producto de las series
funciones base, la matriz de coeficientes toma la ortogonales A(t)x(t) resulta:
forma
27
Lzaro Castillo, I. et al / Ingeniera 13-2 (2009) 23-32
A11t (t ) X 1t (t ) + L + A1tn (t ) X nt (t )
t
A (t ) X 1t (t ) + L + A2t n (t ) X nt (t )
A(t )x(t ) = 21 X (t ) = X 0(t ) + A [ X ] P(t ) + B [ U ] P(t ) (29)
M
t
n1
A (t ) X t
(t ) + L + A t
(t ) X t
(t ) En la ecuacin X0 es del mismo orden de X y contiene
1 nn n (23)
las condiciones iniciales de cada variable de estado,
Tomando el factor Aijt (t ) X tj (t ) , donde cada tal y como se muestra en la ecuacin (30).
producto A tj (t ) y X tj (t ) producen un escalar,
x1 (0) 0 L 0
por lo cual se puede reacomodar el producto como se x (0) 0 L 0 (30)
muestra en la ecuacin (24), al aplicar la transpuesta X0 = 2
M M O M
al trmino X j (t ) y la definicin de la Matriz
xn (0) 0 L 0
Producto.
Aijt (t ) X tj (t )(t ) = Aijt (t ) t (t ) X j = Aij X j (t ) Cancelando (t ) en ambos lados de la ecuacin
(24)
(29), obtenemos (Lzaro et al., 2008):
Donde X j es la matriz de coeficientes del
m m
X =Z (31)
vector x ( t ) . Ahora, reconstruyendo el
n1
donde:
producto A(t)x(t) se obtiene:
= [A B X 0 ] (32)
A t
11 A t
12 L A t
1n
[ X 1 ] [ X ] P
[ X 2 ] (t ) Z = [ U ] P
t t t
A A L A
A(t ) x(t ) = 21 22 2n
M M O M M e
t t (33)
An1 Ant 2 L Ann [ X n ] (25) e = [1 0 0 0 L] (34)
A(t ) x(t ) = A [ X ] (t ) (26)
Cuando se tiene un SLIT la matrices de coeficientes
donde X j es la matriz
coeficientes de [X] y [U] de cada estado y entrada respectivamente se
correspondiente a cada vector de coeficientes, [ X ] es
convierten en una matriz de vectores de coeficientes
Xj y el vector de coeficientes de la entrada U. Esto
la matriz formada por todas la matrices de hace que las matrices se vuelvan ms dispersas.
coeficientes X j . Mientras que A es una matriz Es claro que para resolver este problema y obtener los
t parmetros estimados es necesario aplicar el mtodo
construida por cada vector de constantes Aij . (t ) de mnimos cuadrados para obtener la pseudoinversa
es el vector de funciones base. de , as:
^
= XZ t ( ZZ t )1 (35)
De manera similar se puede demostrar que el
producto B (t )u (t ) se puede aproximar por. Redundancia Analtica. Dentro de los sistemas
B(t )u (t ) = B [ U ] (t ) (27)
dinmicos es frecuente encontrar una redundancia
fsica, es decir, la implementacin de varios
dispositivos de las mismas caractersticas dentro de
En donde las dimensiones de las matrices son un mismo sistema de medicin y/o control, por
B (t ) nxq (m ) , [U ] q (m m ) y (t ) (m1) . ejemplo, cuando se utilizan dos o ms sensores para
Una vez obtenidos estos resultados es posible prever cualquier eventualidad ante una falla del
determinar una expresin para resolver el problema mismo que ocasiones una inestabilidad del sistema,
de la identificacin. Integrando ambos lados de la esta situacin ocurre en aquellos sistemas en donde se
ecuacin (16), obtenemos: requieren sistemas de respaldo para proporcionar
t t cualquier confiabilidad del sistema.
x(t ) x0 (t ) = A x(t )dt + B u (t )dt (28)
0 0
Otra alternativa a la redundancia fsica que suele ser
Utilizando las propiedades de la matriz de integracin ms econmica es la redundancia analtica. Este tipo
y los resultados obtenidos en las ecuaciones (26) y de redundancia supone la posibilidad de realizar
(27), tenemos: varios experimentos sobre el sistema a identificar, los
28
Lzaro Castillo, I. et al / Ingeniera 13-2 (2009) 23-32
Identificacin de parmetros
Aplicando la metodologa mostrada el sistema descrito
puede reescribirse usando la ecuacin (31), en este
caso se consideran condiciones iniciales cero, por lo
que se tiene:
6447448
R K 1 I P
[ a]
L L (37)
[ Ia ] = L [ ] P
t
K
r 0 [Va ] P
f
J J
29
Lzaro Castillo, I. et al / Ingeniera 13-2 (2009) 23-32
Para lograr la identificacin del sistema se realizaron la tcnica de identificacin propuesta se aplica a
simulaciones en el dominio del tiempo (ODE 45) del travs de simulacin, se desarroll la interfase en
arranque del motor de CD utilizando redundancia LabVIEW mostrada en la Figura 7, en sta se
analtica, se emplearon dos entradas diferentes, una aprecia un rea para introducir los parmetros del
de ellas fue una funcin escaln de magnitud 24 y motor de CD, as como las condiciones iniciales de
otra correspondi a una seal de escaln con una las variables de estado (, ia), esto permite generar
componente tipo pulso de magnitud 0.6, todo ello con los datos necesario para realizar la identificacin
el objeto de obtener la evolucin de las variables ia y paramtrica, es decir, producir datos de la entrada y la
y lograr excitar los modos de operacin del salida, as como la evolucin de las variables de
sistema. estado. En la parte inferior derecha, se muestran los
En este caso se obtuvieron con 512 muestras para un resultados de los parmetros estimados y los errores
tiempo de 0.1 segundos, cada una de ellas se pasaron correspondientes a cada parmetro. Adems, se
al dominio de la frecuencia calculando sus muestra una grfica de la seal de entrada aplicada al
coeficientes usando como base ortogonal las series sistema para la obtencin de dichos datos.
Walsh para obtener las variables en el dominio de la
frecuencia Ia y .
El algoritmo de identificacin fue programado parmetros reales, en estas se aprecia una amplia
usando Matlab, el cual es incorporado a la interfase concordancia tanto para la velocidad como para la
grfica para obtener datos de las variables de estado corriente de armadura, lo cual permite validar los
del sistema a partir de la aplicacin de diferentes resultados obtenidos.
tipos de entrada, para identificar los parmetros se Tabla 2. Parmetros reales vs estimados y errores
utilizaron obtenidos.
512 trminos de la serie Walsh y 1024 puntos para la Parmetro Valor real Valor estimError %
transformada Walsh. La Tabla 2 muestra los Resistencia Ra 1.01 1.0108 0.0762
resultados obtenidos y su comparacin con los Inductancia La 1.6 x 10-3 1.61 x 10-3 0.6239
parmetros reales, en esta tabla se puede observar que
Coeficiente K 6.12 x 10-2 6.1202 x 1 0.0029
los errores obtenidos no sobrepasan el 5%. La Figura
8 muestra la respuesta del sistema ante una entrada Inercia del rotor J 2.6 x 10-5 2.6003 x 1 0.0128
escaln obtenidas al comparar la respuesta del Coeficiente de fricc 1.2 x 10-5 1.2476 x 1 3.964
sistema usando los parmetros estimados vs
30
Lzaro Castillo, I. et al / Ingeniera 13-2 (2009) 23-32
Figura 8. Comparacin de la respuesta del sistema con parmetros estimados vs parmetros reales ante una entrada
escaln.
REFERENCIAS BIBLIOGRFICAS
Alvarado N., (2001). Identificacin de Cargas ante Condiciones no Senoidales, usando Tcnicas de Estimacin en el
Dominio de la Frecuencia mediante Matrices Operacionales. Tesis de Maestra, Divisin de Estudios de
Posgrado de la Facultad de Ingeniera Elctrica de la UMSNH, Mxico.
Avils O .F., Nio P. A., Solaque, L. (2002), Identificacin de Parmetros de Sistemas Dinmicos, Ciencia e
Ingeniera Neogranadina, Julio 012, 41-52.
Chen C. F., Hsiao C. H. (1975). A state-space approach to Walsh series solution of linear systems. Int. J. Systems
Sci. 6-9, 833-858.
Chen C. F., Tsay Y. T. (1977). Walsh Operational Matrices for Fractional Calculus and their Application to
Distributed Systems. Journal of the Franklin Institute. 503-3, 267-284.
Cheng-Chiian L, Yen-Ping S. (1983), Analysis and Optimal Control of Time-Varying Systems via Chebyshev
Polynomials. International Journal of Control, 38-5, 1003-1012.
Datta K. B., Mohan B. M. (1995), Orthogonal Funtions in Systems and Control, 1a edicin, World Scientific,
Singapore.
31
Lzaro Castillo, I. et al / Ingeniera 13-2 (2009) 23-32
Fassois S. D., Rivera D. E. (2007). Applications of System Identification. IEEE Control Systems Magazine. 27-5,
24-26.
Juric Z., Perunicic B. (2004), An Extension of the Ziegler-Nichols Method for Parametric Identification of Standard
Plants, En memorias del IEEE MELENCON 2004, 363-366, Dubrovnik, Croatia.
Lzaro I. I., Zavala S., Anzurez J. (2008). Estimacin de Parmetros de Sistemas Lineales va Matrices
Operacionales. En memorias de la Sptima Conferencia Iberoamericana en Sistemas, Ciberntica e Informtica
CISCI 2008, Baralt J. (Editor), 240-245, Orlando Florida, USA.
Rico J.J., Heydt G. T., Keyhani A., Agrawal B. L., Selin D. (2001). An Algebraic Approach for Identifying
Operating Point Dependent Parameters of Synchronous Mechines Using Orthogonal Series Expansions. IEEE
Transactions on Energy Conversion, IEEE, 16-1, 92-98.
Samavat M., Rashidie A. J., (1995). A New Algorith for Analysis and Identification of Time Varying System. En
memorias del Proceeding of the American Control Conference. 708-712, Seattle, Washington, USA.
32