Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System (AIAA 2016-0222)


    Contributors:

    Conference:

    AIAA Infotech Aerospace Conference 2016 ; 2016 ; San Diego



    Publication date :

    2016-01-01


    Size :

    15 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System

    Gross, Kerianne H. / Clark, Matthew / Hoffman, Jonathan A. et al. | AIAA | 2016


    CubeSat Attitude Control Simulator Design (AIAA 2018-1391)

    Thomas, Dylan / Wolosik, Anthony T. / Black, Jonathan | British Library Conference Proceedings | 2018


    An Air-Launched Hypersonic Vehicle Performance Model (AIAA 2006-0222)

    Doolan, C. J. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2006


    Software safety architecture that can be formally verified

    Cossy,M. / STZ Softwaretechnik,DE | Automotive engineering | 2004


    A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)

    Narkawicz, Anthony / Munoz, Cesar | British Library Conference Proceedings | 2015