https://123dok.net/document/y6ep1p8g-invariance-symmetric-convex-sets-discrete-time-saturated-systems.html