>. Si-(-min-id, >. Max-autre-ou-min-autre, and . Max, Condition de non chevauchement des intervalles] cluster id .remove(idAutre) [Enlever idAutre de la liste des parallélépipèdes associés à id ] Si (Cluster X .get(idAutre) = ?) faire Cluster X .get(idAutre).remove(idAutre)

N. Alech, N. Durand, J. M. Alliot, and M. Schoenauer, Genetic algorithms for optimal plane conflict resolution, Second Singapore International Conference on Intelligent Systems, 1994.
URL : https://hal.archives-ouvertes.fr/hal-00940945

J. M. Alliot, J. F. Bosc, and N. Durand, Maugis : CATS : A complete air traffic simulator, 16th AIAA/IEEE Digital Avionics Systems Conference, 1997.

J. M. Alliot and H. Gruber, Using genetic algorithms for solving ATC conflicts, Proceedings of the Ninth IEEE Conference on Artificial Intelligence for Applications. IEEE, 1993.

L. Angerand and H. Lejeannic, Bilan du projet SAINTEX. Rapport technique R92009, Centre d'études de la navigation aérienne, 1992.

D. Arbuckle, NextGen ATM Concept of Operations : ASAS-Reliant, septembre, 2007.

N. Archambault, Speed uncertainty and speed regulation in conflict detection and resolution in air traffic control, The 1st International Conference on Research in Air Transportation (ICRAT), 2004.
URL : https://hal.archives-ouvertes.fr/hal-01021734

B. Bakker, Specification for short term conflict alert, 2009.

J. W. Bala and H. Wechsler, Learning to detect targets using scale-space and genetic search, Proceedings of the Fifth International Conference on Genetic Algorithms. ICGA, 1993.

E. Balas and P. Toth, Branch and bound methods in the traveling salesman problem, pp.361-401, 1985.

N. Barnier and C. , Allignol : 4D-trajectory deconfliction through departure time adjustment, The Eighth USA/Europe Air Traffic Management Research and Developpment Seminar, 2009.
DOI : 10.1017/s0269888912000227
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.9542

N. Barnier and P. Brisset, Facile : A functional constraint library, Colloquium on Implementation of Constraint and LOgic Programming Systems, CICLOPS'01, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00938018

M. Ben-akiva, A. De-palma, and P. Kanaroglou, Dynamic Model of Peak Period Traffic Congestion with Elastic Arrival Rates, Transportation Science, vol.20, issue.3, pp.164-181, 1986.
DOI : 10.1287/trsc.20.3.164

D. Bertsimas and S. Stock-patterson, The Air Traffic Flow Management Problem with Enroute Capacities, Operations Research, vol.46, issue.3, pp.406-422, 1998.
DOI : 10.1287/opre.46.3.406

J. T. Betts and W. P. Huffman, Trajectory optimization on a parallel processor, Journal of Guidance, Control, and Dynamics, vol.14, issue.2, pp.431-439, 1991.
DOI : 10.2514/3.20656

J. F. Bosc, Techniques d'évitement réactif et simulation du trafic aérien, Thèse de doctorat, en informatique de l'Institut National Polytechnique de Toulouse, 1997.

D. Bouteloup, Éléments de géométrie différentielle, École national de sciences géographiques, 2 édition, 2003.

R. Cerf, Une théorie asymptotique des algorithmes génétiques, Thèse de doctorat, 1994.

G. Chaloulos, J. Lygeros, E. Siva, A. Lecchini-visintini, P. Casek et al., Comparative study of conflict resolution methods, 2007.

E. Chang, R. Hu, D. Lai, R. Li, Q. Scott et al., The story of mode s. Rapport technique 6, 2000.

H. Choset, K. M. Lynch, S. Hutchinson, G. Kantor, W. Burgard et al., Thrun : Principles of Robot Motion : Theory, Algorithms, and Implementations, 2005.

J. Clausen and M. Perregaard, On the best search strategy in parallel branchand-bound -best-first-search vs. lazy depth-first-search, Proceedings of POC96, 1996.

D. Verdière, Le système français de contrôle du trafic aérien : Le CAUTRA. Rapport technique, Centre d'études de la navigation aérienne, 1992.

L. Davis, Handbook of Genetic Algorithms, 1991.

