Segmento de evento
Un segmento de una variable del sistema en computación 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 ser descrito por un conjunto de coeficientes de una fórmula. Por ejemplo, de estados homogéneos, podemos traer estado 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 mapea desde un conjunto de tiempos que pueden ser definidos por un intervalo real, al conjunto [Zeigler76] , [ZPK00] , [Hwang13] . una trayectoria de una variable de sistema es una secuencia de segmentos concatenados. Llamamos a una trayectoria constante (respectivamente lineal) si sus segmentos concatenados 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 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 por y se define
Un evento es una etiqueta que abstrae un cambio. Dado un conjunto de eventos , el evento nulo denotado por representa ningún cambio.
Un evento cronometrado es un par donde y denota que un evento ocurre en el tiempo .
El segmento nulo en el intervalo de tiempo se denota por lo que significa que no ocurre nada en .
![{\displaystyle [t_{l},t_{u}]\subconjunto \mathbb {T} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85bfb99c95c7638561a69a3f9012e262e089410)
![{\ estilo de visualización \ epsilon _ {[t_ {l}, t_ {u}]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c54703df76b6e5cb73203f5ad716d089bfbe2f5)
![{\ estilo de visualización [t_{l},t_{u}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b21bf258f9b52e45292cb0996bec01d6bb8c8b11)