Algebraic Tools for the Analysis of State Space Models