https://5dok.net/document/qo5pg6mm-unconstrained-constrained-stabilization-bilinear-discrete-polyhedral-lyapunov-functions.html