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