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. The problem being very difficult to solve, we also propose a heuristic procedure where the problem is decomposed and it is locally solved by an exact solver. Computational results show that the proposed approach provides satisfactory results in reasonable time.
The different versions of the original document can be found in:
Are you one of the authors of this document?