Abstact
Air traffic control systems perform many functions in order to safely and efficiently move air traffic through the national and international airspace. A key component of these systems is an accurate prediction of where the individual flights will be over time. This project builds a framework to both do that prediction and use the prediction to examine various air traffic control algorithms for both accuracy and efficiency. This framework is design for reuse, such that future research into ATC algorithms can be conducted with simple extensions to the system.