Модели и алгоритмы теории автоматов для управления группой воздушных судов

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