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. ©2009 IEEE.
|Original language||English (US)|
|Title of host publication||AIAA/IEEE Digital Avionics Systems Conference - Proceedings|
|State||Published - Dec 1 2009|