D. Delahaye, J. M. Alliot, M. Schoenauer, and J. L. , Farges : Genetic algorithms for partitioning airspace, Proceedings of the Tenth IEEE Conference on Artificial Intelligence for Application. CAIA, 1994.

D. Delahaye, J. M. Alliot, M. Schoenauer, and J. L. , Farges : Genetic algorithms for automatic regrouping of air traffic control sectors, Evolutionary Programming'95, pp.657-672, 1995.

D. Delahaye, J. M. Alliot, M. Schoenauer, and J. L. , Farges : Genetic algorithms for air traffic assignment, Proceedings of the European Conference on Artificial Intelligence, pp.33-37, 1994.

M. Dorigo, V. Maniezzo, and A. Colorni, Ant system: optimization by a colony of cooperating agents, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.26, issue.1, pp.29-41, 1996.
DOI : 10.1109/3477.484436

V. N. Duong and P. Faure, On the applicability of the free-flight mode in European airspace, The 2nd USA, 1998.

V. N. Duong, E. Hoffman, and J. P. Nicolaon, Initial results of investigation into autonomous aircraft concept (FREER-1), The 1st USA, 1997.

V. N. Duong, E. Hoffman, J. P. Nicolaon, L. Floc-'hic, and A. Bossu, Extended flight rules to apply to the resolution of encounters in autonomous airborne separation, 1996.

N. Durand, Optimisation de trajectoires pour la résolution de conflits en Route, Thèse de doctorat, ENSEEIHT, Institut National Polytechnique de, 1996.

N. Durand, Algorithmes génétiques et autres méthodes d'optimisation appliquées à la gestion de trafic aérien. Habilitation à diriger des recherches, 2004.

N. Durand, N. Alech, J. M. Alliot, and M. Schoenauer, Genetic algorithms for optimal air traffic resolution, Proceedings of the second Singapore Conference on Intelligence Systems. SPICIS, 1994.
URL : https://hal.archives-ouvertes.fr/hal-00940945

N. Durand and J. M. , Alliot : Ant colony optimization for air traffic conflict resolution, The Eighth USA/Europe Air Traffic Management Research and Development Seminar, 2009.

L. Epstein, A. Futer, and L. Medvedovsky, Multiple airport scheduling. Rapport technique, Volpe National Transportation Systems Center, 1992.

F. Krella, ARC 2000 scenario (version 4.3) Rapport technique, 1989.

C. Eurocontrol-experimental, Phare highly interactive problem solver. Rapport technique, 1994.

S. J. Flockton and M. S. White, Pole-zero system identification using genetic algorithms, Proceedings of the Fifth International Conference on Genetic Algorithm . ICGA, 1993.

S. Forrest, R. E. Smith, A. S. Jakornik, and . Perelson, Using Genetic Algorithms to Explore Pattern Recognition in the Immune System, Evolutionary Computation, vol.220, issue.3, pp.191-211, 1993.
DOI : 10.1162/evco.1993.1.2.127

M. I. Freidlin and A. D. , Wentzell : Random Perturbations of Dynamical Systems, 1983.

T. L. Friesz and D. Bernstein, A Variational Inequality Formulation of the Dynamic Network User Equilibrium Problem, Operations Research, vol.41, issue.1, pp.179-191, 1993.
DOI : 10.1287/opre.41.1.179

T. L. Friesz and J. Luque, Dynamic Network Traffic Assignment Considered as a Continuous Time Optimal Control Problem, Operations Research, vol.37, issue.6, pp.893-901, 1989.
DOI : 10.1287/opre.37.6.893

G. Gerla, Fuzzy Logic Programming and Fuzzy Control, Studia Logica, vol.3, issue.2, pp.231-254, 2005.
DOI : 10.1007/s11225-005-2977-0

J. Gjerlev, Instrument flight procedures including RNAV and FMS operations. Norsk aero forlag, 2002.

D. E. Goldberg, Genetic Algorithms in Search, Optimization and Machine Learning, 1989.

G. Granger, N. Durand, and J. M. , Alliot : Token allocation strategy for freeflight conflict solving, IJCAI'01, 2001.

J. H. Holland, Adaptation in Natural and Artificial Systems, 1975.

A. Homaifar, G. Shanguchuan, and G. A. , Liepins : A new approach on the traveling salesman problem by genetic algorithms, Proceedings of the Fifth International Conference on Genetic Algorithm. ICGA, 1993.

