MINLP formulations for the Aircraft Conflict Avoidance problem
(ENAC - Ecole Nationale de l'Aviation Civile)
FST-Université de Limoges,
123, Av. Albert Thomas.
Mixed-Integer Non-linear Programming (MINLP) formulations appear to be the natural candidates for aircraft conflict avoidance problems, where the need for modeling logical choices suggests the simultaneous presence of discrete as well as continuous variables, and nonlinear constraints arise from separation condition modeling. We present and discuss mixed-integer nonlinear optimization models, one based on velocity-changes separation maneuvers (keeping trajectories unchanged) and another combining turn-changes and velocity-changes maneuvers. The models are general enough to avoid imposing, as usually done, separation maneuvers performed simultaneously by all aircraft, and are such that for each aircraft the instant times to perform maneuvers are decision variables of the problem. The pros and cons of the models are discussed.