Models and algorithms of automata theory for the control of an aircraft group

We develop models and algorithms to control the process of landing aircraft under uncertainty of their positions in space caused by unfavorable, unforeseen external influences. As the objective function we consider the execution time of the dispatcher's commands, and as constraints we introduce requirements for the safety of aircraft. Based on the developed formalism of generalized synchronization of linear automata, we develop an approach that makes it possible to reduce this problem to an integer linear programming problem. We consider an example of the use of the developed models and methods for controlling the aircraft landing process.