Computing control invariant sets of cascade nonlinear systems: Decomposition and distributed computing. (March 2023)