FORMAL VERIFICATION APPLIED TO SPACECRAFT ATTITUDE CONTROL
AIAA SciTech Forum and Exposition ; 2021 ; Online
2021
Conference paper
English
Enhancing Spacecraft Safety Through Formal Verification of Attitude Control Systems
Springer Verlag | 2025
|Modal Analysis Applied to Spacecraft Attitude Control
AIAA | 2007
|