Software
In our course we formulated the problem of checking the stability as that of constructing a Lyapunov function, which in turn was formulated as a problem of solving the optimization problem of type semidefinite programming (with linear matrix inequalities, LMI) or type positive (nonnegative) polynomial programming (via sum-of-squares (SOS) programming). Hence, we need to be able to formulate and solve those optimization problems.