(Esp)
Vol. , N. , pp , 200
Monogrfico: Clculo fraccionario
BLAS M. VINAGRE JARA * ANTONIO J. CALDERN GODOY * JOS I. SUREZ MARCELO * CONCEPCIN A. MONJE MICHARET *
* Departamento de Electrnica e Ingeniera Electromecnica, Escuela de Ingenieras Industriales, Universidad de
Extremadura, Badajoz.
RESUMEN
Este trabajo pretende ser una introduccin y una
invitacin al Control Fraccionario, entendido ste
como el conjunto de aplicaciones del Clculo Fraccionario en Teora de Control. Al mismo tiempo, quiere
servir para que los miembros de la comunidad de
control perciban cmo el clculo fraccionario puede
ampliar los horizontes de su disciplina, y para que
investigadores y docentes de otras disciplinas
entiendan por qu el clculo fraccionario es til en
teora de control. Por ello, el trabajo se ha estructurado
como un libro de texto que recorre desde los fundamentos y definiciones bsicas del clculo fraccionario
hasta las estrategias de implantacin de controladores
y filtros fraccionarios, pasando por el anlisis de sistemas y el diseo de controladores. Finalmente, se
hace un breve esbozo de la actualidad del control fraccionario.
ABSTRACT
This work aims to introduce the reader to the essentials of Fractional Order Control, on the understanding
that it refers to the set of applications of Fractional
Calculus in Control Theory. At the same time, it aims
to motivate the control community members to consider fractional calculus as a way to expand their discipline horizons, as well as the researchers and
academics from other disciplines to understand why
fractional calculus is useful in control theory.
Consequently, the contents of this work have been
organized following a book structure that covers from
1.
INTRODUCCIN
Este trabajo pretende ser una introduccin al modelado y control de sistemas lineales de orden fraccionario. Por una parte, los modelos fraccionarios permiten caracterizar mejor aquellos sistemas donde se
dan fenmenos de memoria, tales como la difusin, la
viscoelasticidad, el transporte de masa, etc. Tambin
pueden caracterizar a sistemas de parmetros distribuidos en un determinado rango de frecuencias. Por
otra, el uso de controladores fraccionarios permite
tanto ampliar las posibles acciones de control que se
pueden ejercer sobre cualquier sistema, como
acometer el problema del control de sistemas fraccionarios sin utilizar aproximaciones de orden entero
para los mismos. Entre las ventajas de utilizar controladores fraccionarios, es especialmente importante la
posibilidad de disear fcilmente en el dominio de la
frecuencia sistemas de control robustos.
La herramienta matemtica utilizada es el clculo
fraccionario, denominacin acuada para la extensin
del clculo que permite considerar la integracin y la
2.
FUNDAMENTOS DE CLCULO
FRACCIONARIO
(6)
Esta definicin para la derivada fraccionaria incorpora
los valores iniciales de la funcin y sus derivadas de
orden entero menor, es decir, condiciones iniciales que
son fsicamente interpretables de la manera tradicional. As, su transformada de Laplace es de la forma
m 1
(1)
De una forma natural, se puede extender la validez
de la frmula anterior de valores del ndice enteros
positivos a valores reales positivos utilizando la funcin Gamma. Teniendo en cuenta que (n 1)! = ( n) , e
introduciendo el nmero real positivo , se define la
integral fraccionaria de orden R + como
(2)
GL
D a f(t) )
t = kh
h 0
lim h a ( 1) j f(kh jh)
h0
j =0
j
donde R es el conjunto de los nmeros reales positivos. Su transformada de Laplace viene dada por la
expresin
{I f(t)}= s F(s)
(7)
k =0
(8)
(9)
(4)
cuya transformada de Laplace puede expresarse como
m 1
{R D f(t)}= s F(s) s D
k =0
k 1
f (t )
t =0
(5)
m 1 k
q(t), t > 0
ciales u (k)(0 +) = bk, k = 0,1, 2,..., m 1. Los casos particulares de relajacin y oscilacin se obtienen haciendo
= 1 y = 2, respectivamente.
Introduciendo la funcin de Mittag-Leffler,
E (t ), definida mediante la expresin [1]
Ea(z) =
zk
(ak + 1)
k =0
(11)
(12)
k, k = k , R + , k Z +
a D
k =0
3.
3.1. Introduccin
Una vez establecidas las definiciones fundamentales del clculo fraccionario y determinados los tipos
(14)
y (t ) = bkD ku (t )
(15)
k =0
D x = Ax + Bu
m 1
(16)
G(s) =
b (s )
k =0
n
a (s )
k =0
(18)
y = Cx + Du
(19)
(20)
(21)
(22)
C(s aI A) 1B + D
(23)
Definiendo
y
aplicando las propiedades de la transformada de
Laplace, se llega a la expresin
(24)
Como se puede ver, (t) es la matriz que habitualmente se conoce como matriz de transicin de estados.
Siguiendo un procedimiento anlogo al utilizado
para los sistemas lineales de orden entero, se puede
determinar la forma de la matriz de transicin de estados. Para ello, partiendo de la expresin
D x(t) = Ax(t), x(0) = x0,
(25)
(26)
(28)
Ax(0)
A 2x(0) 2
A kx(0) k
t +
t + ..... +
t + ..... =
x(t) = I +
(1
)
(1
2
)
(1 + k)
A k t k
(1 + k) x(0) = E(At )x(0) = ( t) x(0)
donde
(27)
(29)
3.4. Estabilidad
3.4.1. Consideraciones previas
De una manera general, el estudio de la estabilidad
de los sistemas fraccionarios puede realizarse estudiando las soluciones de las ecuaciones diferenciales
que los caracterizan, y se ha visto que la funcin de
Mittag-Leffler representa la solucin fundamental,
dependiendo la forma de las soluciones de los argumentos y parmetros de esta funcin, o, en otras palabras, de los coeficientes y rdenes de derivacin de la
ecuacin diferencial fraccionaria.
Una manera alternativa es partir de la funcin de
transferencia del sistema (16). Para hacer este estudio,
es preciso recordar que una funcin del tipo
f(s) = ans n + an 1s n1 + .... + a0s 0
(30)
ficie de Riemann de un nmero de hojas que ser finito slo en el caso de que i, i Q + , siendo la hoja
principal la definida por < arg(s) < . Si,
i, i Q + , es decir, = 1 q, q entero positivo, las q
hojas de la superficie de Riemann correspondiente
vienen determinadas por
(31)
siendo la correspondiente a k = 1 la denominada hoja
principal. Para w = s estas hojas se transformarn en
las regiones del plano w definidas por
(32)
En las figuras 1 y 2 se ilustra esta transformacin
para el caso w = s1 3. En la figura 1 se puede ver la
superficie de Riemann correspondiente a la transformacin, mientras que en la figura 2 se muestran las
regiones del plano complejo w correspondientes a cada
una de las hojas de la superficie de Riemann.
As, una ecuacin del tipo
ans n + an 1s n1 + .... + a0s 0 = 0
(33)
(34)
(35)
(36)
(37)
k =0
E, (z) =
zk
, > 0, > 0
k + )
k =0
(38)
(40)
donde es el orden de multiplicidad del polo en el origen del sistema.
(39)
k =0
4.
CONTROL FRACCIONARIO
4.1 Introduccin
En esta seccin se pretende justificar de forma simple el uso de los operadores fraccionarios en los sis-
10
G(s) =
A ,0 < < 2
s + A
(41)
(43)
4.3.1 Introduccin
Las primeras aportaciones en este campo fueron los
artculos que a finales de los aos cincuenta y princi-
Figura 4. Acciones bsicas de control. El tipo de accin ejercida depende del valor del parmetro [1,1].
11
Figura 5. Efectos de la accin integral sobre una onda cuadrada segn el orden de integracin.
12
entes de la curva de magnitud. Siguiendo un razonamiento paralelo al realizado para la accin integral, es
fcil admitir que todos estos efectos pueden ser ponderados mediante la eleccin del orden de la derivada
(ver figura 6).
para un error constante, lo que resulta en la eliminacin del error estacionario, y decrece cuando el error
se hace cero, lo que resulta en una menor inestabilidad
del sistema.
En el plano complejo, se puede ver que la seleccin de un valor de se traduce en la eleccin de en
qu medida se desplaza el lugar de las races hacia el
semiplano derecho, y de los valores de K que hacen
que se cumpla la condicin de mdulo.
En el dominio de la frecuencia, el hecho de variar
entre 1 y 0, supone la posibilidad de introducir un
incremento constante en las pendientes de la curva de
magnitud que variar entre 20 db/dec y 0 db/dec,y/o
un retraso constante en la curva de fase que variar
entre /2 y 0.
La accin derivativa, por su parte, aumenta la estabilidad del sistema y tiende a enfatizar los efectos de
los ruidos y perturbaciones de alta frecuencia. En el
dominio del tiempo, esto se manifiesta, principalmente, por una disminucin tanto de la sobreoscilacin
como del tiempo de establecimiento. En el plano complejo, como un desplazamiento del lugar de las races
del sistema hacia el semiplano izquierdo. En el
dominio de la frecuencia, como un adelanto constante
de fase de /2 y un aumento de 20 db/dec en las pendi-
(s c) 2 + 2d cs c + 1
s
(45)
con
Por tanto, las aportaciones del controlador pueden
verse como dependientes de: a) las ganancias K p , K i ,
K d ; b) la ganancia k y los parmetros wc , d c . En la
respuesta en frecuencia del controlador, la eleccin de
estas ganancias o parmetros es equivalente a la seleccin de la posicin, suavidad y valor del mnimo en la
curva de magnitud, y la pendiente de la curva de fase a
la frecuencia en que se produce tal mnimo. Sin embargo, para altas y bajas frecuencias, los valores de las
pendientes en la curva de magnitud y de las aportaciones de fase son fijos.
La ecuacin ntegro-diferencial que define la
accin de control del FOPID es
u(t) = K pe (t ) + K iD e (t ) + K dD e (t )
(46)
(s f ) + + 2d f s f + 1
Ki
+
K
s
=
k
d
s
s
(46)
13
5. REALIZACIN DE
CONTROLADORES FRACCIONARIOS
Toda idea pierde algo de su pureza desde el momento en que
aspira a realizarse.
(E. Renan,.Vida de Jess)
5.1 Introduccin
Utilizando las definiciones de Riemann-Liouville
para los operadores fraccionarios, un controlador fraccionario vendr caracterizado por una funcin de
transferencia continua como (16), o por una funcin de
transferencia discreta de la forma (17). Un controlador
fraccionario, por tanto, como sistema fraccionario que
es, tiene una funcin de transferencia no racional en el
dominio de Laplace, o una funcin de transferencia de
orden ilimitado en el dominio de z. Por una parte, es
obvio que slo en el caso de orden entero es posible
realizar exactamente una funcin de transferencia continua utilizando elementos circuitales convencionales,
tales como resistencias, condensadores o inductancias.
Por otra, slo en el caso de orden entero el desarrollo
de (w(z 1)) tendrn un nmero finito de trminos, es
decir, podr ser realizado exactamente utilizando los
procedimientos habituales para la realizacin de controladores discretos (ecuaciones en diferencias de
orden finito o filtros digitales de orden finito). As, lo
que en el modelado supona una ventaja la memoria
14
b1(s)
b2(s)
a1(s) +
b3(s)
a2(s) +
a3(s) + .....
(47)
15
(50)
(48)
m + 1 = + + 1
Otros mtodos se basan directamente en la distribucin alternada sistemtica de ceros y polos (factores de adelanto y atraso) para ajustar las curvas originales de magnitud y fase de los operadores fraccionarios en el dominio de la frecuencia, tal como se
muestra en la figura 8. Las localizaciones de los ceros
y polos de esta distribucin suelen obtenerse de una
forma recursiva.
Adems, cualquier mtodo de identificacin de sistemas o ajuste de curvas en el dominio de la frecuencia
puede emplearse con objeto de obtener un modelo
racional cuya respuesta en frecuencia se ajuste a la del
sistema de forma que se haga mnima, utilizando generalmente mnimos cuadrados, una determinada
funcin de coste, que suele ser de la forma
(49)
Es preciso tener en cuenta que el caso de la realizacin discreta de controladores o filtros fraccionarios
no es equivalente a los casos de simulacin o evaluacin numrica de los operadores ntegro-diferenciales
fraccionarios. En el caso de la aproximacin numrica,
til para la integracin numrica de ecuaciones y la
simulacin dinmica de sistemas, debemos tener en
cuenta el coste computacional y la convergencia del
algoritmo, lo que nos llevar a elegir el mtodo y el
paso a utilizar. En el caso de realizacin de controladores es necesario, sin embargo, tener en cuenta
algunas otras consideraciones importantes.
En primer lugar, el valor de h, el paso o separacin
entre puntos cuando tratamos de evaluacin numrica
o simulacin, es el valor del periodo de muestreo, T; en
segundo lugar, todo el proceso requerido por la ley de
control debe realizarse en un intervalo de tiempo sensiblemente inferior al periodo de muestreo. Por otra
parte, el nmero de trminos del desarrollo de la funcin generadora considerados para la aproximacin
determina el tamao de la memoria requerida para llevar a cabo la ley de control. As, en este caso, el sistema microprocesador empleado impondr restricciones en base a sus limitaciones de velocidad de
muestreo, potencia de clculo y memoria. Ello hace
16
(53)
donde Pp y Qq son polinomios de grado p y q respectivamente, y T es el periodo de muestreo.
(52)
17
18
BIBLIOGRAFA
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.