Escolar Documentos
Profissional Documentos
Cultura Documentos
Ernesto Kofman
Laboratorio de Sistemas Dinmicos y Procesamiento de la Informacin FCEIA - UNR. CONICET
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Organizacin de la Presentacin
1
Sistemas Continuos y Ecuaciones Diferenciales Conceptos Bsicos Ejemplo Introductorio Ecuaciones de Estado Mtodos de Integracin Numrica Introduccin Caractersticas de los Mtodos Algunas Dicultades Mtodos de Integracin por Cuanticacin Introduccin Sistemas Cuanticados y DEVS Mtodos de QSS
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Sistemas Continuos
Son sistemas cuyas variables evolucionan de forma continua en el tiempo Esto incluye: sistemas fsicos (mecnicos, elctricos, hidrulicos, etc.), procesos qumicos, dinmica de poblaciones, algunos modelos econmicos, etc. Estos sistemas pueden en general modelarse mediante Ecuaciones Diferenciales.
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
F (t )
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
(t ) = v (t ) x k b 1 (t ) = x (t ) v (t ) + F (t ) v m m m
E. Kofman Simulacin de Sistemas Continuos
(1)
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
x (t )
1
x (t ), v (t )
0.8
0.6
0.4
0.2
v (t )
0 0.2
10
t
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
(3)
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
(6)
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Mtodo de Euler
Aproximando la derivada por el cociente incremental, puede escribirse x (tk +1 ) x (tk ) (tk ) = f (x (tk ), tk ) x tk +1 tk Tomando h tk +1 tk (h jo) puede despejarse xk +1 = xk + h f (xk , tk ) Luego, conociendo x0 , pueden obtenerse x1 , x2 , , xN de forma iterativa. La frmula de Euler (7) dene una Ecuacin en Diferencias (Sistema de Tiempo Discreto).
E. Kofman Simulacin de Sistemas Continuos
(7)
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
1.5
x (t ), v (t )
x (t )
1 0.5
v (t )
0
0.5
10
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
1.5
x (t ), v (t )
x (t )
1 0.5
v (t )
0
0.5
10
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
1.5
x (t ), v (t )
x (t )
1 0.5
v (t )
0
0.5
10
t
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
15
x (t ), v (t )
10
x (t ) v (t )
10
10
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Orden de Precisin
La expansin en serie de Taylor de la solucin exacta de la EDO (6) en torno a xk es: xk +1 = xk + h f (xk , tk ) + h3 d 2 f h2 df (xk , tk ) + (xk , tk ) + . . . (8) 2! dt 3! dt 2
El orden de precisin de un mtodo es la mxima potencia de h hasta la cual coinciden las soluciones exacta y numrica. El mtodo de Euler es entonces un mtodo de primer orden Cuanto mayor es el orden de un mtodo, menor es el error local por truncamiento.
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Mtodos Monopaso
Son mtodos que calculan xk +1 utilizando nicamente informacin sobre xk . (Mtodos de RungeKutta) Forward Euler (primer orden): xk +1 = xk + h f (xk , tk ) Backward Euler (primer orden): xk +1 = xk + h f (xk +1 , tk +1 ) Regla Trapezoidal (segundo orden): xk +1 = xk + 0.5 h [f (xk +1 , tk +1 ) + f (xk , tk )] Heun (segundo orden): k1 = f (xk , tk ), k2 = f (xk +hk1 , tk +h), xk +1 = xk +0.5h(k1 +k2 )
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Mtodos Multipaso
Son mtodos que calculan xk +1 utilizando informacin sobre xk y sobre algunos puntos anteriores (xk 1 , etc). AdamsBashforth 3 (tercer orden): xk +1 = xk + h (23 fk 16 fk 1 + 5 fk 2 ) 12
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Mtodos Implcitos
Los mtodos implcitos utilizan informacin del futuro para calcular xk +1 , y por lo tanto requieren resolver una ecuacin en cada paso. Los mtodos de Backward Euler, la Regla Trapezoidal y BDF3 son ejemplos de mtodos implcitos. Los mtodos implcitos tienen grandes ventajas en relacin a la estabilidad numrica. Como contrapartida, su implementacin requiere de algoritmos iterativos para resolver la ecuacin implcita en cada paso.
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Control de Paso
En muchos casos, los mtodos se implementan con un algoritmo de control de paso automtico:
1
Con dos mtodos de orden distinto se da un paso h hacia adelante. Se estima el error como la diferencia entre los dos valores. Si el error estimado es menor que el error tolerado, se acepta el paso y se aumenta el valor de h para el siguiente paso. Si por el contrario, el error es mayor que el tolerado, se disminuye el valor de h y se repite el paso.
2 3
Con esta idea se puede controlar el paso de integracin h en funcin de una tolerancia de error preestablecida.
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Son sistemas que contienen simultneamente dinmica lenta y dinmica rpida. En principio, la idea sera usar un paso chico al comienzo y luego agrandarlo cuando la dinmica rpida desaparece. El problema es que los mtodos explcitos se tornan numricamente inestables al agrandar el paso h. Por esto, con los sistemas stiff deben utilizarse exclusivamente mtodos implcitos provistos de algoritmos de control de paso.
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Son sistemas que estn en el lmite de la estabilidad analtica. Ej: el sistema masa resorte (20) sin friccin (b = 0), sistemas de dinmica celeste, etc. En estos casos: Los mtodos explcitos resultan numricamente inestables. Los mtodos implcitos en general resultan numricamente estables. Se necesita utilizar mtodos implcitos especiales denominados Festables como la Regla Trapezoidal
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Sistemas Discontinuos
Un modelo simple de una pelota que cae y rebota contra el piso es el siguiente: (t ) = v (t ) y (t ) = v g g
k m
y (t )
b m
v (t )
si y (t ) > 0 si y (t ) 0
y (t )
Esta EDO tiene una discontinuidad en y = 0. Los mtodos de integracin pueden cometer errores inaceptables. Es necesario detectar los instantes en que y (t ) = 0 y recomenzar la simulacin a partir de all.
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Ejemplo Introductorio
Consideremos el sistema de segudo orden: 1 (t ) = x2 (t ) x 2 (t ) = x1 (t ) x y la siguiente aproximacin: 1 (t ) = x oor(x2 (t )) = q2 (t ) 2 (t ) = oor(x1 (t )) = q1 (t ) x (10) (9)
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Ejemplo Introductorio
5
La Ecuacin 1 (t ) = q2 (t ) x 2 (t ) = q1 (t ) x puede resolverse. Consideremos las c.i. x1 (0) = 4.5, x2 (0) = 0.5:
1 = 0 x x1 (t )
2 = 4 x x2 (t )
t1 = 0.5/4
0 0.1 0.2 0.3 0.4 0.5 0.6
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Ejemplo Introductorio
5
La Ecuacin 1 (t ) = q2 (t ) x 2 (t ) = q1 (t ) x puede resolverse. Consideremos las c.i. x1 (0) = 4.5, x2 (0) = 0.5:
x1 (t )
1 = 1 x
2 = 4 x x2 (t )
t2 = t1 + 1/4
0 0.1 0.2 0.3 0.4 0.5 0.6
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Ejemplo Introductorio
5
La Ecuacin 1 (t ) = q2 (t ) x 2 (t ) = q1 (t ) x puede resolverse. Consideremos las c.i. x1 (0) = 4.5, x2 (0) = 0.5:
x1 (t )
1 = 2 x a
2 = 4 x x2 (t )
t3 = t2 + a/2
0 0.1 0.2 0.3 0.4 0.5 0.6
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Ejemplo Introductorio
5
La Ecuacin 1 (t ) = q2 (t ) x 2 (t ) = q1 (t ) x puede resolverse. Consideremos las c.i. x1 (0) = 4.5, x2 (0) = 0.5:
x1 (t )
1 = 2 x
x2 (t ) 2 = 3 x
0.1
0.2
0.3
0.4
0.5
0.6
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Ejemplo Introductorio
Solucin del Sistema Cuanticado
5 4
10
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
A diferencia de los mtodos de integracin vistos, el sistema aproximado (10) no puede escribirse como una Ecuacin en Diferencias: x (tk +1 ) = f (x (tk ), tk ) Como veremos, los Sistemas Cuanticados son equivalentes a modelos de Eventos Discretos DEVS M = (X , Y , S , int , ext , , ta)
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
1 (t ) = x2 (t ) x 2 (t ) = x1 (t ) x
(11)
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
1 (t ) = q2 (t ) x 2 (t ) = q1 (t ) x
E. Kofman Simulacin de Sistemas Continuos
(12)
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
1 (t ) = q2 (t ) x x2 (t ) = q1 (t )
E. Kofman Simulacin de Sistemas Continuos
(12)
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Integrador Cuanticado
Integrador Cuanticado dx (t ) x (t ) q (t )
Notar que la salida del bloque es seccionalmente constante. Si consideramos adems que la entrada tambn lo es, podemos pensar dichas trayectorias como secuencias de eventos. El comportamiento del integrador cuanticado puede representarse por un modelo DEVS elemental.
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Funciones Estticas
Funcin Esttica q1 (t ) . . . qn (t ) dx (t ) f (q1 , , qn )
Si la entrada es seccionalmente constante, la salida tambin lo ser. El comportamiento de una funcin esttica tambin puede representarse mediante un modelo DEVS elemental.
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
es equivalente a un DEVS y en principio podra simularse acoplando integradores cuanticados y funciones estticas. Esta es la idea original de Bernard Zeigler para simular EDOs mediante Sistemas Cuanticados.
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
es equivalente a un DEVS y en principio podra simularse acoplando integradores cuanticados y funciones estticas. Esta es la idea original de Bernard Zeigler para simular EDOs mediante Sistemas Cuanticados.
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Desafortunadamente, esta idea no funciona debido a la aparicin de oscilaciones innitamente rpidas. Analicemos por ejemplo lo que ocurre con el sistema cuanticado (t ) = oor (x (t )) 0.5 x con x (0) = 0. Esto se puede solucionar agregando histresis a la cuanticacin, lo que resulta en el Mtodo de QSS.
(15)
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Desafortunadamente, esta idea no funciona debido a la aparicin de oscilaciones innitamente rpidas. Analicemos por ejemplo lo que ocurre con el sistema cuanticado (t ) = oor (x (t )) 0.5 x con x (0) = 0. Esto se puede solucionar agregando histresis a la cuanticacin, lo que resulta en el Mtodo de QSS.
(15)
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Mtodo de QSS
Funcin de Cuanticacin con Histresis
Qi xi qi t
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Mtodo de QSS
Denicin Dado un sistema (t ) = f (x (t ), u (t )) x (16) con x Rn , u Rm y f : Rn Rn , la aproximacin QSS est dada por (t ) = f (q (t ), u (t )) x (17) donde q (t ) y x (t ) estn vinculadas componente a componente por funciones de cuanticacin con histresis. El QSS (17) es equivalente a un modelo DEVS Legtimo.
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
u f1 . . . xn fn q qn x1 q1
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Propiedades de QSS
Deniendo x (t ) como q (t ) x (t ), la Ec.(17) puede reescribirse (t ) = f (x (t ) + x (t ), u (t )) x que es muy similar a (16), excepto por la perturbacin acotada x . Luego resulta: Convergencia: El error tiende a 0 cuando la cuanticacin Q 0.
Estabilidad prctica: Cuando el sistema original es estable, las soluciones quedan en un entorno del punto de equilibrio. Cota de Error Global Calculable!: En sistemas lineales, se puede acotar el error cometido en funcin de la cuanticacin.
E. Kofman Simulacin de Sistemas Continuos
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
QSS Ejemplo
La aproximacin QSS del sistema masa resorte (20) puede escribirse como 1 (t ) = q2 (t ) x k 2 (t ) = m q1 (t ) x
b m
q2 (t ) +
1 m F (t )
(18)
Para los parmetros utilizados (m = b = k = 1), la cota de error global puede calcularse como |e1 (t )| Q1 + Q2 2.3094 Q1 + Q2 |e2 (t )| (19)
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
QSS Ejemplo
Solucin con Q = 0.01
1.2
q1 (t ), q2 (t )
0.8
0.6
0.4
0.2
0.2
10
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
QSS Ejemplo
Solucin con Q = 0.05
1.2
q1 (t ), q2 (t )
0.8
0.6
0.4
0.2
0.2
10
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
QSS Ejemplo
Solucin con Q = 0.1
1.2
q1 (t ), q2 (t )
0.8
0.6
0.4
0.2
0.2
10
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
QSS Caractersticas
Ventajas Estabilidad y Cota de Error. Descentralizacin (slo clculos locales). Explota ralitud Grandes ventajas para simular sistemas discontinuos Desventajas Aparicin de oscilaciones. Problemas en sistemas stiff. Necesidad de elegir el quantum. El nmero de pasos crece linealmente con la precisin.
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Mtodo de QSS2
Cuanticacin de primer orden First Order Quantizer Mismas propiedades y ventajas que QSS. Mtodo de segundo orden. Q Input Output El nmero de pasos crece con la raz cuadrada de la precisin.
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Mtodo de QSS3
Cuanticacin de segundo orden Second Order Quantizer Mismas propiedades y ventajas que QSS. Mtodo de tercer orden. Q El nmero de pasos crece con la raz cbica de la precisin.
Input Output
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Q Input Output
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
PowerDEVS es un simulador de DEVS que tiene libreras que implementan los mtodos de QSS. Es una herramienta libre, totalmente desarrollada en la FCEIAUNR. Tiene un editor grco y un motor de simulacin DEVS programado en C++.
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
(t ) = v (t ) x k b 1 (t ) = x (t ) v (t ) + F (t ) v m m m
E. Kofman Simulacin de Sistemas Continuos
(20)
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
(21)
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
Este modelo de lnea de transmisin sin prdidas es Stiff (debido a la carga). No Lineal (debido a la carga). Marginalmente estable. De orden elevado.
1 (t ) = u0 (t ) u1 (t ) 1 (t ) = 1 (t ) 2 (t ) u . . . n (t ) = un1 (t ) un (t )
n (t ) = n (t ) (10000 un )3 u
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
En el Laboratorio de Sistemas Dinmicos de la FCEIA estamos trabajando actualmente en los siguientes temas relacionados con los mtodos de QSS: Mtodos de QSS para sistemas stiff. Simulacin de sistemas de electrnica de potencia. Implementacin de lo mtodos en tiempo real. Simulacin de sistemas de control por redes de comunicacin.
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
E. Kofman
Sistemas Continuos y Ec. Diferenciales Mtodos de Integracin Numrica Mtodos de Integracin por Cuanticacin
E. Kofman. A Third Order Discrete Event Simulation Method for Continuous System Simulation. Latin American Applied Research, 36(2):101108, 2006. E. Kofman and B. Zeigler. DEVS Simulation of Marginally Stable Systems. In Proceedings of IMACS05, Paris, France, 2005. G. Migoni, E. Kofman, and F.E. Cellier. Integracin por Cuanticacin de Sistemas Stiff. Revista Iberoam. de Autom. e Inf. Industrial, 4(3):97106, 2007. E. Pagliero, M. Lapadula, and E. Kofman. PowerDEVS. Una Herramienta Integrada de Simulacin por Eventos Discretos. In Proceedings of RPIC03, volume 1, pages 316321, San Nicolas, Argentina, 2003.
E. Kofman