Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Flight Deck Mode Confusion Detection Using Intent-based Probabilistic Model Checking (AIAA 2017-0345)


    Contributors:

    Conference:

    AIAA Information Systems-AIAA Infotech@Aerospace ; 2017 ; Grapevine, TX



    Publication date :

    2017-01-01


    Size :

    12 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Flight Deck Mode Confusion Detection using Intent-based Probabilistic Model Checking

    Suraj Nandiganahalli, Jayaprakash / Lee, Sangjin / Hwang, Inseok | AIAA | 2017


    Intent Inference-Based Flight-Deck Human-Automation Mode-Confusion Detection

    Lee, Sangjin / Hwang, Inseok / Leiden, Kenneth | AIAA | 2015


    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)

    Nandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok | British Library Conference Proceedings | 2016


    Automation Intent Inference Using the GFHMM for Flight Deck Mode Confusion Detection

    Lyu, Hao / Nandiganahalli, Jayaprakash Suraj / Hwang, Inseok | AIAA | 2018


    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion

    Suraj Nandiganahalli, Jayaprakash / Lee, Sangjin / Hwang, Inseok | AIAA | 2016