Robust obstacle avoidance for constrained linear discrete time systems: A set-theoretic approach.