Impact of NextGen integration on improving efficiency and safety of operations, Proceedings of TRB: the 91st Annual Meeting of the Transportation Research Board, 2012. ,
A review of conflict detection and resolution modeling methods, IEEE Transactions on Intelligent Transportation Systems, vol.1, issue.4, pp.179-189, 2000. ,
DOI : 10.1109/6979.898217
Erasmus -en route air traffic soft management ultimate system, Tech. rep., Eurocontrol Experimental Centre, 2006. ,
MINLP in Air Traffic Management: Aircraft conflict avoidance Advances and Trends in Optimization with Engineering Applications, MOS-SIAM Series on Optimization ,
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. ,
DOI : 10.1109/6979.994791
Nonlinear mixed integer programming for aircraft collision avoidance in free flight, Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.04CH37521), pp.327-330, 2004. ,
DOI : 10.1109/MELCON.2004.1346858
A mixed integer program for flight-level 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. ,
DOI : 10.1109/CDC.2009.5400520
Near Real-Time Fuel-Optimal En Route Conflict Resolution, IEEE Transactions on Intelligent Transportation Systems, vol.11, issue.4, pp.826-837, 2010. ,
DOI : 10.1109/TITS.2010.2051028
Minimization of potential air conflicts through speed regulation, Transportation Research Record, Journal of the Transportation Research Board, pp.2300-59, 2012. ,
Subliminal Speed Control in Air Traffic Management: Optimization and Simulation, Transportation Science, vol.50, issue.1, pp.240-262, 2016. ,
DOI : 10.1287/trsc.2015.0602
URL : https://hal.archives-ouvertes.fr/hal-01284356
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, 2011. ,
DOI : 10.1109/TITS.2010.2061971
A mixed 0???1 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: Velocity changes through a time horizon, Computers & Operations Research, vol.39, issue.12, pp.3136-3146, 2012. ,
DOI : 10.1016/j.cor.2012.03.015
Exact and Approximate Solving of the Aircraft Collision Resolution Problem via Turn Changes, Transportation Science, vol.50, issue.1, pp.263-274, 2016. ,
DOI : 10.1287/trsc.2014.0557
Aircraft deconfliction with speed regulation: new models from mixed-integer optimization, Journal of Global Optimization, vol.3, issue.1, pp.613-629, 2014. ,
DOI : 10.1007/s10898-013-0070-1
URL : https://hal.archives-ouvertes.fr/hal-00935215
Maximizing the number of solved aircraft conflicts through velocity regulation, MAGO 2014, 12th Global Optimization Workshop, pp.1-4, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01018051
Solving air traffic conflict problems via local continuous optimization, European Journal of Operational Research, vol.241, issue.2, pp.502-512, 2015. ,
DOI : 10.1016/j.ejor.2014.08.045
URL : https://hal.archives-ouvertes.fr/hal-00912785
Reformulations in Mathematical Programming: A Computational Approach, Foundations of Computational Intelligence, pp.153-234, 2009. ,
DOI : 10.1007/978-3-642-01085-9_7
URL : https://hal.archives-ouvertes.fr/hal-01217899
How erasmus can support an increase in capacity in 2020, Proceedings of the 7th International Conference on Computing, Communications and Control Technologies: CCCT, 2009. ,
MINLP Solver Software, Wiley Encyclopedia of Operations Research and Management Science, 2011. ,
DOI : 10.1002/9780470400531.eorms0527
ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations, Journal of Global Optimization, vol.56, issue.2, pp.503-526, 2014. ,
DOI : 10.1007/s10898-014-0166-2
BARON: A general purpose global optimization software package, Journal of Global Optimization, vol.19, issue.2, pp.201-205, 1996. ,
DOI : 10.1007/BF00138693
Branching and bounds tightening techniques for non-convex MINLP, Optimization Methods Software, pp.4-5, 2009. ,
DOI : 10.1080/10556780903087124
The global solver in the LINDO API, Optimization Methods and Software, pp.657-668, 2009. ,
SCIP: solving constraint integer programs, Mathematical Programming Computation, vol.29, issue.2, pp.1-41, 2009. ,
DOI : 10.1007/s12532-008-0001-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.7376
On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming, Mathematical Programming, vol.10, issue.1, pp.25-57, 2006. ,
DOI : 10.1007/s10107-004-0559-y
Benchmarking optimization software with performance profiles, Mathematical Programming, vol.91, issue.2, pp.201-213, 2002. ,
DOI : 10.1007/s101070100263
URL : http://arxiv.org/abs/cs/0102001
Martín-Campo, An exact multiobjective mixed integer nonlinear optimization approach for aircraft conflict resolution, pp.381-408, 2016. ,
DOI : 10.1007/s11750-015-0402-z
MINLPLib???A Collection of Test Models for Mixed-Integer Nonlinear Programming, INFORMS Journal on Computing, vol.15, issue.1, pp.114-119, 2003. ,
DOI : 10.1287/ijoc.15.1.114.15159