Non-linear integer programming fleet assignment model

A dissertation submitted to the Faculty of Engineering and the Built Environment, University of the Witwatersrand, Johannesburg, in fulfilment of the requirements for the degree of Master of Science in Engineering. University of the Witwatersrand, Johannesburg, 2016Given a flight schedule with fixed departure times and cost, solving the fleet assignment problem assists airlines to find the minimum cost or maximum revenue assignment of aircraft types to flights. The result is that each flight is covered exactly once by an aircraft and the assignment can be flown using the available number of aircraft of each fleet type. This research proposes a novel, non-linear integer programming fleet assignment model which differs from the linear time-space multi-commodity network fleet assignment model which is commonly used in industry. The performance of the proposed model with respect to the amount of time it takes to create a flight schedule is measured. Similarly, the performance of the time-space multicommodity fleet assignment model is also measured. The objective function from both mathematical models is then compared and results reported. Due to the non-linearity of the proposed model, a genetic algorithm (GA) is used to find a solution. The time taken by the GA is slow. The objective function value, however, is the same as that obtained using the time-space multi-commodity network flow model. The proposed mathematical model has advantages in that the solution is easier to interpret. It also simultaneously solves fleet assignment as well as individual aircraft routing. The result may therefore aid in integrating more airline planning decisions such as maintenance routing.MT201

Integrating the fleet assignment model with uncertain demand

This thesis was submitted for the degree of Master of Philosophy and awarded by Brunel University.One of the main challenges facing the airline industry is planning under uncertainty, especially in the context of schedule disruptions. The robust models and solution algorithms that have been proposed and developed to handle the uncertain parameters will be discussed. Fleet assignment models (FAM) are used by many airlines to assign aircraft to fights in a schedule to maximize profit. In the context of FAM, the goal of robustness is to produce solutions that perform well relative to uncertainties in demand and operation. In this thesis, we introduce new FAMs (i.e. DFAM1 and DFAM2) that tackles the common problem associated with aircraft utilization. Subsequently, stochastic programming (SP) is presented as a method of choice for the research. Through the use of a two-stage SP with recourse technique, the DFAMs are extended to SP-FAMs (SP-FAM1 and SP-FAM2). The main distinction of the SP-FAM compared with other FAMs is that, given a stochastic passenger demand, it gives a strategic fleet assignment solution that hedges against all possible tactical solutions. In addition, we have a tactical solution for every scenario. In generating the demand scenarios, we use a network-simulation model embedded with a time-series engine that gives a snapshot of one week that is representative of any other week of the scheduling season. We later outline the approach of solving the SP-FAMs where the schedule is compacted through several preprocessing steps before inputting it into SAS-AMPL converter. The SAS-AMPL converter prepares all the data into readable AMPL format. Finally, we execute the optimizer using a FortMP solver (integrated in AMPL) that invokes branch-and-bound algorithm. We give a proof of concept using real data from a Middle East airline. Our investigations establish clear benefits of the recourse FAM compared to alternative models. Finally, we propose areas of future research to improve SP-FAM robustness through solution algorithms, revenue management (RM) effects, calibration of network-simulation models and system integration

Optimising airline maintenance scheduling decisions

Airline maintenance scheduling (AMS) studies how plans or schedules are constructed to ensure that a fleet is efficiently maintained and that airline operational demands are met. Additionally, such schedules must take into consideration the different regulations airlines are subject to, while minimising maintenance costs. In this thesis, we study different formulations, solution methods, and modelling considerations, for the AMS and related problems to propose two main contributions. First, we present a new type of multi-objective mixed integer linear programming formulation which challenges traditional time discretisation. Employing the concept of time intervals, we efficiently model the airline maintenance scheduling problem with tail assignment considerations. With a focus on workshop resource allocation and individual aircraft flight operations, and the use of a custom iterative algorithm, we solve large and long-term real-world instances (16000 flights, 529 aircraft, 8 maintenance workshops) in reasonable computational time. Moreover, we provide evidence to suggest, that our framework provides near-optimal solutions, and that inter-airline cooperation is beneficial for workshops. Second, we propose a new hybrid solution procedure to solve the aircraft recovery problem. Here, we study how to re-schedule flights and re-assign aircraft to these, to resume airline operations after an unforeseen disruption. We do so while taking operational restrictions into account. Specifically, restrictions on aircraft, maintenance, crew duty, and passenger delay are accounted for. The flexibility of the approach allows for further operational restrictions to be easily introduced. The hybrid solution procedure involves the combination of column generation with learning-based hyperheuristics. The latter, adaptively selects exact or metaheuristic algorithms to generate columns. The five different algorithms implemented, two of which we developed, were collected and released as a Python package (Torres Sanchez, 2020). Findings suggest that the framework produces fast and insightful recovery solutions

Robust airline schedule design in a dynamic scheduling environment

In the past decade, major airlines in the US have moved from banked hub-and-spoke operations to de-banked hub-and-spoke operations in order to lower operating costs. In Jiang and Barnhart (2009), it is shown that dynamic airline scheduling, an approach that makes minor adjustments to flight schedules in the booking period by re-fleeting and re-timing flight legs, can significantly improve utilization of capacity and hence increase profit. In this paper, we develop robust schedule design models and algorithms to generate schedules that facilitate the application of dynamic scheduling in de-banked hub-and-spoke operations. Such schedule design approaches are robust in the sense that the schedules produced can more easily be manipulated in response to demand variability when embedded in a dynamic scheduling environment. In our robust schedule design model, we maximize the number of potentially connecting itineraries weighted by their respective revenues. We provide two equivalent formulations of the robust schedule design model and develop a decomposition-based solution approach involving a variable reduction technique and a variant of column generation. We demonstrate, through experiments using data from a major U.S. airline that the schedule generated can improve profitability when dynamic scheduling is applied. It is also observed that the greater the demand variability, the more profit our robust schedules achieve when compared to existing ones

