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) ,
Genetic algorithms for optimal plane conflict resolution, Second Singapore International Conference on Intelligent Systems, 1994. ,
URL : https://hal.archives-ouvertes.fr/hal-00940945
Maugis : CATS : A complete air traffic simulator, 16th AIAA/IEEE Digital Avionics Systems Conference, 1997. ,
Using genetic algorithms for solving ATC conflicts, Proceedings of the Ninth IEEE Conference on Artificial Intelligence for Applications. IEEE, 1993. ,
Bilan du projet SAINTEX. Rapport technique R92009, Centre d'études de la navigation aérienne, 1992. ,
NextGen ATM Concept of Operations : ASAS-Reliant, septembre, 2007. ,
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
Specification for short term conflict alert, 2009. ,
Learning to detect targets using scale-space and genetic search, Proceedings of the Fifth International Conference on Genetic Algorithms. ICGA, 1993. ,
Branch and bound methods in the traveling salesman problem, pp.361-401, 1985. ,
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
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
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
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
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
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. ,
Éléments de géométrie différentielle, École national de sciences géographiques, 2 édition, 2003. ,
Une théorie asymptotique des algorithmes génétiques, Thèse de doctorat, 1994. ,
Comparative study of conflict resolution methods, 2007. ,
The story of mode s. Rapport technique 6, 2000. ,
Thrun : Principles of Robot Motion : Theory, Algorithms, and Implementations, 2005. ,
On the best search strategy in parallel branchand-bound -best-first-search vs. lazy depth-first-search, Proceedings of POC96, 1996. ,
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. ,
Handbook of Genetic Algorithms, 1991. ,
Farges : Genetic algorithms for partitioning airspace, Proceedings of the Tenth IEEE Conference on Artificial Intelligence for Application. CAIA, 1994. ,
Farges : Genetic algorithms for automatic regrouping of air traffic control sectors, Evolutionary Programming'95, pp.657-672, 1995. ,
Farges : Genetic algorithms for air traffic assignment, Proceedings of the European Conference on Artificial Intelligence, pp.33-37, 1994. ,
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
On the applicability of the free-flight mode in European airspace, The 2nd USA, 1998. ,
Initial results of investigation into autonomous aircraft concept (FREER-1), The 1st USA, 1997. ,
Extended flight rules to apply to the resolution of encounters in autonomous airborne separation, 1996. ,
Optimisation de trajectoires pour la résolution de conflits en Route, Thèse de doctorat, ENSEEIHT, Institut National Polytechnique de, 1996. ,
Algorithmes génétiques et autres méthodes d'optimisation appliquées à la gestion de trafic aérien. Habilitation à diriger des recherches, 2004. ,
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
Alliot : Ant colony optimization for air traffic conflict resolution, The Eighth USA/Europe Air Traffic Management Research and Development Seminar, 2009. ,
Multiple airport scheduling. Rapport technique, Volpe National Transportation Systems Center, 1992. ,
ARC 2000 scenario (version 4.3) Rapport technique, 1989. ,
Phare highly interactive problem solver. Rapport technique, 1994. ,
Pole-zero system identification using genetic algorithms, Proceedings of the Fifth International Conference on Genetic Algorithm . ICGA, 1993. ,
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
Wentzell : Random Perturbations of Dynamical Systems, 1983. ,
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
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
Fuzzy Logic Programming and Fuzzy Control, Studia Logica, vol.3, issue.2, pp.231-254, 2005. ,
DOI : 10.1007/s11225-005-2977-0
Instrument flight procedures including RNAV and FMS operations. Norsk aero forlag, 2002. ,
Genetic Algorithms in Search, Optimization and Machine Learning, 1989. ,
Alliot : Token allocation strategy for freeflight conflict solving, IJCAI'01, 2001. ,
Adaptation in Natural and Artificial Systems, 1975. ,
Liepins : A new approach on the traveling salesman problem by genetic algorithms, Proceedings of the Fifth International Conference on Genetic Algorithm. ICGA, 1993. ,
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
Traité de la lumière. Gauthier-Villars, éditeurs, 1690. ,
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
Introduction to Expert Systems, 1998. ,
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
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
Computing geodesic paths on manifolds, Proceeding of Natianal Academy of Sciences of USA, pp.8431-8435, 1998. ,
DOI : 10.1073/pnas.95.15.8431
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
Genetic Programming, 1992. ,
Hunter : Conflict detection and resolution for future air transportation management. Rapport technique, 1997. ,
Yang : A review of conflict detection and resolution modeling methods, IEEE Transactions on Intelligent Transportation Systems, vol.1, 1992. ,
Branch-and-Bound Methods: A Survey, Operations Research, vol.14, issue.4, pp.699-719, 1966. ,
DOI : 10.1287/opre.14.4.699
Traffic flow management modeling with the time assignment model, Air Traffic Control Quarterly, vol.1, issue.3, pp.255-276, 1993. ,
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
Le Contrôle de la circulation aérienne, volume 2572, 1991. ,
Modélisation du nombre de conflits potentiels à partir d'un simulateur de trafic, 2000. ,
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
The Monte Carlo method. The American Statistical Association, pp.335-341, 1949. ,
The Discrete Geodesic Problem, SIAM Journal on Computing, vol.16, issue.4, pp.647-668, 1987. ,
DOI : 10.1137/0216045
Système de conduite automatique et de gestion de vol. École nationale de l'aviation civile, 2 édition, 1995. ,
Méthodes d'optimisation pour l'évitement aérien : systèmes centralisés , systèmes embarqués, Thèse de doctorat, 1998. ,
Alliot : Algorithmes génétiques et programmation linéaire appliqués à la résolution de conflits aériens, Journées Évolution Artificielle Francophones, 1994. ,
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. ,
User manual for the Base of Aircraft DAta (BADA) revision 3.7. Rapport technique No, 2009. ,
Résolution de conflit par algorithmes stochastiques parallèles, 2006. ,
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
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
Heuristics : Intelligent Search Strategies for Computer Problem Solving, 1984. ,
Adam : Improving the world's largest, most advanced system ! IEEE Spectrum, pp.22-36, 1991. ,
Air traffic flow management in Europe, Advanced Technologies for Air Traffic Flow Management, pp.64-106, 1994. ,
DOI : 10.1007/BFb0023010
Constraint programming : basics and trends, Châtillon Spring School, vol.910, 1994. ,
DOI : 10.1007/3-540-59155-9
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
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
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
Designing multiplierless digital filter using genetic algorithms, Proceedings of the Fifth International Conference on Genetic Algorithm. ICGA, 1993. ,
Evolving nets for control, Proceeding of the Sixth International Conference on Neural Networks and their Industrial and Cognitive Applications. AFIA, 1993. ,
Evolution and Optimum Seeking, 1995. ,
Fast exact and approximate geodesics on meshes, ACM Transactions on Graphics, vol.24, issue.3, pp.553-560, 2005. ,
DOI : 10.1145/1073204.1073228
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
Contrôle optimal : théorie et applications, Vuibert, 2005. ,
Couluris : Advanced productivity analysis methods for air traffic control operation. Rapport technique, 1976. ,
Moult : A Genetic Algorithm for 3D Protein Folding Simulations, Proceedings of the Fifth International Conference on Genetic Algorithms. ICGA, 1993. ,
Théorie des jeux et programmation linéaire, Dunod, 1959. ,
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. ,
Okino : A study on genetic shape design, Proceedings of the Fifth International Conference on Genetic Algorithm. ICGA, 1993. ,
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
Investigations on solving the load flow problem by genetic algorithms Electric Power Systems Research, pp.151-163, 1991. ,
A methodology for airspace organization Rapport technique, Centre d'étude de la navigation aérienne (CENA), 1994. ,
Depth-first branch-and-bound versus local search : A case study, Proceeding 17th National Conference on Artificial Intelligence, pp.930-935, 2000. ,