J. Hu, M. Prandini, A. Nilim, and S. Sastry, Optimal Coordinated Maneuvers for Three-Dimensional Aircraft Conflict Resolution, Journal of Guidance, Control, and Dynamics, vol.25, issue.5, pp.888-900, 2002.
DOI : 10.2514/2.4982

C. Huygens, Traité de la lumière. Gauthier-Villars, éditeurs, 1690.

L. Ingber and B. Rosen, Genetic Algorithms and Very Fast Simulated Reannealing: A comparison, Mathematical and Computer Modelling, vol.16, issue.11, pp.87-100, 1992.
DOI : 10.1016/0895-7177(92)90108-W

P. Jackson, Introduction to Expert Systems, 1998.

R. E. Kalman, A New Approach to Linear Filtering and Prediction Problems, Journal of Basic Engineering, vol.82, issue.1, pp.35-45, 1960.
DOI : 10.1115/1.3662552

S. Khuri, T. Back, and J. Heitkoter, The zero/one multiple knapsack problem and genetic algorithms, Proceedings of the 1994 ACM symposium on Applied computing , SAC '94, 1994.
DOI : 10.1145/326619.326694

R. Kimmel and J. Sethian, Computing geodesic paths on manifolds, Proceeding of Natianal Academy of Sciences of USA, pp.8431-8435, 1998.
DOI : 10.1073/pnas.95.15.8431

D. E. Koditschek and E. Rimon, Robot navigation functions on manifolds with boundary, Advances in Applied Mathematics, vol.11, issue.4, pp.412-442, 1990.
DOI : 10.1016/0196-8858(90)90017-S

J. R. Koza, Genetic Programming, 1992.

J. Krozel, M. E. Peters, and G. , Hunter : Conflict detection and resolution for future air transportation management. Rapport technique, 1997.

J. K. Kuchar and L. C. , Yang : A review of conflict detection and resolution modeling methods, IEEE Transactions on Intelligent Transportation Systems, vol.1, 1992.

E. L. Lawler and D. E. Wood, Branch-and-Bound Methods: A Survey, Operations Research, vol.14, issue.4, pp.699-719, 1966.
DOI : 10.1287/opre.14.4.699

K. Lindsay, E. Boyd, and R. Burlingame, Traffic flow management modeling with the time assignment model, Air Traffic Control Quarterly, vol.1, issue.3, pp.255-276, 1993.

S. Loizou, Kyriakopoulos : Closed loop navigation for multiple nonholonomic vehicles, IEEE International Conference on Robotics and Automation, pp.4240-4245, 2003.
DOI : 10.1109/robot.2003.1242255
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1042

G. Maignan, Le Contrôle de la circulation aérienne, volume 2572, 1991.

D. Maupou, Modélisation du nombre de conflits potentiels à partir d'un simulateur de trafic, 2000.

S. Mehrotra, On the Implementation of a Primal-Dual Interior Point Method, SIAM Journal on Optimization, vol.2, issue.4, pp.575-601, 1992.
DOI : 10.1137/0802028

N. Metropolis and S. Ulam, The Monte Carlo method. The American Statistical Association, pp.335-341, 1949.

J. S. Mitchell, D. M. Mount, and C. H. Papadimitriou, The Discrete Geodesic Problem, SIAM Journal on Computing, vol.16, issue.4, pp.647-668, 1987.
DOI : 10.1137/0216045

F. Mora-camino, Système de conduite automatique et de gestion de vol. École nationale de l'aviation civile, 2 édition, 1995.

F. Médioni, Méthodes d'optimisation pour l'évitement aérien : systèmes centralisés , systèmes embarqués, Thèse de doctorat, 1998.

F. Médioni, N. Durand, and J. M. , Alliot : Algorithmes génétiques et programmation linéaire appliqués à la résolution de conflits aériens, Journées Évolution Artificielle Francophones, 1994.

M. Novotni and R. Klein, Computing geodesic distances on triangular meshs, Proceeding of the 10th International Conference in Central Europe on Computer Graphics Visualization and Computer Vision, pp.341-347, 2002.

A. Nuic, User manual for the Base of Aircraft DAta (BADA) revision 3.7. Rapport technique No, 2009.

X. Olive, Résolution de conflit par algorithmes stochastiques parallèles, 2006.

