273
Заметим, что в качестве числа K, фигурирующего в определении
2, можно принять число n − 1. Теорема 2 доказана.
Замечание. Так как в силу теорем 1 и 2 полная управляемость
и полная наблюдаемость системы (1) равносильны полной управля-
емости и наблюдаемости пар (A, b) и (A, c) соответственно, а послед-
ние в силу теоремы 2 из § 3, гл.II — свойству невырожденности пе-
редаточной функции W (z) = c
∗
(A −zI)
−1
b, то, как и в непрерывном
случае, для полной управляемости и полной наблюдаемости системы
(1) необходимо и достаточно, чтобы её передаточная функция W(z)
была невырожденной.
3. Стабилизируемость.
Дадим сначала следующее определение, аналогичное соответству-
ющему определению в непрерывном случае.
О п р е д е л е н и е 3. Система (1) называется стабилизи-
руемой, если существует обратная связь (полная, т.е. c = I)
u
k
= s
∗
x
k
(k = 0, 1, 2, ···), (10)
где s — постоянная (n×m)-матрица такая, что замкнутая систе-
ма (1), (10), т.е. система
x
k+1
= (A + bs
∗
)x
k
(k = 0, 1, 2, ···) (11)
асимптотически устойчива.
В силу теоремы 2 из § 1 система (1) стабилизируема тогда и только
тогда, когда существует постоянная (n×m)-матрица s такая, что все
собственные числа матрицы A + bs
∗
лежат внутри единичного круга
|p| < 1 (p ∈ C).
Имеет место аналог теоремы из § 4 главы III.
Теорема 3. (Теорема о стабилизации.) Пусть система (1)
полностью управляема. Тогда она стабилизируема.
Д о к а з а т е л ь с т в о . В силу теоремы о стабилизации для
непрерывных систем (см. § 4, гл.III) по описанному там алгоритму
можно построить вещественную матрицу s порядка (n × m) такую,
чтобы все собственные числа матрицы A + bs
∗
располагались произ-
вольно в отрицательной полуоси вещественной прямой, в частности,
лежали внутри интервала (−1, 0). Тогда согласно теореме 2 из § 1
система (11) асимптотически устойчива. Теорема 3 доказана.