Safety certification of air traffic conflict resolution algorithms involving more than two aircraft

Proceedings of the American Control Conference

Volumn 5, Issue , 1998, Pages 2807-2811

  Oh, Jae Hyuk ^a   Feron, Eric ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR-TRAFFIC CONFLICTS; ONLINE OPTIMIZATION; OPTIMIZATION ALGORITHMS; OPTIMIZATION TECHNOLOGY; S-PROCEDURES; SAFETY CERTIFICATION; SAFETY-CRITICAL;

AIRCRAFT; ALGORITHMS; CONTROL TOWERS; CONVEX OPTIMIZATION;

FLIGHT CONTROL SYSTEMS;

EID: 84867800452     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.1998.688366     Document Type: Conference Paper

References (16)

1. Final report of RTCA task force 3: Free Flight implementation. Washington DC, October 1995.
2. F. Alizadeh, J.-P. A. Haeberly, M. V. Nayakkankuppam, M.L. Overton, and S. Schmieta. SDPPACK Ver. 0.9 Beta: User's Guide. New York University, 1997. Beta Version.
3. S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan-. Linear Matrix Inequalities in System and Control Theory, Volume 15 of SIAM Studies in Applied Mathematics. SIAM, 1994.
4. N. Durand, J. M. Alliot, and O. Chansou. An optimizing conflict solver for ATC. Air Traffic Control Quarterly, October 1995.
5. E. Feron, P. Apkarian, and P. Gahinet. Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions. IEEE Trans. Aut. Control, 41(7), July 1996.
6. J. Krozel, T. Mueller, and G. Hunter. Free flight conflict detection and resolution analysis. In AIAA Guidance Navigation and Control Conf., San Diego, July 1996.
7. P. K. Menon, G. D. Sweriduk, and B. Sridhar. Optimal strategies for free flight air traffic conflict resolution. In AIAA Guidance Navigation and Control Conf., New Orleans, LA, August 1997.
8. P. K. A. Menon. Control theoretic approach to air traffic conflict resolution. In AIAA Guidance Navigation and Control Conf., Monterey, CA, August 1993. AIAA-93-3832-CP.
9. Yu. Nesterov and A. Nemirovsky. Interior-point polynomial methods in convex programming, Volume 13 of Studies in Applied Mathematics. SIAM, Philadelphia, PA, 1994.
10. W. P. Niedringhaus. Stream option manager (SOM): Automated integration of aircraft separation, merging, stream management, and other air traffic control functions. IEEE Trans. System, Man, and Cybernetics, 25(9):1269-1280, 1995.
11. Jae-Hyuk Oh and Eric Feron. Primal-dual quadratic programming approach to multiple conflict resolution. In Proc. American Control Conf., Philadelphia, PA, June 1998.
12. Jae-Hyuk O.h., J. Marc Shewchun, and Eric Feron. Design and analysis of conflict resolution algorithms via positive semidefinite programming. In Proc. IEEE Conf. on Decision and Control, San Diego, December 1997.
13. C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: a case study in multi-agent hybrid systems. Preprint, 1996.
14. L. Vandenberghe and S. Boyd. SP: Software for Semidefinite Programming. Stanford University, 1994. Beta Version.
15. L. Vandenberghe and S. Boyd. Semidefinite programming. SIAM Review, 38(1):49-95, March 1996.
16. V. A. Yakubovich. On synthesis of optimal controls in a linear differential game on a finite time interval with quadratic payoff. Soviet Math. DokL, 12(5):1454-1458, 1971.