The computation of full-complexity polytopic robust control invariant sets | IEEE Conference Publication | IEEE Xplore