Location of Repository

A mathematical analysis of conflict prevention information

By Jeffrey M. Maddalon, César A. Muñoz, Ricky W. Butler and Gilles Dowek


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 intermediateterm lookahead times. The framework is illustrated with a formally verified algorithm for 2-dimensional track angle prevention bands. Nomenclature Gamber set of track angle bands without a loss of separation within time Tred, but within time Tamber Ggreen set of track angle bands without a loss of separation within time Tamber Gred set of track angle bands with a loss of separation within time Tred G<T set of track angles with a loss of separation within time T G o,i <T set of track angles with a loss of separation within T between the ownship and traffic aircraft s ownship aircraft position relative to the traffic aircraft, s = so − si si initial position of the traffic aircraft so initial position of the ownship aircraft Tamber intermediate-term lookahead time Tred near-term lookahead time T generic lookahead time vi initial velocity of the traffic aircraft vo initial velocity of the ownship aircraft new velocity vector for the ownship. We seek this vector. v ′ o I

Year: 2009
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://shemesh.larc.nasa.gov/p... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.