sdp/sos lyapunov examples from lecture