Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude 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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.13727
curl -X POST /api/v1/records/arxiv/2604.13727/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.13727/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'