A distributed control invariant set computing algorithm for nonlinear cascade systems | IEEE Conference Publication | IEEE Xplore