An enhanced hierarchy for (robust) controlled invariance | IEEE Conference Publication | IEEE Xplore