A set-valued filter for discrete time polynomial systems using sum of squares programming | IEEE Conference Publication | IEEE Xplore