Skip to Main content Skip to Navigation

Application de la programmation par contraintes à des problèmes de gestion du trafic aérien

Abstract : The efficiency of Air Traffic Flow Management (ATFM) is a key issue of the development of the European civil aviation within an already overloaded network. Currently, some phases of ATFM corresponding to combinatorial optimization problems are empirically solved by experts and their standard modelings are often not well suited to the operational constraints. We use Constraint Programming to model in a more rigorous and realistic way some of these problems and to compute optimal solutions. The first relates to the regulation by attribution of delays at take-off and depends on the second one, the configuration of the control centers. The third one is the optimization of the airspace use, assuming that crossing flows of aircrafts are given different altitudes. To model and solve these problems, we have defined and developed a convenient optimization tool, FaCiLe , which takes the form of a library for the functional language Objective Caml. Its performances are comparable with the best commercial products while being very versatile thanks to powerful abstractions. We illustrate the flexibility of its use and report the details of its implementation.
Complete list of metadatas
Contributor : Nicolas Barnier <>
Submitted on : Friday, August 24, 2018 - 10:52:10 AM
Last modification on : Tuesday, October 20, 2020 - 10:32:06 AM
Long-term archiving on: : Sunday, November 25, 2018 - 2:12:42 PM


Files produced by the author(s)


  • HAL Id : tel-01861173, version 1



Nicolas Barnier. Application de la programmation par contraintes à des problèmes de gestion du trafic aérien. Intelligence artificielle [cs.AI]. Institut National Polytechnique De Toulouse, 2002. Français. ⟨tel-01861173⟩



Record views


Files downloads