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, however, complicates the stability analysis of the system since, given the additional unit constraints, the resulting dynamics evolve on non-contractible manifolds. In this paper, we present a framework to verify almost global asymptotic stability of such systems using LaSalle’s invariance principle and sum-of-squares programming, simplifying the search for Lyapunov functions. The framework is then applied to two examples: two-axis attitude acquisition utilizing aerodynamics in very low Earth orbits, and three-axis attitude acquisition for a satellite subject to gravity gradient torques in a circular orbit.
%0 Journal Article
%1 Geyer_sos_manifold_spacecraft_2026
%A Geyer, Fabian
%A Tuttas, Friedrich
%A Fichter, Walter
%A Cunis, Torbjørn
%D 2026
%I Elsevier BV
%J European Journal of Control
%K
%R 10.1016/j.ejcon.2026.101587
%T Sum-of-squares stability verification on manifolds with applications in spacecraft attitude control
%U http://dx.doi.org/10.1016/j.ejcon.2026.101587
%X 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, however, complicates the stability analysis of the system since, given the additional unit constraints, the resulting dynamics evolve on non-contractible manifolds. In this paper, we present a framework to verify almost global asymptotic stability of such systems using LaSalle’s invariance principle and sum-of-squares programming, simplifying the search for Lyapunov functions. The framework is then applied to two examples: two-axis attitude acquisition utilizing aerodynamics in very low Earth orbits, and three-axis attitude acquisition for a satellite subject to gravity gradient torques in a circular orbit.
@article{Geyer_sos_manifold_spacecraft_2026,
abstract = {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, however, complicates the stability analysis of the system since, given the additional unit constraints, the resulting dynamics evolve on non-contractible manifolds. In this paper, we present a framework to verify almost global asymptotic stability of such systems using LaSalle’s invariance principle and sum-of-squares programming, simplifying the search for Lyapunov functions. The framework is then applied to two examples: two-axis attitude acquisition utilizing aerodynamics in very low Earth orbits, and three-axis attitude acquisition for a satellite subject to gravity gradient torques in a circular orbit.},
added-at = {2026-08-05T11:46:25.000+0200},
author = {Geyer, Fabian and Tuttas, Friedrich and Fichter, Walter and Cunis, Torbjørn},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e8deb0440e1b6df558cb863d068b8e87/sfb%201667%20atlas},
doi = {10.1016/j.ejcon.2026.101587},
interhash = {a46ed190ef9abfb042da40cdd787ac1b},
intrahash = {e8deb0440e1b6df558cb863d068b8e87},
issn = {0947-3580},
journal = {European Journal of Control},
keywords = {},
month = {July},
publisher = {Elsevier BV},
timestamp = {2026-08-05T11:56:02.000+0200},
title = {Sum-of-squares stability verification on manifolds with applications in spacecraft attitude control},
url = {http://dx.doi.org/10.1016/j.ejcon.2026.101587},
year = 2026
}
