https://5dok.net/document/y4wj376r-robust-synthesis-constrained-linear-state-feedback-polyhedral-invariant.html