Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов

Рассмотрены вопросы применения аппарата структурных конечных автоматов для обработки информации параметрических бортовых регистраторов. Исследованы аспекты использования конечных автоматов для реализации алгоритмов контроля полетов. Построены канонические уравнения общего вида, описывающие алгоритмы контроля. Разработана методика построения автоматных моделей для описания алгоритмов контроля полетов воздушных судо