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

Abstract

Проблема согласования автоматов состоит в том, чтобы спроектировать систему, поведение которой при ее взаимодействии со средой будет удовлетворять заданным требованиям независимо от возможного поведения среды. Приведен ряд теоретических результатов, используемых при решении проблемы согласования, и основанные на них алгоритмы ее решения.Проблема узгодження автоматів полягає в тому, щоб спроектувати систему, поведінка якої при її взаємодії з середовищем буде задовольняти задані вимоги незалежно від можливої поведінки середовища. Наведено низку теоретичних результатів, що використовуються при розв’язанні проблеми узгодження, та алгоритми її розв’язання, які базуються на цих результатах.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.