2009年 Rigorous Determination of Maximum Controlled Invariant Feasible Sets 2009 European Control Conf. (ECC)