The Computation of Full-complexity Polytopic Robust Control Invariant Sets - Liu, C; Jaimoukha, I (IEEE, 2015)