On the computation of local invariant sets for nonlinear systems | IEEE Conference Publication | IEEE Xplore