ROADEF 2020, Tutoriel GDR RO, 20 février 2020, Jérémy Omer (INSA Rennes)

Le contrôle du trafic aérien vise à garantir le respect de normes de séparation entre les usagers de l'espace aérien. Dans un contexte d'augmentation constante du trafic mondial, l'automatisation et l'aide à la décision représentent deux enjeux majeurs du domaine. Lors de ce tutoriel je dessinerai un panorama des méthodes de programmation mathématique pour le contrôle du trafic aérien. Dans le cas déterministe, une famille de modèles formule explicitement la physique du vol et les distances de séparation, tandis que d'autres discrétisent l'espace des manoeuvres d'évitement pour abstraire la situation à l'aide d'un graphe de conflits. La seconde partie de l'exposé élargira la discussion à la prise en compte des incertitudes, facteur essentiel pour capturer la réalité des pratiques des contrôleurs. La présentation s'orientera alors vers une approche multi-objectif avant de s'ouvrir vers la programmation stochastique.