Air Traffic Control

For Air Traffic Control (ATC), we develop a set of automation algorithms and supporting tools such as

• Safe separation assurance;
• Aircraft tracking and 4D trajectory prediction;
• Airspace/airport conformance monitoring and safety verification;
• Modeling the national airspace system (NAS) with uncertainty; and
• Dynamic airspace reconfiguration.

Recently our ATC research focuses on aviation safety and security. The algorithms and methodologies developed for aviation safety and security include

• Formal verification and validation (V&V) for flight deck;
• Human-machine interaction (HMI) issue (e.g., pilot’s wrong interaction with autopilot in the cockpit) detection; and
• Big data analytics for large-scale flight data analysis using data mining and machine learning techniques.

Image from NASA