Resolution of Conflicts Involving Many Aircraft via Semidefinite Programming
- 1 January 2001
- journal article
- research article
- Published by American Institute of Aeronautics and Astronautics (AIAA) in Journal of Guidance, Control, and Dynamics
- Vol. 24 (1) , 79-86
- https://doi.org/10.2514/2.4678
Abstract
Aircraft conèict detection and resolution is currently attracting the interest of many air transportation service providersand isconcernedwiththefollowingquestion: Given aset ofairborneaircraftand theirintended trajecto- ries,whatcontrolstrategyshould befollowedbythepilotsand theairtrafécserviceprovidertopreventtheaircraft from coming too close to each other? This paper addresses this problem by presenting a resolution methodology whereby each aircraft proposes its desired heading while a centralized air trafé c control authority resolves any conè ictarisingbetween aircraft, while minimizingthedeviation between desired and conè ict-freeheadingforeach aircraft. The resolution methodology relies on a combination of convex programming and randomized searches: It is shown that a version of the planar, multiaircraft conèict resolution problem, accounting for all possible cross- ing patterns among aircraft, might be recast as a nonconvex, quadratically constrained quadratic program. For this type of problem, there exist efé cient numerical relaxations, based on semideé nite programming, that provide lowerboundson thebestachievableobjective. Theserelaxationsalsoleadtoarandomsearch techniquetocompute feasible, locally optimal, and conè ict-free strategies. This approach is demonstrated on numerical examples and discussed.Keywords
This publication has 13 references indexed in Scilit:
- Strategic conflict detection and resolution for free flightPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Incorporation of uncertain intent information in conflict detection and resolutionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Optimal Strategies for Free-Flight Air Traffic Conflict ResolutionJournal of Guidance, Control, and Dynamics, 1999
- Conflict resolution for air traffic management: a study in multiagent hybrid systemsIEEE Transactions on Automatic Control, 1998
- Prototype Conflict Alerting System for Free FlightJournal of Guidance, Control, and Dynamics, 1997
- Conflict Probability Estimation for Free FlightJournal of Guidance, Control, and Dynamics, 1997
- Methodology for alerting-system performance evaluationJournal of Guidance, Control, and Dynamics, 1996
- Semidefinite ProgrammingSIAM Review, 1996
- Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programmingJournal of the ACM, 1995
- A recurring theorem about pairs of quadratic forms and extensions: a surveyLinear Algebra and its Applications, 1979