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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety verification of conflict resolution manoeuvres


    Beteiligte:
    Tomlin, C. (Autor:in) / Mitchell, I. (Autor:in) / Ghosh, R. (Autor:in)


    Erscheinungsdatum :

    01.06.2001


    Format / Umfang :

    505842 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Generation of conflict resolution manoeuvres for air traffic management

    Kosecka, J. / Tomlin, C. / Pappas, G. et al. | Tema Archiv | 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