By Topic

An example of horizontal conflict alert resolution using symbolic reasoning

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Mei Li ; Northeastern Univ., Boston ; Kokar, M.M.

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 (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.

Published in:

Digital Avionics Systems Conference, 2007. DASC '07. IEEE/AIAA 26th

Date of Conference:

21-25 Oct. 2007