Aircraft deconfliction with speed regulation: new models from mixed-integer optimization

Detecting and solving aircraft conflicts, which occur when aircraft sharing the same airspace are too close to each other according to their predicted trajectories, is a crucial problem in Air Traffic Management. We focus on mixed-integer optimization models based on speed regulation. We first solve the problem to global optimality by means of an exact solver. Since the problem is very difficult to solve, we also propose a heuristic procedure where the problem is decomposed and it is locally exactly solved. Computational results show that the proposed approach provides satisfactory results.

[1]  Jean-Marc Alliot,et al.  OPTIMAL RESOLUTION OF EN ROUTE CONFLICTS. , 1995 .

[2]  Peter L. Hammer,et al.  Boolean Methods in Operations Research and Related Areas , 1968 .

[3]  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.

[4]  David Rey,et al.  A Mixed Integer Linear Model for Potential Conflict Minimization by Speed Modulations , 2010 .

[5]  Nicolas Durand,et al.  A traffic complexity approach through cluster analysis , 2003 .

[6]  F. Javier,et al.  The collision avoidance problem: methods and algorithms , 2010 .

[7]  Nicolas Durand,et al.  Ant Colony Optimization for Air Traffic Conflict Resolution , 2009 .

[8]  Nicolas Durand,et al.  Automatic aircraft conflict resolution using genetic algorithms , 1996, SAC '96.

[9]  Jonathan P. How,et al.  Aircraft trajectory planning with collision avoidance using mixed integer linear programming , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[10]  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..

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

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

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

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

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

[16]  Nicolas Durand,et al.  Neural Nets Trained by Genetic Algorithms for Collision Avoidance , 2000, Applied Intelligence.

[17]  Nicolas Durand,et al.  Modeling the Controller's Conflict Detection Task Using Fast Time Simulation , 2011 .

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