Согласование взаимодействующих автоматов

• Опубліковано в: : Кибернетика и системный анализ
• Дата: 2015
• Автор: Чеботарев, А.Н.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2015
• Теми: Кибернетика
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/124902
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Согласование взаимодействующих автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 13-25. — Бібліогр.: 14 назв. — рос.

Проблема согласования автоматов состоит в том, чтобы спроектировать систему, поведение которой при ее взаимодействии со средой будет удовлетворять заданным требованиям независимо от возможного поведения среды. Приведен ряд теоретических результатов, используемых при решении проблемы согласования, и основанные на них алгоритмы ее решения. Проблема узгодження автоматів полягає в тому, щоб спроектувати систему, поведінка якої при її взаємодії з середовищем буде задовольняти задані вимоги незалежно від можливої поведінки середовища. Наведено низку теоретичних результатів, що використовуються при розв’язанні проблеми узгодження, та алгоритми її розв’язання, які базуються на цих результатах. The problem of automata harmonization is to design a system whose behavior during the interaction with its environment meets given requirements regardless of the environment’s behavior. A number of theoretical results employed in solving the harmonization problem and corresponding algorithms based on these results are presented.