Texto base de la asignatura - UNED

MODELADO HÍBRIDO EN DEVS
DEV&DESS = X discr , X cont , Y discr , Y cont , S discr , S cont , δext, Cint, δint, λ discr , f, λ cont
de la forma siguiente:
Xdiscr = Xdevs
Y discr = Ydevs
Sdiscr = Qdevs
Xcont = {}
Y cont = {}
Scont = {}
(5.40)
(5.41)
La condición de evento, Cint, del modelo DEV&DESS se define de la forma
siguiente:
Cint(sdevs, e) : e ≥ tadevs(sdevs) (5.42)
La función de transición interna del modelo DEV&DESS, δint : Q × X cont → S,
se construye a partir de la función de transición interna del modelo DEVS:
δint((sdevs, e)) = δint,devs(sdevs) (5.43)
La función para el cálculo de las derivadas, f, y la función de salida continua,
λ cont , son omitidas:
λ cont
5.4. MODELADO MULTIFORMALISMO
f : Q × X cont → {} (5.44)
: Q × X cont → {} (5.45)
Como hemos visto en la sección anterior, los modelos DESS son un caso especial
de modelo DEV&DESS. También hemos visto cómo embeber DEVS o DTSS en
DEV&DESS. Por tanto, podemos usar un formalismo básico (DESS, DEVS y DTSS)
allí donde usemos el formalismo DEV&DESS y, sacando partido de esta capacidad,
si somos capaces de construir modelos compuestos DEV&DESS, podemos construir
modelos compuestos multiformalismo, cuyos componentes representen modelos de
tiempo continuo, de tiempo discreto y de eventos discretos.
245