Allocation de créneaux de décollage sans conflit en programmation par contraintes

Résumé : Comme le recommande le programme SESAR, les systèmes ATC actuels doivent être améliorés afin d'absorber la croissance du trafic. Les contraintes de capacité des secteurs de contrôle constituent un obstacle à un système ATC efficace. Les précédentes études ont consisté à optimiser le procédé actuel d'allocation de créneaux de décollage pour satiafaire ces contraintes. Nous proposons de résoudre directement les conflits dans l'espace supérieur par une modification des heures de décollage. Nous présentons une modélisation en PPC de ce problème, les résultats obtenus avec la librairie de contraintes FaCiLe, ainsi qu'une estimation du coût nécessaire pour améliorer la robustesse de la méthode.