We address the problem of generating provably-safe conflict resolution maneuvers for aircraft in uncertain environments. We assume that a maneuver is composed of a sequence of flight modes, which are segments of constant heading, of constant bank angle, or of constant airspeed. Each of these flight modes has associated to it the kinematics of the aircraft, and hence the maneuver is a hybrid system. While the flight modes are defined ahead of time, their sequencing and parameter values do not necessarily have to be. We present an algorithm for generating provably safe maneuvers, which is based on a general procedure for designing controllers for hybrid systems. The result is a maneuver, proven to be safe within the limits of the models used, which is a familiar sequence of commands easily executable by the flight management systems. The maneuvers may be viewed as protocols, or "rules of the road", and are well-defined for each conflict scenario. We present results for two example maneuvers.
Safety verification of conflict resolution manoeuvres
IEEE Transactions on Intelligent Transportation Systems ; 2 , 2 ; 110-120
2001-06-01
505842 byte
Article (Journal)
Electronic Resource
English
Generation of conflict resolution manoeuvres for air traffic management
Tema Archive | 1997
|Semi-optimal co-ordinated manoeuvres for aircraft conflict resolution
Online Contents | 2005
|Safety Verification of Conflict Resolution Maneuvers
British Library Online Contents | 2001
|Wiley | 2014
|Wiley | 2014
|