Necessary condition for local observability of discrete-time polynomial systems | IEEE Conference Publication | IEEE Xplore