Computational Algebra techniques for linear dynamical systems over rings: State Estimations Problems | IEEE Conference Publication | IEEE Xplore