Behavioral Learning of Aircraft Landing Sequencing Using a Society of Probabilistic Finite State Machines

Air Traffic Control (ATC) is a complex safety critical environment. A tower controller would be making many decisions in real-time to sequence aircraft. While some optimization tools exist to help the controller in some airports, even in these situations, the real sequence of the aircraft adopted by the controller is significantly different from the one proposed by the optimization algorithm. This is due to the very dynamic nature of the environment. The objective of this paper is to test the hypothesis that one can learn from the sequence adopted by the controller some strategies that can act as heuristics in decision support tools for aircraft sequencing. This aim is tested in this paper by attempting to learn sequences generated from a well-known sequencing method that is being used in the real world. The approach relies on a genetic algorithm (GA) to learn these sequences using a society Probabilistic Finite-state Machines (PFSMs). Each PFSM learns a different sub-space; thus, decomposing the learning problem into a group of agents that need to work together to learn the overall problem. Three sequence metrics (Levenshtein, Hamming and Position distances) are compared as the fitness functions in GA. As the results suggest, it is possible to learn the behavior of the algorithm/heuristic that generated the original sequence from very limited information

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

Approximate Algorithms for the Combined arrival-Departure Aircraft Sequencing and Reactive Scheduling Problems on Multiple Runways

The problem addressed in this dissertation is the Aircraft Sequencing Problem (ASP) in which a schedule must be developed to determine the assignment of each aircraft to a runway, the appropriate sequence of aircraft on each runway, and their departing or landing times. The dissertation examines the ASP over multiple runways, under mixed mode operations with the objective of minimizing the total weighted tardiness of aircraft landings and departures simultaneously. To prevent the dangers associated with wake-vortex effects, separation times enforced by Aviation Administrations (e.g., FAA) are considered, adding another level of complexity given that such times are sequence-dependent. Due to the problem being NP-hard, it is computationally difficult to solve large scale instances in a reasonable amount of time. Therefore, three greedy algorithms, namely the Adapted Apparent Tardiness Cost with Separation and Ready Times (AATCSR), the Earliest Ready Time (ERT) and the Fast Priority Index (FPI) are proposed. Moreover, metaheuristics including Simulated Annealing (SA) and the Metaheuristic for Randomized Priority Search (Meta-RaPS) are introduced to improve solutions initially constructed by the proposed greedy algorithms. The performance (solution quality and computational time) of the various algorithms is compared to the optimal solutions and to each other. The dissertation also addresses the Aircraft Reactive Scheduling Problem (ARSP) as air traffic systems frequently encounter various disruptions due to unexpected events such as inclement weather, aircraft failures or personnel shortages rendering the initial plan suboptimal or even obsolete in some cases. This research considers disruptions including the arrival of new aircraft, flight cancellations and aircraft delays. ARSP is formulated as a multi-objective optimization problem in which both the schedule\u27s quality and stability are of interest. The objectives consist of the total weighted start times (solution quality), total weighted start time deviation, and total weighted runway deviation (instability measures). Repair and complete regeneration approximate algorithms are developed for each type of disruptive events. The algorithms are tested against difficult benchmark problems and the solutions are compared to optimal solutions in terms of solution quality, schedule stability and computational time

A Hybrid Tabu/Scatter Search Algorithm for Simulation-Based Optimization of Multi-Objective Runway Operations Scheduling

As air traffic continues to increase, air traffic flow management is becoming more challenging to effectively and efficiently utilize airport capacity without compromising safety, environmental and economic requirements. Since runways are often the primary limiting factor in airport capacity, runway operations scheduling emerge as an important problem to be solved to alleviate flight delays and air traffic congestion while reducing unnecessary fuel consumption and negative environmental impacts. However, even a moderately sized real-life runway operations scheduling problem tends to be too complex to be solved by analytical methods, where all mathematical models for this problem belong to the complexity class of NP-Hard in a strong sense due to combinatorial nature of the problem. Therefore, it is only possible to solve practical runway operations scheduling problem by making a large number of simplifications and assumptions in a deterministic context. As a result, most analytical models proposed in the literature suffer from too much abstraction, avoid uncertainties and, in turn, have little applicability in practice. On the other hand, simulation-based methods have the capability to characterize complex and stochastic real-life runway operations in detail, and to cope with several constraints and stakeholders’ preferences, which are commonly considered as important factors in practice. This dissertation proposes a simulation-based optimization (SbO) approach for multi-objective runway operations scheduling problem. The SbO approach utilizes a discrete-event simulation model for accounting for uncertain conditions, and an optimization component for finding the best known Pareto set of solutions. This approach explicitly considers uncertainty to decrease the real operational cost of the runway operations as well as fairness among aircraft as part of the optimization process. Due to the problem’s large, complex and unstructured search space, a hybrid Tabu/Scatter Search algorithm is developed to find solutions by using an elitist strategy to preserve non-dominated solutions, a dynamic update mechanism to produce high-quality solutions and a rebuilding strategy to promote solution diversity. The proposed algorithm is applied to bi-objective (i.e., maximizing runway utilization and fairness) runway operations schedule optimization as the optimization component of the SbO framework, where the developed simulation model acts as an external function evaluator. To the best of our knowledge, this is the first SbO approach that explicitly considers uncertainties in the development of schedules for runway operations as well as considers fairness as a secondary objective. In addition, computational experiments are conducted using real-life datasets for a major US airport to demonstrate that the proposed approach is effective and computationally tractable in a practical sense. In the experimental design, statistical design of experiments method is employed to analyze the impacts of parameters on the simulation as well as on the optimization component’s performance, and to identify the appropriate parameter levels. The results show that the implementation of the proposed SbO approach provides operational benefits when compared to First-Come-First-Served (FCFS) and deterministic approaches without compromising schedule fairness. It is also shown that proposed algorithm is capable of generating a set of solutions that represent the inherent trade-offs between the objectives that are considered. The proposed decision-making algorithm might be used as part of decision support tools to aid air traffic controllers in solving the real-life runway operations scheduling problem

