Controllability Properties in Safe Regions

For nonlinear control systems in discrete time, the global controllability structure within a safe region of the state space is analyzed. The main results characterize those safe regions, where every point can be steered into a relatively invariant subset of complete approximate controllability. Furthermore, for parameter dependent systems, loss of invariance is analyzed.