□ Identified reachable sets represent aircrafts capabilities □ Safe mode transitions can be determined □ Refined model provides greater situational awareness□ Verification of usability and accuracy through simulations □ Test flights


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    General aviation landing assistance using formal methods-based system design


    Beteiligte:


    Erscheinungsdatum :

    2012-10-01


    Format / Umfang :

    666867 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    General aviation landing assistance using formal methods-based system design

    Pointner, Wolfgang / Kotsis, Gabriele / Naderhirn, Michael | IEEE | 2012


    General aviation approach and landing practices

    Parker, L. C. / Goode, M. W. | NTRS | 1976



    Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study

    Jafer, Shafagh / Chhaya, Bharvi / Durak, Umut et al. | AIAA | 2016


    LANDING DECISION ASSISTANCE SYSTEM, LANDING DECISION ASSISTANCE METHOD, AND LANDING DECISION ASSISTANCE PROGRAM

    IIJIMA TOMOKO / MATAYOSHI NAOKI / YOSHIKAWA EIICHI | Europäisches Patentamt | 2017

    Freier Zugriff