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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Safety verification of conflict resolution manoeuvres


    Contributors:
    Tomlin, C. (author) / Mitchell, I. (author) / Ghosh, R. (author)


    Publication date :

    2001-06-01


    Size :

    505842 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Generation of conflict resolution manoeuvres for air traffic management

    Kosecka, J. / Tomlin, C. / Pappas, G. et al. | Tema Archive | 1997



    Safety Verification of Conflict Resolution Maneuvers

    Tomlin, C. J. / Mitchell, I. / Ghosh, R. | British Library Online Contents | 2001


    Equilibrium Manoeuvres

    Wright, Jan R. / Cooper, Jonathan E. | Wiley | 2014


    Dynamic Manoeuvres

    Wright, Jan R. / Cooper, Jonathan E. | Wiley | 2014