An efficient ant colony system based on receding horizon control for the aircraft arrival sequencing and scheduling problem

The aircraft arrival sequencing and scheduling (ASS) problem is a salient problem in air traffic control (ATC), which proves to be nondeterministic polynomial (NP) hard. This paper formulates the ASS problem in the form of a permutation problem and proposes a new solution framework that makes the first attempt at using an ant colony system (ACS) algorithm based on the receding horizon control (RHC) to solve it. The resultant RHC-improved ACS algorithm for the ASS problem (termed the RHC-ACS-ASS algorithm) is robust, effective, and efficient, not only due to that the ACS algorithm has a strong global search ability and has been proven to be suitable for these kinds of NP-hard problems but also due to that the RHC technique can divide the problem with receding time windows to reduce the computational burden and enhance the solution's quality. The RHC-ACS-ASS algorithm is extensively tested on the cases from the literatures and the cases randomly generated. Comprehensive investigations are also made for the evaluation of the influences of ACS and RHC parameters on the performance of the algorithm. Moreover, the proposed algorithm is further enhanced by using a two-opt exchange heuristic local search. Experimental results verify that the proposed RHC-ACS-ASS algorithm generally outperforms ordinary ACS without using the RHC technique and genetic algorithms (GAs) in solving the ASS problems and offers high robustness, effectiveness, and efficienc

Cooperative and non-cooperative sense-and-avoid in the CNS+A context: a unified methodology

A unified approach to cooperative and noncooperative Sense-and-Avoid (SAA) is presented that addresses the technical and regulatory challenges of Unmanned Aircraft Systems (UAS) integration into nonsegregated airspace. In this paper, state-of-the-art sensor/system technologies for cooperative and noncooperative SAA are reviewed and a reference system architecture is presented. Automated selection of sensors/systems including passive and active Forward Looking Sensors (FLS), Traffic Collision Avoidance System (TCAS) and Automatic Dependent Surveillance - Broadcast (ADS-B) system is performed based on Boolean Decision Logics (BDL) to support trusted autonomous operations during all flight phases. The BDL adoption allows for a dynamic reconfiguration of the SAA architecture, based on the current error estimates of navigation and tracking sensors/systems. The significance of this approach is discussed in the Communication, Navigation and Surveillance/Air Traffic Management and Avionics (CNS+A) context, with a focus on avionics and ATM certification requirements. Additionally, the mathematical models employed in the SAA Unified Method (SUM) to compute the overall uncertainty volume in the airspace surrounding an intruder/obstacle are described. In the presented methodology, navigation and tracking errors affecting the host UAS platform and intruder sensor measurements are translated to unified range and bearing uncertainty descriptors. Simulation case studies are presented to evaluate the performance of the unified approach on a representative UAS host platform and a number of intruder platforms. The results confirm the validity of the proposed unified methodology providing a pathway for certification of SAA systems that typically employ a suite of non-cooperative sensors and/or cooperative systems

Conflict Detection and Resolution for Future Air Transportation Management

With a Free Flight policy, the emphasis for air traffic control is shifting from active control to passive air traffic management with a policy of intervention by exception. Aircraft will be allowed to fly user preferred routes, as long as safety Alert Zones are not violated. If there is a potential conflict, two (or more) aircraft must be able to arrive at a solution for conflict resolution without controller intervention. Thus, decision aid tools are needed in Free Flight to detect and resolve conflicts, and several problems must be solved to develop such tools. In this report, we analyze and solve problems of proximity management, conflict detection, and conflict resolution under a Free Flight policy. For proximity management, we establish a system based on Delaunay Triangulations of aircraft at constant flight levels. Such a system provides a means for analyzing the neighbor relationships between aircraft and the nearby free space around air traffic which can be utilized later in conflict resolution. For conflict detection, we perform both 2-dimensional and 3-dimensional analyses based on the penetration of the Protected Airspace Zone. Both deterministic and non-deterministic analyses are performed. We investigate several types of conflict warnings including tactical warnings prior to penetrating the Protected Airspace Zone, methods based on the reachability overlap of both aircraft, and conflict probability maps to establish strategic Alert Zones around aircraft