Data · dataset · 2026
Supplementary Material for Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control
Listed in DaRUS
This repository contains the supplementary MATLAB code for the paper "Sum-of-squares stability verification on manifolds with applications in spacecraft attitude control" published in the European Journal of Control (also presented at the European Control Conference (ECC) 2026).
Description
Requirements and Setup Clean dependency management is seamlessly handled through Git Submodules and MATLAB Project settings. The necessary setup components are contained within the external_dependencies and resources folders.
Implementation Details Core Implementations: Located in the scripts folder. This directory contains the example scripts used to obtain Lyapunov functions via Sum-of-Squares Optimization. These scripts can also serve as blueprints for solving similar control verification problems.
Read the rest (2 more)
Aerodynamic Toolbox: The +saero directory houses an object-oriented toolbox for computing aerodynamic torque for Very Low Earth Orbit (VLEO) satellites, specifically employed in the first example. Running the Examples To get started with reproducing the two example problems outlined in the paper, please follow these steps: Consult the README.md file for initial setup and execution guidelines. Navigate to the scripts folder to execute the primary verification scripts.
For more details on the code structure, you can also visit the corresponding GitHub Repository.
Links
Where it is published
- Dataverse dataset page darus.uni-stuttgart.de/dataset.xhtml?persistentId=doi%3A10.18419%2FDARUS-5526 ↗
landing page · from darus uni stuttgart de
- DOI doi.org/10.18419/darus-5526 ↗
DOI / persistent id · from darus uni stuttgart de
Catalogue records · 1
- Dataverse API darus.uni-stuttgart.de/api/datasets/:persistentId/?persistentId=doi%3A10.18419%2FDARU… ↗
metadata API · from darus uni stuttgart de
Topics
- Stated by source
- Engineering · Mathematical Sciences
- From keywords
- Engineering · Mathematics & Statistics
- Inferred from text
- Calculus of variations, mathematical aspects of systems theory and control theory 75%
Provenance · 1 source records, 11 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| DaRUS | doi:10.18419/DARUS-5526 | 10 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].anzsrc:field:490103 | enrichment · darus uni stuttgart de | taxonomy-embedding@1.1.0 | title+keywords+description (75%) |
| concepts[field].dataverse_subject:engineering | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| concepts[field].dataverse_subject:mathematical-sciences | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| concepts[field].local:field:engineering | mapping · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| concepts[field].local:field:mathematics-statistics | mapping · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| created_date | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | |
| description | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /description |
| publication_date | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | |
| title | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /name |
| updated_date | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | |
| version_label | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 |