J. Villiers, Automatisation du controle de la circulation aèrienne: "ERASMUS", une voie conviviale pour franchir le mur de la capacitè, Institut du Transport Aèrien, vol.58, 2004.

F. Drogoul, P. Averty, and . Weber, ERASMUS Strategic Deconfliction to Benefit SESAR, Proc. 8 th USA/Europe Air Traffic Management Research and Development Seminar, pp.1-10, 2009.

M. Lao and J. Tang, Cooperative Multi-UAV Collision Avoidance Based on Distributed Dynamic Optimization and Causal Analysis, Applied Sciences, vol.7, issue.1, p.83, 2017.

D. Claes and K. , Tuyls: Multi robot collision avoidance in a shared workspace, Autonomous Robots, vol.42, issue.8, pp.1749-1770, 2018.

C. G. Co and J. M. Tanchoco, A review of research on AGVS vehicle management, vol.21, pp.35-42, 1991.

M. Cerulli, C. Ambrosio, and L. Liberti, Flying safely by bilevel programming, Advances in Optimization and Decision Science for Society, Services and Enterprises: ODS, AIRO Springer Serie, vol.3, pp.197-206, 2019.

D. Rey, C. Rapine, S. Constans, and R. Fondacci, A Mixed Integer Linear Model for Potential Conflict Minimization by Speed Modulations, ICRAT 2010. Fourth International Conference on Research in Air Transportation, 2010.

D. Rey, C. Rapine, V. V. Dixit, and S. T. Waller, Equity-Oriented Aircraft Collision Avoidance Model, IEEE Transactions on Intelligent Transportation Systems, vol.16, issue.1, pp.172-183, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01163623

S. Cafieri and N. Durand, Aircraft Deconfliction with Speed Regulation: New Models from Mixed-integer Optimization, Journal of Global Optimization, vol.58, issue.4, pp.613-629, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00935215

S. Cafieri and C. , Feasibility pump for aircraft deconfliction with speed regulation, Journal of Global Optimization, vol.71, issue.3, pp.501-515, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01609328

A. Vela, S. Solak, W. Singhose, and J. Clarke, A mixed integer program for flightlevel assignment and speed control for conflict resolution, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, pp.5219-5226, 2009.

A. Alonso-ayuso, L. F. Escudero, and F. J. , Martín-Campo: Collision avoidance in air traffic management: A mixed-integer linear optimization approach, IEEE Transactions on Intelligent Transportation Systems, vol.12, issue.1, pp.47-57, 2010.

F. H. Dias, H. Hijazi, and D. Rey, Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution by speed and altitude control, 2019.

K. D. , Bilimoria: A Geometric Optimization Approach to Aircraft Conflict Resolution, 18th Applied Aerodynamics Conference, 2000.

L. Pallottino, E. Feron, and A. Bicchi, Conflict resolution problems for air traffic management systems solved with mixed integer programming, IEEE transactions on intelligent transportation systems, vol.3, issue.1, pp.3-11, 2002.

S. Cafieri and R. , Omheni: Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes, European Journal of Operational Research, vol.260, issue.1, pp.283-290, 2017.

E. Frazzoli, Z. Mao, J. Oh, and E. , Feron: Resolution of Conflicts Involving Many Aircraft via Semidefinite Programming, Journal of Guidance, Control and Dynamic, vol.24, issue.1, pp.79-86, 2001.

D. Rey and H. Hijazi, Complex number formulation and convex relaxations for aircraft conflict resolution, IEEE 56th Annual Conference on Decision and Control, pp.88-93, 2017.

O. Stein, How to solve a semi-infinite optimization problem, European Journal of Operational Research, vol.223, pp.312-320, 2012.

S. Dempe, V. Kalashnikov, G. A. Prez-valds, and N. Kalashnykova, Bilevel Programming Problems: Theory, Algorithms and Applications to Energy Networks, 2015.

T. Kleinert, M. Labbé, F. Plein, and M. Schmidt, There's No Free Lunch, On the Hardness of Choosing a Correct Big-M in Bilevel Optimization, vol.7172, 2019.

W. S. Dorn, Self-Dual Quadratic Programs, Journal of the Society for Industrial and Applied Mathematics, vol.9, issue.1, pp.51-54, 1961.

W. S. Dorn, Duality in quadratic programming, Quarterly of Applied Mathematics, vol.18, issue.2, pp.155-162, 1960.

P. Wolfe, A duality theorem for non-linear programming, Quarterly of Applied Mathematics, vol.19, pp.239-244, 1961.

A. Alonso-ayuso, L. F. Escudero, and F. J. Martín-campo, Exact and Approximate Solving of the Aircraft Collision Resolution Problem via Turn Changes, Transportation Science, vol.50, pp.263-274, 2016.

S. Fang, C. Lin, and S. Wu, Solving quadratic semi-infinite programming problems by using relaxed cutting-plane scheme, Journal of Computational and Applied Mathematics, vol.129, pp.89-104, 2001.

R. Fourer, D. M. Gay, and B. W. Kernighan, AMPL: A Modeling Language for Mathematical Programming, 2002.

N. V. Sahinidis and M. Tawarmalani, BARON 7.2.5: Global Optimization of Mixed-Integer Nonlinear Programs, User's Manual, 2005.

P. E. Gill, User's guide for SNOPT version, vol.7, 2006.

P. Belotti, J. Lee, L. Liberti, and A. Wächter, Branching and bounds tightening techniques for non-convex MINLP, Optimization Methods and Software, vol.24, issue.4-5, pp.597-634, 2009.

A. Wächter and L. Biegler, On the Implementation of a Primal-Dual Interior Point Filter Line Search Algorithm for Large-Scale Nonlinear Programming, Mathematical Programming, 2006.