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

Autores/as

  • 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

DOI:

https://doi.org/10.5377/nexo.v34i01.11285

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

Los datos de descargas todavía no están disponibles.
Resumen
344
PDF (English) 261

Descargas

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

Número

Vol. 34 Núm. 01 (2021)

Sección

Artículo

Licencia

Los autores que publican en Nexo Revista Científica están de acuerdo con los siguientes términos:

  1. Los autores conservan los derechos de autor y conceden a la revista el derecho de la primera publicación bajo la licencia Creative Commons Attribution License, que permite a otros compartir el trabajo con un reconocimiento a la autoría de la obra y a la publicación inicial en Nexo Revista Científica.
  2. Los autores pueden establecer por separado acuerdos adicionales para la distribución no exclusiva de la versión de la obra publicada en la revista (por ejemplo, en un repositorio institucional o en un libro) con el reconocimiento de su publicación inicial en Nexo Revista Científica.
  3. Se permite y se anima a los autores a difundir sus trabajos electrónicamente (por ejemplo, en repositorios institucionales o en su propio sitio web) antes y durante el proceso de envío, ya que puede dar lugar a intercambios productivos, así como a una citación más temprana y mayor de los trabajos publicados.