Sistema de eventos cronometrados

---

El Sistema General se ha descrito en [Zeigler76] y [ZPK00] con los puntos de apoyo para definir (1) la base de tiempo, (2) los segmentos de entrada admisibles, (3) los estados del sistema, (4) la trayectoria del estado con una segmento de entrada admisible, (5) la salida para un estado dado.

Un sistema de eventos cronometrados que define la trayectoria de estado asociada con los segmentos actuales y de eventos provino de la clase de sistema general para permitir comportamientos no deterministas en él [Hwang2012] . Dado que los comportamientos de DEVS pueden ser descritos por Timed Event System, DEVS y RTDEVS son una subclase o una clase equivalente de Timed Event System.

Dado un sistema de eventos cronometrados , el conjunto de sus comportamientos se denomina lenguaje según la duración del tiempo de observación. Sea la duración del tiempo de observación. Si , el lenguaje de observación de longitud de se denota y se define como${\ displaystyle {\ mathcal {G}} = <Z, Q, Q_ {0}, Q_ {A}, \ Delta>}$${\ Displaystyle t}$${\ Displaystyle 0 \ leq t <\ infty}$${\ Displaystyle t}$${\ Displaystyle {\ mathcal {G}}}$${\ Displaystyle L ({\ mathcal {G}}, t)}$

Llamamos a un segmento de evento un comportamiento de longitud de , si .${\ Displaystyle \ omega \ in \ Omega _ {Z, [0, t]}}$${\ Displaystyle t}$${\ Displaystyle {\ mathcal {G}}}$${\ Displaystyle \ omega \ en L ({\ mathcal {G}}, t)}$

Al enviar la duración del tiempo de observación al infinito, definimos el lenguaje de observación de longitud infinita de se denota y se define como${\ Displaystyle t}$ ${\ Displaystyle {\ mathcal {G}}}$${\ Displaystyle L ({\ mathcal {G}}, \ infty)}$

Llamamos segmento de evento a un comportamiento de longitud infinita de , si .${\ Displaystyle \ omega \ in {\ underset {t \ rightarrow \ infty} {\ lim}} \ Omega _ {Z, [0, t]}}$${\ Displaystyle {\ mathcal {G}}}$${\ Displaystyle \ omega \ en L ({\ mathcal {G}}, \ infty)}$

---