Computational algebra techniques for linear dynamical systems over rings: State Estimations Problems