Print this page

Air Traffic Control

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

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 w=rong 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

Previous page: Optimal Control
Next page: Air Traffic Management