Constraint programming for air traffic management : a survey

Cyril Allignol (1) , Nicolas Barnier (2) , Pierre Flener (3) , Justin Pearson (3)

1 MAIAA - ENAC - Laboratoire de Mathématiques Appliquées, Informatique et Automatique pour l'Aérien
2 MAIA-OPTIM - ENAC Equipe MAIAA-OPTIM
3 DIT-UPPSALA - Department of Information Technology

Air traffic management (ATM) under its current paradigm is reaching its structural limits considering the continuously growing demand. The need for a decrease in traffic workload opens numerous problems for optimization, from capacity balancing to conflict solving, using many different degrees of freedom, such as re-routing, flight-level changes, or ground-holding schemes. These problems are usually of a large dimension (there are 30 000 daily flights in Europe in the year 2012) and highly combinatorial, hence challenging for current problem solving technologies. We give brief tutorials on ATM and constraint programming (CP), and survey the literature on deploying CP technology for modelling and solving combinatorial problems that occur in an ATM context.

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

Cyril Allignol, Nicolas Barnier, Pierre Flener, Justin Pearson. Constraint programming for air traffic management : a survey. Knowledge Engineering Review, 2012, 27 (3), pp 361-392. ⟨10.1017/S0269888912000215⟩. ⟨hal-00934670⟩