Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Evaluation of Formal Methods Tools Applied to a 6U CubeSat Attitude Control System (AIAA 2015-4529)


    Contributors:

    Conference:

    Space ; 2015 ; Pasadena, CA



    Publication date :

    2015-01-01


    Size :

    12 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Evaluation of Formal Methods Tools Applied to a 6U CubeSat Attitude Control System

    Gross, Kerianne / Hoffman, Jonathan / Clark, Matthew et al. | AIAA | 2015


    CubeSat Attitude Control Simulator Design (AIAA 2018-1391)

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


    Nr. 4529

    DataCite | 1932


    Genetic Algorithm Based LQR for Attitude Control of a Magnetically Actuated CubeSat (AIAA 2015-0886)

    Kukreti, Sarthak / Walker, Alex / Putman, Phil et al. | British Library Conference Proceedings | 2015


    Saturated RISE Tracking Control of Store-Induced Limit Cycle Oscillations (AIAA 2013-4529)

    Bialy, B. / Andrews, L. / Curtis, J.W. et al. | British Library Conference Proceedings | 2013