Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    FORMAL VERIFICATION APPLIED TO SPACECRAFT ATTITUDE CONTROL


    Contributors:

    Conference:

    AIAA SciTech Forum and Exposition ; 2021 ; Online



    Publication date :

    2021


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Formal Verification Applied to Spacecraft Attitude Control

    Lang, Kendra / Klett, Corbin / Hawkins, Kelsey et al. | AIAA | 2021


    Enhancing Spacecraft Safety Through Formal Verification of Attitude Control Systems

    Song, Chi / Peng, Zhuoyue / Hu, Yang et al. | Springer Verlag | 2025


    Modal Analysis Applied to Spacecraft Attitude Control

    Aranda, Joaquín / Crespo, Javier | AIAA | 2007