CATS: A Complete Air Traffic Simulator

The main ideas behind the design of CATS were to have a general purpose simulator able to be a stable basis for the development of other modules, representing different levels of Air Traffic Control and Air Traffic Management. The basic framework and hypothesis of the CATS simulator are introduced. Two approaches of automatic conflict resolution are detailed as examples. The first one deals with a centralized control system for high density areas and medium term (10 to 15 minutes ahead) control. The second one deals with an on board reactive short term (3 to 10 minutes ahead) automatic conflict solver. As both solvers use a conflict detection that is robust to uncertainties, a convex modeling of uncertainties is first introduced.