Стабилизируемость дискретных систем над кольцами

Рассматриваются линейные неавтономные дискретные системы с одним входом в пространстве $K^n$, где $K$ – произвольное кольцо с единицей. Дано понятие тотальной управляемости и показано, что каждая тотально управляемая система может быть представлена в канонической форме (т.е. в виде скалярного уравнения $n$-го порядка с коэффициентами из множества $K$); поэтому любая из них стабилизируема в следующем смысле: при некоторой линейной обратной связи все решения равны нулю, начиная с какого-то конечного момента времени.