□ 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


    Access

    Download


    Export, share and cite



    Title :

    General aviation landing assistance using formal methods-based system design


    Contributors:


    Publication date :

    2012-10-01


    Size :

    666867 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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 | European Patent Office | 2017

    Free access

    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