□ 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

    Download


    Exportieren, teilen und zitieren



    Titel :

    General aviation landing assistance using formal methods-based system design


    Beteiligte:


    Erscheinungsdatum :

    01.10.2012


    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


    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

    Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study

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


    General Aviation Landing Research at Princeton University

    Ellis, David R. | SAE Technical Papers | 1973