This repository contains the supplementary MATLAB code for the paper "Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control," accepted for presentation at the European Control Conference (ECC) 2026 (an extended version is available at arXiv:2604.13727).

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. 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.