Mixed conflict model for Air Traffic Control

Thibaut Feydy (1) , Nicolas Barnier (2) , Pascal Brisset (1) , Nicolas Durand (1)

1 ENAC - Ecole Nationale de l'Aviation Civile
2 MAIA-OPTIM - ENAC Equipe MAIAA-OPTIM

Airspace congestion is today the most critical issue European Air Traffic Management (ATM) has to face. Current real-time Air Traffic Control (ATC) is achieved by human controllers. One of their main tasks is to keep separation between aircraft, asking to the pilots to do basic avoidance manoeuvres. We propose here two mixed CSP models of this separation issue, combining discrete and continuous variables. An implementation of these models allows to produce optimal solutions for problems where numerous aircraft are conflicting.

Mots clés: Air Traffic Control; conflict solving; mixed model; constraint programming

Domaines: Optimisation et contrôle [math.OC]

Thibaut Feydy, Nicolas Barnier, Pascal Brisset, Nicolas Durand. Mixed conflict model for Air Traffic Control. IntCP 2005, Interval analysis, constraint propagation, applications Workshop / 11th International Conference on Principles and Practice of Constraint Programming, Oct 2005, Barcelona, Spain. pp xxxx. ⟨hal-00941974⟩