Skip to Main content Skip to Navigation
Theses

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

https://tel.archives-ouvertes.fr/tel-01861173
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

File

these_barnier.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01861173, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

272

Files downloads

122