A New Framework for Discrete-Event Systems
Los problemas del mundo real suelen formularse como propiedades diversas de distintos tipos de sistemas dinámicos. De ahí que la verificación y la síntesis de propiedades sean temas de investigación desde hace mucho tiempo.
El marco de control supervisor desarrollado en la década de 1980 proporciona un marco de aplicación de propiedades de bucle cerrado para sistemas de eventos discretos que suelen consistir en estados discretos y transiciones entre estados causadas por sucesos espontáneos de eventos etiquetados. En esta revisión exhaustiva, el autor desarrolla un marco de aplicación de propiedades de bucle abierto para sistemas de eventos discretos que se adapta mejor y puede aplicarse a más modelos. El autor demuestra la viabilidad de este marco utilizando una herramienta llamada composición concurrente, y utiliza esta herramienta para unificar múltiples propiedades basadas en la inferencia y propiedades basadas en la ocultación en sistemas de eventos discretos.
En la segunda parte, el autor introduce un nuevo modelo denominado autómatas ponderados etiquetados sobre monoides (LWAMs). Los LWAMs proporcionan una generalización natural de los autómatas de estado finito etiquetados en el sentido de que cada transición en ellos lleva un peso de un monoide, el peso de una ejecución es el producto de los pesos de las transiciones de la ejecución.
Este libro introduce al lector en un nuevo paradigma de los sistemas dinámicos de eventos discretos. Proporciona a investigadores, estudiantes y profesionales la teoría básica y un conjunto de herramientas aplicables que tendrán un impacto significativo en los sistemas del futuro.
© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)