Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes

We consider the problem of aircraft conflict avoidance in Air Traffic Management systems. Given an initial configuration of a number of aircraft sharing the same airspace, the main goal of conflict avoidance is to guarantee that a minimum safety distance between each pair of aircraft is always respected during their flights. We consider aircraft separation achieved by heading angle deviations, and propose a mixed 0–1 nonlinear optimization model, that is then combined with another one which is based on aircraft speed regulation. A two-step solution approach is proposed, where the two models are sequentially solved using a state-of-the-art mixed-integer nonlinear programming solver. Numerical results validate the proposed approach and clearly show the benefit of combining the two considered separation maneuvers.

[1]  John-Paul Clarke,et al.  A mixed integer program for flight-level assignment and speed control for conflict resolution , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[2]  Laureano F. Escudero,et al.  Exact and Approximate Solving of the Aircraft Collision Resolution Problem via Turn Changes , 2016, Transp. Sci..

[3]  Christodoulos A. Floudas,et al.  ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations , 2014, Journal of Global Optimization.

[4]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[5]  Antonio Bicchi,et al.  Conflict resolution problems for air traffic management systems solved with mixed integer programming , 2002, IEEE Trans. Intell. Transp. Syst..

[6]  Laureano F. Escudero,et al.  A mixed 0-1 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: Velocity changes through a time horizon , 2012, Comput. Oper. Res..

[7]  Michael R. Bussieck,et al.  MINLP Solver Software , 2011 .

[8]  Marcel Mongeau,et al.  Solving air traffic conflict problems via local continuous optimization , 2015, Eur. J. Oper. Res..

[9]  Tobias Achterberg,et al.  SCIP: solving constraint integer programs , 2009, Math. Program. Comput..

[10]  Sonia Cafieri.  Maximizing the number of solved aircraft conflicts through velocity regulation , 2014 .

[11]  Nour-Eddin El Faouzi,et al.  Minimization of Potential Air Conflicts through Speed Regulation , 2012 .

[12]  John-Paul Clarke,et al.  Near Real-Time Fuel-Optimal En Route Conflict Resolution , 2010, IEEE Transactions on Intelligent Transportation Systems.

[13]  M. Christodoulou,et al.  Nonlinear mixed integer programming for aircraft collision avoidance in free flight , 2004, Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.04CH37521).

[14]  Nikolaos V. Sahinidis,et al.  BARON: A general purpose global optimization software package , 1996, J. Glob. Optim..

[15]  Nour-Eddin El Faouzi,et al.  Subliminal Speed Control in Air Traffic Management: Optimization and Simulation , 2016, Transp. Sci..

[16]  Sonia Cafieri,et al.  Reformulations in Mathematical Programming: A Computational Approach , 2009, Foundations of Computational Intelligence.

[17]  James K. Kuchar,et al.  A review of conflict detection and resolution modeling methods , 2000, IEEE Trans. Intell. Transp. Syst..

[18]  Michael R. Bussieck,et al.  MINLPLib - A Collection of Test Models for Mixed-Integer Nonlinear Programming , 2003, INFORMS J. Comput..

[19]  Linus Schrage,et al.  The global solver in the LINDO API , 2009, Optim. Methods Softw..

[20]  Sonia Cafieri,et al.  Aircraft deconfliction with speed regulation: new models from mixed-integer optimization , 2014, J. Glob. Optim..

[21]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[22]  Leo Liberti,et al.  Branching and bounds tighteningtechniques for non-convex MINLP , 2009, Optim. Methods Softw..

[23]  F. J. Martín-Campo,et al.  An exact multi-objective mixed integer nonlinear optimization approach for aircraft conflict resolution , 2016 .

[24]  Jorge J. Moré,et al.  Digital Object Identifier (DOI) 10.1007/s101070100263 , 2001 .

[25]  Laureano F. Escudero,et al.  Collision Avoidance in Air Traffic Management: A Mixed-Integer Linear Optimization Approach , 2011, IEEE Transactions on Intelligent Transportation Systems.