Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos...
Transcript of Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos...
![Page 1: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/1.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion de Sistemas Continuos y a Tramos
Prof. Dr. Francois E. CellierInstitut fur Computational Science
ETH Zurich
28 de junio 2007
![Page 2: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/2.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Introduccion
Introduccion
Todos los metodos que vimos hasta aquı tienen algo en comun:
Dado el instante de tiempo tk+1, los metodos realizan una extrapolacionpolinomica para calcular todas las variables de estado en dicho instante.
![Page 3: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/3.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Introduccion
Introduccion
Todos los metodos que vimos hasta aquı tienen algo en comun:
Dado el instante de tiempo tk+1, los metodos realizan una extrapolacionpolinomica para calcular todas las variables de estado en dicho instante.
Ahora, estudiaremos que pasa si planteamos el problema al reves. Buscaremosencontrar cuando una variable de estado alcanza un determinado valor, o masprecisamente,
Dada una variable de estado con valor x(tk ), queremos determinar elmınimo h tal que x(tk + h) = x(tk ) ± ΔQ.
![Page 4: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/4.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Introduccion
Introduccion
Todos los metodos que vimos hasta aquı tienen algo en comun:
Dado el instante de tiempo tk+1, los metodos realizan una extrapolacionpolinomica para calcular todas las variables de estado en dicho instante.
Ahora, estudiaremos que pasa si planteamos el problema al reves. Buscaremosencontrar cuando una variable de estado alcanza un determinado valor, o masprecisamente,
Dada una variable de estado con valor x(tk ), queremos determinar elmınimo h tal que x(tk + h) = x(tk ) ± ΔQ.
Si podemos construir un algoritmo en base a esta idea, resultara que:
� el metodo tendra paso variable, y el tamano del paso dependera de la velocidadcon que varıe el estado.
![Page 5: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/5.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Introduccion
Introduccion
Todos los metodos que vimos hasta aquı tienen algo en comun:
Dado el instante de tiempo tk+1, los metodos realizan una extrapolacionpolinomica para calcular todas las variables de estado en dicho instante.
Ahora, estudiaremos que pasa si planteamos el problema al reves. Buscaremosencontrar cuando una variable de estado alcanza un determinado valor, o masprecisamente,
Dada una variable de estado con valor x(tk ), queremos determinar elmınimo h tal que x(tk + h) = x(tk ) ± ΔQ.
Si podemos construir un algoritmo en base a esta idea, resultara que:
� el metodo tendra paso variable, y el tamano del paso dependera de la velocidadcon que varıe el estado.
� el valor de h podrıa ser distinto para cada componente del estado x.
![Page 6: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/6.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Introduccion
Introduccion
Todos los metodos que vimos hasta aquı tienen algo en comun:
Dado el instante de tiempo tk+1, los metodos realizan una extrapolacionpolinomica para calcular todas las variables de estado en dicho instante.
Ahora, estudiaremos que pasa si planteamos el problema al reves. Buscaremosencontrar cuando una variable de estado alcanza un determinado valor, o masprecisamente,
Dada una variable de estado con valor x(tk ), queremos determinar elmınimo h tal que x(tk + h) = x(tk ) ± ΔQ.
Si podemos construir un algoritmo en base a esta idea, resultara que:
� el metodo tendra paso variable, y el tamano del paso dependera de la velocidadcon que varıe el estado.
� el valor de h podrıa ser distinto para cada componente del estado x.
� no podremos representar mas el sistema discretizado con ecuaciones endiferencias y perderemos la linealidad al aproximar sistemas lineales:
x = A · x �⇒ xk+1 = F · xk
![Page 7: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/7.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Descretizacion Espacial. Un ejemplo Simple
Discretizacion Espacial. Un Ejemplo Simple
Consideremos el siguiente sistema de primer orden:
xa(t) = −xa(t) + 10 · ε(t − 1.76) (1)
con condicion inicial xa(t0 = 0) = 10; y analicemos el siguiente sistema de tiempocontinuo:
x(t) = −floor[x(t)] + 10 · ε(t − 1.76) (2a)
o,x(t) = −q(t) + 10 · ε(t − 1.76) (2b)
donde q(t) � floor[x(t)] es la parte entera de la variable positiva x(t).
![Page 8: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/8.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Descretizacion Espacial. Un ejemplo Simple
Discretizacion Espacial. Un Ejemplo Simple
Consideremos el siguiente sistema de primer orden:
xa(t) = −xa(t) + 10 · ε(t − 1.76) (1)
con condicion inicial xa(t0 = 0) = 10; y analicemos el siguiente sistema de tiempocontinuo:
x(t) = −floor[x(t)] + 10 · ε(t − 1.76) (2a)
o,x(t) = −q(t) + 10 · ε(t − 1.76) (2b)
donde q(t) � floor[x(t)] es la parte entera de la variable positiva x(t).
Este ultimo sistema puede resolverse muy facilmente.
![Page 9: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/9.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Descretizacion Espacial. Un ejemplo Simple
Discretizacion Espacial. Un Ejemplo Simple. II
x(t) = −q(t) + 10 · ε(t − 1.76); q(t) = floor[x(t)]; x(0) = 10
1/9
10x(t)
q(t)9
8
7
![Page 10: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/10.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Descretizacion Espacial. Un ejemplo Simple
Discretizacion Espacial. Un Ejemplo Simple. II
x(t) = −q(t) + 10 · ε(t − 1.76); q(t) = floor[x(t)]; x(0) = 10
1/9
10x(t)
q(t)9
8
7
1/8
![Page 11: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/11.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Descretizacion Espacial. Un ejemplo Simple
Discretizacion Espacial. Un Ejemplo Simple. II
x(t) = −q(t) + 10 · ε(t − 1.76); q(t) = floor[x(t)]; x(0) = 10
t = 1.329
4x(t)
q(t)3
2
1
1/2
t = 1.829
![Page 12: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/12.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Descretizacion Espacial. Un ejemplo Simple
Discretizacion Espacial. Un Ejemplo Simple. II
x(t) = −q(t) + 10 · ε(t − 1.76); q(t) = floor[x(t)]; x(0) = 10
4
x(t)
q(t)3
2
1
t = 1.76
![Page 13: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/13.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Descretizacion Espacial. Un ejemplo Simple
Discretizacion Espacial. Un Ejemplo Simple. III
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 50
1
2
3
4
5
6
7
8
9
10
11Solucion de Ec.(2)
Tiempo
q(t
),x(t
)
q(t)
x(t)
Figure: Trayectorias del Sistema (2).
![Page 14: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/14.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Descretizacion Espacial. Un ejemplo Simple
Discretizacion Espacial. Un Ejemplo Simple. III
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 50
1
2
3
4
5
6
7
8
9
10
11Solucion de Ec.(2)
Tiempo
q(t
),x(t
)
q(t)
x(t)
Figure: Trayectorias del Sistema (2).
� Pudimos completar la simulacion en17 pasos muy simples, obteniendo lasolucion exacta del sistemacuantificado (2).
![Page 15: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/15.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Descretizacion Espacial. Un ejemplo Simple
Discretizacion Espacial. Un Ejemplo Simple. III
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 50
1
2
3
4
5
6
7
8
9
10
11Solucion de Ec.(2)
Tiempo
q(t
),x(t
)
q(t)
x(t)
Figure: Trayectorias del Sistema (2).
� Pudimos completar la simulacion en17 pasos muy simples, obteniendo lasolucion exacta del sistemacuantificado (2).
� La solucion del sistema cuantificadono es muy distinta de la del sistemaoriginal (1).
![Page 16: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/16.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Sistemas de Eventos Discretos
Evidentemente, el sistema cuantificado (2) es un sistema discreto. Sin embargo, nocorresponde a una ecuacion en diferencias, es decir no es un sistema de tiempodiscreto.
![Page 17: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/17.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Sistemas de Eventos Discretos
Evidentemente, el sistema cuantificado (2) es un sistema discreto. Sin embargo, nocorresponde a una ecuacion en diferencias, es decir no es un sistema de tiempodiscreto.
Veremos que en realidad es equivalente a un sistema de eventos discretos. Masprecisamente, puede representarse mediante un modelo del formalismo DEVS.
![Page 18: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/18.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Sistemas de Eventos Discretos
Evidentemente, el sistema cuantificado (2) es un sistema discreto. Sin embargo, nocorresponde a una ecuacion en diferencias, es decir no es un sistema de tiempodiscreto.
Veremos que en realidad es equivalente a un sistema de eventos discretos. Masprecisamente, puede representarse mediante un modelo del formalismo DEVS.
DEVS es una abreviacion de Discrete EVent System specification. Fue introducido porBernard Zeigler a mediados de la decada de 1970.
![Page 19: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/19.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Sistemas de Eventos Discretos
Evidentemente, el sistema cuantificado (2) es un sistema discreto. Sin embargo, nocorresponde a una ecuacion en diferencias, es decir no es un sistema de tiempodiscreto.
Veremos que en realidad es equivalente a un sistema de eventos discretos. Masprecisamente, puede representarse mediante un modelo del formalismo DEVS.
DEVS es una abreviacion de Discrete EVent System specification. Fue introducido porBernard Zeigler a mediados de la decada de 1970.
DEVS permite representar todos los sistemas cuyo comportamiento entrada–salidapuede describirse mediante secuencias de eventos.
![Page 20: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/20.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Definicion de DEVSModelos DEVS atomicos
Un modelo DEVS procesa una secuencia de eventos de entrada y de acuerdo a lamisma y a su propio estado inicial, provoca una secuencia de eventos de salida.
DEVS
![Page 21: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/21.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Definicion de DEVSModelos DEVS atomicos
Un modelo DEVS procesa una secuencia de eventos de entrada y de acuerdo a lamisma y a su propio estado inicial, provoca una secuencia de eventos de salida.
DEVS
Un modelo atomico DEVS se define por la estructura:
M = (X , Y , S , δint, δext, λ, ta)
![Page 22: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/22.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Definicion de DEVSModelos DEVS atomicos
Un modelo DEVS procesa una secuencia de eventos de entrada y de acuerdo a lamisma y a su propio estado inicial, provoca una secuencia de eventos de salida.
DEVS
Un modelo atomico DEVS se define por la estructura:
M = (X , Y , S , δint, δext, λ, ta)
� X es el conjunto de valores de entrada.
![Page 23: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/23.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Definicion de DEVSModelos DEVS atomicos
Un modelo DEVS procesa una secuencia de eventos de entrada y de acuerdo a lamisma y a su propio estado inicial, provoca una secuencia de eventos de salida.
DEVS
Un modelo atomico DEVS se define por la estructura:
M = (X , Y , S , δint, δext, λ, ta)
� X es el conjunto de valores de entrada.
� Y es el conjunto de valores de salida.
![Page 24: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/24.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Definicion de DEVSModelos DEVS atomicos
Un modelo DEVS procesa una secuencia de eventos de entrada y de acuerdo a lamisma y a su propio estado inicial, provoca una secuencia de eventos de salida.
DEVS
Un modelo atomico DEVS se define por la estructura:
M = (X , Y , S , δint, δext, λ, ta)
� X es el conjunto de valores de entrada.
� Y es el conjunto de valores de salida.
� S es el conjunto de valores de estado.
![Page 25: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/25.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Definicion de DEVSModelos DEVS atomicos
Un modelo DEVS procesa una secuencia de eventos de entrada y de acuerdo a lamisma y a su propio estado inicial, provoca una secuencia de eventos de salida.
DEVS
Un modelo atomico DEVS se define por la estructura:
M = (X , Y , S , δint, δext, λ, ta)
� X es el conjunto de valores de entrada.
� Y es el conjunto de valores de salida.
� S es el conjunto de valores de estado.
� δint(), δext(), λ() y ta() son las funciones que definen la dinamica.
![Page 26: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/26.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Eventos Discretos y DEVS
Definicion de DEVSComportamiento de un modelo DEVS atomico
X
Y
S
s1
s2 = δint(s1)
s3 = δext(s2, e, x1)
s4 = δint(s3)
y1 = λ(s1)
y2 = λ(s3)
x1
eta(s1) ta(s3)
� δint(s) es la funcion detransicion interna.
� δext(s, e, x) es la funcion detransicion externa.
� λ(s) es la funcion de salida.
� ta(s) es la funcion deavance de tiempo.
![Page 27: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/27.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Modelos DEVS Acoplados
Modelos DEVS Acoplados
Los modelos DEVS atomicos pueden acoplarse para formar modelos mas complejos.La manera mas simple de definir el acoplamiento entre modelos DEVS es mediante eluso de puertos de entrada y de salida.
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Ma
Mb
N
![Page 28: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/28.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Modelos DEVS Acoplados
Modelos DEVS Acoplados
Los modelos DEVS atomicos pueden acoplarse para formar modelos mas complejos.La manera mas simple de definir el acoplamiento entre modelos DEVS es mediante eluso de puertos de entrada y de salida.
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Ma
Mb
N
Vemos los siguientes acoplamientos:
� del puerto de entrada in0 de N alpuerto in0 de Ma,
� del puerto de salida out1 de Ma alpuerto in0 de Mb,
� del puerto de salida out0 de Ma alpuerto out0 de N,
etc.
![Page 29: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/29.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Modelos DEVS Acoplados
Modelos DEVS Acoplados
Los modelos DEVS atomicos pueden acoplarse para formar modelos mas complejos.La manera mas simple de definir el acoplamiento entre modelos DEVS es mediante eluso de puertos de entrada y de salida.
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Ma
Mb
N
Vemos los siguientes acoplamientos:
� del puerto de entrada in0 de N alpuerto in0 de Ma,
� del puerto de salida out1 de Ma alpuerto in0 de Mb,
� del puerto de salida out0 de Ma alpuerto out0 de N,
etc.
El modelo acoplado N resultante puede utilizarse como si fuera unnuevo modelo atomico.
![Page 30: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/30.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Modelos DEVS Acoplados
Ejemplo: Modelo DEVS de una Funcion Estatica.
Consideremos un sistema cuya salida calcula una funcion y(t) = f (u0(t), u1(t)).
Supondremos que u0(t) y u1(t) son dos senales seccionalmente constantescaracterizadas por dos secuencias de eventos. Es decir, cada evento esta asociado a uncambio de la senal y lleva el nuevo valor de la misma.
![Page 31: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/31.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Modelos DEVS Acoplados
Ejemplo: Modelo DEVS de una Funcion Estatica.
Consideremos un sistema cuya salida calcula una funcion y(t) = f (u0(t), u1(t)).
Supondremos que u0(t) y u1(t) son dos senales seccionalmente constantescaracterizadas por dos secuencias de eventos. Es decir, cada evento esta asociado a uncambio de la senal y lleva el nuevo valor de la misma.
Un posible modelo DEVS de este sistema es el siguiente:
MF = (X , Y , S , δint, δext, λ, ta), donde
X = Y = �× N0
S = �2 �+0
δint(s) = δint(u0, u1, σ) = (u0, u1,∞)
δext(s, e, x) = δext(u0, u1, σ, e, xv , p) = s
λ(s) = λ(u0, u1, σ) = (f (u0, u1), 0)
ta(s) = ta(u0, u1, σ) = σ
con: s =
j(xv , u1, 0) si p = 0(u0, xv , 0) en otro caso
![Page 32: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/32.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Modelos DEVS Acoplados
Ejemplo: Modelo DEVS de una Funcion Estatica.
Consideremos un sistema cuya salida calcula una funcion y(t) = f (u0(t), u1(t)).
Supondremos que u0(t) y u1(t) son dos senales seccionalmente constantescaracterizadas por dos secuencias de eventos. Es decir, cada evento esta asociado a uncambio de la senal y lleva el nuevo valor de la misma.
Un posible modelo DEVS de este sistema es el siguiente:
MF = (X , Y , S , δint, δext, λ, ta), donde
X = Y = �× N0
S = �2 �+0
δint(s) = δint(u0, u1, σ) = (u0, u1,∞)
δext(s, e, x) = δext(u0, u1, σ, e, xv , p) = s
λ(s) = λ(u0, u1, σ) = (f (u0, u1), 0)
ta(s) = ta(u0, u1, σ) = σ
con: s =
j(xv , u1, 0) si p = 0(u0, xv , 0) en otro caso
Algunas consideraciones sobre el modelo:
� Los eventos de entrada y de salida llevan,ademas del valor de la senal, un numeroentero que indica el puerto correspondiente.
![Page 33: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/33.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Modelos DEVS Acoplados
Ejemplo: Modelo DEVS de una Funcion Estatica.
Consideremos un sistema cuya salida calcula una funcion y(t) = f (u0(t), u1(t)).
Supondremos que u0(t) y u1(t) son dos senales seccionalmente constantescaracterizadas por dos secuencias de eventos. Es decir, cada evento esta asociado a uncambio de la senal y lleva el nuevo valor de la misma.
Un posible modelo DEVS de este sistema es el siguiente:
MF = (X , Y , S , δint, δext, λ, ta), donde
X = Y = �× N0
S = �2 �+0
δint(s) = δint(u0, u1, σ) = (u0, u1,∞)
δext(s, e, x) = δext(u0, u1, σ, e, xv , p) = s
λ(s) = λ(u0, u1, σ) = (f (u0, u1), 0)
ta(s) = ta(u0, u1, σ) = σ
con: s =
j(xv , u1, 0) si p = 0(u0, xv , 0) en otro caso
Algunas consideraciones sobre el modelo:
� Los eventos de entrada y de salida llevan,ademas del valor de la senal, un numeroentero que indica el puerto correspondiente.
� El estado tiene tres componentes u0, u1 y σ.Las primeras contienen el ultimo valorrecibido de u0(t) y u1(t), mientras que σindica el tiempo para el proximo evento desalida.
![Page 34: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/34.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Modelos DEVS Acoplados
Ejemplo: Modelo DEVS de una Funcion Estatica.
Consideremos un sistema cuya salida calcula una funcion y(t) = f (u0(t), u1(t)).
Supondremos que u0(t) y u1(t) son dos senales seccionalmente constantescaracterizadas por dos secuencias de eventos. Es decir, cada evento esta asociado a uncambio de la senal y lleva el nuevo valor de la misma.
Un posible modelo DEVS de este sistema es el siguiente:
MF = (X , Y , S , δint, δext, λ, ta), donde
X = Y = �× N0
S = �2 �+0
δint(s) = δint(u0, u1, σ) = (u0, u1,∞)
δext(s, e, x) = δext(u0, u1, σ, e, xv , p) = s
λ(s) = λ(u0, u1, σ) = (f (u0, u1), 0)
ta(s) = ta(u0, u1, σ) = σ
con: s =
j(xv , u1, 0) si p = 0(u0, xv , 0) en otro caso
Algunas consideraciones sobre el modelo:
� Los eventos de entrada y de salida llevan,ademas del valor de la senal, un numeroentero que indica el puerto correspondiente.
� El estado tiene tres componentes u0, u1 y σ.Las primeras contienen el ultimo valorrecibido de u0(t) y u1(t), mientras que σindica el tiempo para el proximo evento desalida.
� Cuando llega un evento de entrada se colocaσ = 0. De esta forma se produce un eventode salida en forma inmediata.
![Page 35: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/35.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Simulacion de Sistemas DEVS
Simulacion de Sistemas DEVS
Los modelos DEVS pueden simularse de manera muy simple y eficiente. El siguientealgoritmo basico puede utilizarse para tal fin:
![Page 36: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/36.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Simulacion de Sistemas DEVS
Simulacion de Sistemas DEVS
Los modelos DEVS pueden simularse de manera muy simple y eficiente. El siguientealgoritmo basico puede utilizarse para tal fin:
1. Identificamos el modelo atomico que de acuerdo a la funcion de avance detiempo y al tiempo transcurrido debe ser el siguiente en realizar la transicioninterna. Llamamos d∗ a dicho sistema y denominamos tn al tiempo de dichatransicion.
![Page 37: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/37.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Simulacion de Sistemas DEVS
Simulacion de Sistemas DEVS
Los modelos DEVS pueden simularse de manera muy simple y eficiente. El siguientealgoritmo basico puede utilizarse para tal fin:
1. Identificamos el modelo atomico que de acuerdo a la funcion de avance detiempo y al tiempo transcurrido debe ser el siguiente en realizar la transicioninterna. Llamamos d∗ a dicho sistema y denominamos tn al tiempo de dichatransicion.
2. Avanzamos el tiempo de la simulacion t hasta t = tn, y ejecutamos la funcionde transicion interna del modelo d∗.
![Page 38: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/38.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Simulacion de Sistemas DEVS
Simulacion de Sistemas DEVS
Los modelos DEVS pueden simularse de manera muy simple y eficiente. El siguientealgoritmo basico puede utilizarse para tal fin:
1. Identificamos el modelo atomico que de acuerdo a la funcion de avance detiempo y al tiempo transcurrido debe ser el siguiente en realizar la transicioninterna. Llamamos d∗ a dicho sistema y denominamos tn al tiempo de dichatransicion.
2. Avanzamos el tiempo de la simulacion t hasta t = tn, y ejecutamos la funcionde transicion interna del modelo d∗.
3. Propagamos el evento de salida producido por d∗ a todos los modelos atomicosconectados al puerto de salida de dicho evento, y ejecutamos las funciones detransicion externas correspondientes. Luego, volvemos al paso 1.
![Page 39: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/39.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Simulacion de Sistemas DEVS
Simulacion de Sistemas DEVS II
Una de las maneras mas simples de implementar este algoritmo es usando unprograma con una estructura jerarquica del modelo.
![Page 40: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/40.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Simulacion de Sistemas DEVS
Simulacion de Sistemas DEVS II
Una de las maneras mas simples de implementar este algoritmo es usando unprograma con una estructura jerarquica del modelo.
Cada modelo atomico tiene asociado un simulador DEVS, mientras que cada modeloacoplado tiene asociado un coordinador DEVS.
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
atomico1 atomico2 atomico3
acoplado1
acoplado2
simulador1 simulador2
simulador3coordinador1
coordinador2
coordinador raız
![Page 41: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/41.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Simulacion de Sistemas DEVS
Simulacion de Sistemas DEVS II
Una de las maneras mas simples de implementar este algoritmo es usando unprograma con una estructura jerarquica del modelo.
Cada modelo atomico tiene asociado un simulador DEVS, mientras que cada modeloacoplado tiene asociado un coordinador DEVS.
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
atomico1 atomico2 atomico3
acoplado1
acoplado2
simulador1 simulador2
simulador3coordinador1
coordinador2
coordinador raız
Hay varios paquetes de software que permiten simular directamente sistemas DEVS.En nuestro caso, utilizaremos PowerDEVS, una herramienta desarrollada en laUniversidad Nacional de Rosario (Argentina).
![Page 42: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/42.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
DEVS y Simulacion de Sistemas Continuos
En el ejemplo del modelo DEVS de la funcion estatica, representamos las trayectoriasseccionalmente constantes como secuencias de eventos. Esta es la idea basica paraaproximar sistemas continuos con DEVS.
![Page 43: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/43.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
DEVS y Simulacion de Sistemas Continuos
En el ejemplo del modelo DEVS de la funcion estatica, representamos las trayectoriasseccionalmente constantes como secuencias de eventos. Esta es la idea basica paraaproximar sistemas continuos con DEVS.
Podemos dividir el Sistema (2) como sigue:
Un sistema dinamico:
x(t) = dx (t) (3a)
q(t) = floor[x(t)] (3b)
y uno estatico:
dx (t) = −q(t) + u(t) (4)
donde u(t) = 10 · ε(t − 1.76).
![Page 44: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/44.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
DEVS y Simulacion de Sistemas Continuos
En el ejemplo del modelo DEVS de la funcion estatica, representamos las trayectoriasseccionalmente constantes como secuencias de eventos. Esta es la idea basica paraaproximar sistemas continuos con DEVS.
Podemos dividir el Sistema (2) como sigue:
Un sistema dinamico:
x(t) = dx (t) (3a)
q(t) = floor[x(t)] (3b)
y uno estatico:
dx (t) = −q(t) + u(t) (4)
donde u(t) = 10 · ε(t − 1.76).
Este sistema puede representarse con un diagrama debloques:
q(t)u(t) x(t)dx (t) R
![Page 45: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/45.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
DEVS y Simulacion de Sistemas Continuos
En el ejemplo del modelo DEVS de la funcion estatica, representamos las trayectoriasseccionalmente constantes como secuencias de eventos. Esta es la idea basica paraaproximar sistemas continuos con DEVS.
Podemos dividir el Sistema (2) como sigue:
Un sistema dinamico:
x(t) = dx (t) (3a)
q(t) = floor[x(t)] (3b)
y uno estatico:
dx (t) = −q(t) + u(t) (4)
donde u(t) = 10 · ε(t − 1.76).
Este sistema puede representarse con un diagrama debloques:
q(t)u(t) x(t)dx (t) R
Cada subsistema tiene entradas y salidas seccionalmente constantes.
![Page 46: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/46.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
DEVS y Simulacion de Sistemas Continuos
En el ejemplo del modelo DEVS de la funcion estatica, representamos las trayectoriasseccionalmente constantes como secuencias de eventos. Esta es la idea basica paraaproximar sistemas continuos con DEVS.
Podemos dividir el Sistema (2) como sigue:
Un sistema dinamico:
x(t) = dx (t) (3a)
q(t) = floor[x(t)] (3b)
y uno estatico:
dx (t) = −q(t) + u(t) (4)
donde u(t) = 10 · ε(t − 1.76).
Este sistema puede representarse con un diagrama debloques:
q(t)u(t) x(t)dx (t) R
Cada subsistema tiene entradas y salidas seccionalmente constantes.
⇒ Es posible representarlos mediante modelos DEVS.
![Page 47: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/47.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Modelos DEVS de Sistemas Cuantificados
El subsistema estatico (4) puede representarse utilizando el modelo DEVS MF vistoanteriormente.
![Page 48: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/48.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Modelos DEVS de Sistemas Cuantificados
El subsistema estatico (4) puede representarse utilizando el modelo DEVS MF vistoanteriormente.
El subsistema dinamico (3) puede representarse por el siguiente DEVS:
MIC = (X , Y , S , δint, δext, λ, ta), donde
X = Y = �× N
S = �2 × Z ×�+0
δint(s) = δint(x , dx , q, σ) = (x + σ · dx , dx , q + sign(dx ),1
|dx |)
δext(s, e, x) = δext(x , dx , q, σ, e, xv , p) = (x + e · dx , xv , q, σ)
λ(s) = λ(x , dx , q, σ) = (q + sign(dx ), 0)
ta(s) = ta(x , dx , q, σ) = σ
con:
σ =
8>><>>:
q + 1 − xxv
si xv > 0
q − xxv
si xv < 0
∞ en otro caso
![Page 49: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/49.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Modelo en PowerDEVS de un Sistema Cuantificado
Los modelos DEVS MF (denominado Funcion Estatica) y MIC (llamado IntegradorCuantificado) pueden programarse de manera muy simple como bloques dePowerDEVS.
![Page 50: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/50.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Modelo en PowerDEVS de un Sistema Cuantificado
Los modelos DEVS MF (denominado Funcion Estatica) y MIC (llamado IntegradorCuantificado) pueden programarse de manera muy simple como bloques dePowerDEVS.
Los bloques luego pueden acoplarse utilizando el entorno grafico:
y el sistema puede simularse de manera muy sencilla.
![Page 51: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/51.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Generalizacion
Podemos generalizar esta idea:
Dado el sistema continuo (estacionario):
xa1 = f1(xa1 , xa2 , · · · , xan , u1, · · · , um)...
xan = fn(xa1 , xa2 , · · · , xan , u1, · · · , um)
lo aproximamos por el sistemacuantificado
x1 = f1(q1, q2, · · · , qn, u1, · · · , um)...
xn = fn(q1, q2, · · · , qn, u1, · · · , um)
![Page 52: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/52.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Generalizacion
Podemos generalizar esta idea:
Dado el sistema continuo (estacionario):
xa1 = f1(xa1 , xa2 , · · · , xan , u1, · · · , um)...
xan = fn(xa1 , xa2 , · · · , xan , u1, · · · , um)
lo aproximamos por el sistemacuantificado
x1 = f1(q1, q2, · · · , qn, u1, · · · , um)...
xn = fn(q1, q2, · · · , qn, u1, · · · , um)
La representacion en diagrama de bloqueses la siguiente:
q
ux1
xn
f1
fn
q1
qn
...
R
R
![Page 53: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/53.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Generalizacion
Podemos generalizar esta idea:
Dado el sistema continuo (estacionario):
xa1 = f1(xa1 , xa2 , · · · , xan , u1, · · · , um)...
xan = fn(xa1 , xa2 , · · · , xan , u1, · · · , um)
lo aproximamos por el sistemacuantificado
x1 = f1(q1, q2, · · · , qn, u1, · · · , um)...
xn = fn(q1, q2, · · · , qn, u1, · · · , um)
La representacion en diagrama de bloqueses la siguiente:
q
ux1
xn
f1
fn
q1
qn
...
R
R
Podemos simular un sistema generico usando modelos DEVS de las funciones estaticas
e integradores cuantificados.
![Page 54: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/54.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Ilegitimidad
Lamentablemente, la idea no funciona. El agregado de cuantificacion provoca, enmuchos casos, la aparicion de oscilaciones infinitamente rapidas.
![Page 55: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/55.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Ilegitimidad
Lamentablemente, la idea no funciona. El agregado de cuantificacion provoca, enmuchos casos, la aparicion de oscilaciones infinitamente rapidas.
Consideremos por ejemplo el sistema cuantificado
x(t) = −q(t) + 9.5; donde q(t) = floor [x(t)]
con condicion inicial x(0) = 10:
![Page 56: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/56.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Ilegitimidad
Lamentablemente, la idea no funciona. El agregado de cuantificacion provoca, enmuchos casos, la aparicion de oscilaciones infinitamente rapidas.
Consideremos por ejemplo el sistema cuantificado
x(t) = −q(t) + 9.5; donde q(t) = floor [x(t)]
con condicion inicial x(0) = 10:
� En t = 0 tenemos q = 10, y luego x(0) = −10 + 9.5 = −0.5.
![Page 57: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/57.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Ilegitimidad
Lamentablemente, la idea no funciona. El agregado de cuantificacion provoca, enmuchos casos, la aparicion de oscilaciones infinitamente rapidas.
Consideremos por ejemplo el sistema cuantificado
x(t) = −q(t) + 9.5; donde q(t) = floor [x(t)]
con condicion inicial x(0) = 10:
� En t = 0 tenemos q = 10, y luego x(0) = −10 + 9.5 = −0.5.
� Luego, en t = 0+ tendremos x(t) = 9.999 . . . y por lo tanto q(t) = 9.
![Page 58: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/58.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Ilegitimidad
Lamentablemente, la idea no funciona. El agregado de cuantificacion provoca, enmuchos casos, la aparicion de oscilaciones infinitamente rapidas.
Consideremos por ejemplo el sistema cuantificado
x(t) = −q(t) + 9.5; donde q(t) = floor [x(t)]
con condicion inicial x(0) = 10:
� En t = 0 tenemos q = 10, y luego x(0) = −10 + 9.5 = −0.5.
� Luego, en t = 0+ tendremos x(t) = 9.999 . . . y por lo tanto q(t) = 9.
� Esto quiere decir que x(0) = −9 + 9.5 = +0.5.
![Page 59: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/59.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Ilegitimidad
Lamentablemente, la idea no funciona. El agregado de cuantificacion provoca, enmuchos casos, la aparicion de oscilaciones infinitamente rapidas.
Consideremos por ejemplo el sistema cuantificado
x(t) = −q(t) + 9.5; donde q(t) = floor [x(t)]
con condicion inicial x(0) = 10:
� En t = 0 tenemos q = 10, y luego x(0) = −10 + 9.5 = −0.5.
� Luego, en t = 0+ tendremos x(t) = 9.999 . . . y por lo tanto q(t) = 9.
� Esto quiere decir que x(0) = −9 + 9.5 = +0.5.
� Por lo tanto, inmediatamente sera cierto que x(t) = 10 y volvemos a lasituacion inicial.
![Page 60: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/60.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Ilegitimidad
Lamentablemente, la idea no funciona. El agregado de cuantificacion provoca, enmuchos casos, la aparicion de oscilaciones infinitamente rapidas.
Consideremos por ejemplo el sistema cuantificado
x(t) = −q(t) + 9.5; donde q(t) = floor [x(t)]
con condicion inicial x(0) = 10:
� En t = 0 tenemos q = 10, y luego x(0) = −10 + 9.5 = −0.5.
� Luego, en t = 0+ tendremos x(t) = 9.999 . . . y por lo tanto q(t) = 9.
� Esto quiere decir que x(0) = −9 + 9.5 = +0.5.
� Por lo tanto, inmediatamente sera cierto que x(t) = 10 y volvemos a lasituacion inicial.
Es decir, q(t) oscila entre 10 y 9 con una frecuencia infinita. En consecuencia, elmodelo DEVS entrara en bucle sin fin y la simulacion no podra avanzar.
![Page 61: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/61.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
DEVS y Simulacion de Sistemas Continuos
Sistemas Cuantificados – Ilegitimidad
Lamentablemente, la idea no funciona. El agregado de cuantificacion provoca, enmuchos casos, la aparicion de oscilaciones infinitamente rapidas.
Consideremos por ejemplo el sistema cuantificado
x(t) = −q(t) + 9.5; donde q(t) = floor [x(t)]
con condicion inicial x(0) = 10:
� En t = 0 tenemos q = 10, y luego x(0) = −10 + 9.5 = −0.5.
� Luego, en t = 0+ tendremos x(t) = 9.999 . . . y por lo tanto q(t) = 9.
� Esto quiere decir que x(0) = −9 + 9.5 = +0.5.
� Por lo tanto, inmediatamente sera cierto que x(t) = 10 y volvemos a lasituacion inicial.
Es decir, q(t) oscila entre 10 y 9 con una frecuencia infinita. En consecuencia, elmodelo DEVS entrara en bucle sin fin y la simulacion no podra avanzar.
Afortunadamente, este problema se soluciona con el agregado de histeresis.
![Page 62: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/62.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Funciones de Cuantificacion con Histeresis
El metodo de los sistemas de estados cuantificados o metodo de QSS (por QuantizedState Systems), soluciona el problema de las oscilaciones infinitamente rapidas alutilizar cuantificacion con histeresis.
![Page 63: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/63.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Funciones de Cuantificacion con Histeresis
El metodo de los sistemas de estados cuantificados o metodo de QSS (por QuantizedState Systems), soluciona el problema de las oscilaciones infinitamente rapidas alutilizar cuantificacion con histeresis.
Definicion (Funcion de Cuantificacion con Histeresis)
Dada una secuencia ordenada y creciente de numeros reales (. . . , Q−1, Q0, Q1, . . .),diremos que q(t) se relaciona con x(t) mediante una funcion de cuantificacion conhisteresis si:
q(t) =
8>><>>:
Qm si t = t0 ∧ Qm ≤ x(t0) < Qm+1
Qk+1 si x(t) = Qk+1 ∧ q(t−) = Qk
Qk−1 si x(t) = Qk − εk ∧ q(t−) = Qk
q(t−) en otro caso
![Page 64: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/64.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Funciones de Cuantificacion con Histeresis
El metodo de los sistemas de estados cuantificados o metodo de QSS (por QuantizedState Systems), soluciona el problema de las oscilaciones infinitamente rapidas alutilizar cuantificacion con histeresis.
Definicion (Funcion de Cuantificacion con Histeresis)
Dada una secuencia ordenada y creciente de numeros reales (. . . , Q−1, Q0, Q1, . . .),diremos que q(t) se relaciona con x(t) mediante una funcion de cuantificacion conhisteresis si:
q(t) =
8>><>>:
Qm si t = t0 ∧ Qm ≤ x(t0) < Qm+1
Qk+1 si x(t) = Qk+1 ∧ q(t−) = Qk
Qk−1 si x(t) = Qk − εk ∧ q(t−) = Qk
q(t−) en otro caso
Los valores discretos Qk se denominan niveles de cuantificacion, y la distanciaQk+1 − Qk se llama quantum (generalmente es constante). εk es el ancho dehisteresis.
![Page 65: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/65.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Funciones de Cuantificacion con Histeresis II
La siguiente figura muestra una funcion de cuantificacion con histeresis, con quantumuniforme.
Qk
Qk
Qk+1
Qk+1 εk
q(t)
x(t)
![Page 66: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/66.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Metodo de QSS – Definicion
Dado el sistema continuo (estacionario):
xa1 = f1(xa1 , xa2 , · · · , xan , u1, · · · , um)...
xan = fn(xa1 , xa2 , · · · , xan , u1, · · · , um)
lo aproximamos por el sistema de estadoscuantificado (QSS)
x1 = f1(q1, q2, · · · , qn, u1, · · · , um)...
xn = fn(q1, q2, · · · , qn, u1, · · · , um)
donde cada qi se relaciona con xi por unafuncion de cuantificacion con histeresis.
![Page 67: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/67.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Metodo de QSS – Definicion
Dado el sistema continuo (estacionario):
xa1 = f1(xa1 , xa2 , · · · , xan , u1, · · · , um)...
xan = fn(xa1 , xa2 , · · · , xan , u1, · · · , um)
lo aproximamos por el sistema de estadoscuantificado (QSS)
x1 = f1(q1, q2, · · · , qn, u1, · · · , um)...
xn = fn(q1, q2, · · · , qn, u1, · · · , um)
donde cada qi se relaciona con xi por unafuncion de cuantificacion con histeresis.
La representacion en diagrama de bloqueses la siguiente:
q
ux1
xn
f1
fn
q1
qn
...
R
R
![Page 68: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/68.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Metodo de QSS – Definicion
Dado el sistema continuo (estacionario):
xa1 = f1(xa1 , xa2 , · · · , xan , u1, · · · , um)...
xan = fn(xa1 , xa2 , · · · , xan , u1, · · · , um)
lo aproximamos por el sistema de estadoscuantificado (QSS)
x1 = f1(q1, q2, · · · , qn, u1, · · · , um)...
xn = fn(q1, q2, · · · , qn, u1, · · · , um)
donde cada qi se relaciona con xi por unafuncion de cuantificacion con histeresis.
La representacion en diagrama de bloqueses la siguiente:
q
ux1
xn
f1
fn
q1
qn
...
R
R
Al igual que antes, el QSS puede dividirseen funciones estaticas e integradores
cuantificados.
![Page 69: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/69.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Representacion DEVS de un QSS
Los modelos DEVS de las funciones estaticas son igual que antes (MF ).
![Page 70: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/70.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Representacion DEVS de un QSS
Los modelos DEVS de las funciones estaticas son igual que antes (MF ).
El integrador cuantificado cambia un poco, debido a la presencia de la histeresis:
MICH = (X , Y , S , δint, δext, λ, ta), donde
X = Y = �× N; S = �2 × Z ×�+0
δint(s) = δint(x , dx , k, σ) = (x + σ · dx , dx , k + sign(dx ), σ1)
δext(s, e, xu) = δext(x , dx , k, σ, e, xv , p) = (x + e · dx , xv , k, σ2)
λ(s) = λ(x , dx , k, σ) = (Qk+sign(dx ), 0)
ta(s) = ta(x , dx , k, σ) = σ
con:
![Page 71: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/71.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Representacion DEVS de un QSS
Los modelos DEVS de las funciones estaticas son igual que antes (MF ).
El integrador cuantificado cambia un poco, debido a la presencia de la histeresis:
MICH = (X , Y , S , δint, δext, λ, ta), donde
X = Y = �× N; S = �2 × Z ×�+0
δint(s) = δint(x , dx , k, σ) = (x + σ · dx , dx , k + sign(dx ), σ1)
δext(s, e, xu) = δext(x , dx , k, σ, e, xv , p) = (x + e · dx , xv , k, σ2)
λ(s) = λ(x , dx , k, σ) = (Qk+sign(dx ), 0)
ta(s) = ta(x , dx , k, σ) = σ
con:
σ1 =
8>>><>>>:
Qk+2 − (x + σ · dx )dx
si dx > 0
(x + σ · dx ) − (Qk−1 − ε)
|dx | si dx < 0
∞ si dx = 0
σ2 =
8>>>><>>>>:
Qk+1 − (x + e · dx )xv
si xv > 0
(x + e · dx ) − (Qk − ε)|xv | si xv < 0
∞ si xv = 0
![Page 72: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/72.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS
Para simular con el metodo de QSS, debe elegirse en primer lugar la cuantificacion autilizar para cada variable de estado, es decir, en cada integrador cuantificado.
![Page 73: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/73.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS
Para simular con el metodo de QSS, debe elegirse en primer lugar la cuantificacion autilizar para cada variable de estado, es decir, en cada integrador cuantificado.
Luego deberıan programarse los modelos DEVS de las funciones estaticas y de losintegradores cuantificados.
![Page 74: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/74.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS
Para simular con el metodo de QSS, debe elegirse en primer lugar la cuantificacion autilizar para cada variable de estado, es decir, en cada integrador cuantificado.
Luego deberıan programarse los modelos DEVS de las funciones estaticas y de losintegradores cuantificados.
En realidad, PowerDEVS ya tiene librerıas con los integradores cuantificados (solo debeelegirse el quantum) y funciones estaticas (sumadores, funciones no lineales, etc.).
![Page 75: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/75.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS
Para simular con el metodo de QSS, debe elegirse en primer lugar la cuantificacion autilizar para cada variable de estado, es decir, en cada integrador cuantificado.
Luego deberıan programarse los modelos DEVS de las funciones estaticas y de losintegradores cuantificados.
En realidad, PowerDEVS ya tiene librerıas con los integradores cuantificados (solo debeelegirse el quantum) y funciones estaticas (sumadores, funciones no lineales, etc.).
En definitiva, alcanza con construir el diagrama de bloques del sistema, eligiendo losvalores de quantum y las expresiones de las funciones estaticas.
![Page 76: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/76.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS
Para simular con el metodo de QSS, debe elegirse en primer lugar la cuantificacion autilizar para cada variable de estado, es decir, en cada integrador cuantificado.
Luego deberıan programarse los modelos DEVS de las funciones estaticas y de losintegradores cuantificados.
En realidad, PowerDEVS ya tiene librerıas con los integradores cuantificados (solo debeelegirse el quantum) y funciones estaticas (sumadores, funciones no lineales, etc.).
En definitiva, alcanza con construir el diagrama de bloques del sistema, eligiendo losvalores de quantum y las expresiones de las funciones estaticas.
De todas formas, es importante comentar que utilizamos DEVS para implementar el
metodo de QSS porque simplifica el trabajo. La definicion del metodo de QSS no
tiene nada que ver con DEVS, sino que es un algoritmo que podrıa implementarse en
cualquier lenguaje de programacion.
![Page 77: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/77.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo
Consideremos el siguiente sistema de segundo orden, y su aproximacion QSS:
xa1 (t) = xa2 (t)xa2 (t) = 1 − xa1 (t) − xa2 (t)
x1(t) = q2(t)x2(t) = 1 − q1(t) − q2(t)
![Page 78: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/78.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo
Consideremos el siguiente sistema de segundo orden, y su aproximacion QSS:
xa1 (t) = xa2 (t)xa2 (t) = 1 − xa1 (t) − xa2 (t)
x1(t) = q2(t)x2(t) = 1 − q1(t) − q2(t)
Para simular este sistema, simplemente construimos el diagrama de bloques utilizandolos integradores cuantificados y funciones estaticas de PowerDEVS:
![Page 79: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/79.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo
Consideremos el siguiente sistema de segundo orden, y su aproximacion QSS:
xa1 (t) = xa2 (t)xa2 (t) = 1 − xa1 (t) − xa2 (t)
x1(t) = q2(t)x2(t) = 1 − q1(t) − q2(t)
Para simular este sistema, simplemente construimos el diagrama de bloques utilizandolos integradores cuantificados y funciones estaticas de PowerDEVS:
� Las condiciones iniciales sonparametros de los integradores (eneste caso x1(0) = x2(0) = 0).
![Page 80: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/80.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo
Consideremos el siguiente sistema de segundo orden, y su aproximacion QSS:
xa1 (t) = xa2 (t)xa2 (t) = 1 − xa1 (t) − xa2 (t)
x1(t) = q2(t)x2(t) = 1 − q1(t) − q2(t)
Para simular este sistema, simplemente construimos el diagrama de bloques utilizandolos integradores cuantificados y funciones estaticas de PowerDEVS:
� Las condiciones iniciales sonparametros de los integradores (eneste caso x1(0) = x2(0) = 0).
� El quantum y la histeresis sonparametros de cada integrador (aquıQk+1 − Qk = ΔQ = εk = 0.05)
![Page 81: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/81.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo
Consideremos el siguiente sistema de segundo orden, y su aproximacion QSS:
xa1 (t) = xa2 (t)xa2 (t) = 1 − xa1 (t) − xa2 (t)
x1(t) = q2(t)x2(t) = 1 − q1(t) − q2(t)
Para simular este sistema, simplemente construimos el diagrama de bloques utilizandolos integradores cuantificados y funciones estaticas de PowerDEVS:
� Las condiciones iniciales sonparametros de los integradores (eneste caso x1(0) = x2(0) = 0).
� El quantum y la histeresis sonparametros de cada integrador (aquıQk+1 − Qk = ΔQ = εk = 0.05)
� El metodo intrınsecamente explota ladispersion (los eventos solo sepropagan entre bloques directamenteconectados).
![Page 82: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/82.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo II
Los resultados de la simulacion se muestran en la siguiente figura:
0 1 2 3 4 5 6 7 8 9 10−0.2
0
0.2
0.4
0.6
0.8
1
1.2
Resultados de la Simulacion QSS
tiempo
qi(
t),x i
(t)
x1(t), q1(t)
x2(t), q2(t)
![Page 83: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/83.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo II
Los resultados de la simulacion se muestran en la siguiente figura:
0 1 2 3 4 5 6 7 8 9 10−0.2
0
0.2
0.4
0.6
0.8
1
1.2
Resultados de la Simulacion QSS
tiempo
qi(
t),x i
(t)
x1(t), q1(t)
x2(t), q2(t)
Es interesante notar:
� Las trayectorias de lasvariables de estado xi (t) sonseccionalmente lineales.
![Page 84: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/84.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo II
Los resultados de la simulacion se muestran en la siguiente figura:
0 1 2 3 4 5 6 7 8 9 10−0.2
0
0.2
0.4
0.6
0.8
1
1.2
Resultados de la Simulacion QSS
tiempo
qi(
t),x i
(t)
x1(t), q1(t)
x2(t), q2(t)
Es interesante notar:
� Las trayectorias de lasvariables de estado xi (t) sonseccionalmente lineales.
� Las trayectorias de lasvariables cuantificadas qi (t)son seccionalmenteconstantes.
![Page 85: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/85.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo II
Los resultados de la simulacion se muestran en la siguiente figura:
0 1 2 3 4 5 6 7 8 9 10−0.2
0
0.2
0.4
0.6
0.8
1
1.2
Resultados de la Simulacion QSS
tiempo
qi(
t),x i
(t)
x1(t), q1(t)
x2(t), q2(t)
Es interesante notar:
� Las trayectorias de lasvariables de estado xi (t) sonseccionalmente lineales.
� Las trayectorias de lasvariables cuantificadas qi (t)son seccionalmenteconstantes.
� La presencia de la histeresises facil de observar cuandocambian los signos de laspendientes xi (t).
![Page 86: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/86.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Sistemas de Estados Cuantificados
Simulacion con QSS – Un Ejemplo Ilustrativo II
Los resultados de la simulacion se muestran en la siguiente figura:
0 1 2 3 4 5 6 7 8 9 10−0.2
0
0.2
0.4
0.6
0.8
1
1.2
Resultados de la Simulacion QSS
tiempo
qi(
t),x i
(t)
x1(t), q1(t)
x2(t), q2(t)
Es interesante notar:
� Las trayectorias de lasvariables de estado xi (t) sonseccionalmente lineales.
� Las trayectorias de lasvariables cuantificadas qi (t)son seccionalmenteconstantes.
� La presencia de la histeresises facil de observar cuandocambian los signos de laspendientes xi (t).
� La solucion obtenida no estamuy lejos de la analıtica.
![Page 87: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/87.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Conclusiones
Conclusiones
En esta presentacion introdujimos una nueva manera de la discretizacion. En lugar dediscretizar el tiempo, propusimos una cuantificacion de las variables del estado.
![Page 88: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/88.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Conclusiones
Conclusiones
En esta presentacion introdujimos una nueva manera de la discretizacion. En lugar dediscretizar el tiempo, propusimos una cuantificacion de las variables del estado.
Se propuso un nuevo algoritmo de la integracion numerica basado en esa idea, elalgoritmo QSS, que trabaja con estados cuantificados con histeresis.
![Page 89: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/89.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Conclusiones
Conclusiones
En esta presentacion introdujimos una nueva manera de la discretizacion. En lugar dediscretizar el tiempo, propusimos una cuantificacion de las variables del estado.
Se propuso un nuevo algoritmo de la integracion numerica basado en esa idea, elalgoritmo QSS, que trabaja con estados cuantificados con histeresis.
Simulaciones efectuadas usando el algoritmo QSS son intrınsecamente asıncronos.Cada variable del estado cambia su valor en sus propios instantes del tiempo.
![Page 90: Simulación de Sistemas Continuos y a Tramos · Simulaci´on de Sistemas Continuos y a Tramos Simulaci´on por Eventos Discretos Sistemas de Eventos Discretos y DEVS Sistemas de Eventos](https://reader031.fdocumento.com/reader031/viewer/2022021812/5e338c3ad0935d7cec4b3ca1/html5/thumbnails/90.jpg)
Simulacion de Sistemas Continuos y a Tramos
Simulacion por Eventos Discretos
Conclusiones
Conclusiones
En esta presentacion introdujimos una nueva manera de la discretizacion. En lugar dediscretizar el tiempo, propusimos una cuantificacion de las variables del estado.
Se propuso un nuevo algoritmo de la integracion numerica basado en esa idea, elalgoritmo QSS, que trabaja con estados cuantificados con histeresis.
Simulaciones efectuadas usando el algoritmo QSS son intrınsecamente asıncronos.Cada variable del estado cambia su valor en sus propios instantes del tiempo.
El algoritmo QSS explota la dispersion de los modelos. Eventos se propagan solo entrebloques directamente conectados.