Solving the Air Conflict Resolution Problem under Uncertainty as an Iterative bi-Objective MILP Article submitted to Transportation Science; manuscript no. XX References 2014. CPLEX v12.5. User's manual for CPLEX, pp.8-08 ,
A mixed 01 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: Velocity changes through a time horizon, IEEE Transactions on Intelligent Transportation Systems, vol.39, pp.3136-3146, 2012. ,
Multiobjective optimization for aircraft conflict resolution. A metaheuristic approach, European Journal of Operational Research, vol.248, issue.2, pp.691-702, 2016. ,
DOI : 10.1016/j.ejor.2015.07.049
A Satisficing Approach to Aircraft Conflict Resolution, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol.38, issue.4, pp.510-521, 2008. ,
DOI : 10.1109/TSMCC.2008.919162
An analysis of landing rates and separations at the Dallas, Fort Worth International Airport, vol.110397, 1996. ,
Effect of Wind Correlation on Aircraft Conflict Probability, Journal of Guidance, Control, and Dynamics, vol.30, issue.6, pp.1742-1752, 2007. ,
DOI : 10.2514/1.28858
Assessment of the Rapid Update Cycle (RUC) with near real-time aircraft reports, 1998. ,
Conflict detection and resolution in the presence of prediction error, Europe Air Traffic Management R&D Seminar, pp.17-20, 1997. ,
Applications de l'algèbre de Boole en recherche opérationelle. Revue Française de, Recherche Opérationelle, vol.4, issue.14, pp.17-26, 1960. ,
A geometrical approach to conflict probability estimation, Air Traffic Control Quarterly, vol.10, issue.2, pp.85-113, 2002. ,
Interactions between operations and planning in air traffic control, Proceedings of the 2nd International Conference of Research in Air Transportation, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00998973
A flexible framework for solving the air conflict detection and resolution problem using maximum cliques in a graph, Proceedings of the Eleventh USA/Europe Air Traffic Management Research and Development Seminar (ATM2015), 2015. ,
A New Variant of the Minimum-Weight Maximum-Cardinality Clique Problem to Solve Conflicts between Aircraft, Modelling, Computation and Optimization in Information Systems and Management Sciences, Advances in Intelligent Systems and Computing, pp.3-14978, 2015. ,
DOI : 10.1007/978-3-319-18161-5_1
Aircraft and weather models for probabilistic collision avoidance in air traffic control, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.2427-2432, 1998. ,
DOI : 10.1109/CDC.2002.1184199
Sequential monte carlo methods in air traffic management, 2010. ,
The collision avoidance problem: methods and algorithms, 2010. ,
Optimal Strategies for Free-Flight Air Traffic Conflict Resolution, Journal of Guidance, Control, and Dynamics, vol.22, issue.2, pp.202-211, 1999. ,
DOI : 10.2514/2.4384
A space-discretized mixed-integer linear model for air-conflict resolution with speed and heading maneuvers, Computers & Operations Research, vol.58, pp.75-86, 2015. ,
DOI : 10.1016/j.cor.2014.12.012
Hybridization of Nonlinear and Mixed-Integer Linear Programming for Aircraft Separation With Trajectory Recovery, IEEE Transactions on Intelligent Transportation Systems, vol.14, issue.3, pp.1218-1230, 2013. ,
DOI : 10.1109/TITS.2013.2257758
Modeling Maneuver Dynamics in Air Traffic Conflict Resolution, Journal of Guidance, Control, and Dynamics, vol.26, issue.3, pp.407-415, 2003. ,
DOI : 10.2514/2.5078
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
A probabilistic approach to aircraft conflict detection, IEEE Transactions on Intelligent Transportation Systems, vol.1, issue.4, pp.199-220, 2000. ,
DOI : 10.1109/6979.898224
Simulation and the Monte Carlo method, 2011. ,
Accuracy of RUC-1 and RUC-2 Wind and Aircraft Trajectory Forecasts by Comparison with ACARS Observations, Weather and Forecasting, vol.15, issue.3, pp.313-326, 2000. ,
DOI : 10.1175/1520-0434(2000)015<0313:AORARW>2.0.CO;2
European ATM master plan, 2012. ,
Satisficing games, Information Sciences, vol.114, issue.1-4, pp.255-280, 1999. ,
DOI : 10.1016/S0020-0255(98)10048-8
Conflict resolution for air traffic management: a study in multiagent hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.509-521, 1998. ,
DOI : 10.1109/9.664154