Computational algebra techniques for linear dynamical systems over rings: State estimations problems