Title :
A geometric approach to strategic conflict detection and resolution [ATC]
Author :
Geser, AIfons ; Munoz, C.
Author_Institution :
ICASE, NASA Langley Res. Center, Hampton, VA, USA
Abstract :
Conflict detection and resolution (CD and R) systems predict loss of separation between aircraft and propose conflict avoidance maneuvers for the aircraft involved in the conflict. Given a pair of aircraft in conflict, the ownship and the intruder, the resolution system diverts the ownship from its original trajectory. In this paper, we introduce the concept of recovery course. A recovery course redirects the ownship to its original target waypoint without introducing new conflicts, in a geometric optimal way. Based on resolution and recovery concepts, we also develop a strategic CD and R approach that produces conflict-free flight plans for the ownship and the intruder aircraft. The resolution and recovery algorithm is computationally efficient and amenable to formal verification. We provide a rigorous analysis of the problem and the basis of the correctness proof of our approach.
Keywords :
aerospace computing; air traffic control; aircraft control; formal verification; geometric programming; CD/R systems; air traffic control; aircraft redirection; aircraft separation loss prediction; conflict avoidance maneuvers; conflict-free flight plans; formal verification; geometric ATC strategic conflict detection/resolution systems; intruder aircraft; optimization; ownship aircraft trajectory; ownship recovery course; target waypoints; Aerospace control; Air traffic control; Aircraft; Communications technology; Formal verification; NASA; Surveillance; Technology management; Telecommunication traffic; Trajectory;
Conference_Titel :
Digital Avionics Systems Conference, 2002. Proceedings. The 21st
Print_ISBN :
0-7803-7367-7
DOI :
10.1109/DASC.2002.1067985
