An exact multi-objective mixed integer nonlinear optimization approach for aircraft conflict resolution

An exact mixed integer nonlinear optimization (MINO) model is presented for tackling the aircraft conflict detection and resolution problem in air traffic management. Given a set of flights and their configurations, the aim of the problem was to provide new configurations such that all conflict situations are avoided, with conflict situation understood to mean an event in which two or more aircraft violate the minimum safety distances that must be maintained in flight. The proposed model solves the problem using both horizontal (velocity and angle turn change) and vertical (altitude level change) maneuvers. As a special case, another model is presented in which only horizontal maneuvers are used. The models proposed are based on a geometric construction which involves trigonometric functions, so the constraint system is included via a large set of trigonometric and nonconvex inequalities. A multicriteria approach is presented to provide useful information to air traffic control officers about the maneuvers to be performed. The main results of an extensive computational experiment are reported in which the performance of the state-of-the-art nonconvex MINO solver Minotaur is studied.