In air traffic control, two or more aircraft approaching each other within a close distance will create a conflict alert situation. To reduce the risk of mid-air collisions, a warning and resolution system is needed to issue alerts and provide maneuver resolutions. The current traffic-alert and collision avoidance system [1] (TCAS) resolves potential conflicts by issuing directives for vertical maneuvers. A lot of research has been done to investigate the possibility of increasing airspace capacity by incorporating horizontal maneuvering of aircraft. This paper discusses a new approach to computing the horizontal maneuver resolutions. More specifically, symbolic reasoning about dynamic systems in conflict alert situations is used to derive resolution advisories.
An example of horizontal conflict alert resolution using symbolic reasoning
2007 IEEE/AIAA 26th Digital Avionics Systems Conference ; 4.A.5-1-4.A.5-7
2007-10-01
296759 byte
Conference paper
Electronic Resource
English
Short Term Conflict Alert System
British Library Conference Proceedings | 1993
|Aircraft conflict-alert technique tested
Tema Archive | 1973
|Design of a Case-Based Reasoning System for Conflict Resolution
British Library Conference Proceedings | 1998
|Advanced Conflict Alert Algorithms for Air Traffic Control
British Library Conference Proceedings | 1996
|