A fuel optimal and reduced controller workload optimization model for conflict resolution

Despite the existence of several automated air traffic conflict resolution algorithms, there is a need for formulations that account for air traffic controller workload. This paper presents such an algorithm with controller workload constraints modeled parametrically. To this end, we first develop an integer programming model for general conflict resolution, which emphasizes the minimization of fuel costs, and runs in near real-time. A parametric procedure based on this model is then developed to consider controller workload limitations. Two versions of the parametric approach are described, along with computational results. It is demonstrated that both formulations can be used to capture a broad range of possible controller actions.