Controlled invariance for nonlinear systems: Two worked examples | IEEE Journals & Magazine | IEEE Xplore