Simple Sufficient Conditions for Reachability of Discrete-Time Polynomial Systems

We consider reachability of discrete-time polynomial systems. The reachability of such systems can be interpreted as the surjectivity of the polynomial mappings defined by the systems. For a polynomial mapping between suitable spaces of the same dimensions, it has been shown that the injectivity of the mapping also implies the surjectivity. By utilizing this fact, we derive sufficient conditions for the reachability of the polynomial systems, which essentially check the injectivity of the polynomial mappings.