Sammendrag
When scheduling the movement of individual vehicles on a traffic network, one must ensure that they never get too close to one another. This is normally modelled by segmenting the network and forbidding two vehicles to occupy the same segment at the same time. This approximation is often insufficient or too restraining. This study develops and systematises the use of conflict regions to model spatial proximity constraints. By extending the classical disjunctive programming approach to job-shop scheduling problems, we demonstrate how conflict regions can be exploited to efficiently schedule the collective movements of a set of vehicles, in this case aircraft moving on an airport ground network. We also show how conflict regions can be used in the short-term control of vehicle speeds to avoid collisions and deadlocks. The overall approach was implemented in a software system for air traffic management at airports and successfully evaluated for scheduling and guiding airplanes during an extensive human in the loop simulation exercise for the Budapest airport. Through simulations, we also provide numerical results to assess the computational efficiency of our scheduling algorithm.