국내 최대 기계 및 로봇 연구정보

기술보고서

기술보고서 게시판 내용
타이틀	The Search for Effective Algorithms for Recovery from Loss of Separation
저자	Butler, Ricky W.;; Hagen, George E.;; Maddalon, Jeffrey M.;; Munoz, Cesar A.;; Narawicz, Anthony J.
Keyword	AIR TRAFFIC CONTROL;; ALGORITHMS;; PROVING;; SAFETY;; SITUATIONAL AWARENESS;; THEOREMS;; TRAJECTORIES;; WORKLOADS (PSYCHOPHYSIOLOGY)
URL	http://hdl.handle.net/2060/20120016740
보고서번호	NF1676L-14472
발행년도	2012
출처	NTRS (NASA Technical Report Server)
ABSTRACT	Our previous work presented an approach for developing high confidence algorithms for recovering aircraft from loss of separation situations. The correctness theorems for the algorithms relied on several key assumptions, namely that state data for all local aircraft is perfectly known, that resolution maneuvers can be achieved instantaneously, and that all aircraft compute resolutions using exactly the same data. Experiments showed that these assumptions were adequate in cases where the aircraft are far away from losing separation, but are insufficient when the aircraft have already lost separation. This paper describes the results of this experimentation and proposes a new criteria specification for loss of separation recovery that preserves the formal safety properties of the previous criteria while overcoming some key limitations. Candidate algorithms that satisfy the new criteria are presented.