Использование согласования логических спецификаций автоматов при решении игровых задач
Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов или их логических спецификаций. Соответствующие методы существенно отличают...
Збережено в:
| Дата: | 2014 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/115815 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Использование согласования логических спецификаций автоматов при решении игровых задач / А.Н. Чеботарев // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 3-13. — Бібліогр.: 12 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-115815 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1158152017-04-14T03:02:28Z Использование согласования логических спецификаций автоматов при решении игровых задач Чеботарев, А.Н. Кибернетика Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов или их логических спецификаций. Соответствующие методы существенно отличаются от тех, которые используются в игровом контексте. Показано, как эти методы можно применять для синтеза выигрышной стратегии в игре двух лиц, не связанной с проектированием реактивных систем. Ігрові моделі широко використовуються при розв’язанні задач реалізовності, синтезу та верифікації реактивних систем. Для розв’язання таких задач у статті розглянуто автоматний підхід, який базується на понятті узгодженості автоматів або їхніх логічних специфікацій. Відповідні методи суттєво відрізняються від тих, що застосовуються в ігровому контексті. Показано, як ці методи можуть використовуватися для синтезу виграшної стратегії у грі двох осіб, не пов’язаній з проектуванням реактивних систем. 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. 2014 Article Использование согласования логических спецификаций автоматов при решении игровых задач / А.Н. Чеботарев // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 3-13. — Бібліогр.: 12 назв. — рос. http://dspace.nbuv.gov.ua/handle/123456789/115815 519.713.1 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Кибернетика Кибернетика |
| spellingShingle |
Кибернетика Кибернетика Чеботарев, А.Н. Использование согласования логических спецификаций автоматов при решении игровых задач Кибернетика и системный анализ |
| description |
Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов или их логических спецификаций. Соответствующие методы существенно отличаются от тех, которые используются в игровом контексте. Показано, как эти методы можно применять для синтеза выигрышной стратегии в игре двух лиц, не связанной с проектированием реактивных систем. |
| format |
Article |
| author |
Чеботарев, А.Н. |
| author_facet |
Чеботарев, А.Н. |
| author_sort |
Чеботарев, А.Н. |
| title |
Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_short |
Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_full |
Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_fullStr |
Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_full_unstemmed |
Использование согласования логических спецификаций автоматов при решении игровых задач |
| title_sort |
использование согласования логических спецификаций автоматов при решении игровых задач |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2014 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/115815 |
| citation_txt |
Использование согласования логических спецификаций автоматов при решении игровых задач / А.Н. Чеботарев // Кибернетика и системный анализ. — 2014. — Т. 50, № 4. — С. 3-13. — Бібліогр.: 12 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT čebotarevan ispolʹzovaniesoglasovaniâlogičeskihspecifikacijavtomatovprirešeniiigrovyhzadač |
| first_indexed |
2023-10-18T20:26:16Z |
| last_indexed |
2023-10-18T20:26:16Z |
| _version_ |
1796150194425823232 |