Presentamos un algoritmo de degeneralización sobre la marcha utilizado para transformar autómatas de Büchi generalizados (GBA) en Autómatas de Büchi (BA) diferentes al algoritmo estándar de degeneralización. La situación contenta, que se utiliza para registrar qué condiciones de aceptación son satisfacibles durante la expansión de fórmulas LTL, se adjunta a los estados y transiciones en el BA. Para obtener el BA determinista, se utiliza la expansión de Shannon de forma recursiva al expandir las fórmulas LTL aplicando las reglas del tableau. El algoritmo de degeneralización sobre la marcha se lleva a cabo en cada paso de la expansión de las fórmulas LTL. Se utilizan diagramas de decisión binaria ordenados para representar el BA y simplificar las fórmulas LTL. Los autómatas temporales se almacenan como gráficos acíclicos dirigidos por sintaxis para ahorrar espacio de almacenamiento. Estas ideas se implementan en un algoritmo de conversión utilizado para construir un autómata de propiedades correspondiente a las
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Controlabilidad de sistemas multiagente de segundo orden con múltiples líderes y General Dynamics
Artículo:
Dinámica de un modelo de quimiostato estocástico no autónomo impulsivo con dos tasas de crecimiento diferentes en un ambiente contaminado
Artículo:
Expansiones de funciones propias para los operadores de flujo de Stokes en el sistema de coordenadas oblicuas invertidas
Artículo:
Efecto de los programas de concientización en los brotes epidémicos con retraso en el tiempo.
Artículo:
Estudio sobre la intención de los propietarios de espacios de estacionamiento privados de diferentes niveles de ciudades para participar en estacionamientos compartidos en China.
Libro:
Ergonomía en los sistemas de trabajo
Artículo:
Obtención de gas combustible mediante la bioconversión del alga marina Ulva lactuca
Artículo:
Sistemas de producción y potencial energético de la energía mareomotriz
Artículo:
La necesidad de la planeación estratégica en las organizaciones industriales modernas