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

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

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Pashchenko, Dmitry V., Martyshkin, Alexey I., Trokoz, Dmitry A., Pashchenko, Tatyana Yu., Babich, Mikhail Yu., Butaev, Mikhail M.
Formato: Online
Idioma:eng
Publicado: Universidad Nacional de Ingeniería (UNI) en Managua 2021
Acceso en línea:https://www.camjol.info/index.php/NEXO/article/view/11285
id NEXO11285
record_format ojs
spelling NEXO112852021-04-16T20:36:48Z Behaviour examples for synthesizing automaton models by temporal formulas Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales Pashchenko, Dmitry V. Martyshkin, Alexey I. Trokoz, Dmitry A. Pashchenko, Tatyana Yu. Babich, Mikhail Yu. Butaev, Mikhail M. automaton model discrete-event simulation finite state automaton conflicting situation methods of accounting for behaviour examples 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 The paper deals with researching and developing the methods that make it possible to account behaviour examples when synthesizing automaton models by temporal formulas. Definitions of the terms and concepts used in work are given; the problem of synthesizing automaton systems according to the specification in the form of temporal formulas and behaviour examples is formulated; a promising algorithm for reducing the problem of synthesizing automaton systems to the Boolean formula satisfiability problem is described; an analysis of the domain and other approaches is carried out. New methods of taking into account behaviour examples in the synthesis of automaton systems according to a specification given in the form of temporal formulas are proposed. Algorithms for constructing graphs of scripts and methods for dividing graphs into clusters are described; they are designed to increase the efficiency of representing behaviour examples used for coding the behaviour examples in the form of Boolean formulas. An experimental study of the proposed methods of accounting for behaviour examples and basic approaches to the presentation of behaviour examples is carried out. The experimental results showed the superiority of the newly developed methods regarding the presentation of scripts in the form of temporal formulas. In summary, the main conclusions of the work carried out are presented. 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. Universidad Nacional de Ingeniería (UNI) en Managua 2021-04-13 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Peer-Reviewed Article Artículo revisado por pares application/pdf https://www.camjol.info/index.php/NEXO/article/view/11285 10.5377/nexo.v34i01.11285 Nexo Scientific Journal; Vol. 34 No. 01 (2021); 61-73 Nexo Revista Científica; Vol. 34 Núm. 01 (2021); 61-73 1995-9516 1818-6742 eng https://www.camjol.info/index.php/NEXO/article/view/11285/13139 Derechos de autor 2021 Universidad Nacional de Ingeniería
institution Universidad Nacional de Ingeniería
collection Nexo Revista Científica
language eng
format Online
author Pashchenko, Dmitry V.
Martyshkin, Alexey I.
Trokoz, Dmitry A.
Pashchenko, Tatyana Yu.
Babich, Mikhail Yu.
Butaev, Mikhail M.
spellingShingle Pashchenko, Dmitry V.
Martyshkin, Alexey I.
Trokoz, Dmitry A.
Pashchenko, Tatyana Yu.
Babich, Mikhail Yu.
Butaev, Mikhail M.
Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
author_facet Pashchenko, Dmitry V.
Martyshkin, Alexey I.
Trokoz, Dmitry A.
Pashchenko, Tatyana Yu.
Babich, Mikhail Yu.
Butaev, Mikhail M.
author_sort Pashchenko, Dmitry V.
description 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.
title Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_short Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_full Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_fullStr Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_full_unstemmed Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_sort ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
title_alt Behaviour examples for synthesizing automaton models by temporal formulas
publisher Universidad Nacional de Ingeniería (UNI) en Managua
publishDate 2021
url https://www.camjol.info/index.php/NEXO/article/view/11285
work_keys_str_mv AT pashchenkodmitryv behaviourexamplesforsynthesizingautomatonmodelsbytemporalformulas
AT martyshkinalexeyi behaviourexamplesforsynthesizingautomatonmodelsbytemporalformulas
AT trokozdmitrya behaviourexamplesforsynthesizingautomatonmodelsbytemporalformulas
AT pashchenkotatyanayu behaviourexamplesforsynthesizingautomatonmodelsbytemporalformulas
AT babichmikhailyu behaviourexamplesforsynthesizingautomatonmodelsbytemporalformulas
AT butaevmikhailm behaviourexamplesforsynthesizingautomatonmodelsbytemporalformulas
AT pashchenkodmitryv ejemplosdecomportamientoparasintetizarmodelosdeautomatasmedianteformulastemporales
AT martyshkinalexeyi ejemplosdecomportamientoparasintetizarmodelosdeautomatasmedianteformulastemporales
AT trokozdmitrya ejemplosdecomportamientoparasintetizarmodelosdeautomatasmedianteformulastemporales
AT pashchenkotatyanayu ejemplosdecomportamientoparasintetizarmodelosdeautomatasmedianteformulastemporales
AT babichmikhailyu ejemplosdecomportamientoparasintetizarmodelosdeautomatasmedianteformulastemporales
AT butaevmikhailm ejemplosdecomportamientoparasintetizarmodelosdeautomatasmedianteformulastemporales
_version_ 1781395983253372928

Ejemplares similares