Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control

Fabian Geyer, Friedrich Tuttas, Walter Fichter +1

In the context of spacecraft attitude control, parametrizations such as direction vectors or quaternions are often used to avoid singularities in the attitude representation. This,…