https://5dok.net/document/zpn62987-efficient-computation-complexity-controlled-invariant-uncertain-linear-systems.html