A constructive approach to algebraic observability

The authors address the problem of observability of polynomial discrete-time systems. The ideal theoretic definition is translated to effective computations in terms of Grobner bases. Linear system observability is a special case, and for general polynomial systems n samples are needed to determine observability, where n is the state dimension. The formulation yields a decision criterion as well as an implicit form of an observer