Algorithms to compute the largest invariant set contained in an algebraic set for continuous-time and discrete-time nonlinear systems | IEEE Journals & Magazine | IEEE Xplore