Commutative algebraic methods for controllability of discrete-time polynomial systems

摘要

In this paper, we consider controllability of discrete-time polynomial systems. First, we present a forward accessibility (local reachability) condition that can be verified in finite time, in contrast to conventional conditions. Second, we give a backward accessibility (local controllability) condition for an invertible system and a condition to verify invertibility. Finally, we derive sufficient conditions to test whether the forward accessible system is reachable and to test the backward accessible system is controllable.