Computation and bounding of robust invariant sets for uncertain systems