On global and local observability of nonlinear polynomial systems: a decidable criterion

摘要

It is very difficult to check the observability of nonlinear systems. Even for local observability, the observability rank condition provides only a sufficient condition. Much more difficult is the verification of global observability. This paper deals with the local and global observability analysis of polynomial systems based on algebraic geometry. In particular, we derive a decidable criterion for the verification of global observability of polynomial systems. Our framework can also be employed for local observability analysis.