Formal analysis of air traffic management systems: The case of conflict resolution and recovery

Winter Simulation Conference Proceedings

Volumn 1, Issue , 2003, Pages 906-914

  Butler, Ricky ^a   Maddalon, Jeffrey ^a   Geser, Alfons ^b   Muñoz, César ^b  

^a NASA LANGLEY RESEARCH CENTER   (United States)

^b NATIONAL INSTITUTE OF AEROSPACE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AEROSPACE INDUSTRY; ALGORITHMS; ASYNCHRONOUS TRANSFER MODE; COMPUTER HARDWARE; COMPUTER SIMULATION; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS;

AIR-GROUND TRAFFIC MANAGEMENT; CRITICAL SYSTEMS;

AIR TRAFFIC CONTROL;

EID: 1642518660     PISSN: 02750708     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Bilimoria, K. 2000, August. A geometric optimization approach to aircraft conflict resolution. In Guidance, Navigation, and Control Conference, Volume AIAA 2000-4265. Denver, CO.
2. Bilimoria, K., and H. Lee. 2002, August. Aircraft conflict resolution with an arrival time constraint. In Guidance, Navigation, and Control Conference, Volume AIAA 2002-4444. Monterey, CA.
3. Chiang, Y.-J., J. Klosowsky, C. Lee, and J. Mitchell. 1997. Geometric algorithms for conflict detection/resolution in air traffic management. In 36th IEEE Conference on Decision and Control.
4. Dowek, G., C. Muñoz, and A. Geser. 2001. Tactical conflict detection and resolution in 3-D airspace. In 4th USA/Europe Air Traffic Management R&D Seminar (ATM-2001). Santa Fe, New Mexico. Extendeed version available as ICASE Report No. 2002-12 NASA/CR-2002-211637.
5. Durand, N., J.-M. Alliot, and F. Medioni. 2000. Neural nets trained by genetic algorithms for collision avoidance. Applied Intelligence, 13(3): 205-213.
6. Durand, N., J.-M. Alliot, and J. Noailles. 1996. Automatic aircraft conflict resolution using genetic algorithms. In Symposium on Applied Computing. Philadelphia, PA.
7. Eby, M. 1994. A self-organizational approach for resolving air traffic conflicts. Lincoln Laboratory Journal 1 (2): 239-254.
8. Frazzoli, E., Z.-H. Mao, J.-H. Oh, and E. Feron. 2001. Resolution of conflicts involving many aircraft via semidefinite programming. Journal of Guidance, Control, and Dynamics 24 (1): 79-86.
9. Geser, A., and C. Muñoz. 2002. A geometric approach to strategic conflict detection and resolution. Proceedings of the 21st Digital Avionics Systems Conference.
10. Geser, A., C. Muñoz, G. Dowek, and F. Kirchner. 2002, May. Air traffic conflict resolution and recovery. Technical Report 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.
11. Granger, G., N. Durand, and J.-M. Alliot. 2001. Optimal resolution of en route conflicts. In 4th USA/Europe Air Traffic Management R&D Seminar (ATM-2001). Santa Fe, New Mexico
12. Hoekstra, J., R. Ruigrok, R. van Gent, J. Visser, B. Gijsbers, M. Valenti, W. Heesbeen, B. Hilburn, J. Groeneweg, and F. Bussink. 2000, May. Overview of NLR free flight project 1997-1999. Technical Report NLR-CR-2000-227, National Aerospace Laboratory (NLR).
13. Kuchar, J., and L. Yang. 2000, December. A review of conflict detection and resolution modeling methods. IEEE Transactions on Intelligent Transportation Systems 1 (4): 179-189.
14. McDonald, J., and R. Vivona. 2000, November. Strategic airborne conflict detection of air traffic and area hazards. Technical Report NASA Contract: NAS2-98005 RTO-29, TITAN Systems Corporation, SRC Division.
15. NASA. 1999. Concept definition for Distributed Air/Ground Traffic Management (DAG-TM), version 1.0. Advanced Air Transportation Technologies (AATT) Project. NASA Ames Research Center. NASA Langley Research Center.
16. Owre, S., J. M. Rushby, and N. Shankar. 1992, June. PVS: A prototype verification system. In 11th International Conference on Automated Deduction (CADE), ed. D. Kapur, Volume 607 of Lecture Notes in Artificial Intelligence, 748-752. Saratoga, NY: Springer-Verlag.
17. RTCA. 1995. Final report of the RTCA board of directors' select committee on free flight. Technical Report Issued 1-18-95, RTCA, Washington, DC.
18. Sanford, B., K. Harwood, S. Nowlin, H. Bergeron, H. Heinrichs, G. Wells, and M. Hart. 1993, October. Center/TRACON automation system: Development and evaluation in the field. In 38th Annual Air Traffic Control Association Conference.
19. Tomlin, C., G. Pappas, and S. Sastry. 1998. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Transactions on Automatic Control 43(4).
20. Wing, D., R. Adams, B. Barmore, and D. Moses. 2001. Airborne use of traffic intent information in a distributed air-ground traffic management concept: Experiment design and preliminary results. In 4th USA/Europe Air Traffic Management R & D Seminar (ATM-2001). Santa Fe, New Mexico.