A New Framework for Solving En-Route Conflicts

Autor: Jean-Marc Alliot, Nicolas Barnier, Cyril Allignol, Nicolas Durand
Přispěvatelé: Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Nationale de l'Aviation Civile - ENAC (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Ecole Nationale de l'Aviation Civile (ENAC), Algorithmes Parallèles et Optimisation (IRIT-APO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique de Toulouse - INPT (FRANCE)
Jazyk: angličtina
Rok vydání: 2013
Předmět:
Mathematical optimization
[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Evolutionary algorithm
02 engineering and technology
Evolutionary computation
Conflict resolution
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
0502 economics and business
0202 electrical engineering
electronic engineering
information engineering

Constraint programming
Mathematics
050210 logistics & transportation
05 social sciences
General Medicine
[INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]
Solver
Resolution (logic)
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Calcul parallèle
distribué et partagé

Trajectory
Benchmark (computing)
020201 artificial intelligence & image processing
[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Zdroj: Air traffic control quarterly : an international journal of engineering and operations
Air traffic control quarterly : an international journal of engineering and operations, Air Traffic Control Association Institute.(ATCA), 2013, 21 (3), pp.233-253. ⟨10.2514/atcq.21.3.233⟩
ISSN: 1064-3818
DOI: 10.2514/atcq.21.3.233⟩
Popis: The en-route conflict resolution problem has been modeled in many different ways, generally depending on the tools that were proposed to solve it. For instance, with purely analytic mathematical solvers, models tend to be very restrictive (constant speeds, linear trajectories) to respect the inherent limitations of the technology. This paper introduces a new framework that separates the model from the solver so as to be able to: first, enhance the model with as many refinements (e.g. wind and trajectory uncertainties) as necessary to comply with operational constraints; second,compare different resolution methods on the same data, which is one of the crucial aspects of scientific research. To this aim, our framework can generate a benchmark of conflict resolution problems built with various scenarios involving a given number of aircraft, level of uncertainties and number of maneuvers. We then compare two different optimization paradigms, Evolutionary Algorithm and Constraint Programming, which can efficiently solve difficult instances in near real time, to illustrate the usefulness of our approach.
Databáze: OpenAIRE