Resolution of Connicts Involving Many Aircraft via Semideenite Programming

Aircraft con ict detection and resolution is currently attracting the interest of many air transportation service providers and is concerned with the following question: Given a set of airborne aircraft and their intended trajectories, what control strategy should be followed by the pilots and the air tra c service provider to prevent the aircraft from coming too close to each other? This paper addresses this problem by presenting a distributed air-ground architecture, whereby each aircraft proposes its desired heading while a centralized air tra c control architecture resolves any con ict arising between the aircraft involved in the con ict, while minimizing the deviation between desired and con ict-free heading for each aircraft. The resolution architecture relies on a combination of convex programming and randomized searches: It is shown that a version of the planar, multi-aircraft con ict resolution problem that accounts for all possible crossing patterns among aircraft might be recast as a nonconvex, quadratically constrained quadratic program. For this type of problem, there exist e cient numerical relaxations, based on semide nite programming, that provide lower bounds on the best achievable objective. These relaxations also lead to a random search technique to compute feasible, locally optimal and con ict-free strategies. This approach is demonstrated on numerical examples and discussed. Research Assistant, Laboratory for Information and Decision Systems, Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA 02139. Research Assistant, Laboratory for Information and Decision Systems, Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA 02139. Post-doctoral Associate, Department of Mechanical Engineering, Massachusetts institute of Technology, Cambridge MA 02139 Associate Professor, Senior Member AIAA, Laboratory for Information and Decision Systems, International Center for Air Transportation, Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge MA 02139. Author to whom all correspondence should be sent. feron@mit.edu. Paper submitted to the AIAA J. Guidance, Control and Dynamics. Also appeared as a Technical Report, International Center for Air Transportation, MIT, MIT-ICAT 99-5.

[1]  John C. Doyle Analysis of Feedback Systems with Structured Uncertainty , 1982 .

[2]  F. Uhlig A recurring theorem about pairs of quadratic forms and extensions: a survey , 1979 .

[3]  Alexander Schrijver,et al.  Cones of Matrices and Set-Functions and 0-1 Optimization , 1991, SIAM J. Optim..

[4]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[5]  Nicolas Durand,et al.  FACES: A Free Flight Autonomous and Coordinated Embarked Solver , 1998 .

[6]  Eric Feron,et al.  Optimal distributed actuator control grouping schemes , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[7]  László Lovász,et al.  On the Shannon capacity of a graph , 1979, IEEE Trans. Inf. Theory.

[8]  Mark Peters,et al.  Strategic conflict detection and resolution for free flight , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[9]  Eric Feron,et al.  Flight plan optimization in flexible air traffic environments , 1996 .

[10]  Y. Ye,et al.  Semidefinite Relaxations, Multivariate Normal Distributions, and Order Statistics , 1998 .

[11]  M. Safonov Stability margins of diagonally perturbed multivariable feedback systems , 1981, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[12]  G. D. Sweriduk,et al.  Optimal Strategies for Free-Flight Air Traffic Conflict Resolution , 1999 .

[13]  James K. Kuchar,et al.  Prototype conflict alerting system for free flight , 1997 .

[14]  Satissed Now Consider Improved Approximation Algorithms for Maximum Cut and Satissability Problems Using Semideenite Programming , 1997 .

[15]  William P. Niedringhaus Stream Option Manager (SOM): automated integration of aircraft separation, merging, stream management, and other air traffic control functions , 1995, IEEE Trans. Syst. Man Cybern..

[16]  A. E. Bryson,et al.  Improved navigation by combining VOR/DME information with air or inertial data , 1972 .

[17]  E. Yaz Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[18]  George J. Pappas,et al.  Con ict Resolution for Air Tra c Management: a Study in Multi-Agent Hybrid Systems , 1997 .

[19]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[20]  James K. Kuchar Methodology for Alerting-System Performance Evaluation , 1996 .

[21]  L. C. Yang,et al.  Incorporation of uncertain intent information in conflict detection and resolution , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[22]  M. S. Eby,et al.  A self-organizational approach for resolving air traffic conflicts , 1995 .

[23]  Heinz Erzberger,et al.  Conflict probability estimation for free flight , 1997 .

[24]  David R. Karger,et al.  Approximate graph coloring by semidefinite programming , 1998, JACM.