Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Gross, Kerlanne H. (Autor:in) / Clark, Matthew (Autor:in) / Hoffman, Jonathan A. (Autor:in) / Fifarek, Aaron (Autor:in) / Rattan, Kuldip (Autor:in) / Swenson, Eric (Autor:in) / Whalen, Michael (Autor:in) / Wagner, Lucas (Autor:in)

    Kongress:

    AIAA Infotech Aerospace Conference 2016 ; 2016 ; San Diego



    Erscheinungsdatum :

    01.01.2016


    Format / Umfang :

    15 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    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 | Kraftfahrwesen | 2004


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

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