S. Oussedik and D. Delahaye, Dynamic air traffic planning by genetic algorithms, Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No. 99TH8406), 1999.
DOI : 10.1109/CEC.1999.782547
URL : https://hal.archives-ouvertes.fr/inria-00001278

L. Pallottino, E. Feron, and A. Bicchi, 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.
DOI : 10.1109/6979.994791

J. Pearl, Heuristics : Intelligent Search Strategies for Computer Problem Solving, 1984.

T. S. Perry and J. A. , Adam : Improving the world's largest, most advanced system ! IEEE Spectrum, pp.22-36, 1991.

W. Philipp and F. Gainche, Air traffic flow management in Europe, Advanced Technologies for Air Traffic Flow Management, pp.64-106, 1994.
DOI : 10.1007/BFb0023010

A. Podelski, Constraint programming : basics and trends, Châtillon Spring School, vol.910, 1994.
DOI : 10.1007/3-540-59155-9

A. U. Raghunathan, V. Gopal, D. Subramanian, L. T. Biegler, and T. Samad, Dynamic Optimization Strategies for Three-Dimensional Conflict Resolution of Multiple Aircraft, Journal of Guidance, Control, and Dynamics, vol.27, issue.4, pp.586-594, 2004.
DOI : 10.2514/1.11168

E. Rimon and D. Koditschek, Exact robot navigation using artificial potential functions, IEEE Transactions on Robotics and Automation, vol.8, issue.5, pp.501-508, 1992.
DOI : 10.1109/70.163777
URL : http://repository.upenn.edu/cgi/viewcontent.cgi?article=1364&context=ese_papers

G. Roussos, G. Chaloulos, K. Kyriakopoulos, and J. Lygeros, Control of multiple non-holonomic air vehicles under wind uncertainty using Model Predictive Control and decentralized navigation functions, 2008 47th IEEE Conference on Decision and Control, 2008.
DOI : 10.1109/CDC.2008.4738792

J. D. Schaffer and J. E. Eshelman, Designing multiplierless digital filter using genetic algorithms, Proceedings of the Fifth International Conference on Genetic Algorithm. ICGA, 1993.

M. Schoenauer, E. Ronald, and S. Damour, Evolving nets for control, Proceeding of the Sixth International Conference on Neural Networks and their Industrial and Cognitive Applications. AFIA, 1993.

H. P. Schwefel, Evolution and Optimum Seeking, 1995.

V. Surazhsky, T. Surazhsky, D. Kirsanov, S. J. Gortler, and H. Hoppe, Fast exact and approximate geodesics on meshes, ACM Transactions on Graphics, vol.24, issue.3, pp.553-560, 2005.
DOI : 10.1145/1073204.1073228

J. W. Tang, F. Zhang, and M. Zhang, Fast approximate geodesic paths on triangle mesh, Proceeding of the International Journal of Automation and Computing, pp.8-13, 2007.
DOI : 10.1007/s11633-007-0008-5

E. Trelat, Contrôle optimal : théorie et applications, Vuibert, 2005.

P. L. Tuan, H. S. Procter, and G. J. , Couluris : Advanced productivity analysis methods for air traffic control operation. Rapport technique, 1976.

R. Unger and J. , Moult : A Genetic Algorithm for 3D Protein Folding Simulations, Proceedings of the Fifth International Conference on Genetic Algorithms. ICGA, 1993.

S. Vajda, Théorie des jeux et programmation linéaire, Dunod, 1959.

J. Villiers, Contribution à une théorie du système de contrôle en route et ses perspectives d'évolution. Rapport technique, Direction Génerale de l'Aviation Civile (DGAC), 1984.

H. Watabe, Okino : A study on genetic shape design, Proceedings of the Fifth International Conference on Genetic Algorithm. ICGA, 1993.

S. J. Wright, Primal-Dual Interior-Point Methods, Society for Industrial Mathematics, 1987.
DOI : 10.1137/1.9781611971453
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.5633

X. Yin and N. Germay, Investigations on solving the load flow problem by genetic algorithms Electric Power Systems Research, pp.151-163, 1991.

R. Zanni, A methodology for airspace organization Rapport technique, Centre d'étude de la navigation aérienne (CENA), 1994.

W. Zhang, Depth-first branch-and-bound versus local search : A case study, Proceeding 17th National Conference on Artificial Intelligence, pp.930-935, 2000.