Lyapunov stability verification using Sum-of-Squares (SOS) programming and related methods.
Install Mosek using pip, as described here.
Install Drake using apt, as described here.
- examples: examples to test installed packages
- src: sources of self-developed packages/modules/functions
- test: test source codes