Using genetic algorithms for solving ATC conflicts, Proceedings of the Ninth Conference on Artificial Intelligence Application, 1993. ,
Collision avoidance in air traffic management: a mixed-integer linear optimization approach, IEEE Transactions on Intelligent Transportation Systems, vol.12, issue.1, pp.47-57, 2011. ,
Trajectory deconfliction with constraint Programming, The Knowledge Engineering Review, vol.27, issue.03, pp.291-307, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00935206
FaCiLe: a Functional Constraint Library, Colloquium on Implementation of Constraint and LOgic Programming Systems CICLOPS'01 (Workshop of CP'01), 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-01859902
Boosting systematic search by weighting constraints, European Conference on Artificial Intelligence ECAI, pp.146-150, 2004. ,
, Computational Geometry -Algorithms and Applications, 1998.
Aircraft conflict resolution by genetic algorithm and B-spline approximation, ENRI International Workshop on ATM/CNS, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00956473
Algorithmes Gntiques et autres mthodes d'optimisation appliqus la gestion de trafic arien, 2004. ,
Algorithmes génétiques : un croisement pour les problémes partiellement séparables, Proceedings of the Journées É volution Artificielle Francophones, 1994. ,
Automatic aircraft conflict resolution using genetic algorithms, Proceedings of the Symposium on Applied Computing, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-00937685
A traffic complexity approach through cluster analysis, 5th ATM R&D Seminar, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00938044
Conflict probing and resolution in the presence of errors, Procceedings of the 1st USA/Europe ATM R&D Seminar, 1997. ,
Genetic Algorithms in Search, Optimization and Machine Learning, 1989. ,
An efficient algorithm for determining the convex hull of a finite planar set, Information Processing Letters, 1972. ,
Optimal resolution of en route conflicts, 4th ATM R&D Seminar, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-01291410
Genetic algorithms þ Data Structures ¼ Evolution Programs, 1992. ,
Conflict resolution problems for air traffic management systems solved with mixed integer programming, IEEE Transactions on Intelligent Transportation Systems, vol.3, issue.1, pp.3-11, 2002. ,
Minimization of potential air conflicts through speed regulation, Transportation Research Record: Journal of the Transportation Research Board, vol.2300, pp.59-67, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00879143
Constraint solving for combinatorial search problems: a tutorial, Principle and Practice of Constraint Programming CP'95, vol.976, pp.564-587, 1995. ,
A mixed integer program for flight-level assignment and speed control for conflict resolution, Proceedings of the Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, 2009. ,
A fast genetic algorithm with sharing scheme using cluster analysis methods in multimodal function optimization, Proceedings of the Artificial Neural Nets and Genetic Algorithm International Conference, 1993. ,
Techniques réactives pour l'évitement, 1993. ,
, Cyril Allignol is an assistant professor at É cole Nationale de l'Aviation Civile (ENAC), 2006.
, Nicolas Barnier is an assistant professor at ENAC. He graduated from ENAC as an engineer in 1997, and received a Ph.D. in computer science in 2002 from the University of Toulouse. He is one of the authors of FaCiLe, an open source Constraint Programming library for the functional language OCaml
, He has been a design engineer at the Centre d'É tudes de la Navigation Aérienne (then DSNA/DTI R&D) since 1992, holds a Ph.D. in Computer Science (1996) and got his HDR (French tenure, 2004.
He received a Ph.D. in 1992 in Computer Science and got his HDR (French tenure) in 1996. He has been the head of LOG (Global Optimization Lab, ENAC/CENA) and then the head of DSNA/DTI R&D until 2011. He is currently research director at IRIT ,