An Optimistic Planning Approach for the Aircraft Landing Problem

International audienceThe Aircraft Landing Problem consists in sequencing aircraft on the available runways and scheduling their landing times taking into consideration several operational constraints, in order to increase the runway capacity and/or to reduce delays.In this work we propose a new Mixed Integer Programming (MIP) model for sequencing and scheduling aircraft landings on a single or multiple independent runways incorporating safety constraints by means of separation between aircraft at runways threshold. Due to the NP-hardness of the problem, solving directly the MIP model for large realistic instances yields redhibitory computation times. Therefore, we introduce a novel heuristic search methodology based on Optimistic Planning that significantly improve the FCFS (First-Come First-Served) solution, and provides good-quality solutions inreasonable computational time. The solution approach is then tested on medium and large realistic instances generated from real-world traffic on Paris-Orly airport to show the benefit of our approach

管制運用に向けた航空交通流過密状態における進化計算に基づく着陸順最適化

電気通信大学201

Planning and reconfigurable control of a fleet of unmanned vehicles for taxi operations in airport environment

The optimization of airport operations has gained increasing interest by the aeronautical community, due to the substantial growth in the number of airport movements (landings and take-offs) experienced in the past decades all over the world. Forecasts have confirmed this trend also for the next decades. The result of the expansion of air traffic is an increasing congestion of airports, especially in taxiways and runways, leading to additional amount of fuel burnt by airplanes during taxi operations, causing additional pollution and costs for airlines. In order to reduce the impact of taxi operations, different solutions have been proposed in literature; the solution which this dissertation refers to uses autonomous electric vehicles to tow airplanes between parking lots and runways. Although several analyses have been proposed in literature, showing the feasibility and the effectiveness of this approach in reducing the environmental impact, at the beginning of the doctoral activity no solutions were proposed, on how to manage the fleet of unmanned vehicles inside the airport environment. Therefore, the research activity has focused on the development of algorithms able to provide pushback tractor (also referred as tugs) autopilots with conflict-free schedules. The main objective of the optimization algorithms is to minimize the tug energy consumption, while performing just-in-time runway operations: departing airplanes are delivered only when they can take-off and the taxi-in phase starts as soon as the aircraft clears the runway and connects to the tractor. Two models, one based on continuous time and one on discrete time evolution, were developed to simulate the taxi phases within the optimization scheme. A piecewise-linear model has also been proposed to evaluate the energy consumed by the tugs during the assigned missions. Furthermore, three optimization algorithms were developed: two hybrid versions of the particle swarm optimization and a tree search heuristic. The following functional requirements for the management algorithm were defined: the optimization model must be easily adapted to different airports with different layout (reconfigurability); the generated schedule must always be conflict-free; and the computational time required to process a time horizon of 1h must be less than 15min. In order to improve its performance, the particle swarm optimization was hybridized with a hill-climb meta-heuristic; a second hybridization was performed by means of the random variable search, an algorithm of the family of the variable neighborhood search. The neighborhood size for the random variable search was considered varying with inverse proportionality to the distance between the actual considered solution and the optimal one found so far. Finally, a tree search heuristic was developed to find the runway sequence, among all the possible sequences of take-offs and landings for a given flight schedule, which can be realized with a series of taxi trajectories that require minimum energy consumption. Given the taxi schedule generated by the aforementioned optimization algorithms a tug dispatch algorithm, assigns a vehicle to each mission. The three optimization schemes and the two mathematical models were tested on several test cases among three airports: the Turin-Caselle airport, the Milan-Malpensa airport, and the Amsterdam airport Schiphol. The cost required to perform the generated schedules using the autonomous tugs was compared to the cost required to perform the taxi using the aircraft engines. The proposed approach resulted always more convenient than the classical one

Merging Flows in Terminal Moneuvering Area using Time Decomposition Approach

