Full-complexity characterization of control-invariant domains for systems with uncertain parameter dependence

This letter proposes an algorithm to find a robust control invariant (RCI) set of desired complexity and the associated linear, state-feedback control law. The candidate RCI set is restricted to be symmetric around the origin. The algorithm is applicable to rational parameter dependent systems with bounded additive disturbance. The system constraints are framed as simple affine inequalities whereas the invariance condition as a set of sufficient LMI conditions. The proposed iterative algorithm is guaranteed to be recursively feasible and converge to some stationary point