A Mathematical Analysis of Conflict Prevention Information
A Mathematical Analysis of Conflict Prevention Information
- Neue Suche nach: Maddalon, Jeffrey M.
- Neue Suche nach: Butler, Ricky W.
- Neue Suche nach: Munoz, Cesar A.
- Neue Suche nach: Dowek, Gilles
- Neue Suche nach: Maddalon, Jeffrey M.
- Neue Suche nach: Butler, Ricky W.
- Neue Suche nach: Munoz, Cesar A.
- Neue Suche nach: Dowek, Gilles
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.
Dokumentinformationen
A Mathematical Analysis of Conflict Prevention Information
9th AIAA Aviation Technology, Integration, and Operations Conference (ATIO) and Aircraft Noise and Emissions Reduction Symposium (ANERS) ; 2009 ; Hilton Head, SC, United States
2009-09-21
Aufsatz (Konferenz)
Keine Angabe
Englisch
Ähnliche Titel
A Mathematical Analysis of Conflict Prevention Information
| British Library Conference Proceedings | 2009
Information Technology - Safety Analysis of Conflict Prevention Algorithms
Online Contents | 2014
Mathematical Model of the Interpersonal Conflict o...
| AIAA | 2005