Automatic commercial aircraft-collision avoidance in free flight: The three-dimensional problem

IEEE Transactions on Intelligent Transportation Systems

Volumn 7, Issue 2, 2006, Pages 242-249

  Christodoulou, Manolis A ^a,b   Kodaxakis, Sifis G ^a,b  

^a IEEE   (Greece)

^b TECHNICAL UNIVERSITY OF CRETE   (Greece)

Author keywords

Conflict resolution; Free flight; Nonlinear mixed integer programming

Indexed keywords

AIR-TRAFFIC (AT) CONFLICTS; CONFLICT RESOLUTION; FREE FLIGHTS; NONLINEAR MIXED INTEGER PROGRAMMING;

AIR TRAFFIC CONTROL; AIRCRAFT; COLLISION AVOIDANCE; COMPUTER SIMULATION; INTEGER PROGRAMMING; PROBLEM SOLVING; PROXIMITY INDICATORS; VELOCITY CONTROL;

AIR TRANSPORTATION;

EID: 33746588722     PISSN: 15249050     EISSN: None     Source Type: Journal    
DOI: 10.1109/TITS.2006.874684     Document Type: Article

References (35)

1. Air Traffic Control. [Online]. Available: http://www.stasys.co.uk/ transport/atm_airports/default.htm
2. J. K. Kuchar and L. C. Yang, "A review of conflict detection and resolution modeling methods," IEEE Trans. Intell. Transp. Syst., vol. 1, no. 4, pp. 179-189, Dec. 2000.
3. K. D. Bilimoria and H. Q. Lee, "Properties of air traffic conflicts for free and structured routing," presented at the AIAA Guidance, Navigation, Control Conf., Montreal, QC, Canada, Aug. 2001, Paper 2001-4051.
4. J.-H. Oh and E. Feron, "Fast detection and resolution of multiple conflicts for 3-dimensional free flight," in Proc. 36th IEEE Conf. Decision Control, Dec. 1997, pp. 66-74.
5. ILOG CPLEX Users Guide, ILOG, France, 1999.
6. L. Pallottino, E. M. Feron, and A. Bicchi, "Conflict resolution problems for air traffic management systems solved with mixed integer programming," IEEE Trans. Intell. Transp. Syst., vol. 3, no. 1, pp. 3-11, Mar. 2002.
7. F. S. Hillier and G. J. Lieberman, Introduction to Operations Research, 6th ed. New York: McGraw-Hill, 1995.
8. C. A. Floudas, Non-Linear and Mixed-Integer Optimization, London, U.K.: Oxford Univ. Press, 1995.
9. G. Inalhan, D. Stipanovic, and C. Tomlin, "Decentralized optimization, with application to multiple aircraft coordination," in Proc. 41st IEEE Conf. Decision Control, Las Vegas, NV, Dec. 2000, pp. 1147-1155.
10. M. Oishi, I. Mitchell, A. Bayen, C. Tomlin, and A. Degani, "Hybrid verification of an interface for an automatic landing," in Proc. 41st IEEE Conf. Decision Control, Las Vegas, NV, Dec. 2002, pp. 1607-1613.
11. D. Stipanovic, G. Inalhan, and C. Tomlin, "Decentralized overlapping control of a formation of unmanned aerial vehicles," in Proc. 41st IEEE Conf. Decision Control, Las Vegas, NV, Dec. 2002, pp. 2829-2835.
12. R. Teo, D. Stipanovic, and C. Tomlin, "Multiple vehicle control over a lossy datalink," in Proc. 4th Asian Control Conf., Singapore, Sep. 2002, pp. 2063-2068.
13. A. Bayen, P. Grieder, and C. Tomlin, "A control theoretic predictive model for sector-based air traffic flow," presented at the AIAA Guidance, Navigation, Control Conf., Monterey, CA, Aug. 2002, Paper 2002-5011.
14. A. Bayen, P. Grieder, H. Sipma, G. Meyer, and C. Tomlin, "Delay predictive models of the national airspace system using hybrid control theory," in Proc. Amer. Control Conf., Anchorage, AK, Jun. 2000, pp. 762-772.
15. J. Evans, G. Inalhan, J. S. Jang, R. Teo, and C. Tomlin, "Dragonfly: A versatile UAV platform for the advancement of aircraft navigation and control," in Proc. 20th IEEE Digital Avionics Syst. Conf., Oct. 2001, pp. 1C3/1-1C3/12.
16. R. Teo and C. Tomlin, "Provably safe evasive maneuvers against blunders in closely spaced parallel approaches," presented at the AIAA Guidance, Navigation, Control Conf., Montreal, QC, Canada, Aug. 2001, Paper 2001-4293.
17. J. S. Jang and C. Tomlin, "Autopilot design for the Stanford dragonfly UAV: Validation through hardware-in-the-loop simulation," presented at the AIAA Guidance, Navigation, Control Conf., Montreal, QC, Canada, Aug. 2001, Paper 2001-4179.
18. N. Shishido and C. Tomlin, "Ellipsoidal approximation of reachable sets for linear games," in Proc. 39th IEEE Conf. Decision Control, Sydney, Australia, Dec. 2000, pp. 999-1004.
19. R. Teo and C. Tomlin, "Computing provably safe aircraft to aircraft spacing for closely spaced parallel approaches," in Proc. 19th IEEE Digital Avionics Syst. Conf., Sep. 2000, pp. 2D2/1-2D2/9.
20. R. Ghosh and C. Tomlin, "Nonlinear inverse dynamic control for mode-based flight," presented at the AIAA Guidance, Navigation, Control Conf., Denver, CO, Aug. 2000, Paper 2000-4066.
21. _, "Manoeuvre design for multiple aircraft conflict resolution," in Proc. Amer. Control Conf., Chicago, IL, Jun. 2000, pp. 672-676.
22. M. Oishi and C. Tomlin, "Switching in nonminimum phase systems: Applications to a VSTOL aircraft," in Proc. Amer. Control Conf., Chicago, IL, Jun. 2000, pp. 487-491.
23. _, "Switched nonlinear control of a VSTOL aircraft," in Proc. 38th IEEE Conf Decision Control, Phoenix, AZ, Dec. 1999, pp. 2685-2690.
24. J. Evans, W. Hodge, J. Liebman, C. Tomlin, and B. Parkinson, "Flight tests of an unmanned air vehicle with integrated multi-antenna GPS receiver and IMU: Towards a test bed for distributed control and formation flight," in Proc. ION-OPS Conf, Nashville, TN, Sep. 1999. [Online]. Available: http://www.sun-valley.stanford.edu/~tomlin/papers/Iongps99.pdf
25. C. Tomlin, G. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A case study in multi-agent hybrid systems," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 509-521, Apr. 1998.
26. G. J. Pappas, C. Tomlin, J. Lygeros, D. N. Godbole, and S. Sastry, "A next generation architecture for air traffic management systems," in Proc. 36th IEEE CDC, San Diego, CA, Dec. 6-8, 1997, pp. 2405-2410.
27. A. Bicchi and L. Pallottino, "On optimal cooperative conflict resolution for air traffic management systems," IEEE Trans. Intell. Transp. Syst., vol. 1, no. 4, pp. 221-232, Dec. 2000.
28. Z. H. Mao, E. Feron, and K. Bilimoria, "Stability of intersecting aircraft flows under decentralized conflict avoidance rules," presented at the AIAA Guidance, Navigation, Control Conf., Denver, CO, 2000, Paper 2000-4271.
29. D. Dugail, Z. H. Mao, and E. Feron, "Stability of intersecting aircraft flows under centralized and decentralized conflict avoidance rules," presented at the AIAA Guidance, Navigation, Control Conf., Exhibit, Montreal, QC, Canada, Aug. 6-9, 2001, Paper 2001-4296.
30. Z. H. Mao and E. Feron, "Stability and performance of intersecting aircraft flows under sequential conflict resolution," in Proc. Amer. Control Conf., Arlington, VA, Jun. 25-27, 2001, pp. 722-729.
31. L. Pallotino, A. Bicchi, and E. Feron, "Mixed integer programming for aircraft conflict resolution," presented at the AIAA Guidance, Navigation, Control Conf. Exhibit, Montreal, QC, Canada, Aug. 6-9, 2001, Paper 2001-4295.
32. T. Schouwenaars, B. De Moor, E. Feron, and J. How, "Mixed integer programming for multiple-vehicle path planning," in Proc. Eur. Control Conf., Porto, Portugal, Sep. 4-7, 2001, pp. 2603-2608.
33. A. Richards, J. How, T. Schouwenaars, and E. Feron, "Plume avoidance maneuver planning using mixed integer linear programming," presented at the AIAA Guidance, Navigation, Control Conf. Exhibit, Montreal, QC, Canada, Aug. 6-9, 2001, Paper 2001-4091.
34. M. A. Christodoulou and C. Costoulakis, "Nonlinear mixed integer programming for aircraft collision avoidance in free flight," in Proc. MELE-CON Conf., Dubrovnik, Croatia, May 12-15, 2004, vol. 1, pp. 327-330.
35. _, "Nonlinear mixed integer programming for aircraft collision avoidance in free flight: Minimum time index," in Proc. MED, IEEE Conf., session MoA1-B.4, Aydin, Turkey, Jun. 6-9, 2004, p. 24.