Computing robust control invariant sets of constrained nonlinear systems: A graph algorithm approach. (February 2021)