El Sistema General ha sido 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 del estado asociado 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.
Sistemas de eventos cronometrados
Un sistema de eventos cronometrados es una estructura
dónde
- es el conjunto de eventos ;
- es el conjunto de estados ;
- es el conjunto de estados iniciales ;
- es el conjunto de estados de aceptación ;
- es el conjunto de trayectorias estatales en las que indica que un estado puede cambiar a junto con un segmento de evento . Si dos trayectorias estatales y se llaman contiguos si y dos trayectorias de eventos y son contiguos. Dos trayectorias estatales contiguas y implica .
Comportamientos e idiomas del sistema de eventos cronometrados
Dado un sistema de eventos cronometrados , el conjunto de sus comportamientos se denomina lenguaje según la duración del tiempo de observación. Dejarsea la duración del tiempo de observación. Si, -lenguaje de observación de longitud de se denota por , y definido como
Llamamos segmento de evento a -comportamiento de longitud de , Si .
Enviando la duración del tiempo de observación hasta el infinito, definimos el lenguaje de observación de longitud infinita de se denota por , y definido como
Llamamos segmento de evento un comportamiento de longitud infinita de , Si .
Ver también
Referencias
- [Zeigler76] Bernard Zeigler (1976). Teoría del modelado y la simulación (primera ed.). Wiley Interscience, Nueva York.
- [ZKP00] Bernard Zeigler; Tag Gon Kim; Herbert Praehofer (2000). Teoría del modelado y la simulación (segunda ed.). Academic Press, Nueva York. ISBN 978-0-12-778455-7.
- [Hwang2012] Moon H. Hwang. "Verificación cualitativa de redes DEVS finitas y en tiempo real". Actas de 2012 TMS / DEVS . Orlando, FL, Estados Unidos. págs. 43: 1–43: 8. ISBN 978-1-61839-786-7.