Segmento de evento

---

Un segmento de una variable del sistema en informática muestra un estado homogéneo de la dinámica del sistema durante un período de tiempo. Aquí, un estado homogéneo de una variable es un estado que puede describirse mediante un conjunto de coeficientes de una fórmula. Por ejemplo, de estados homogéneos, podemos traer estados de constante ('ON' de un interruptor) y lineal (60 millas o 96 km por hora para la velocidad). Matemáticamente, un segmento es una función que correlaciona desde un conjunto de tiempos que pueden ser definidos por un intervalo real, al conjunto [Zeigler76] , [ZPK00] , [Hwang13] . Una trayectoria${\ Displaystyle Z}$ de una variable de sistema es una secuencia de segmentos concatenados. Llamamos a una trayectoria constante (respectivamente lineal) si sus segmentos de concatenación son constantes (respectivamente lineales).

Un segmento de evento es una clase especial del segmento constante con una restricción en la que el segmento constante es uno de un evento cronometrado o un segmento nulo. Los segmentos de eventos se utilizan para definir sistemas de eventos cronometrados como DEVS , autómatas cronometrados y redes de Petri cronometradas .

La base de tiempo de los sistemas en cuestión se denota y se define${\ Displaystyle \ mathbb {T}}$

Un evento es una etiqueta que abstrae un cambio. Dado un conjunto de eventos , el evento nulo denotado por significa que nada cambia.${\ Displaystyle Z}$${\ Displaystyle \ epsilon \ not \ in Z}$

Un evento cronometrado es un par donde y denota que un evento ocurre en el momento .${\ Displaystyle (t, z)}$${\ Displaystyle t \ in \ mathbb {T}}$${\ Displaystyle z \ in Z}$${\ Displaystyle z \ in Z}$${\ Displaystyle t \ in \ mathbb {T}}$

El segmento nulo a lo largo del intervalo de tiempo se denota por lo que significa que no ocurre nada .${\ Displaystyle [t_ {l}, t_ {u}] \ subconjunto \ mathbb {T}}$${\ Displaystyle \ epsilon _ {[t_ {l}, t_ {u}]}}$${\ Displaystyle Z}$${\ Displaystyle [t_ {l}, t_ {u}]}$

---