Использование согласования логических спецификаций автоматов при решении игровых задач
Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов или их логических спецификаций. Соответствующие методы существенно отличают...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2014 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/115815 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Использование согласования логических спецификаций автоматов при решении игровых задач / А.Н. Чеботарев // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 3-13. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862581295977070592 |
|---|---|
| author | Чеботарев, А.Н. |
| author_facet | Чеботарев, А.Н. |
| citation_txt | Использование согласования логических спецификаций автоматов при решении игровых задач / А.Н. Чеботарев // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 3-13. — Бібліогр.: 12 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов или их логических спецификаций. Соответствующие методы существенно отличаются от тех, которые используются в игровом контексте. Показано, как эти методы можно применять для синтеза выигрышной стратегии в игре двух лиц, не связанной с проектированием реактивных систем.
Ігрові моделі широко використовуються при розв’язанні задач реалізовності, синтезу та верифікації реактивних систем. Для розв’язання таких задач у статті розглянуто автоматний підхід, який базується на понятті узгодженості автоматів або їхніх логічних специфікацій. Відповідні методи суттєво відрізняються від тих, що застосовуються в ігровому контексті. Показано, як ці методи можуть використовуватися для синтезу виграшної стратегії у грі двох осіб, не пов’язаній з проектуванням реактивних систем.
Game models have been widely used to solve realizability, synthesis, and verification problems. In this paper, we consider an alternative approach to solving these problems based on the notion of compatibility of automata (FSMs) or their logical specifications. The corresponding methods substantially differ from those used in the game setting. We show how these methods can be used for the synthesis of a winning strategy in a two-player game, which does not relate to the development of reactive systems.
|
| first_indexed | 2025-11-26T21:22:50Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-115815 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| language | Russian |
| last_indexed | 2025-11-26T21:22:50Z |
| publishDate | 2014 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Чеботарев, А.Н. 2017-04-13T19:06:12Z 2017-04-13T19:06:12Z 2014 Использование согласования логических спецификаций автоматов при решении игровых задач / А.Н. Чеботарев // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 3-13. — Бібліогр.: 12 назв. — рос. https://nasplib.isofts.kiev.ua/handle/123456789/115815 519.713.1 Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов или их логических спецификаций. Соответствующие методы существенно отличаются от тех, которые используются в игровом контексте. Показано, как эти методы можно применять для синтеза выигрышной стратегии в игре двух лиц, не связанной с проектированием реактивных систем. Ігрові моделі широко використовуються при розв’язанні задач реалізовності, синтезу та верифікації реактивних систем. Для розв’язання таких задач у статті розглянуто автоматний підхід, який базується на понятті узгодженості автоматів або їхніх логічних специфікацій. Відповідні методи суттєво відрізняються від тих, що застосовуються в ігровому контексті. Показано, як ці методи можуть використовуватися для синтезу виграшної стратегії у грі двох осіб, не пов’язаній з проектуванням реактивних систем. Game models have been widely used to solve realizability, synthesis, and verification problems. In this paper, we consider an alternative approach to solving these problems based on the notion of compatibility of automata (FSMs) or their logical specifications. The corresponding methods substantially differ from those used in the game setting. We show how these methods can be used for the synthesis of a winning strategy in a two-player game, which does not relate to the development of reactive systems. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Использование согласования логических спецификаций автоматов при решении игровых задач Використання узгодження логічних специфікацій автоматів при розв’язанні ігрових задач Using the compatibility analysis of automata logical specification to solve game problems Article published earlier |
| spellingShingle | Использование согласования логических спецификаций автоматов при решении игровых задач Чеботарев, А.Н. Кибернетика |
| title | Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_alt | Використання узгодження логічних специфікацій автоматів при розв’язанні ігрових задач Using the compatibility analysis of automata logical specification to solve game problems |
| title_full | Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_fullStr | Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_full_unstemmed | Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_short | Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_sort | использование согласования логических спецификаций автоматов при решении игровых задач |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/115815 |
| work_keys_str_mv | AT čebotarevan ispolʹzovaniesoglasovaniâlogičeskihspecifikaciiavtomatovprirešeniiigrovyhzadač AT čebotarevan vikoristannâuzgodžennâlogíčnihspecifíkacíiavtomatívprirozvâzanníígrovihzadač AT čebotarevan usingthecompatibilityanalysisofautomatalogicalspecificationtosolvegameproblems |