Scipediacontent: Scipediacontent moved page Draft Content 384510501 to Butler et al 2009a

2021-02-03T18:04:19Z

Scipediacontent moved page Draft Content 384510501 to Butler et al 2009a

Scipediacontent: Created page with " == Abstract == In air traffic management, conflict prevention information refers to the guidance maneuvers, which if taken, ensure that an aircraft's path is conflict-free...."

2021-02-03T18:04:16Z

Created page with " == Abstract == In air traffic management, conflict prevention information refers to the guidance maneuvers, which if taken, ensure that an aircraft's path is conflict-free...."

New page

== Abstract ==

In air traffic management, conflict prevention information refers to the guidance maneuvers, which if taken, ensure that an aircraft's path is conflict-free. These guidance maneuvers take the form of changes to track angle or ground speed. Conflict prevention information may be assembled into prevention bands that advise the crew on maneuvers that should not be taken. Unlike conflict resolution systems, which presume that the aircraft already has a conflict, conflict prevention systems show conflicts for any maneuver, giving the pilot confidence that if a maneuver is made, then no near-term conflicts will result. Because near-term conflicts can lead to safety concerns, strong verification of information correctness is required. This paper presents a mathematical framework to analyze the correctness of algorithms that produce conflict prevention information incorporating an arbitrary number of traffic aircraft and with both a near-term and intermediate-term lookahead times. The framework is illustrated with a formally verified algorithm for 2-dimensional track angle prevention bands.

== Original document ==

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

* [http://shemesh.larc.nasa.gov/people/jmm/atio09.pdf http://shemesh.larc.nasa.gov/people/jmm/atio09.pdf]

* [http://arc.aiaa.org/doi/pdf/10.2514/6.2009-6907 http://arc.aiaa.org/doi/pdf/10.2514/6.2009-6907],
: [http://dx.doi.org/10.2514/6.2009-6907 http://dx.doi.org/10.2514/6.2009-6907]

* [http://core.ac.uk/display/21853062 http://core.ac.uk/display/21853062],
: [https://ntrs.nasa.gov/search.jsp?R=20090034971 https://ntrs.nasa.gov/search.jsp?R=20090034971],
: [https://repository.exst.jaxa.jp/dspace/handle/a-is/252763 https://repository.exst.jaxa.jp/dspace/handle/a-is/252763],
: [https://academic.microsoft.com/#/detail/2090327358 https://academic.microsoft.com/#/detail/2090327358]

* [ ]

← Older revision	Revision as of 18:04, 3 February 2021
(No difference)

Butler et al 2009a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 384510501 to Butler et al 2009a

Scipediacontent: Created page with " == Abstract == In air traffic management, conflict prevention information refers to the guidance maneuvers, which if taken, ensure that an aircraft's path is conflict-free...."