Abstract
This paper analyzes priority rules, such as those in Part 91.113 of the Federal Aviation Regulations. Such rules determine which of two aircraft should maneuver in a given conflict scenario. While the rules in 91.113 are well accepted, other concepts of operation for Next Generation Air Transportation System (NextGen), such as self separation, may allow for different priority rules. A mathematical framework is presented that can be used to analyze a general set of priority rules and enables proofs of important properties. Specific properties considered in this paper include safety, effectiveness, and stability. A set of rules is said to be safe if it ensures that it is never the case that both aircraft have priority. They are effective if exactly one aircraft has priority in every situation. Finally, a set of rules is called stable if it produces compatible results even under small changes to input data.
Original document
The different versions of the original document can be found in:
- https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20120015460.pdf,
- https://ntrs.nasa.gov/search.jsp?R=20120015460,
- https://trid.trb.org/view.aspx?id=1248155,
- https://repository.exst.jaxa.jp/dspace/handle/a-is/240735,
- http://shemesh.larc.nasa.gov/people/cam/publications/atio2012-draft.pdf,
- https://academic.microsoft.com/#/detail/2100936921
Document information
Published on 01/01/2012
Volume 2012, 2012
DOI: 10.2514/6.2012-5544
Licence: CC BY-NC-SA license
Share this document
Keywords
claim authorship
Are you one of the authors of this document?