Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    HIGH ASSURANCE RUN-TIME MONITORING ARCHITECTURE FOR AUTONOMOUS CONTROL


    Contributors:
    Chou, Yi (author) / Zutshi, Aditya (author) / Clark, Matthew (author)

    Conference:

    AIAA SciTech Forum and Exposition ; 2021 ; Online



    Publication date :

    2021



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English


    Classification :

    BKL:    50.03 Methoden und Techniken der Ingenieurwissenschaften / 55.50 Luftfahrzeugtechnik



    High Assurance Run-Time Monitoring Architecture for Autonomous Control

    Chou, Yi / Zutshi, Aditya / Clark, Matthew | AIAA | 2021


    Formal Assurance for Cognitive Architecture Based Autonomous Agent

    S. Bhattacharyya / T. Eskridge / N. Neogi et al. | NTIS | 2017


    Formal Assurance for Cognitive Architecture Based Autonomous Agent

    Bhattacharyya, Siddhartha / Eskridge, Thomas / Neogi, Natasha et al. | NTRS | 2017


    Software assurance of autonomous spacecraft control

    Bocchino, Robert / Huntsberger, Terry / Feather, Martin S. et al. | NTRS | 2020