Scipediacontent: Scipediacontent moved page Draft Content 213690333 to Hagen et al 2013a

2021-01-28T16:01:32Z

Scipediacontent moved page Draft Content 213690333 to Hagen et al 2013a

Scipediacontent: Created page with " == Abstract == Our previous work presented an approach for developing high confidence algorithms for recovering aircraft from loss of separation situations. The correctness..."

2021-01-28T16:01:27Z

Created page with " == Abstract == Our previous work presented an approach for developing high confidence algorithms for recovering aircraft from loss of separation situations. The correctness..."

New page

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

== Original document ==

The different versions of the original document can be found in:

* [http://shemesh.larc.nasa.gov/people/jmm/dasc2012--revised.pdf http://shemesh.larc.nasa.gov/people/jmm/dasc2012--revised.pdf]

* [http://xplorestaging.ieee.org/ielx5/6363477/6382265/06382343.pdf?arnumber=6382343 http://xplorestaging.ieee.org/ielx5/6363477/6382265/06382343.pdf?arnumber=6382343],
: [http://dx.doi.org/10.1109/dasc.2012.6382343 http://dx.doi.org/10.1109/dasc.2012.6382343]

* [http://xplorestaging.ieee.org/ielx5/6363477/6382265/06383021.pdf?arnumber=6383021 http://xplorestaging.ieee.org/ielx5/6363477/6382265/06383021.pdf?arnumber=6383021],
: [http://dx.doi.org/10.1109/dasc.2012.6383021 http://dx.doi.org/10.1109/dasc.2012.6383021]

* [https://shemesh.larc.nasa.gov/people/cam/publications/dasc2012-draft.pdf https://shemesh.larc.nasa.gov/people/cam/publications/dasc2012-draft.pdf],
: [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006383021 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006383021],
: [https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20120016740.pdf https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20120016740.pdf],
: [https://ntrs.nasa.gov/search.jsp?R=20120016740 https://ntrs.nasa.gov/search.jsp?R=20120016740],
: [https://trid.trb.org/view/1249638 https://trid.trb.org/view/1249638],
: [https://ieeexplore.ieee.org/document/6383021 https://ieeexplore.ieee.org/document/6383021],
: [http://shemesh.larc.nasa.gov/people/cam/publications/dasc2012-draft.pdf http://shemesh.larc.nasa.gov/people/cam/publications/dasc2012-draft.pdf],
: [https://repository.exst.jaxa.jp/dspace/handle/a-is/240105 https://repository.exst.jaxa.jp/dspace/handle/a-is/240105],
: [https://academic.microsoft.com/#/detail/2031042346 https://academic.microsoft.com/#/detail/2031042346]

DOIS: 10.1109/dasc.2012.6382343 10.1109/dasc.2012.6383021

← Older revision	Revision as of 16:01, 28 January 2021
(No difference)

Hagen et al 2013a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 213690333 to Hagen et al 2013a

Scipediacontent: Created page with " == Abstract == Our previous work presented an approach for developing high confidence algorithms for recovering aircraft from loss of separation situations. The correctness..."