/stability_sos

Sum-of-squares programming for dynamical stability

Primary LanguagePython

16-715 Final Project

Lyapunov stability verification using Sum-of-Squares (SOS) programming and related methods.

Dependencies

Mosek

Install Mosek using pip, as described here.

Drake

Install Drake using apt, as described here.

Folders:

  • examples: examples to test installed packages
  • src: sources of self-developed packages/modules/functions
  • test: test source codes