Multi-aircraft Conflict Detection and Resolution Based on Probabilistic Reach Sets
- 1 April 2016
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Control Systems Technology
- Vol. 25 (1), 309-316
- https://doi.org/10.1109/tcst.2016.2542046
Abstract
In this brief, a novel scheme to multi-aircraft conflict detection and resolution is introduced. A key feature of the proposed scheme is that uncertainty affecting the aircraft future positions along some look-ahead prediction horizon is accounted for via a probabilistic reachability analysis approach. In particular, ellipsoidal probabilistic reach sets are determined by formulating a chance-constrained optimization problem and solving it via a simulation-based method called scenario approach. Conflict detection is then performed by verifying if the ellipsoidal reach sets of different aircraft intersect. If a conflict is detected, then the aircraft flight plans are redesigned by solving a second-order cone program resting on the approximation of the ellipsoidal reach sets with spheres with constant radius along the look-ahead horizon. A bisection procedure allows one to determine the minimum radius such that the ellipsoidal reach sets of different aircraft along the corresponding new flight plans do not intersect. Some numerical examples are presented to show the efficacy of the proposed scheme.Keywords
Funding Information
- National Science Foundation for Young Scientists of China (61401011)
- China Scholarship Council
- European Commission through the UnCoVerCPS Project (643921)
- National Key Technologies Research and Development Program of China (2015BAG15B01)
This publication has 25 references indexed in Scilit:
- A stochastic reachability analysis approach to aircraft conflict detection and resolutionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- A randomized approach to space debris footprint characterizationIFAC Proceedings Volumes, 2014
- Flowpipe approximation and clustering in space-timePublished by Association for Computing Machinery (ACM) ,2013
- Reachability analysis of linear systems using support functionsNonlinear Analysis: Hybrid Systems, 2010
- Intent-Based Probabilistic Conflict Detection for the Next Generation Air Transportation SystemProceedings of the IEEE, 2008
- Aircraft Conflict Prediction in the Presence of a Spatially Correlated Wind FieldIEEE Transactions on Intelligent Transportation Systems, 2005
- A Stochastic Hybrid Model for Air Traffic Control SimulationLecture Notes in Computer Science, 2004
- Probabilistic ProgrammingPublished by Elsevier BV ,2003
- Optimal Coordinated Maneuvers for Three-Dimensional Aircraft Conflict ResolutionJournal of Guidance, Control, and Dynamics, 2002
- Stochastic ProgrammingPublished by Springer Science and Business Media LLC ,1995