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

Volume

1

fYear

2002

fDate

27-31 Oct. 2002

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Avionics Systems Conference, 2002. Proceedings. The 21st

Print_ISBN

0-7803-7367-7

Type

conf

DOI

10.1109/DASC.2002.1067985

Filename

1067985