Conflict detection and resolution for 1,2,... N aircraft

Collection of Technical Papers - 7th AIAA Aviation Technology, Integration, and Operations Conference

Volumn 1, Issue , 2007, Pages 403-415

  Dowek, Gilles ^a   Muñoz, César ^b  

^a ECOLE POLYTECHNIQUE   (France)

^b NATIONAL INSTITUTE OF AEROSPACE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; MANEUVERABILITY; NUMERICAL METHODS; VERIFICATION; AVIATION; INTEGRATION;

AIRCRAFT CONFLICT DETECTION; CONFLICT DETECTION; CONFLICT RESOLUTION; MATHEMATICAL FRAMEWORKS; CONFLICT DETECTION AND RESOLUTION; FORMAL SPECIFICATION; ORIGINAL ALGORITHMS;

AIRCRAFT;

EID: 37249054213     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2514/6.2007-7737     Document Type: Conference Paper

References (17)

1. Monin, J.-F., Understanding Formal Methods, FACIT (Formal Approaches to Computing and Information Technology), Springer-Verlag, London, UK, 2003.
2. Kuchar, J. and Yang, L., "A Review of Conflict Detection and Resolution Modeling Methods," IEEE Transactions on Intelligent Transportation Systems, Vol. 1, No. 4, December 2000, pp. 179-189.
3. Kosecka, J., Tomlin, C., Pappas, G., and Sastry, S., "Generation of conflict resolution maneuvers for air traffic management," International Conference on Intelligent Robots and Systems, Grenoble, 1997.
4. Tomlin, C., Pappas, G., and Sastry, S., "Noncooperative Conflict Resolution," IEEE International Conference on Decision and Control, San Diego, CA, December 1997.
5. Bicchi, A. and Pallottino, L., "On Optimal Cooperative Conflict Resolution for Air Traffic Management Systems," IEEE Transactions on Intelligent Transportation Systems, Vol. 1, No. 4, December 2000, pp. 221-232.
6. Schouwenaars, T., How, J., and Feron, E., "Decentralized Cooperative Trajectory Planning of Multiple Aircraft with Hard Safety Guarantees," AIAA Guidance, Navigation, and Control Conference and Exhibit, Providence, Rhode Island, August 2004.
7. Hoekstra, J., Ruigrok, R., van Gent, R., Visser, J., Gijsbers, B., Valenti, M., Heesbeen, W., Hilburn, B., Groeneweg, J., and Bussink, F., "Overview of NLR Free Flight Project 1997-1999," Tech. Rep. NLR-CR-2000-227, National Aerospace Laboratory (NLR), May 2000.
8. Bilimoria, K., "A Geometric Optimization Approach to Aircraft Conflict Resolution," Guidance, Navigation, and Control Conference, Vol. AIAA 2000-4265, Denver, CO, August 2000.
9. International Civil Aviation Organization, Eleventh Air Navigation Conference Report, Montreal, 22 September - 3 October 2003.
10. Eby, M., "A Self-Organizational Approach for Resolving Air Traffic Conflicts," Lincoln Laboratory Journal, Vol. 7. No. 2, 1994, pp. 239-254.
11. Dowek, G., Muñoz, C., and Geser, A., "Tactical Conflict Detection and Resolution in a 3-D Airspace," Tech. Rep. NASA/CR-2001-210853 ICASE Report No. 2001-7, ICASE-NASA Langley, ICASE Mail Stop 132C, NASA Langley Research Center, Hampton VA 23681-2199, USA, April 2001.
12. Geser, A., Muñoz, C., Dowek, G., and Kirchner, F., "Air Traffic Conflict Resolution and Recovery," Tech. Rep. ICASE Report No. 2002-12 NASA/CR-2002-211637, ICASE-NASA Langley, ICASE Mail Stop 132C, NASA Langley Research Center, Hampton VA 23681-2199, USA, May 2002.
13. Dowek, G., Muñoz, C., and Carreño, V., "Provably Safe Coordinated Strategy for Distributed Conflict Resolution," Proceedings of the AIAA Guidance Navigation, and Control Conference and Exhibit 2005, AIAA-2005-6047, San Francisco, California, 2005.
14. Galdino, A., Muñoz, C., and Ayala, M., "Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm," Proceedings of the 14th Workshop on Logic, Language, Information and Computation, edited by D. Leivant and R. de Queiroz, Vol. 4576 of Lecture Notes in Computer Science, Springer-Verlag, Rio de Janeiro, Brazil, July 2007, pp. 177-188.
15. Owre, S., Rushby, J. M., and Shankar, N., "PVS: A Prototype Verification System," 11th International Conference on Automated Deduction (CADE), edited by D. Kapur, Vol. 607 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Saratoga, NY, June 1992, pp. 748-752.
16. Maddalon, J., Butler, R., Geser, A., and Muñoz, C., "Formal Verification of a Conflict Resolution and Recovery Al-gorithm," Tech. Rep. NASA/TP-2004-213015, NASA Langley Research Center, NASA LaRC,Hampton VA 23681-2199, USA, April 2004.
17. Kuchar, J. and Yang, L., "Survey of Conflict Detection and Resolution Modeling Methods," AIAA Guidance, Navigation, and Control Conference, Vol. AIAA-97-3732, New Orleans, LA, August 1997, pp. 1388-1397.