  In this work, we present a distributed framework based on the graph algorithm
for computing control invariant set for nonlinear cascade systems. The proposed
algorithm exploits the structure of the interconnections within a process
network. First, the overall system is decomposed into several subsystems with
overlapping states. Second, the control invariant set for the subsystems are
computed in a distributed manner. Finally, an approximation of the control
invariant set for the overall system is reconstructed from the subsystem
solutions and validated. We demonstrate the efficacy and convergence of the
proposed method to the centralized graph-based algorithm using several
numerical examples including a six dimensional continuous stirred tank reactor
system.
