Formal Verification Applied to Spacecraft Attitude Control
AIAA Scitech 2021 Forum
01.01.2021
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
|