Effective computation of maximal controlled invariant submodules over a principal ring
J. Assan, J.F. Lafay, Jean Jacques Loiseau, Anna Maria Perdon · 2003
For systems with coefficients over a ring, classical algorithms for the computation of the greatest controlled invariant submodule contained in a given submodule do not converge in a finite number of steps. Therefore, it was not possible to compute this submodule. In this paper, we give a new characterization of this submodule which allows to compute it.