Post on 23-Jan-2016
transcript
/35
Identificacion de sistemas
Simulacion de sistemas continuos
1
/35
Contenido
El modelado de sistemas
Los lenguajes de simulacion
Un ejemplo de Modelado y simulación
Modelado vs. simulación
2
/35
EL MODELADO DE SISTEMAS
3
/35
Vars./Time Continuous Discrete
Continuous [1] DESS (Differential equation System Specification)Partial Differential EquationsOrdinary Differential EquationsBond GraphsModelica
[2] DTSSDifference EquationsFinite Element MethodFinite DifferencesNumerical methods (in general, any computing method for the continuous counterparts], like Runge-Kutta, Euler, DASSL and others.
Discrete [3] DEVS (Discrete Event System Specification)DEVS FormalismTimed Petri NetsTimed Finite State MachinesEvent Graphs
[4] AutomataFinite State MachinesFinite State AutomataPetri NetsBoolean LogicMarkov Chains
Formalismos de modelos matematicos
4
Los sistemas continuos pueden ser formulados en terminos de DESS, DAESS, DEVS
/35
Modelos DESS
En el formalismo DESS (differential equation System Specification model) el modelo matemático de un sistema dinámico es:
» un conjunto de ecuaciones diferenciales que representan las características dinámicas del sistema.
» las cuales se obtienen aplicando leyes físicas.
» Normalmente un conjunto de ecuaciones ordinarias (sistema de parametros concentrados)
5
/35
Un ejemplo de modelo matematico
M
K B
x
f t
El modelo matemático del sistema masa-resorte-amortiguador puede ser descrito por:
)(tfkxxcxm
Parametros:
m = 0.25, c = 0.5, k = 1
6
En el formalismo DESS (differential equation System Specification model)
/35
El proceso de modelado y simulación
7
/35
LOS LENGUAJES DE SIMULACION
8
/35
Modelado y simulacion
9
Mundo RealMundo Real SimuladorSimulador
modelado simulacion
Modelo
d q(t) / dt = x(t)
Integracion numerica
Codigo ASCII
/35
Lenguajes de simulacion
Un lenguaje de simulación describe las operaciones a ejecutar durante una simulación en la computadora
La mayoria de los lenguajes tienen tambien una interfaz gráfica capacidad de análisis de los resultados
10
CSSL PROGRAM Van der PolINITIAL
constantk = -1, x0
= 1, v0 = 0,tf = 20
ENDDYNAMIC
DERIVATIVEx =
integ(v, x0)v =
integ((1 – x**2)*v – k*x, v0)ENDtermt (t.ge.tf)
ENDEND
/35
Software y lenguajes de simulacion
11
Simulink SPICE Scilab Dynamo SLAM: Simulation
Language for Alternative Modeling
VisSim Saber-Simulator
Modelica CSSL: Continuous System
Simulation Language ACSL: Advanced
Continuous Simulation Language
EL: EcosimPro Language XMLlab Flexsim 4.0
/35
UN EJEMPLO DE MODELADO Y SIMULACIÓN
12
/35
Modelado de un circuito eléctrico
13
Dado el modelo gráfico del circuito eléctrico RLC
A partir de este modelo gráfico debe construirse un modelo de simulación
/35
Modelo matemático del circuito
14
Ecuaciones constitutivas
Ecuaciones de malla
Ecuaciones de nodo
Modelo diferencial algebraico, DAE, implícito
/35
Ordenamiento de las ecuaciones
15
Podemos hacer explícito el modelo decidiendo cuál variable resolver en cada ecuación
Las ecuaciones se ordenan de tal manera que se pueda solucionar el modelo
Modelo diferencial algebraico explícito o modelo de simulacion
/35
Solución del modelo
16
El signo igual tiene el sentido de asignación
Condición inicial
Nótese que uC y iL no son tratadas como incógnitas
Las variables de estado uC y iL son calculadas por el algoritmo de integración usado en la simulación
/35
Modelo en espacio de estados
17
El modelo en espacio de estado es la forma preferida para simular sistemas lineales con MATLAB
Ecuaciones de estado
Ecuación de salida
Modelo en ecuaciones diferenciales ordinarias, ODE, explícito
/35
Modelo en espacio de estados
18
Forma matricial
Modelo en espacio de estados lineal
/35
Simulación del modelo en MATLAB
19
/35
Simulación del modelo en MATLAB
20
Toda la simulación se realiza en lsim
¿Cómo se realiza?
/35
Simulación del modelo en SIMULINK
21
CONSTRUIR Y SIMULAR EL MODELO EN SIMULINK
Ejercicio
/35
MODELADO VS. SIMULACIÓN
22
/35
Modelado vs. simulación
El proceso del modelado se interesa por la extracción del conocimiento de la planta física a ser simulada
El proceso de simulación se interesa por ejecutar experimentos sobre el modelo para hacer predicciones
23
¿Dónde termina el modelado y donde comienza la simulación?
/35
Modelado vs. simulación
24
La transición desde el modelo gráfico hasta el código en MATLAB es largo y complicado
Existen herramientas tales como DYMOLA que realizan en el proceso automáticamente
La herramienta más apropiada es función del sistema a ser simulado, y posiblemente del experimento a ser realizado con el modelo
/35
El reloj de simulación
25
En el mundo real el tiempo simplemente pasa
En simulación, simplemente el tiempo no pasa.
Es necesario hacer que pase
Cuando se simula un sistema, es deber nuestro para administrar el reloj de simulación,
La eficiencia con que administremos el reloj de simulación decidirá en última instancia sobre la eficiencia de nuestra simulación.
/35
Discretización del tiempo
26
Cuando se simula un sistema de tiempo continuo en un computador digital, el tiempo debe ser discretizado
No es posible actualizar las variables de estado infinitamente rápido en un tiempo finito
La mayoría de los algoritmos numéricos para la solución de ODEs, solvers, discretizan el eje del tiempo
Es decir, hacen avanzar el reloj de simulación usando pasos finitos (time steps)
El tamaño del paso h, puede ser fijo o variable
/35
El intervalo de comunicación
27
En el código en MATLAB mostrado anteriormente
Sin embargo, 10-6 no es el tamaño del paso sino el intervalo de comunicación
El intervalo de comunicación instruye al programa para reportar los resultados de simulación cada 10-6 unidades de tiempo
tiempo ilusorio
/35
Diferentes tipos de tiempo en una simulación
28
El reloj de simulación puede avanzar más rápido o más lento que el reloj de comunicación
Normalmente la grilla de comunicación está espaciada de forma equidistante, sin embargo la grilla de simulación no
/35
El reloj de simulación
29
El tamaño del paso de simulación está determinado por el requerimiento de precisión
El algoritmo de integración usa alguna fórmula para estimar el error de integración, y usa esta estimación para ajustar el tamaño del paso
/35
El reloj de simulación
30
¿Al menos el reloj de simulación avanza en forma creciente con el tiempo real?
¿Es decir, la diferencia en tiempo, Δt, del reloj de simulación entre dos evaluaciones subsecuentes del modelo es siempre positivo?
La respuesta es, NO
/35
El reloj de simulación
31
Razones
El tamaño del paso h, no es necesariamente idéntico al tiempo de avance Δt
El reloj de simulación puede saltar hacia atrás y hacia adelante en cada paso del tiempo individual
nt T1t 2t 1nt 0
t t t Step size = h(varios)
/35
El reloj de simulación
32
Aunque en el algoritmo de integración usado Δt permanezca siempre positivo el reloj de simulación no necesariamente avanza monopólicamente con el tiempo real
Razones
El reloj de simulación avanza teniendo en cuenta la estimación del error de integración
Algoritmos optimistas
Algoritmos conservativos
Dos tipos de algoritmos
/35
El reloj de simulación
33
Aunque Δt permanezca siempre positivo, y se utilice un algoritmo optimista, el reloj de simulación no necesariamente avanza monopólicamente con el tiempo real
Razones
Los algoritmos de integración no pueden integrar a través del discontinuidades en el modelo
Deteccion de discontinuidades
/35
Fuentes
Cellier, F.E. and E. Kofman (2006), Continuous System Simulation, Springer-Verlag, New York
34
/35
FIN
35