Formal Verification Applied to Spacecraft Attitude Control
AIAA Scitech 2021 Forum
2021-01-01
Conference paper
Electronic Resource
English
FORMAL VERIFICATION APPLIED TO SPACECRAFT ATTITUDE CONTROL
TIBKAT | 2021
|Enhancing Spacecraft Safety Through Formal Verification of Attitude Control Systems
Springer Verlag | 2025
|Modal Analysis Applied to Spacecraft Attitude Control
AIAA | 2007
|