This repository contains the research code accompanying the paper Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control.

Requirements

• Matlab
• Matlab Symbolic Math Toolbox
• Git
• CasADi 3.6 or newer
• Mosek 11 (older versions could work aswell)

Installation

1. Open a terminal and run

git submodule update --init --recursive

in the root folder of this repository.

2. In Matlab, double click the project file to initialize the path/environment.