This validation plan describes the V2 validation activities planned for solution 1 of the PJ08 Advanced Airspace Management. The aim of the planned validation activities in Wave 1 is to complete V2 maturity level of the four Operational Improvements as foreseen in the Transition Validation Strategy...

We extend the new, efficient Path&Cycle formulation for the Hotspot Problem with two methods for dealing with windowed capacity constraints. We also discuss how to combine constraints to allow two-level capacity restricions for peak and average load respectively. Finally, we present computationa...

A central problem in traffic management is that of scheduling the movements of vehicles so as to minimize the cost of the schedule. This problem can be modeled as a job-shop scheduling problem. We present a new MILP formulation which is alternative to classical approaches such as big-M and time...