Controlled invariance for nonlinear Roesser models

We study polynomially nonlinear, continuous Roesser models. First we characterize when a variety V is invariant for an autonomous system. Then we derive conditions to decide whether V is controlled invariant, i.e., whether it can be made invariant through polynomial state feedback.