Large-scale mixed integer optimization approaches for scheduling airline operations under irregularity

Perhaps no single industry has benefited more from advancements in computation, analytics, and optimization than the airline industry. Operations Research (OR) is now ubiquitous in the way airlines develop their schedules, price their itineraries, manage their fleet, route their aircraft, and schedule their crew. These problems, among others, are well-known to industry practitioners and academics alike and arise within the context of the planning environment which takes place well in advance of the date of departure. One salient feature of the planning environment is that decisions are made in a frictionless environment that do not consider perturbations to an existing schedule. Airline operations are rife with disruptions caused by factors such as convective weather, aircraft failure, air traffic control restrictions, network effects, among other irregularities. Substantially less work in the OR community has been examined within the context of the real-time operational environment. While problems in the planning and operational environments are similar from a mathematical perspective, the complexity of the operational environment is exacerbated by two factors. First, decisions need to be made in as close to real-time as possible. Unlike the planning phase, decision-makers do not have hours of time to return a decision. Secondly, there are a host of operational considerations in which complex rules mandated by regulatory agencies like the Federal Administration Association (FAA), airline requirements, or union rules. Such restrictions often make finding even a feasible set of re-scheduling decisions an arduous task, let alone the global optimum. The goals and objectives of this thesis are found in Chapter 1. Chapter 2 provides an overview airline operations and the current practices of disruption management employed at most airlines. Both the causes and the costs associated with irregular operations are surveyed. The role of airline Operations Control Center (OCC) is discussed in which serves as the real-time decision making environment that is important to understand for the body of this work. Chapter 3 introduces an optimization-based approach to solve the Airline Integrated Recovery (AIR) problem that simultaneously solves re-scheduling decisions for the operating schedule, aircraft routings, crew assignments, and passenger itineraries. The methodology is validated by using real-world industrial data from a U.S. hub-and-spoke regional carrier and we show how the incumbent approach can dominate the incumbent sequential approach in way that is amenable to the operational constraints imposed by a decision-making environment. Computational effort is central to the efficacy of any algorithm present in a real-time decision making environment such as an OCC. The latter two chapters illustrate various methods that are shown to expedite more traditional large-scale optimization methods that are applicable a wide family of optimization problems, including the AIR problem. Chapter 4 shows how delayed constraint generation and column generation may be used simultaneously through use of alternate polyhedra that verify whether or not a given cut that has been generated from a subset of variables remains globally valid. While Benders' decomposition is a well-known algorithm to solve problems exhibiting a block structure, one possible drawback is slow convergence. Expediting Benders' decomposition has been explored in the literature through model reformulation, improving bounds, and cut selection strategies, but little has been studied how to strengthen a standard cut. Chapter 5 examines four methods for the convergence may be accelerated through an affine transformation into the interior of the feasible set, generating a split cut induced by a standard Benders' inequality, sequential lifting, and superadditive lifting over a relaxation of a multi-row system. It is shown that the first two methods yield the most promising results within the context of an AIR model.PhDCommittee Co-Chair: Clarke, John-Paul; Committee Co-Chair: Johnson, Ellis; Committee Member: Ahmed, Shabbir; Committee Member: Clarke, Michael; Committee Member: Nemhauser, Georg

Methods for Improving Robustness and Recovery in Aviation Planning.

In this dissertation, we develop new methods for improving robustness and recovery in aviation planning. In addition to these methods, the contributions of this dissertation include an in-depth analysis of several mathematical modeling approaches and proof of their structural equivalence. Furthermore, we analyze several decomposition approaches, the difference in their complexity and the required computation time to provide insight into selecting the most appropriate formulation for a particular problem structure. To begin, we provide an overview of the airline planning process, including the major components such as schedule planning, fleet assignment and crew planning approaches. Then, in the first part of our research, we use a recursive simulation-based approach to evaluate a flight schedule's overall robustness, i.e. its ability to withstand propagation delays. We then use this analysis as the groundwork for a new approach to improve the robustness of an airline's maintenance plan. Specifically, we improve robustness by allocating maintenance rotations to those aircraft that will most likely benefit from the assignment. To assess the effectiveness of our approach, we introduce a new metric, maintenance reachability, which measures the robustness of the rotations assigned to aircraft. Subsequently, we develop a mathematical programming approach to improve the maintenance reachability of this assignment. In the latter part of this dissertation, we transition from the planning to the recovery phase. On the day-of-operations, disruptions often take place and change aircraft rotations and their respective maintenance assignments. In recovery, we focus on creating feasible plans after such disruptions have occurred. We divide our recovery approach into two phases. In the first phase, we solve the Maintenance Recovery Problem (MRP), a computationally complex, short-term, non-recurrent recovery problem. This research lays the foundation for the second phase, in which we incorporate recurrence, i.e. the property that scheduling one maintenance event has a direct implication on the deadlines for subsequent maintenance events, into the recovery process. We recognize that scheduling the next maintenance event provides implications for all subsequent events, which further increases the problem complexity. We illustrate the effectiveness of our methods under various objective functions and mathematical programming approaches.Ph.D.Industrial & Operations EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/91539/1/mlapp_1.pd