Maximizing the number of conflict-free aircraft using mixed-integer nonlinear programming

DOI10.1016/j.cor.2016.12.002zbMath1391.90424OpenAlexW2560226384MaRDI QIDQ1652204

Sonia Cafieri, David Rey

Publication date: 11 July 2018

Published in: Computers \& Operations Research (Search for Journal in Brave)

Full work available at URL: https://hal-enac.archives-ouvertes.fr/hal-01432814/file/cafieri_rey_COR.pdf

zbMATH Keywords

modelingdeterministic global optimizationmixed-integer nonlinear programmingair traffic controlconflict detection and resolution

Mathematics Subject Classification ID

Mixed integer programming (90C11) Nonconvex programming, global optimization (90C26) Nonlinear programming (90C30) Traffic problems in operations research (90B20)

Related Items

On linear programming relaxations for solving polynomial programming problems ⋮ Mixed-integer nonlinear and continuous optimization formulations for aircraft conflict avoidance via heading and speed deviations ⋮ Meta-heuristic algorithm for aircraft pre-tactical conflict resolution with altitude and heading angle change maneuvers ⋮ Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution ⋮ Feasibility pump for aircraft deconfliction with speed regulation ⋮ A mixed integer linear programming model for multi-sector planning using speed and heading changes

Uses Software

• AMPL
• Ipopt

Cites Work

• A space-discretized mixed-integer linear model for air-conflict resolution with speed and heading maneuvers
• A mixed 0-1 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: velocity changes through a time horizon
• Conflict avoidance: \(0-1\) linear models for conflict detection \& resolution
• On modeling the air traffic control coordination in the collision avoidance problem by mixed integer linear optimization
• Aircraft deconfliction with speed regulation: new models from mixed-integer optimization
• On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
• Branching and bounds tighteningtechniques for non-convex MINLP
• L’algebre de Boole et ses applications en recherche operationnelle