Human Control of Air Traffic Trajectory Optimizer

Supervisory constraints are developed for a trajectory optimizer for air traffic. By choosing to apply combinations of these constraints, a human controller can exercise intuitive influence over how conflicts between aircraft are resolved. This offers a compromise between the flexibility of an automated optimizer and the insight of a human controller. Requirements, such as the sense of resolution, - i.e., which aircraft goes first or over - are encoded as constraints on a mixed-integer linear program. Examples verify that the constraints work as expected and that the computation times required are reasonable.