International audienceWith a continuous growth of air traffic demand, more effort must be made to alleviate the current overloaded airspace charges. This research focuses on the aircraft merging and sequencing problem at Terminal Maneuvering Area. Tactical conflict detection and resolution methods are applied to a predefined route network structure. Speed and time changes are proposed via an optimization methodology to resolve conflicts and maintain separation between aircraft with regard to the wake turbulence constraints and runway occupancy time. A new time decomposition approach is introduced. It consists in partitioning the whole time interval under consideration into several overlapping time windows, and in solving the merging and sequencing problem individually in each such sub-window. Four aircraft status are defined to classify flights according to their temporal position relative to the current sliding window. Moreover, an adapted simulated annealing heuristic is proposed to solve the corresponding sub-problems. Finally, computational experiments of the proposed algorithm, performed on real-world case studies of Paris Charles De-Gaulle airport, show the benefits of this sliding-window time-decomposition approac

Modelling and Solving Decentralized and Dynamic Aircraft Landing Scheduling Problems

Aircraft landing problem (ALP) is considered as a scheduling problem where aircrafts are sequenced and allocated with appropriate time slots. In this thesis ALP problem is investigated where several constraints such as aircraft’s landing time windows, minimum separation time and position shifting constraints are taken into consideration. Existing approaches such as optimized solution based methods and heuristic methods to tackle different aspects of the problem are reviewed, and a static mathematical model is studied. The mathematical model is solved and verified using random data generated from simulation. The data are generated based on Pierre Elliott Trudeau International Airport (YUL) in Montreal, Quebec, Canada as well as from relevant data base library. AnyLogictm software was used to simulate aircraft landing operations in a runway environment. An agent based simulation was designed to include the dynamic event of aircrafts arrivals to the runway system. In the agent based system, an iterative bidding framework is used to generate flight landing schedule in a decentralized environment. In the decentralized environment, we consider each flight as a self-interest agent competing with other flights to get the most appropriate landing time. The efficiency of the decentralized approach is also studied. The results of the decentralized approach are compared with the centralized ALP solution. The results show that the agent based solution approach is able to generate reasonable landing comparing to optimal aircraft landing schedule from the centralized ALP model

Runway Operations Management: Models, Enhancements, and Decomposition Techniques

Air traffic loads have been on the rise over the last several decades and are expected to double, and possibly triple in some regions, over the coming decade. With the advent of larger aircraft and ever-increasing air traffic loads, aviation authorities are continually pressured to examine capacity expansions and to adopt better strategies for capacity utilization. However, this growth in air traffic volumes has not been accompanied by adequate capacity expansions in the air transport infrastructure. It is, therefore, predicted that flight delays costing multi-billion dollars will continue to negatively impact airline companies and consumers. In airport operations management, runways constitute a scarce resource and a key bottleneck that impacts system-wide capacity (Idris et al. 1999). Throughout the three essays that form this dissertation, enhanced optimization models and effective decomposition techniques are proposed for runway operations management, while taking into consideration safety and practical constraints that govern access to runways. Essay One proposes a three-faceted approach for runway capacity management, based on the runway configuration, a chosen aircraft assignment/sequencing policy, and an aircraft separation standard as typically enforced by aviation authorities. With the objective of minimizing a fuel burn cost function, we propose optimization-based heuristics that are grounded in a classical mixed-integer programming formulation. By slightly altering the FCFS sequence, the proposed optimization-based heuristics not only preserve fairness among aircraft, but also consistently produce excellent (optimal or near optimal) solutions. Using real data and alternative runway settings, our computational study examines the transition from the (Old) Doha International Airport to the New Doha International Airport in light of our proposed optimization methodology. Essay Two examines aircraft sequencing problems over multiple runways under mixed mode operations. To curtail the computational effort associated with classical mixed-integer formulations for aircraft sequencing problems, valid inequalities, pre-processing routines and symmetry-defeating hierarchical constraints are proposed. These enhancements yield computational savings over a base mixed-integer formulation when solved via branch-and-bound/cut techniques that are embedded in commercial optimization solvers such as CPLEX. To further enhance its computational tractability, the problem is alternatively reformulated as a set partitioning model (with a convexity constraint) that prompts the development of a specialized column generation approach. The latter is accelerated by incorporating several algorithmic features, including an interior point dual stabilization scheme (Rousseau et al. 2007), a complementary column generation routine (Ghoniem and Sherali, 2009), and a dynamic lower bounding feature. Empirical results using a set of computationally challenging simulated instances demonstrate the effectiveness and the relative merits of the strengthened mixed-integer formulation and the accelerated column generation approach. Essay Three presents an effective dynamic programming algorithm for solving Elementary Shortest Path Problems with Resource Constraints (ESPPRC). This is particularly beneficial, because the ESPPRC structure arises in the column generation pricing sub-problem which, in turn, causes computational challenges as noted in Essay Two. Extending the work by Feillet et al. (2004), the proposed algorithm dynamically constructs optimal aircraft schedules based on the shortest path between operations while enforcing time-window restrictions and consecutive as well as nonconsecutive minimum separation times between aircraft. Using the aircraft separation standard by the Federal Aviation Administration (FAA), our computational study reports very promising results, whereby the proposed dynamic programming approach greatly outperforms the solution of the sub-problem as a mixed-integer programming formulation using commercial solvers such as CPLEX and paves the way for developing effective branch-and-price algorithms for multiple-runway aircraft sequencing problems