Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales

  • Dmitry V. Pashchenko Penza State Technological University, 440039, Russia, Penza, 1/11 Baydukova lane/Gagarina st., 1/11
  • Alexey I. Martyshkin Department of Computational Automatons and Systems, Penza State Technological University, 440039, Russia, Penza, 1/11 Baydukova lane/Gagarina St., 1/11
  • Dmitry A. Trokoz Penza State Technological University, 440039, Russia, Penza, 1/11 Baydukova lane/Gagarina St., 1/11
  • Tatyana Yu. Pashchenko Sub-department of Management and Economic Security, Penza State University, 440026, Russia, Penza, Krasnaya Street, 40
  • Mikhail Yu. Babich JSC Research and Production Enterprise “Rubin”, 440000, Russia, Penza, Baydukova St., 2
  • Mikhail M. Butaev JSC Research and Production Enterprise “Rubin”, 440000, Russia, Penza, Baydukova St., 2
Palabras clave: modelo de autómata, simulación de eventos discretos, autómata de estado finito, situación de conflicto, métodos de contabilización de ejemplos de comportamiento

Resumen

El artículo aborda el tema de la investigación y desarrollo de métodos que permitan dar cuenta de ejemplos de comportamiento al sintetizar modelos de autómatas mediante fórmulas temporales. Se dan definiciones de los términos y conceptos utilizados en el trabajo; se formula el problema de sintetizar sistemas de autómatas según la especificación en forma de fórmulas temporales y ejemplos de comportamiento; se describe un algoritmo prometedor para reducir el problema de sintetizar sistemas de autómatas al problema de satisfacibilidad de la fórmula booleana; Se realiza un análisis del dominio y otros enfoques. Se proponen nuevos métodos para tener en cuenta ejemplos de comportamiento en la síntesis de sistemas de autómatas según una especificación dada en forma de fórmulas temporales. Se describen algoritmos para construir gráficos de scripts y métodos para dividir gráficos en grupos; están diseñados para aumentar la eficiencia de la representación de ejemplos de comportamiento utilizados para codificar los ejemplos de comportamiento en forma de fórmulas booleanas. Se lleva a cabo un estudio experimental de los métodos propuestos para dar cuenta de ejemplos de comportamiento y enfoques básicos para la presentación de ejemplos de comportamiento. Los resultados experimentales mostraron la superioridad de los métodos recientemente desarrollados con respecto a la presentación de guiones en forma de fórmulas temporales. En resumen, se presentan las principales conclusiones del trabajo realizado.

Descargas

La descarga de datos todavía no está disponible.
Resumen
54
PDF (English)
47
Publicado
2021-04-13
Cómo citar
Pashchenko, D. V., Martyshkin, A. I., Trokoz, D. A., Pashchenko, T. Y., Babich, M. Y., & Butaev, M. M. (2021). Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales. Nexo Revista Científica, 34(01), 61-73. https://doi.org/10.5377/nexo.v34i01.11285
Sección
Artículo