Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914475437719552 |
|---|---|
| author | Geyer, Fabian Tuttas, Friedrich Fichter, Walter Cunis, Torbjørn |
| author_facet | Geyer, Fabian Tuttas, Friedrich Fichter, Walter Cunis, Torbjørn |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_13727 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control Geyer, Fabian Tuttas, Friedrich Fichter, Walter Cunis, Torbjørn Optimization and Control 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. |
| title | Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control |
| topic | Optimization and Control |
| url | https://arxiv.org/abs/2604.13727 |