L. Angerand and H. Lejeannic, Bilan du projet SAINTEX

]. N. Arc03 and . Archambault, Optimisation du solveur de conflits du simulateur de trafic cats, 2003.

J. C. Celio, Controller perspective of AERA2, MITRE, pp.88-103, 1990.

J. [. Durand and . Alliot, Existing algorithms for collision avoidance, and what the future might hold, 1993.

V. N. Duong and P. Faure, On the applicability of the free­flight mode in European airspace, Proceedings of the 2nd USA/Europe Seminar, 1998.

V. N. Duong and E. Hoffman, Conflict Resolution Advisory Service in autonomous aircraft operations, 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings, 1997.
DOI : 10.1109/DASC.1997.637312

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

E. [. Duong, J. P. Hoffmann, and . Nicolaon, Initial results of investigation into autonomous aircraft (freer­1), Proceedings of the 1rst USA/Europe Seminar, 1997.

]. P. Dod99 and . Dodin, Résolution de conflits via la programmation semi définie, 1999.

]. N. Dur96 and . Durand, Optimisation de Trajectoires pour la Résolution de Conflits en Route, 1996.

E. Frazzoli, Z. H. Mao, and E. Feron, Aircraft conflict resolution via semi definite programming, AIAA Journal of Guidance, Control and Dynamics, 2001.

X. Fron, B. Maudry, and J. C. Tumelin, Arc 2000: Automatic radar control, 1993.

]. G. Gra98 and . Granger, Résolution de conflits embarquée dans les espaces de faible densité, 1998.

G. Granger, Détection et résolution de conflits aériens : modélisation et analyse, 2002.

C. [. Gosh and . Tomlin, Maneuver design for multiple aircraft conflict resolution, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334), 2000.
DOI : 10.1109/ACC.2000.878986

F. Krella, Arc 2000 scenario (version 4.3), 1989.

F. Medioni, N. Durand, and J. M. Alliot, Algorithmes génétiques et programmation linéaire appliqués a la résolution de conflits aériens, Proceedings of the Journees Evolution Artificielle Francophones. EAF, 1994.

C. Meckiff and P. Gibbs, PHARE: Highly interactive problem solver, 1994.

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

. Leiber, Automated En Route Air Traffic Control Algorithmic Specifications: Flight Plan Conflict Probe, 1983.

]. W. Nie89a and . Niedringhaus, Automated planning function for AERA3 : Maneuver Option Manager, 1989.

]. W. Nie89b and . Niedringhaus, A mathematical formulation for planning automated aircraft separation forAERA3, 1989.

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

E. [. Pallottino, A. Feron, and . 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

F. [. Schuster, R. K. Petroski, M. Sciambi, . Mc, and . Stokrp, AERA 2 functional design and performance description, MITRE, 1983.

]. K. Zeg94 and . Zeghal, Vers une théorie de la coordination d'actions, application à la navigation aérienne, 1994.