Известия РАН. Теория и системы управления, 2023, № 2, стр. 26-43

ПРИВЕДЕНИЕ МОДАЛЬНОГО УПРАВЛЕНИЯ ПО ВЫХОДУ ДЛЯ СТАЦИОНАРНЫХ СИСТЕМ ЧЕТВЕРТОГО ПОРЯДКА С ДВУМЯ ВХОДАМИ И ДВУМЯ ВЫХОДАМИ К УПРАВЛЕНИЮ ПО СОСТОЯНИЮ СИСТЕМОЙ С ОДНИМ ВХОДОМ

Н. Е. Зубов ab*, А. В. Лапин ac

a МГТУ им. Н.Э. Баумана
Москва, Россия

b ПАО “РКК “Энергия” им. С.П. Королёва”
Королёв, Россия

c ФАУ “ГосНИИАС”,
Москва, Россия

* E-mail: nik.zubov@gmail.com

Поступила в редакцию 18.06.2022
После доработки 22.07.2022
Принята к публикации 26.09.2022

Полный текст (PDF)

Аннотация

Представлена задача модального управления по выходу динамическими системами четвертого порядка с двумя входами и двумя выходами. Для определенного класса таких систем предложен способ приведения рассматриваемой задачи к задаче управления (прямой вариант) или наблюдения (дуальный вариант) для системы с одним входом. Подход основывается на двух последовательных преобразованиях подобия замкнутой системы “объект–регулятор по выходу”, дающих возможность обнулить одну из строк матрицы регулятора по состоянию или один из столбцов матрицы наблюдателя. Исследован класс систем, для которых условие такого обнуления одновременно является условием существования регулятора по выходу. Доказаны теоремы о неравенстве индексов управляемости и наблюдаемости в системе при выполнении представленных условий. Предложен вариант использования известных формул Басса–Гура и Аккермана, существенно упрощающий символьные выражения для регулятора (наблюдателя) в преобразованной системе. Рассмотрены примеры применения предлагаемого подхода, как в прямом, так и в дуальном варианте. Символьные вычисления в MATLAB подтверждают достоверность результатов.

Введение. Объекты управления, описываемые системами четвертого порядка с двумя управляющими входами, достаточно распространены как в авиации [1], когда продольное [2] и боковое [3] движения летательного аппарата рассматриваются раздельно, так и при орбитальном движении космического аппарата во взаимосвязанных каналах крен–рысканье [4]. Возможные отказы измерительной аппаратуры могут приводить к ситуации, когда число измеряемых выходов равно двум. Для таких объектов решение задачи стабилизации (с заданным размещением полюсов замкнутой системы управления) путем построения наблюдателя состояния [5] из-за ошибок оценивания может приводить к недостаточной точности стабилизации, а также к повышению длительности переходных процессов и расхода топлива. Поэтому исследования, направленные на решение задачи управления по выходу системой четвертого порядка с двумя входами и двумя выходами, являются актуальными.

Ввиду математической сложности задачи модального управления по выходу в настоящее время ее универсального аналитического решения не существует. Известные методы решения ограничены в применимости соотношением между количеством состояний, входов и выходов или конкретным видом матриц состояния, управления и наблюдения. Так, метод решения данной задачи, основанный на подходах Ван дер Воуда [6], предполагает, что суммарная размерность векторов управления и наблюдения больше размерности вектора состояния [7]. Параметрический метод [8], базирующийся на выделении регулятора по выходу из общего параметризованного множества регуляторов (наблюдателей) по состоянию [9], напрямую применим лишь в частных случаях, когда параметры расположены так, что обнуление нужных столбцов (строк) в регуляторе (наблюдателе) по состоянию очевидно. В общем же случае для определения параметров, при которых реализуется регулятор по выходу, возникает необходимость решать нелинейные системы уравнений, что аналитически сделать затруднительно или невозможно. Также имеется зависимость от порядка следования желаемых полюсов.

В настоящей работе для определенного класса систем четвертого порядка с двумя входами и двумя выходами задача управления по выходу сводится к задаче управления (наблюдения) по состоянию для системы с одним входом, решение которой единственно и хорошо известно [10].

1. Постановка задачи. Задана полностью управляемая и полностью наблюдаемая система [11]

(1.1)
${\mathbf{\dot {х}}} = {\mathbf{Ax}} + {\mathbf{Bu}},\quad {\mathbf{y}} = {\mathbf{Cx}}.$

Здесь x – вектор состояния с числом компонент n = 4, u – вектор управления с двумя входами r = 2, y – вектор выхода размерности m = 2, ${\mathbf{A}} \in {{\mathbb{R}}^{{4 \times 4}}}$ – матрица состояния, ${\mathbf{B}} \in {{\mathbb{R}}^{{4 \times 2}}}$ – матрица управления (входов), ${\mathbf{C}} \in {{\mathbb{R}}^{{2 \times 4}}}$ – матрица наблюдения (выходов), $\mathbb{R}$ – множество вещественных матриц.

Требуется определить матрицу регулятора по выходу ${\mathbf{F}} \in {{\mathbb{R}}^{{2 \times 2}}}$, обеспечивающую матрице замкнутой системы ${\mathbf{A}}{\kern 1pt} * = {\mathbf{A}} - {\mathbf{BFC}}$ заданный характеристический полином [12]:

(1.2)
$\varphi {\kern 1pt} *\left( \lambda \right) = \operatorname{poly} \left( {{\mathbf{A}} - {\mathbf{BFC}}} \right) = {{\lambda }^{4}} + p_{3}^{*}{{\lambda }^{3}} + p_{2}^{*}{{\lambda }^{2}} + p_{1}^{*}{{\lambda }^{1}} + p_{0}^{*}{{\lambda }^{0}}.$

2. Приведение к задаче управления с одним входом (прямой подход). Предположим, что индекс наблюдаемости [13] заданной системы (1.1) равен двум, т.е.

(2.1)
$\det \underbrace {\left[ {\begin{array}{*{20}{c}} {\mathbf{C}} \\ {{\mathbf{CA}}} \end{array}} \right]}_{{\mathbf{\tilde {N}}}} \ne 0.$

Введем обозначение для матрицы наблюдателя по состоянию

(2.2)
${\mathbf{L}} = {\mathbf{BF}}.$

Над матрицей замкнутой системы ${\mathbf{A}}{\kern 1pt} * = {\mathbf{A}} - {\mathbf{LC}}$ выполним преобразование подобия [14]

${\mathbf{A}}_{{\mathbf{C}}}^{*} = {\mathbf{\tilde {N}A}}{\kern 1pt} *{{{\mathbf{\tilde {N}}}}^{{ - 1}}} = \underbrace {\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & {{{{\mathbf{I}}}_{2}}} \\ { - {{{\mathbf{P}}}_{{{\mathbf{C}}0}}}}&\vline & { - {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}} \end{array}} \right]}_{{{{\mathbf{A}}}_{{\mathbf{C}}}} = {\mathbf{\tilde {N}A}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}} - \underbrace {\left[ {\begin{array}{*{20}{c}} {{\mathbf{CL}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 2}}}} \\ {{\mathbf{CAL}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 2}}}} \end{array}} \right]}_{{\mathbf{\tilde {N}LC}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}} = \left[ {\begin{array}{*{20}{c}} { - {\mathbf{CL}}}&\vline & {{{{\mathbf{I}}}_{2}}} \\ { - {{{\mathbf{P}}}_{{{\mathbf{C}}0}}} - {\mathbf{CAL}}}&\vline & { - {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}} \end{array}} \right],$
где блоки ${{{\mathbf{P}}}_{{{\mathbf{C}}0}}},{\text{ }}{{{\mathbf{P}}}_{{{\mathbf{C}}1}}} \in {{\mathbb{R}}^{{2 \times 2}}}$ таковы, что
$ - \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{P}}}_{{{\mathbf{C}}0}}}}&\vline & {{{{\mathbf{P}}}_{{{\mathbf{C}}1}}}} \end{array}} \right] = {{{\mathbf{R}}}_{{\mathbf{C}}}} = {\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{\tilde {N}}}}^{{ - 1}}} = \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}1,3}}}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}} \\ {{{r}_{{{\mathbf{C}}2,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}}} \end{array}} \right],$
а преобразованная матрица состояния разомкнутой системы имеет вид

(2.3)
${{{\mathbf{A}}}_{{\mathbf{C}}}} = {\mathbf{\tilde {N}A}}{{{\mathbf{\tilde {N}}}}^{{ - 1}}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \\ 0&\vline & 0&\vline & 0&\vline & 1 \\ {{{r}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}1,3}}}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}} \\ {{{r}_{{{\mathbf{C}}2,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}}} \end{array}} \right].$

Здесь и далее ${{{\mathbf{0}}}_{{n \times m}}}$ – нулевая матрица, имеющая размерность n × m, In – единичная матрица, имеющая порядок n.

Далее, выполнив еще одно преобразование подобия [14] через матрицу

${{{\mathbf{T}}}_{{\mathbf{C}}}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{I}}}_{2}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 2}}}} \\ {{\mathbf{CL}}}&\vline & {{{{\mathbf{I}}}_{2}}} \end{array}} \right],$
получим матрицу, которая должна иметь желаемый полином $\varphi {\kern 1pt} {\text{*}}(\lambda )$:

${\mathbf{\tilde {A}}}_{{\mathbf{C}}}^{*} = {\mathbf{T}}_{{\mathbf{C}}}^{{ - 1}}{\mathbf{A}}_{{\mathbf{C}}}^{*}{{{\mathbf{T}}}_{{\mathbf{C}}}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & {{{{\mathbf{I}}}_{2}}} \\ { - {{{\mathbf{P}}}_{{{\mathbf{C}}0}}} - {\mathbf{CAL}} - {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}{\mathbf{CL}}}&\vline & { - {{{\mathbf{P}}}_{{{\mathbf{C}}1}}} - {\mathbf{CL}}} \end{array}} \right] = {{{\mathbf{A}}}_{{\mathbf{C}}}} - \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}} \\ {{{{\mathbf{I}}}_{2}}} \end{array}} \right]\underbrace {\left[ {\begin{array}{*{20}{c}} {\left( {{\mathbf{CA}} + {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}{\mathbf{C}}} \right){\mathbf{L}}}&\vline & {{\mathbf{CL}}} \end{array}} \right]}_{{{{\mathbf{K}}}_{{\mathbf{C}}}}}.$

Обеспечение желаемого полинома матрице ${\mathbf{\tilde {A}}}_{{\mathbf{C}}}^{*}$ путем выбора матрицы ${{{\mathbf{K}}}_{{\mathbf{C}}}}$ представляет собой задачу модального управления по состоянию с двумя входами (MIMO – multi input multi output система). Для приведения к задаче с одним входом (к SIMO – single input multi output системе) обнулим одну из строк матрицы ${{{\mathbf{K}}}_{{\mathbf{C}}}}$.

Пусть ${\mathbf{c}}_{1}^{{\text{T}}}$ и ${\mathbf{c}}_{2}^{{\text{T}}}$ – соответственно первая и вторая строки матрицы наблюдения ${\mathbf{C}}$. Условия обнуления первой (а) или второй (б) строки матрицы ${{{\mathbf{K}}}_{{\mathbf{C}}}}$

${\text{(а)}}\;\;\left[ {\begin{array}{*{20}{c}} 1&\vline & 0 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {\left( {{\mathbf{CA}} + {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}{\mathbf{C}}} \right){\mathbf{L}}}&\vline & {{\mathbf{CL}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{AL}} - \left[ {\begin{array}{*{20}{c}} 1&\vline & 0 \end{array}} \right]\underbrace {{{{\mathbf{R}}}_{{\mathbf{C}}}}\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}} \\ {{{{\mathbf{I}}}_{2}}} \end{array}} \right]}_{ - {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}}\underbrace {\left[ {\begin{array}{*{20}{c}} 0 \\ 1 \end{array}} \right]{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{L}}}_{{\mathbf{CL}}}}&\vline & {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{L}}} \end{array}} \right] = {{{\mathbf{0}}}_{{1 \times 4}}},$
${\text{(б)}}\;\;\left[ {\begin{array}{*{20}{c}} 0&\vline & 1 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {\left( {{\mathbf{CA}} + {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}{\mathbf{C}}} \right){\mathbf{L}}}&\vline & {{\mathbf{CL}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{AL}} - \left[ {\begin{array}{*{20}{c}} 0&\vline & 1 \end{array}} \right]\underbrace {{{{\mathbf{R}}}_{{\mathbf{C}}}}\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}} \\ {{{{\mathbf{I}}}_{2}}} \end{array}} \right]}_{ - {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}}\underbrace {\left[ {\begin{array}{*{20}{c}} 1 \\ 0 \end{array}} \right]{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{L}}}_{{\mathbf{CL}}}}&\vline & {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{L}}} \end{array}} \right] = {{{\mathbf{0}}}_{{1 \times 4}}}$
принимают соответственно вид

(2.4)
${\text{(а)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{A}} - {{r}_{{{\mathbf{C}}1,4}}}{\mathbf{c}}_{2}^{{\text{T}}}} \\ {{\mathbf{c}}_{1}^{{\text{T}}}} \end{array}} \right]{\mathbf{L}} = {{{\mathbf{0}}}_{{2 \times 2}}},\quad {\text{(б)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{A}} - {{r}_{{{\mathbf{C}}2,3}}}{\mathbf{c}}_{1}^{{\text{T}}}} \\ {{\mathbf{c}}_{2}^{{\text{T}}}} \end{array}} \right]{\mathbf{L}} = {{{\mathbf{0}}}_{{2 \times 2}}}.$

При этом ненулевая строка матрицы KC становится соответственно равна

${\text{(а)}}\;\;\left[ {\begin{array}{*{20}{c}} 0&\vline & 1 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {\left( {{\mathbf{CA}} + {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}{\mathbf{C}}} \right){\mathbf{L}}}&\vline & {{\mathbf{CL}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{AL}} - \left[ {\begin{array}{*{20}{c}} 0&\vline & 1 \end{array}} \right]\underbrace {{{{\mathbf{R}}}_{{\mathbf{C}}}}\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}} \\ {{{{\mathbf{I}}}_{2}}} \end{array}} \right]}_{ - {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}}\underbrace {\left[ {\begin{array}{*{20}{c}} 0 \\ 1 \end{array}} \right]{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{L}}}_{{\mathbf{CL}}}}&\vline & {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{L}}} \end{array}} \right],$
${\text{(б)}}\;\;\left[ {\begin{array}{*{20}{c}} 1&\vline & 0 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {\left( {{\mathbf{CA}} + {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}{\mathbf{C}}} \right){\mathbf{L}}}&\vline & {{\mathbf{CL}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{AL}} - \left[ {\begin{array}{*{20}{c}} 1&\vline & 0 \end{array}} \right]\underbrace {{{{\mathbf{R}}}_{{\mathbf{C}}}}\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}} \\ {{{{\mathbf{I}}}_{2}}} \end{array}} \right]}_{ - {{{\mathbf{P}}}_{{{\mathbf{C}}1}}}}\underbrace {\left[ {\begin{array}{*{20}{c}} 1 \\ 0 \end{array}} \right]{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{L}}}_{{\mathbf{CL}}}}&\vline & {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{L}}} \end{array}} \right].$

При выполнении одного из условий (2.4) приходим к SIMO-системе

(2.5)
${\mathbf{\tilde {A}}}_{{\mathbf{C}}}^{*} = {{{\mathbf{A}}}_{{\mathbf{C}}}} - {{{\mathbf{b}}}_{{\mathbf{C}}}}{\mathbf{k}}_{{\mathbf{C}}}^{{\text{T}}}$
с матрицей состояния (2.3) и соответственно матрицей управления (вектор-столбец)
(2.6)
${\text{(а)}}\;\;{{{\mathbf{b}}}_{{\mathbf{C}}}} = {{\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right]}^{{\text{T}}}},\quad ({\text{б}})\;\;{{{\mathbf{b}}}_{{\mathbf{C}}}} = {{\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \end{array}} \right]}^{{\text{T}}}}$
и матрицей регулятора (вектор-строка) ${\mathbf{k}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{l}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}}&\vline & {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right]$, где ${\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}},{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}} \in {{\mathbb{R}}^{{1 \times 2}}}$,
(2.7)
${\text{(а)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{A}} - {{r}_{{{\mathbf{C}}2,4}}}{\mathbf{c}}_{2}^{{\text{T}}}} \\ {{\mathbf{c}}_{2}^{T}} \end{array}} \right]{\mathbf{L}},\quad {\text{(б)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{A}} - {{r}_{{{\mathbf{C}}1,3}}}{\mathbf{c}}_{1}^{{\text{T}}}} \\ {{\mathbf{c}}_{1}^{{\text{T}}}} \end{array}} \right]{\mathbf{L}}.$
SIMO-система (2.5) полностью управляема при условии

(2.8)
$\det \underbrace {\left[ {\begin{array}{*{20}{l}} {{{{\mathbf{b}}}_{{\mathbf{C}}}}}&\vline & {{{{\mathbf{A}}}_{{\mathbf{C}}}}{{{\mathbf{b}}}_{{\mathbf{C}}}}}&\vline & {{\mathbf{A}}_{{\mathbf{C}}}^{2}{{{\mathbf{b}}}_{{\mathbf{C}}}}}&\vline & {{\mathbf{A}}_{{\mathbf{C}}}^{3}{{{\mathbf{b}}}_{{\mathbf{C}}}}} \end{array}} \right]}_{{{{\mathbf{U}}}_{{\mathbf{C}}}}} \ne 0.$

Задача модального управления при желаемом характеристическом полиноме $\varphi {\kern 1pt} *\left( \lambda \right)$ в SIMO-системе (2.5) решается с помощью формулы Аккермана [10]:

(2.9)
$\left[ {\begin{array}{*{20}{l}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}}&\vline & {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right]{\mathbf{U}}_{{\mathbf{C}}}^{{ - 1}}\varphi {\kern 1pt} *\left( {{{{\mathbf{A}}}_{{\mathbf{C}}}}} \right) = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right]{\mathbf{\tilde {U}}}_{{\mathbf{C}}}^{{ - 1}}\varphi {\kern 1pt} *\left( {\mathbf{A}} \right){{{\mathbf{\tilde {N}}}}^{{ - 1}}},$
где${\mathbf{A}}_{{\mathbf{C}}}^{i} = {\mathbf{\tilde {N}}}{{{\mathbf{A}}}^{i}}{{{\mathbf{\tilde {N}}}}^{{ - 1}}}$ $(i = \overline {0, \ldots ,4} )$, ${{{\mathbf{\tilde {U}}}}_{{\mathbf{C}}}} = \left[ {\begin{array}{*{20}{l}} {{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}}&\vline & {{\mathbf{A}}{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}}&\vline & {{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}}&\vline & {{{{\mathbf{A}}}^{3}}{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}} \end{array}} \right]$, ${{{\mathbf{\tilde {b}}}}_{{\mathbf{C}}}} = {{{\mathbf{\tilde {N}}}}^{{ - 1}}}{{{\mathbf{b}}}_{{\mathbf{C}}}}$.

Матрицу наблюдателя L (2.2) определим из соотношения

${\mathbf{\tilde {N}L}} = \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{L}}} \\ {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{L}}} \\ {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{AL}}} \\ {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{AL}}} \end{array}} \right].$

С учетом значений (2.4) и (2.7) соответственно получим

${\text{(а)}}\;\;{\mathbf{\tilde {N}L}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{1 \times 2}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \\ {{{r}_{{{\mathbf{C}}1,4}}}{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}} + {{r}_{{{\mathbf{C}}2,4}}}{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0 \\ 0 \\ 0 \\ 1 \end{array}} \right]{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}} + \left[ {\begin{array}{*{20}{c}} {{\mathbf{CA}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}} \\ {{\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 0 \\ 0 \\ 0 \\ 1 \end{array}} \right]{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}},$
${\text{(б)}}\;\;{\mathbf{\tilde {N}L}} = \left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \\ {{{{\mathbf{0}}}_{{1 \times 2}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}} + {{r}_{{{\mathbf{C}}1,3}}}{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \\ {{{r}_{{{\mathbf{C}}2,3}}}{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0 \\ 0 \\ 1 \\ 0 \end{array}} \right]{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}} + \left[ {\begin{array}{*{20}{c}} {{\mathbf{CA}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}} \\ {{\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 0 \\ 0 \\ 1 \\ 0 \end{array}} \right]{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}.$

Таким образом, в силу значений (2.6), в обоих случаях (а) и (б) матрица наблюдателя по состоянию равна

(2.10)
${\mathbf{L}} = {{{\mathbf{\tilde {N}}}}^{{ - 1}}}\left[ {\begin{array}{*{20}{l}} {{{{\mathbf{b}}}_{{\mathbf{C}}}}}&\vline & {{{{\mathbf{A}}}_{{\mathbf{C}}}}{{{\mathbf{b}}}_{{\mathbf{C}}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{l}} {{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}}&\vline & {{\mathbf{A}}{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right].$

Условие обнуления (2.4) будет одновременно условием разрешимости уравнения (2.2) относительно матрицы регулятора по выходу F [6], если первый множитель в левой части равенства (2.4) является левым аннулятором матрицы B, т.е. соответственно если

(2.11)
${\text{(а)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{A}} - {{r}_{{{\mathbf{C}}1,4}}}{\mathbf{c}}_{2}^{{\text{T}}}} \\ {{\mathbf{c}}_{1}^{{\text{T}}}} \end{array}} \right]{\mathbf{B}} = {{{\mathbf{0}}}_{{2 \times 2}}},\quad {\text{(б)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{A}} - {{r}_{{{\mathbf{C}}2,3}}}{\mathbf{c}}_{{\text{1}}}^{{\text{T}}}} \\ {{\mathbf{c}}_{2}^{{\text{T}}}} \end{array}} \right]{\mathbf{B}} = {{{\mathbf{0}}}_{{2 \times 2}}}.$

Пусть ${{{\mathbf{B}}}^{ + }} = {{({{{\mathbf{B}}}^{{\text{T}}}}{\mathbf{B}})}^{{ - 1}}}{{{\mathbf{B}}}^{{\text{T}}}}$ – псевдообратная матрица [6] к матрице управления B. Тогда решение уравнения (2.2) и задачи (1.2) в целом при выполнении условий (2.1), (2.8), (2.11) с учетом значения матрицы L (2.10) принимает вид

(2.12)
${\mathbf{F}} = {{{\mathbf{B}}}^{ + }}{\mathbf{L}} = {{{\mathbf{B}}}^{ + }}\left[ {\begin{array}{*{20}{l}} {{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}}&\vline & {{\mathbf{A}}{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right].$

Отметим, что условие (2.11) приводимости к задаче управления с одним входом может быть верно, только если индекс управляемости рассматриваемой системы (1.1) больше индекса ее наблюдаемости [13]. Сформулируем это утверждение в виде теоремы.

Теорема 1. Задана полностью управляемая и полностью наблюдаемая тройка матриц состояния, управления и наблюдения (1.1). Пусть индекс их наблюдаемости равен 2, т.е. выполняется условие (2.1), и справедливо одно из равенств (2.11), где соответственно ${\mathbf{c}}_{1}^{{\text{T}}}$ и ${\mathbf{c}}_{2}^{{\text{T}}}$ – строки матрицы наблюдения, а ${{r}_{{{\mathbf{C}}1,4}}}$ и ${{r}_{{{\mathbf{C}}2,3}}}$ – элементы матрицы (2.3). Тогда индекс управляемости матриц (1.1) равен 3 (больше индекса наблюдаемости).

Доказательство. Для доказательства необходимо и достаточно показать, что вырождается матрица

${\mathbf{\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {\mathbf{B}}&\vline & {{\mathbf{AB}}} \end{array}} \right].$

В силу условия (2.1) вырождение матрицы ${\mathbf{\tilde {U}}}$ эквивалентно вырождению матрицы ${\mathbf{\tilde {N}\tilde {U}}}$, которая имеет ненулевой аннулятор [6]:

$\begin{gathered} {\text{(а)}}\;\;{\mathbf{\tilde {N}\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{1 \times 2}}}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{B}}} \\ {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{B}}}&\vline & {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{AB}}} \\ {{{r}_{{{\mathbf{C}}1,4}}}{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{B}}}&\vline & {{\mathbf{c}}_{1}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}}} \\ {{\mathbf{c}}_{2}^{T}{\mathbf{AB}}}&\vline & {{\mathbf{c}}_{2}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}}} \end{array}} \right],\quad {{\left( {{\mathbf{\tilde {N}\tilde {U}}}} \right)}^{L}} = \left\{ \begin{gathered} \left[ {\begin{array}{*{20}{c}} 1&\vline & 0&\vline & 0&\vline & 0 \end{array}} \right],\quad {{r}_{{{\mathbf{C}}1,4}}} = 0, \hfill \\ \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,3}}} + {{{{r}_{{{\mathbf{C}}1,2}}}} \mathord{\left/ {\vphantom {{{{r}_{{{\mathbf{C}}1,2}}}} {{{r}_{{{\mathbf{C}}1,4}}}}}} \right. \kern-0em} {{{r}_{{{\mathbf{C}}1,4}}}}}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}}&\vline & { - 1}&\vline & 0 \end{array}} \right],\quad {{r}_{{{\mathbf{C}}1,4}}} \ne 0, \hfill \\ \end{gathered} \right. \hfill \\ \begin{array}{*{20}{l}} {}&{}&{} \end{array} \hfill \\ \end{gathered} $
$\begin{gathered} {\text{(б)}}\;\;{\mathbf{\tilde {N}\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{B}}}&\vline & {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{AB}}} \\ {{{{\mathbf{0}}}_{{1 \times 2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{B}}} \\ {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{AB}}}&\vline & {{\mathbf{c}}_{{\text{1}}}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}}} \\ {{{r}_{{{\mathbf{C}}2,3}}}{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{B}}}&\vline & {{\mathbf{c}}_{2}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}}} \end{array}} \right],\quad {{\left( {{\mathbf{\tilde {N}\tilde {U}}}} \right)}^{L}} = \left\{ \begin{gathered} \left[ {\begin{array}{*{20}{c}} 0&\vline & 1&\vline & 0&\vline & 0 \end{array}} \right],\quad {{r}_{{{\mathbf{C}}2,3}}} = 0, \hfill \\ \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}} + {{{{r}_{{{\mathbf{C}}2,1}}}} \mathord{\left/ {\vphantom {{{{r}_{{{\mathbf{C}}2,1}}}} {{{r}_{{{\mathbf{C}}2,3}}}}}} \right. \kern-0em} {{{r}_{{{\mathbf{C}}2,3}}}}}}&\vline & 0&\vline & { - 1} \end{array}} \right],\quad {{r}_{{{\mathbf{C}}2,3}}} \ne 0. \hfill \\ \end{gathered} \right. \hfill \\ \begin{array}{*{20}{l}} {}&{}&{} \end{array} \hfill \\ \end{gathered} $

Тогда справедливы равенства

$\begin{gathered} {\text{(а)}}\;\;{{r}_{{{\mathbf{C}}1,4}}}{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{AB}} = {\mathbf{c}}_{1}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}\left[ {\begin{array}{*{20}{c}} 0 \\ 0 \\ 0 \\ 1 \end{array}} \right]{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{AB}} = {\mathbf{c}}_{1}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}\left( {{\mathbf{\tilde {N}}} - \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}} \\ {{\mathbf{c}}_{2}^{{\text{T}}}} \\ {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{A}}} \\ {{{{\mathbf{0}}}_{{1 \times 4}}}} \end{array}} \right]} \right){\mathbf{B}} = {\mathbf{c}}_{1}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}} - {\mathbf{c}}_{1}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{1 \times 2}}}} \\ {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{B}}} \\ {{{r}_{{{\mathbf{C}}1,4}}}{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{B}}} \\ {{{{\mathbf{0}}}_{{1 \times 2}}}} \end{array}} \right] = \\ \, = {\mathbf{c}}_{1}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}} - {\mathbf{c}}_{1}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}{{\left[ {\begin{array}{*{20}{l}} 0&\vline & 1&\vline & {{{r}_{{{\mathbf{C}}1,4}}}}&\vline & 0 \end{array}} \right]}^{{\text{T}}}}{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{B}} = {\mathbf{c}}_{1}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}} - \left( {{{r}_{{{\mathbf{C}}1,2}}} + {{r}_{{{\mathbf{C}}1,3}}}{{r}_{{{\mathbf{C}}1,4}}}} \right){\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{B}}, \\ \end{gathered} $
$\begin{gathered} {\text{(б)}}\;\;{{r}_{{{\mathbf{C}}2,3}}}{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{AB}} = {\mathbf{c}}_{2}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}\left[ {\begin{array}{*{20}{c}} 0 \\ 0 \\ 1 \\ 0 \end{array}} \right]{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{AB}} = {\mathbf{c}}_{2}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}\left( {{\mathbf{\tilde {N}}} - \left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}} \\ {{\mathbf{c}}_{2}^{{\text{T}}}} \\ {{{{\mathbf{0}}}_{{1 \times 4}}}} \\ {{\mathbf{c}}_{2}^{T}{\mathbf{A}}} \end{array}} \right]} \right){\mathbf{B}} = {\mathbf{c}}_{2}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}} - {\mathbf{c}}_{2}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{B}}} \\ {{{{\mathbf{0}}}_{{1 \times 2}}}} \\ {{{{\mathbf{0}}}_{{1 \times 2}}}} \\ {{{r}_{{{\mathbf{C}}2,3}}}{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{B}}} \end{array}} \right] = \\ \, = {\mathbf{c}}_{2}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}} - {\mathbf{c}}_{2}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{{{{\mathbf{\tilde {N}}}}}^{{ - 1}}}{{\left[ {\begin{array}{*{20}{l}} 1&\vline & 0&\vline & 0&\vline & {{{r}_{{{\mathbf{C}}2,3}}}} \end{array}} \right]}^{{\text{T}}}}{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{B}} = {\mathbf{c}}_{2}^{{\text{T}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}} - \left( {{{r}_{{{\mathbf{C}}2,1}}} + {{r}_{{{\mathbf{C}}2,3}}}{{r}_{{{\mathbf{C}}2,4}}}} \right){\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{B}}. \\ \end{gathered} $

Теорема доказана.

Наибольшую вычислительную сложность в предлагаемом алгоритме представляет формула Аккермана (2.9). Это обусловлено необходимостью возводить матрицу четвертого порядка в третью и четвертую степени, а также обращать матрицу, содержащую указанные степени. Между тем результат содержит большое количество подобных слагаемых, отследить которые в общем случае затруднительно как вручную, так и с применением команды “simplify” в MATLAB. Далее в виде теоремы предложен метод расчета модального регулятора для SIMO-системы (2.5), не требующий возведения матриц в высокие степени и существенно упрощающий окончательное символьное выражение для регулятора.

Теорема 2. Решение задачи модального управления для SIMO-системы (2.5) с обеспечением характеристического полинома $\varphi {\kern 1pt} *\left( \lambda \right) = {{\lambda }^{4}} + p_{3}^{*}{{\lambda }^{3}} + p_{2}^{*}{{\lambda }^{2}} + p_{1}^{*}\lambda + p_{0}^{*}$ записывается в виде

(2.13)
$\begin{gathered} {\text{(а)}}\quad {\mathbf{k}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{l}} {{{r}_{{{\mathbf{C}}2,1}}} + {{k}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}} + {{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}1,4}}}{{k}_{{{\mathbf{C}}1,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}} + {{k}_{{{\mathbf{C}}1,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}} + \Delta p_{{{\mathbf{C}}3}}^{*}} \end{array}} \right], \\ {\text{(б)}}\quad {\mathbf{k}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{l}} {{{r}_{{{\mathbf{C}}1,1}}} + {{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}2,3}}}{{k}_{{{\mathbf{C}}1,4}}}}&\vline & {{{r}_{{{\mathbf{C}}1,2}}} + {{k}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}1,3}}} + \Delta p_{{{\mathbf{C}}3}}^{*}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}} + {{k}_{{{\mathbf{C}}1,4}}}} \end{array}} \right], \\ \end{gathered} $
где

${\text{(а)}}\;\;\left\{ {\begin{array}{*{20}{c}} \begin{gathered} {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}} = {{r}_{{{\mathbf{C}}1,2}}} + {{r}_{{{\mathbf{C}}1,3}}}{{r}_{{{\mathbf{C}}1,4}}}, \hfill \\ {{d}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}1,1}}}{{r}_{{{\mathbf{C}}1,4}}} - {{r}_{{{\mathbf{C}}1,2}}}{{r}_{{{\mathbf{C}}1,3}}}, \hfill \\ {{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}1,4}}}{{d}_{{\mathbf{C}}}} - r_{{{\mathbf{C}}1,2}}^{2}, \hfill \\ \Delta p_{{{\mathbf{C}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{C}}1,1}}}, \hfill \\ \Delta p_{{{\mathbf{C}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{C}}1,3}}}, \hfill \\ {{q}_{{{\mathbf{C}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{C}}1,1}}}\Delta p_{{{\mathbf{C}}3}}^{*}, \hfill \\ {{q}_{{{\mathbf{C}}2}}} = \Delta p_{{{\mathbf{C}}2}}^{*} + {{r}_{{{\mathbf{C}}1,3}}}\Delta p_{{{\mathbf{C}}3}}^{*}, \hfill \\ {{k}_{{{\mathbf{C}}1,1}}} = ({{r}_{{{\mathbf{C}}1,1}}}({{r}_{{{\mathbf{C}}1,4}}}{{q}_{{{\mathbf{C}}1}}} - {{r}_{{{\mathbf{C}}1,2}}}{{q}_{{{\mathbf{C}}2}}}) - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}p_{0}^{*}){\text{/}}{{t}_{{\mathbf{C}}}}, \hfill \\ {{k}_{{{\mathbf{C}}1,3}}} = ({{r}_{{{\mathbf{C}}1,4}}}p_{0}^{*} - {{r}_{{{\mathbf{C}}1,2}}}{{q}_{{{\mathbf{C}}1}}} + {{d}_{{\mathbf{C}}}}{{q}_{{{\mathbf{C}}2}}}){\text{/}}{{t}_{{\mathbf{C}}}}, \hfill \\ \end{gathered} \end{array}\quad {\text{(б)}}\;\;} \right.\left\{ {\begin{array}{*{20}{c}} \begin{gathered} {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}} = {{r}_{{{\mathbf{C}}2,1}}} + {{r}_{{{\mathbf{C}}2,3}}}{{r}_{{{\mathbf{C}}2,4}}}, \hfill \\ {{d}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}2,2}}}{{r}_{{{\mathbf{C}}2,3}}} - {{r}_{{{\mathbf{C}}2,1}}}{{r}_{{{\mathbf{C}}2,4}}}, \hfill \\ {{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}2,3}}}{{d}_{{\mathbf{C}}}} - r_{{{\mathbf{C}}2,1}}^{2}, \hfill \\ \Delta p_{{{\mathbf{C}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{C}}2,2}}}, \hfill \\ \Delta p_{{{\mathbf{C}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{C}}2,4}}}, \hfill \\ {{q}_{{{\mathbf{C}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{C}}2,2}}}\Delta p_{{{\mathbf{C}}3}}^{*}, \hfill \\ {{q}_{{{\mathbf{C}}2}}} = \Delta p_{{{\mathbf{C}}2}}^{*} + {{r}_{{{\mathbf{C}}2,4}}}\Delta p_{{{\mathbf{C}}3}}^{*}, \hfill \\ {{k}_{{{\mathbf{C}}1,2}}} = ({{r}_{{{\mathbf{C}}2,2}}}({{r}_{{{\mathbf{C}}2,3}}}{{q}_{{{\mathbf{C}}1}}} - {{r}_{{{\mathbf{C}}2,1}}}{{q}_{{{\mathbf{C}}2}}}) - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}p_{0}^{*}){\text{/}}{{t}_{{\mathbf{C}}}}, \hfill \\ {{k}_{{{\mathbf{C}}1,4}}} = ({{r}_{{{\mathbf{C}}2,3}}}p_{0}^{*} - {{r}_{{{\mathbf{C}}2,1}}}{{q}_{{{\mathbf{C}}1}}} + {{d}_{{\mathbf{C}}}}{{q}_{{{\mathbf{C}}2}}}){\text{/}}{{t}_{{\mathbf{C}}}}. \hfill \\ \end{gathered} \end{array}} \right.$

Доказательство. Задача модального управления для SIMO-системы (2.5) эквивалентна задаче с обеспечением того же полинома $\varphi {\kern 1pt} *\left( \lambda \right)$, но для более простой системы:

${\text{(а)}}\;\;\left\{ {\begin{array}{*{20}{c}} {{\mathbf{\bar {A}}}_{{\mathbf{C}}}^{*} = \underbrace {\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \\ 0&\vline & 0&\vline & 0&\vline & 1 \\ {{{r}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}1,3}}}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}} \\ 0&\vline & 0&\vline & 0&\vline & 0 \end{array}} \right]}_{{{{{\mathbf{\bar {A}}}}}_{{\mathbf{C}}}}} - \underbrace {\left[ {\begin{array}{*{20}{c}} 0 \\ 0 \\ 0 \\ 1 \end{array}} \right]}_{{{{\mathbf{b}}}_{{\mathbf{C}}}}}{\mathbf{\bar {k}}}_{{\mathbf{C}}}^{{\text{T}}},} \\ {{\mathbf{k}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}}} \end{array}} \right] + {\mathbf{\bar {k}}}_{{\mathbf{C}}}^{{\text{T}}},} \end{array}} \right.\quad {\text{(б)}}\;\;\left\{ {\begin{array}{*{20}{c}} {{\mathbf{\bar {A}}}_{{\mathbf{C}}}^{*} = \underbrace {\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \\ 0&\vline & 0&\vline & 0&\vline & 1 \\ 0&\vline & 0&\vline & 0&\vline & 0 \\ {{{r}_{{{\mathbf{C}}2,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}}} \end{array}} \right]}_{{{{{\mathbf{\bar {A}}}}}_{{\mathbf{C}}}}} - \underbrace {\left[ {\begin{array}{*{20}{c}} 0 \\ 0 \\ 1 \\ 0 \end{array}} \right]}_{{{{\mathbf{b}}}_{{\mathbf{C}}}}}{\mathbf{\bar {k}}}_{{\mathbf{C}}}^{{\text{T}}},} \\ {{\mathbf{k}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}1,3}}}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}} \end{array}} \right] + {\mathbf{\bar {k}}}_{{\mathbf{C}}}^{{\text{T}}}.} \end{array}} \right.$

Решение этой задачи компактно записывается с помощью алгоритма Басса–Гура [9]:

${\text{(а)}}\;\;\left\{ {\begin{array}{*{20}{c}} {{\mathbf{\bar {k}}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & {p_{1}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}2}}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}3}}^{*}} \end{array}} \right]{\mathbf{\bar {T}}}_{{\mathbf{C}}}^{{ - 1}},} \\ {{{{{\mathbf{\bar {T}}}}}_{{\mathbf{C}}}} = \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}}&\vline & 0&\vline & 0 \\ { - {{r}_{{{\mathbf{C}}1,1}}}}&\vline & { - {{r}_{{{\mathbf{C}}1,3}}}}&\vline & 1&\vline & 0 \\ 0&\vline & {{{r}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}}&\vline & 0 \\ 0&\vline & { - {{r}_{{{\mathbf{C}}1,1}}}}&\vline & { - {{r}_{{{\mathbf{C}}1,3}}}}&\vline & 1 \end{array}} \right],} \\ {{\mathbf{\bar {T}}}_{{\mathbf{C}}}^{{ - 1}} = \frac{1}{{{{t}_{{\mathbf{C}}}}}}\left[ {\begin{array}{*{20}{c}} { - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}}&\vline & { - r_{{{\mathbf{C}}1,4}}^{2}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}}&\vline & 0 \\ {{{r}_{{{\mathbf{C}}1,1}}}{{r}_{{{\mathbf{C}}1,4}}}}&\vline & {{{r}_{{{\mathbf{C}}1,2}}}{{r}_{{{\mathbf{C}}1,4}}}}&\vline & { - {{r}_{{{\mathbf{C}}1,2}}}}&\vline & 0 \\ { - {{r}_{{{\mathbf{C}}1,1}}}{{r}_{{{\mathbf{C}}1,2}}}}&\vline & { - r_{{{\mathbf{C}}1,2}}^{2}}&\vline & {{{d}_{{\mathbf{C}}}}}&\vline & 0 \\ {{{r}_{{{\mathbf{C}}1,1}}}{{d}_{{\mathbf{C}}}}}&\vline & {{{r}_{{{\mathbf{C}}1,2}}}{{d}_{{\mathbf{C}}}}}&\vline & {{{{\tilde {d}}}_{{\mathbf{C}}}}}&\vline & {{{t}_{{\mathbf{C}}}}} \end{array}} \right],} \end{array}} \right.\quad {\text{(б)}}\;\;\left\{ {\begin{array}{*{20}{c}} {{\mathbf{\bar {k}}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & {p_{1}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}2}}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}3}}^{*}} \end{array}} \right]{\mathbf{\bar {T}}}_{{\mathbf{C}}}^{{ - 1}},} \\ {{{{{\mathbf{\bar {T}}}}}_{{\mathbf{C}}}} = \left[ {\begin{array}{*{20}{c}} { - {{r}_{{{\mathbf{C}}2,2}}}}&\vline & { - {{r}_{{{\mathbf{C}}2,4}}}}&\vline & 1&\vline & 0 \\ {{{r}_{{{\mathbf{C}}2,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}}&\vline & 0&\vline & 0 \\ 0&\vline & { - {{r}_{{{\mathbf{C}}2,2}}}}&\vline & { - {{r}_{{{\mathbf{C}}2,4}}}}&\vline & 1 \\ 0&\vline & {{{r}_{{{\mathbf{C}}2,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}}&\vline & 0 \end{array}} \right],} \\ {{\mathbf{\bar {T}}}_{{\mathbf{C}}}^{{ - 1}} = \frac{1}{{{{t}_{{\mathbf{C}}}}}}\left[ {\begin{array}{*{20}{c}} { - r_{{{\mathbf{C}}2,3}}^{2}}&\vline & { - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}}&\vline & 0&\vline & {{{r}_{{{\mathbf{C}}2,3}}}} \\ {{{r}_{{{\mathbf{C}}2,1}}}{{r}_{{{\mathbf{C}}2,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}}{{r}_{{{\mathbf{C}}2,3}}}}&\vline & 0&\vline & { - {{r}_{{{\mathbf{C}}2,1}}}} \\ { - r_{{{\mathbf{C}}2,1}}^{2}}&\vline & { - {{r}_{{{\mathbf{C}}2,1}}}{{r}_{{{\mathbf{C}}2,2}}}}&\vline & 0&\vline & {{{d}_{{\mathbf{C}}}}} \\ {{{r}_{{{\mathbf{C}}2,1}}}{{d}_{{\mathbf{C}}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}}{{d}_{{\mathbf{C}}}}}&\vline & {{{t}_{{\mathbf{C}}}}}&\vline & {{{{\tilde {d}}}_{{\mathbf{C}}}}} \end{array}} \right],} \end{array}} \right.$
где

${\text{(а)}}\;\;\left\{ \begin{gathered} {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}} = {{r}_{{{\mathbf{C}}1,2}}} + {{r}_{{{\mathbf{C}}1,3}}}{{r}_{{{\mathbf{C}}1,4}}}, \hfill \\ {{d}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}1,1}}}{{r}_{{{\mathbf{C}}1,4}}} - {{r}_{{{\mathbf{C}}1,2}}}{{r}_{{{\mathbf{C}}1,3}}}, \hfill \\ {{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}1,4}}}{{d}_{{\mathbf{C}}}} - r_{{{\mathbf{C}}1,2}}^{2}, \hfill \\ {{{\tilde {d}}}_{{\mathbf{C}}}} = {{d}_{{\mathbf{C}}}}{{r}_{{{\mathbf{C}}1,3}}} - {{r}_{{{\mathbf{C}}1,1}}}{{r}_{{{\mathbf{C}}1,2}}}, \hfill \\ \Delta p_{{{\mathbf{C}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{C}}1,1}}}, \hfill \\ \Delta p_{{{\mathbf{C}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{C}}1,3}}}, \hfill \\ \end{gathered} \right.\quad {\text{(б)}}\;\;\left\{ \begin{gathered} {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}} = {{r}_{{{\mathbf{C}}2,1}}} + {{r}_{{{\mathbf{C}}2,3}}}{{r}_{{{\mathbf{C}}2,4}}}, \hfill \\ {{d}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}2,2}}}{{r}_{{{\mathbf{C}}2,3}}} - {{r}_{{{\mathbf{C}}2,1}}}{{r}_{{{\mathbf{C}}2,4}}}, \hfill \\ {{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}2,3}}}{{d}_{{\mathbf{C}}}} - r_{{{\mathbf{C}}2,1}}^{2}, \hfill \\ {{{\tilde {d}}}_{{\mathbf{C}}}} = {{d}_{{\mathbf{C}}}}{{r}_{{{\mathbf{C}}2,4}}} - {{r}_{{{\mathbf{C}}2,1}}}{{r}_{{{\mathbf{C}}2,2}}}, \hfill \\ \Delta p_{{{\mathbf{C}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{C}}2,2}}}, \hfill \\ \Delta p_{{{\mathbf{C}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{C}}2,4}}}. \hfill \\ \end{gathered} \right.$

При этом условие полной управляемости (2.8) принимает вид ${{t}_{{\mathbf{C}}}} \ne 0$, т.е.

(2.14)
${\text{(а)}}\;\;r_{{{\mathbf{C}}1,2}}^{2} \ne {{r}_{{{\mathbf{C}}1,4}}}{{d}_{{\mathbf{C}}}},\quad {\text{(б)}}\;\;r_{{{\mathbf{C}}2,1}}^{2} \ne {{r}_{{{\mathbf{C}}2,3}}}{{d}_{{\mathbf{C}}}}.$

Далее, выполнив перемножение в формуле Басса–Гура, запишем выражения для коэффициентов регулятора ${\mathbf{\bar {k}}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{c}} {{{k}_{{{\mathbf{C}}1,1}}}}&\vline & {{{k}_{{{\mathbf{C}}1,2}}}}&\vline & {{{k}_{{{\mathbf{C}}1,3}}}}&\vline & {{{k}_{{{\mathbf{C}}1,4}}}} \end{array}} \right]$:

${\text{(а)}}\;\;\left\{ \begin{gathered} {{k}_{{{\mathbf{C}}1,1}}}{{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}1,1}}}\left( {\left[ {\begin{array}{*{20}{c}} {p_{1}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}2}}^{*}} \end{array}} \right] + \Delta p_{{{\mathbf{C}}3}}^{*}\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}1,3}}}} \end{array}} \right]} \right)\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,4}}}} \\ { - {{r}_{{{\mathbf{C}}1,2}}}} \end{array}} \right] - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}p_{0}^{*} = {{r}_{{{\mathbf{C}}1,1}}}\left[ {\begin{array}{*{20}{c}} {{{q}_{{{\mathbf{C}}1}}}}&\vline & {{{q}_{{{\mathbf{C}}2}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,4}}}} \\ { - {{r}_{{{\mathbf{C}}1,2}}}} \end{array}} \right] - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}p_{0}^{*}, \hfill \\ {{k}_{{{\mathbf{C}}1,2}}}{{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}1,2}}}\left( {\left[ {\begin{array}{*{20}{c}} {p_{1}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}2}}^{*}} \end{array}} \right] + \Delta p_{{{\mathbf{C}}3}}^{*}\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}1,3}}}} \end{array}} \right]} \right)\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,4}}}} \\ { - {{r}_{{{\mathbf{C}}1,2}}}} \end{array}} \right] - r_{{{\mathbf{C}}1,4}}^{2}p_{0}^{*} = {{r}_{{{\mathbf{C}}1,2}}}\left[ {\begin{array}{*{20}{c}} {{{q}_{{{\mathbf{C}}1}}}}&\vline & {{{q}_{{{\mathbf{C}}2}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,4}}}} \\ { - {{r}_{{{\mathbf{C}}1,2}}}} \end{array}} \right] - r_{{{\mathbf{C}}1,4}}^{2}p_{0}^{*} = \hfill \\ = \left( {{{r}_{{{\mathbf{C}}1,2}}}\left[ {\begin{array}{*{20}{c}} {{{q}_{{{\mathbf{C}}1}}}}&\vline & {{{q}_{{{\mathbf{C}}2}}}} \end{array}} \right] - {{r}_{{{\mathbf{C}}1,4}}}\left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & 0 \end{array}} \right] - {{q}_{{{\mathbf{C}}1}}}\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}}} \end{array}} \right]} \right)\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,4}}}} \\ { - {{r}_{{{\mathbf{C}}1,2}}}} \end{array}} \right] = - {{r}_{{{\mathbf{C}}1,4}}}\left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & {{{q}_{{{\mathbf{C}}1}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,4}}}} \\ { - {{r}_{{{\mathbf{C}}1,2}}}} \end{array}} \right] - r_{{{\mathbf{C}}1,2}}^{2}{{q}_{{{\mathbf{C}}2}}}, \hfill \\ {{k}_{{{\mathbf{C}}1,3}}}{{t}_{{\mathbf{C}}}} = \left( {\left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & {p_{1}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}2}}^{*}} \end{array}} \right] + \Delta p_{{{\mathbf{C}}3}}^{*}\left[ {\begin{array}{*{20}{c}} 0&\vline & {{{r}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}1,3}}}} \end{array}} \right]} \right)\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,4}}}} \\ { - {{r}_{{{\mathbf{C}}1,2}}}} \\ {{{d}_{{\mathbf{C}}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & {{{q}_{{{\mathbf{C}}1}}}}&\vline & {{{q}_{{{\mathbf{C}}2}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,4}}}} \\ { - {{r}_{{{\mathbf{C}}1,2}}}} \\ {{{d}_{{\mathbf{C}}}}} \end{array}} \right], \hfill \\ {{k}_{{{\mathbf{C}}1,4}}} = \Delta p_{{{\mathbf{C}}3}}^{ * }, \hfill \\ \end{gathered} \right.$
${\text{(б)}}\;\;\left\{ \begin{gathered} {{k}_{{{\mathbf{C}}1,1}}}{{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}2,1}}}\left( {\left[ {\begin{array}{*{20}{c}} {p_{1}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}2}}^{*}} \end{array}} \right] + \Delta p_{{{\mathbf{C}}3}}^{*}\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}}} \end{array}} \right]} \right)\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,3}}}} \\ { - {{r}_{{{\mathbf{C}}2,1}}}} \end{array}} \right] - r_{{{\mathbf{C}}2,3}}^{2}p_{0}^{*} = {{r}_{{{\mathbf{C}}2,1}}}\left[ {\begin{array}{*{20}{c}} {{{q}_{{{\mathbf{C}}1}}}}&\vline & {{{q}_{{{\mathbf{C}}2}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,3}}}} \\ { - {{r}_{{{\mathbf{C}}2,1}}}} \end{array}} \right] - r_{{{\mathbf{C}}2,3}}^{2}p_{0}^{*} = \hfill \\ = \left( {{{r}_{{{\mathbf{C}}2,1}}}\left[ {\begin{array}{*{20}{c}} {{{q}_{{{\mathbf{C}}1}}}}&\vline & {{{q}_{{{\mathbf{C}}2}}}} \end{array}} \right] - {{r}_{{{\mathbf{C}}2,3}}}\left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & 0 \end{array}} \right] - {{q}_{{{\mathbf{C}}1}}}\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}} \end{array}} \right]} \right)\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,3}}}} \\ { - {{r}_{{{\mathbf{C}}2,1}}}} \end{array}} \right] = - {{r}_{{{\mathbf{C}}2,3}}}\left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & {{{q}_{{{\mathbf{C}}1}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,3}}}} \\ { - {{r}_{{{\mathbf{C}}2,1}}}} \end{array}} \right] - r_{{{\mathbf{C}}2,1}}^{2}{{q}_{{{\mathbf{C}}2}}}, \hfill \\ {{k}_{{{\mathbf{C}}1,2}}}{{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}2,2}}}\left( {\left[ {\begin{array}{*{20}{c}} {p_{1}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}2}}^{*}} \end{array}} \right] + \Delta p_{{{\mathbf{C}}3}}^{*}\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}}} \end{array}} \right]} \right)\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,3}}}} \\ { - {{r}_{{{\mathbf{C}}2,1}}}} \end{array}} \right] - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}p_{0}^{*} = {{r}_{{{\mathbf{C}}2,2}}}\left[ {\begin{array}{*{20}{c}} {{{q}_{{{\mathbf{C}}1}}}}&\vline & {{{q}_{{{\mathbf{C}}2}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,3}}}} \\ { - {{r}_{{{\mathbf{C}}2,1}}}} \end{array}} \right] - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}p_{0}^{*}, \hfill \\ {{k}_{{{\mathbf{C}}1,3}}} = \Delta p_{{{\mathbf{C}}3}}^{*}, \hfill \\ {{k}_{{{\mathbf{C}}1,4}}}{{t}_{{\mathbf{C}}}} = \left( {\left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & {p_{1}^{*}}&\vline & {\Delta p_{{{\mathbf{C}}2}}^{*}} \end{array}} \right] + \Delta p_{{{\mathbf{C}}3}}^{*}\left[ {\begin{array}{*{20}{c}} 0&\vline & {{{r}_{{{\mathbf{C}}2,2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}}} \end{array}} \right]} \right)\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,3}}}} \\ { - {{r}_{{{\mathbf{C}}2,1}}}} \\ {{{d}_{{\mathbf{C}}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {p_{0}^{*}}&\vline & {{{q}_{{{\mathbf{C}}1}}}}&\vline & {{{q}_{{{\mathbf{C}}2}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}2,3}}}} \\ { - {{r}_{{{\mathbf{C}}2,1}}}} \\ {{{d}_{{\mathbf{C}}}}} \end{array}} \right], \hfill \\ \end{gathered} \right.$
где

${\text{(а)}}\;\;\left\{ {\begin{array}{*{20}{c}} \begin{gathered} {{q}_{{{\mathbf{C}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{C}}1,1}}}\Delta p_{{{\mathbf{C}}3}}^{*}, \hfill \\ {{q}_{{{\mathbf{C}}2}}} = \Delta p_{{{\mathbf{C}}2}}^{*} + {{r}_{{{\mathbf{C}}1,3}}}\Delta p_{{{\mathbf{C}}3}}^{*}, \hfill \\ \end{gathered} \end{array}} \right.\quad {\text{(б)}}\;\;\left\{ {\begin{array}{*{20}{c}} \begin{gathered} {{q}_{{{\mathbf{C}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{C}}2,2}}}\Delta p_{{{\mathbf{C}}3}}^{*}, \hfill \\ {{q}_{{{\mathbf{C}}2}}} = \Delta p_{{{\mathbf{C}}2}}^{*} + {{r}_{{{\mathbf{C}}2,4}}}\Delta p_{{{\mathbf{C}}3}}^{*}. \hfill \\ \end{gathered} \end{array}} \right.$

После обратного перехода от вектора ${\mathbf{\bar {k}}}_{{\mathbf{C}}}^{{\text{T}}}$ к вектору ${\mathbf{k}}_{{\mathbf{C}}}^{{\text{T}}}$ получается результат (2.13).

Теорема доказана.

Таким образом, при выполнении условий (2.1), (2.11) и (2.14) регулятор по выходу (матрица ${\mathbf{F}}$) рассчитывается по формуле (2.12) с подстановкой значений (2.13).

Пример 1 (а). Требуется решить задачу (1.2) для матриц состояния, управления и наблюдения (1.1):

${\mathbf{A}} = \left[ {\begin{array}{*{20}{c}} {{{a}_{{1,1}}}}&\vline & 0&\vline & {{{a}_{{1,3}}}}&\vline & {{{a}_{{1,4}}}} \\ {{{a}_{{2,1}}}}&\vline & {{{a}_{{2,2}}}}&\vline & {{{a}_{{2,3}}}}&\vline & {{{a}_{{2,4}}}} \\ {{{a}_{{3,1}}}}&\vline & 0&\vline & {{{a}_{{3,3}}}}&\vline & {{{a}_{{3,4}}}} \\ {{{a}_{{4,1}}}}&\vline & {{{a}_{{4,2}}}}&\vline & {{{a}_{{4,3}}}}&\vline & {{{a}_{{4,4}}}} \end{array}} \right],\quad {\mathbf{B}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0 \\ {{{b}_{{2,1}}}}&\vline & {{{b}_{{2,2}}}} \\ 0&\vline & 0 \\ {{{b}_{{4,1}}}}&\vline & {{{b}_{{4,2}}}} \end{array}} \right],\quad {\mathbf{C}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \\ 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right].$

Запишем первые две блочные строки матрицы наблюдаемости:

${\mathbf{\tilde {N}}} = \left[ {\begin{array}{*{20}{c}} {\mathbf{C}} \\ {{\mathbf{CA}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \\ 0&\vline & 0&\vline & 0&\vline & 1 \\ {{{a}_{{3,1}}}}&\vline & 0&\vline & {{{a}_{{3,3}}}}&\vline & {{{a}_{{3,4}}}} \\ {{{a}_{{4,1}}}}&\vline & {{{a}_{{4,2}}}}&\vline & {{{a}_{{4,3}}}}&\vline & {{{a}_{{4,4}}}} \end{array}} \right],\quad \det {\mathbf{\tilde {N}}} = {{a}_{{3,1}}}{{a}_{{4,2}}}.$

Если ${{a}_{{3,1}}}{{a}_{{4,2}}} \ne 0$, то индекс наблюдаемости равен 2, т.е. верно условие (2.1).

Для проверки (2.11) рассчитаем следующую матрицу:

${{{\mathbf{R}}}_{{\mathbf{C}}}} = {\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{\tilde {N}}}}^{{ - 1}}} = {{\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,1}}}} \\ {{{r}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}}} \\ {{{r}_{{{\mathbf{C}}1,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}} \\ {{{r}_{{{\mathbf{C}}1,4}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}}} \end{array}} \right]}^{{\text{T}}}} = {{\left[ {\begin{array}{*{20}{c}} {{{a}_{{1,3}}}{{a}_{{3,1}}} - {{a}_{{1,1}}}{{a}_{{3,3}}}}&\vline & {{{a}_{{1,3}}}{{a}_{{4,1}}} + {{a}_{{2,3}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,3}}} - {{a}_{{3,3}}}{{{\tilde {a}}}_{{4,1}}}} \\ {{{a}_{{1,4}}}{{a}_{{3,1}}} - {{a}_{{1,1}}}{{a}_{{3,4}}}}&\vline & {{{a}_{{1,4}}}{{a}_{{4,1}}} + {{a}_{{2,4}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,4}}} - {{a}_{{3,4}}}{{{\tilde {a}}}_{{4,1}}}} \\ {{{a}_{{1,1}}} + {{a}_{{3,3}}}}&\vline & {{{a}_{{4,3}}} + {{{\tilde {a}}}_{{4,1}}}} \\ {{{a}_{{3,4}}}}&\vline & {{{a}_{{4,4}}} + {{a}_{{2,2}}}} \end{array}} \right]}^{{\text{T}}}},$
где ${{\tilde {a}}_{{4,1}}} = {{\left( {{{a}_{{4,1}}}\left( {{{a}_{{1,1}}} - {{a}_{{2,2}}}} \right) + {{a}_{{2,1}}}{{a}_{{4,2}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{4,1}}}\left( {{{a}_{{1,1}}} - {{a}_{{2,2}}}} \right) + {{a}_{{2,1}}}{{a}_{{4,2}}}} \right)} {{{a}_{{3,1}}}}}} \right. \kern-0em} {{{a}_{{3,1}}}}}$. Рассматриваемая задача приводится к задаче модального управления с одним входом, так как выполнен вариант (а) условия (2.11):

$\left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{1}^{{\text{T}}}{\mathbf{A}} - {{r}_{{{\mathbf{C}}1,4}}}{\mathbf{c}}_{2}^{{\text{T}}}} \\ {{\mathbf{c}}_{1}^{{\text{T}}}} \end{array}} \right]{\mathbf{B}} = \left[ {\begin{array}{*{20}{c}} {{{a}_{{3,1}}}}&\vline & 0&\vline & {{{a}_{{3,3}}}}&\vline & 0 \\ 0&\vline & 0&\vline & 1&\vline & 0 \end{array}} \right]{{\left[ {\begin{array}{*{20}{c}} 0&\vline & {{{b}_{{2,1}}}}&\vline & 0&\vline & {{{b}_{{4,1}}}} \\ 0&\vline & {{{b}_{{2,2}}}}&\vline & 0&\vline & {{{b}_{{4,2}}}} \end{array}} \right]}^{{\text{T}}}} = {{{\mathbf{0}}}_{{2 \times 2}}}.$

Проведем промежуточные расчеты из теоремы 2:

${{\tilde {r}}_{{{\mathbf{C}}1,2}}} = {{r}_{{{\mathbf{C}}1,2}}} + {{r}_{{{\mathbf{C}}1,3}}}{{r}_{{{\mathbf{C}}1,4}}} = {{a}_{{1,4}}}{{a}_{{3,1}}} + {{a}_{{3,3}}}{{a}_{{3,4}}},$
${{d}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}1,1}}}{{r}_{{{\mathbf{C}}1,4}}} - {{r}_{{{\mathbf{C}}1,2}}}{{r}_{{{\mathbf{C}}1,3}}} = {{a}_{{3,1}}}{{\tilde {r}}_{{{\mathbf{C}}1,1}}} - {{a}_{{1,1}}}{{r}_{{{\mathbf{C}}1,2}}},$
${{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}1,4}}}{{d}_{{\mathbf{C}}}} - r_{{{\mathbf{C}}1,2}}^{2} = {{a}_{{3,1}}}\left( {{{a}_{{3,4}}}{{{\tilde {r}}}_{{{\mathbf{C}}1,1}}} - {{a}_{{1,4}}}{{r}_{{{\mathbf{C}}1,2}}}} \right),$
$\Delta p_{{{\mathbf{C}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{C}}1,1}}} = p_{2}^{*} + {{a}_{{1,3}}}{{a}_{{3,1}}} - {{a}_{{1,1}}}{{a}_{{3,3}}},$
$\Delta p_{{{\mathbf{C}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{C}}1,3}}} = p_{3}^{*} + {{a}_{{1,1}}} + {{a}_{{3,3}}},$
${{q}_{{{\mathbf{C}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{C}}1,1}}}\Delta p_{{{\mathbf{C}}3}}^{*} = p_{1}^{*} + \left( {{{a}_{{1,3}}}{{a}_{{3,1}}} - {{a}_{{1,1}}}{{a}_{{3,3}}}} \right)(p_{3}^{*} + {{a}_{{1,1}}} + {{a}_{{3,3}}}),$
${{q}_{{{\mathbf{C}}2}}} = \Delta p_{{{\mathbf{C}}2}}^{*} + {{r}_{{{\mathbf{C}}1,3}}}\Delta p_{{{\mathbf{C}}3}}^{*} = p_{2}^{*} + \left( {{{a}_{{1,1}}} + {{a}_{{3,3}}}} \right)p_{3}^{*} + a_{{1,1}}^{2} + a_{{3,3}}^{2} + {{a}_{{1,1}}}{{a}_{{3,3}}} + {{a}_{{1,3}}}{{a}_{{3,1}}},$
${{k}_{{{\mathbf{C}}1,1}}} = {{({{r}_{{{\mathbf{C}}1,1}}}\left( {{{r}_{{{\mathbf{C}}1,4}}}{{q}_{{{\mathbf{C}}1}}} - {{r}_{{{\mathbf{C}}1,2}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{C}}1,1}}}\left( {{{r}_{{{\mathbf{C}}1,4}}}{{q}_{{{\mathbf{C}}1}}} - {{r}_{{{\mathbf{C}}1,2}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}} = {{({{r}_{{{\mathbf{C}}1,1}}}\left( {{{a}_{{3,4}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} - {{a}_{{1,4}}}{{a}_{{3,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{C}}1,1}}}\left( {{{a}_{{3,4}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} - {{a}_{{1,4}}}{{a}_{{3,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}},$
${{k}_{{{\mathbf{C}}1,3}}} = {{({{r}_{{{\mathbf{C}}1,4}}}p_{0}^{*} - {{r}_{{{\mathbf{C}}1,2}}}{{q}_{{{\mathbf{C}}1}}} + {{d}_{{\mathbf{C}}}}{{q}_{{{\mathbf{C}}2}}})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{C}}1,4}}}p_{0}^{*} - {{r}_{{{\mathbf{C}}1,2}}}{{q}_{{{\mathbf{C}}1}}} + {{d}_{{\mathbf{C}}}}{{q}_{{{\mathbf{C}}2}}})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}} = {{({{a}_{{3,1}}}{{{\tilde {r}}}_{{{\mathbf{C}}1,1}}}{{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}1,2}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} + {{a}_{{3,4}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{a}_{{3,1}}}{{{\tilde {r}}}_{{{\mathbf{C}}1,1}}}{{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}1,2}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} + {{a}_{{3,4}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}},$
где ${{\tilde {r}}_{{{\mathbf{C}}1,1}}} = {{a}_{{1,3}}}{{a}_{{3,4}}} - {{a}_{{1,4}}}{{a}_{{3,3}}}$, ${{\tilde {q}}_{{{\mathbf{C}}1}}} = {{q}_{{{\mathbf{C}}1}}} + {{a}_{{1,1}}}{{q}_{{{\mathbf{C}}2}}}$. С учетом неравенства ${{a}_{{3,1}}}{{a}_{{4,2}}} \ne 0$ можно утверждать, что условие (2.14) полной управляемости SIMO-системы справедливо, если

${{a}_{{1,3}}}a_{{3,4}}^{2} - a_{{1,4}}^{2}{{a}_{{3,1}}} \ne {{a}_{{1,4}}}{{a}_{{3,4}}}\left( {{{a}_{{3,3}}} - {{a}_{{1,1}}}} \right).$

Согласно выражению (2.13) из теоремы 2 рассчитаем регулятор ${\mathbf{k}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{l}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}}&\vline & {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right]$:

$\begin{array}{*{20}{c}} {\left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{l}} {{{r}_{{{\mathbf{C}}2,1}}} + {{k}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}} + {{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}1,4}}}{{k}_{{{\mathbf{C}}1,3}}}} \\ {{{r}_{{{\mathbf{C}}2,3}}} + {{k}_{{{\mathbf{C}}1,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}} + \Delta p_{3}^{*}} \end{array}} \right] = } \\ {\, = \left[ {\begin{array}{*{20}{l}} {{{a}_{{1,3}}}{{a}_{{4,1}}} + {{a}_{{2,3}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,3}}} - {{a}_{{3,3}}}{{{\tilde {a}}}_{{4,1}}} + {{k}_{{{\mathbf{C}}1,1}}}}&\vline & {{{a}_{{1,4}}}{{a}_{{4,1}}} + {{a}_{{2,4}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,4}}} + {{q}_{{{\mathbf{C}}2}}} - {{a}_{{3,4}}}{{{\tilde {k}}}_{{{\mathbf{C}}1,3}}}} \\ {{{a}_{{4,3}}} + {{{\tilde {k}}}_{{{\mathbf{C}}1,3}}}}&\vline & {{{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}} + p_{3}^{*}} \end{array}} \right],} \end{array}$
где ${{\tilde {k}}_{{{\mathbf{C}}1,3}}} = {{k}_{{{\mathbf{C}}1,3}}} + {{\tilde {a}}_{{4,1}}}$.

По формуле (2.12) определим искомую матрицу регулятора по выходу:

${\mathbf{F}} = \underbrace {{{{\left[ {\begin{array}{*{20}{c}} {{{b}_{{2,1}}}}&\vline & {{{b}_{{2,2}}}} \\ {{{b}_{{4,1}}}}&\vline & {{{b}_{{4,2}}}} \end{array}} \right]}}^{{ - 1}}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 1&\vline & 0&\vline & 0 \\ 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right]}_{{{{\mathbf{B}}}^{ + }}}\underbrace {\left[ {\begin{array}{*{20}{c}} 0&\vline & 0 \\ {{1 \mathord{\left/ {\vphantom {1 {{{a}_{{4,2}}}}}} \right. \kern-0em} {{{a}_{{4,2}}}}}}&\vline & {{{{{a}_{{2,2}}}} \mathord{\left/ {\vphantom {{{{a}_{{2,2}}}} {{{a}_{{4,2}}}}}} \right. \kern-0em} {{{a}_{{4,2}}}}}} \\ 0&\vline & 0 \\ 0&\vline & 1 \end{array}} \right]}_{\left[ {\begin{array}{*{20}{l}} {{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}}&\vline & {{\mathbf{A}}{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}} \end{array}} \right]}\left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right] = \underbrace {{{{\left[ {\begin{array}{*{20}{c}} {{{b}_{{2,1}}}}&\vline & {{{b}_{{2,2}}}} \\ {{{b}_{{4,1}}}}&\vline & {{{b}_{{4,2}}}} \end{array}} \right]}}^{{ - 1}}}}_{{\mathbf{\bar {B}}}}\left[ {\begin{array}{*{20}{c}} {{{({\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}} + {{a}_{{2,2}}}{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}})} \mathord{\left/ {\vphantom {{({\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}} + {{a}_{{2,2}}}{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}})} {{{a}_{{4,2}}}}}} \right. \kern-0em} {{{a}_{{4,2}}}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{T}} \end{array}} \right].$

Таким образом, последовательность расчета искомого регулятора имеет вид

$\begin{gathered} {{r}_{{{\mathbf{C}}1,1}}} = {{a}_{{1,3}}}{{a}_{{3,1}}} - {{a}_{{1,1}}}{{a}_{{3,3}}},\quad {{r}_{{{\mathbf{C}}1,2}}} = {{a}_{{1,4}}}{{a}_{{3,1}}} - {{a}_{{1,1}}}{{a}_{{3,4}}}, \\ {{{\tilde {r}}}_{{{\mathbf{C}}1,1}}} = {{a}_{{1,3}}}{{a}_{{3,4}}} - {{a}_{{1,4}}}{{a}_{{3,3}}},\quad {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}} = {{a}_{{1,4}}}{{a}_{{3,1}}} + {{a}_{{3,3}}}{{a}_{{3,4}}}, \\ \end{gathered} $
${{\tilde {q}}_{{{\mathbf{C}}1}}} = a_{{1,1}}^{3} + p_{3}^{*}a_{{1,1}}^{2} + p_{2}^{*}{{a}_{{1,1}}} + p_{1}^{*} + {{a}_{{1,3}}}{{a}_{{3,1}}}(p_{3}^{*} + 2{{a}_{{1,1}}} + {{a}_{{3,3}}}),$
${{q}_{{{\mathbf{C}}2}}} = p_{2}^{*} + \left( {{{a}_{{1,1}}} + {{a}_{{3,3}}}} \right)p_{3}^{*} + a_{{1,1}}^{2} + a_{{3,3}}^{2} + {{a}_{{1,1}}}{{a}_{{3,3}}} + {{a}_{{1,3}}}{{a}_{{3,1}}},$
${{\tilde {a}}_{{4,1}}} = {{\left( {{{a}_{{4,1}}}\left( {{{a}_{{1,1}}} - {{a}_{{2,2}}}} \right) + {{a}_{{2,1}}}{{a}_{{4,2}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{4,1}}}\left( {{{a}_{{1,1}}} - {{a}_{{2,2}}}} \right) + {{a}_{{2,1}}}{{a}_{{4,2}}}} \right)} {{{a}_{{3,1}}}}}} \right. \kern-0em} {{{a}_{{3,1}}}}},\quad {{t}_{{\mathbf{C}}}} = {{a}_{{3,1}}}\left( {{{a}_{{3,4}}}{{{\tilde {r}}}_{{{\mathbf{C}}1,1}}} - {{a}_{{1,4}}}{{r}_{{{\mathbf{C}}1,2}}}} \right),$
$a = a_{{1,1}}^{2} + a_{{2,2}}^{2} + a_{{3,3}}^{2} + {{a}_{{1,1}}}{{a}_{{2,2}}} + {{a}_{{2,2}}}{{a}_{{3,3}}} + {{a}_{{3,3}}}{{a}_{{1,1}}} + \left( {{{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}}} \right)p_{3}^{*} + p_{2}^{*},$
${{k}_{{{\mathbf{C}}1,1}}} = {{({{r}_{{{\mathbf{C}}1,1}}}\left( {{{a}_{{3,4}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} - {{a}_{{1,4}}}{{a}_{{3,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{C}}1,1}}}\left( {{{a}_{{3,4}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} - {{a}_{{1,4}}}{{a}_{{3,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}1,2}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}},\quad {{\tilde {k}}_{{{\mathbf{C}}1,3}}} = {{({{a}_{{3,1}}}{{{\tilde {r}}}_{{{\mathbf{C}}1,1}}}{{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}1,2}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} + {{a}_{{3,4}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{a}_{{3,1}}}{{{\tilde {r}}}_{{{\mathbf{C}}1,1}}}{{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}1,2}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} + {{a}_{{3,4}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}} + {{\tilde {a}}_{{4,1}}},$
${\mathbf{F}} = \frac{{\left[ {\begin{array}{*{20}{c}} {{{b}_{{4,2}}}}&\vline & { - {{b}_{{2,2}}}} \\ { - {{b}_{{4,1}}}}&\vline & {{{b}_{{2,1}}}} \end{array}} \right]}}{{{{b}_{{2,1}}}{{b}_{{4,2}}} - {{b}_{{2,2}}}{{b}_{{4,1}}}}}\left[ {\begin{array}{*{20}{c}} {{{a}_{{2,3}}} + \frac{{{{a}_{{1,3}}}{{a}_{{4,1}}} - {{a}_{{3,3}}}{{{\tilde {a}}}_{{4,1}}} + {{k}_{{{\mathbf{C}}1,1}}} + {{a}_{{2,2}}}{{{\tilde {k}}}_{{{\mathbf{C}}1,3}}}}}{{{{a}_{{4,2}}}}}}&\vline & {{{a}_{{2,4}}} + \frac{{{{a}_{{1,4}}}{{a}_{{4,1}}} + {{a}_{{1,3}}}{{a}_{{3,1}}} + a - {{a}_{{3,4}}}{{{\tilde {k}}}_{{{\mathbf{C}}1,3}}}}}{{{{a}_{{4,2}}}}}} \\ {{{a}_{{4,3}}} + {{{\tilde {k}}}_{{{\mathbf{C}}1,3}}}}&\vline & {{{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}} + p_{3}^{*}} \end{array}} \right].$

Символьные вычисления в MATLAB [15] подтвердили равенство полиномов (1.2).

Пример 1 (б). Требуется решить задачу (1.2) для матриц состояния, управления и наблюдения (1.1):

${\mathbf{A}} = \left[ {\begin{array}{*{20}{c}} {{{a}_{{1,1}}}}&\vline & {{{a}_{{1,2}}}}&\vline & {{{a}_{{1,3}}}}&\vline & {{{a}_{{1,4}}}} \\ {{{a}_{{2,1}}}}&\vline & {{{a}_{{2,2}}}}&\vline & 0&\vline & {{{a}_{{2,4}}}} \\ {{{a}_{{3,1}}}}&\vline & {{{a}_{{3,2}}}}&\vline & {{{a}_{{3,3}}}}&\vline & {{{a}_{{3,4}}}} \\ {{{a}_{{4,1}}}}&\vline & {{{a}_{{4,2}}}}&\vline & 0&\vline & {{{a}_{{4,4}}}} \end{array}} \right],\quad {\mathbf{B}} = \left[ {\begin{array}{*{20}{c}} {{{b}_{{1,1}}}}&\vline & {{{b}_{{1,2}}}} \\ 0&\vline & 0 \\ {{{b}_{{3,1}}}}&\vline & {{{b}_{{3,2}}}} \\ 0&\vline & 0 \end{array}} \right],\quad {\mathbf{C}} = \left[ {\begin{array}{*{20}{c}} 1&\vline & 0&\vline & 0&\vline & 0 \\ 0&\vline & 1&\vline & 0&\vline & 0 \end{array}} \right].$

Запишем первые две блочные строки матрицы наблюдаемости:

${\mathbf{\tilde {N}}} = \left[ {\begin{array}{*{20}{c}} {\mathbf{C}} \\ {{\mathbf{CA}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 1&\vline & 0&\vline & 0&\vline & 0 \\ 0&\vline & 1&\vline & 0&\vline & 0 \\ {{{a}_{{1,1}}}}&\vline & {{{a}_{{1,2}}}}&\vline & {{{a}_{{1,3}}}}&\vline & {{{a}_{{1,4}}}} \\ {{{a}_{{2,1}}}}&\vline & {{{a}_{{2,2}}}}&\vline & 0&\vline & {{{a}_{{2,4}}}} \end{array}} \right],\quad \det {\mathbf{\tilde {N}}} = {{a}_{{1,3}}}{{a}_{{2,4}}}.$

Если ${{a}_{{1,3}}}{{a}_{{2,4}}} \ne 0$, то индекс наблюдаемости равен 2, т.е. верно условие (2.1).

Для проверки (2.11) рассчитаем следующую матрицу:

${{{\mathbf{R}}}_{{\mathbf{C}}}} = {\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{\tilde {N}}}}^{{ - 1}}} = {{\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}1,1}}}}&\vline & {{{r}_{{{\mathbf{C}}2,1}}}} \\ {{{r}_{{{\mathbf{C}}1,2}}}}&\vline & {{{r}_{{{\mathbf{C}}2,2}}}} \\ {{{r}_{{{\mathbf{C}}1,3}}}}&\vline & {{{r}_{{{\mathbf{C}}2,3}}}} \\ {{{r}_{{{\mathbf{C}}1,4}}}}&\vline & {{{r}_{{{\mathbf{C}}2,4}}}} \end{array}} \right]}^{{\text{T}}}} = {{\left[ {\begin{array}{*{20}{c}} {{{a}_{{1,3}}}{{a}_{{3,1}}} + {{a}_{{1,4}}}{{a}_{{4,1}}} - {{a}_{{1,1}}}{{a}_{{3,3}}} - {{a}_{{2,1}}}{{{\tilde {a}}}_{{1,4}}}}&\vline & {{{a}_{{2,4}}}{{a}_{{4,1}}} - {{a}_{{2,1}}}{{a}_{{4,4}}}} \\ {{{a}_{{1,3}}}{{a}_{{3,2}}} + {{a}_{{1,4}}}{{a}_{{4,2}}} - {{a}_{{1,2}}}{{a}_{{3,3}}} - {{a}_{{2,2}}}{{{\tilde {a}}}_{{1,4}}}}&\vline & {{{a}_{{2,4}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,4}}}} \\ {{{a}_{{1,1}}} + {{a}_{{3,3}}}}&\vline & {{{a}_{{2,1}}}} \\ {{{a}_{{1,2}}} + {{{\tilde {a}}}_{{1,4}}}}&\vline & {{{a}_{{2,2}}} + {{a}_{{4,4}}}} \end{array}} \right]}^{{\text{T}}}},$
где ${{\tilde {a}}_{{1,4}}} = {{\left( {{{a}_{{1,4}}}\left( {{{a}_{{4,4}}} - {{a}_{{3,3}}}} \right) + {{a}_{{1,3}}}{{a}_{{3,4}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{1,4}}}\left( {{{a}_{{4,4}}} - {{a}_{{3,3}}}} \right) + {{a}_{{1,3}}}{{a}_{{3,4}}}} \right)} {{{a}_{{2,4}}}}}} \right. \kern-0em} {{{a}_{{2,4}}}}}$. Рассматриваемая задача приводится к задаче модального управления с одним входом, так как выполнен вариант (б) условия (2.11):

$\left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{2}^{{\text{T}}}{\mathbf{A}} - {{r}_{{{\mathbf{C}}2,3}}}{\mathbf{c}}_{1}^{{\text{T}}}} \\ {{\mathbf{c}}_{2}^{{\text{T}}}} \end{array}} \right]{\mathbf{B}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & {{{a}_{{2,2}}}}&\vline & 0&\vline & {{{a}_{{2,4}}}} \\ 0&\vline & 1&\vline & 0&\vline & 0 \end{array}} \right]{{\left[ {\begin{array}{*{20}{c}} {{{b}_{{1,1}}}}&\vline & 0&\vline & {{{b}_{{3,1}}}}&\vline & 0 \\ {{{b}_{{1,2}}}}&\vline & 0&\vline & {{{b}_{{3,2}}}}&\vline & 0 \end{array}} \right]}^{{\text{T}}}} = {{{\mathbf{0}}}_{{2 \times 2}}}.$

Проведем промежуточные расчеты из теоремы 2:

${{\tilde {r}}_{{{\mathbf{C}}2,1}}} = {{r}_{{{\mathbf{C}}2,1}}} + {{r}_{{{\mathbf{C}}2,3}}}{{r}_{{{\mathbf{C}}2,4}}} = {{a}_{{2,4}}}{{a}_{{4,1}}} + {{a}_{{2,1}}}{{a}_{{2,2}}},$
${{d}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}2,2}}}{{r}_{{{\mathbf{C}}2,3}}} - {{r}_{{{\mathbf{C}}2,1}}}{{r}_{{{\mathbf{C}}2,4}}} = {{a}_{{2,4}}}{{\tilde {r}}_{{{\mathbf{C}}2,2}}} - {{a}_{{4,4}}}{{r}_{{{\mathbf{C}}2,1}}},$
${{t}_{{\mathbf{C}}}} = {{r}_{{{\mathbf{C}}2,3}}}{{d}_{{\mathbf{C}}}} - r_{{{\mathbf{C}}2,1}}^{2} = {{a}_{{2,4}}}\left( {{{a}_{{2,1}}}{{{\tilde {r}}}_{{{\mathbf{C}}2,2}}} - {{a}_{{4,1}}}{{r}_{{{\mathbf{C}}2,1}}}} \right),$
$\Delta p_{{{\mathbf{C}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{C}}2,2}}} = p_{2}^{*} + {{a}_{{2,4}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,4}}},$
$\Delta p_{{{\mathbf{C}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{C}}2,4}}} = p_{3}^{*} + {{a}_{{2,2}}} + {{a}_{{4,4}}},$
${{q}_{{{\mathbf{C}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{C}}2,2}}}\Delta p_{{{\mathbf{C}}3}}^{*} = p_{1}^{*} + \left( {{{a}_{{2,4}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,4}}}} \right)(p_{3}^{*} + {{a}_{{2,2}}} + {{a}_{{4,4}}}),$
${{q}_{{{\mathbf{C}}2}}} = \Delta p_{{{\mathbf{C}}2}}^{*} + {{r}_{{{\mathbf{C}}2,4}}}\Delta p_{{{\mathbf{C}}3}}^{*} = p_{2}^{*} + \left( {{{a}_{{2,2}}} + {{a}_{{4,4}}}} \right)p_{3}^{*} + a_{{2,2}}^{2} + a_{{4,4}}^{2} + {{a}_{{2,2}}}{{a}_{{4,4}}} + {{a}_{{2,4}}}{{a}_{{4,2}}},$
${{k}_{{{\mathbf{C}}1,2}}} = {{({{r}_{{{\mathbf{C}}2,2}}}\left( {{{r}_{{{\mathbf{C}}2,3}}}{{q}_{{{\mathbf{C}}1}}} - {{r}_{{{\mathbf{C}}2,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{C}}2,2}}}\left( {{{r}_{{{\mathbf{C}}2,3}}}{{q}_{{{\mathbf{C}}1}}} - {{r}_{{{\mathbf{C}}2,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}} = {{({{r}_{{{\mathbf{C}}2,2}}}\left( {{{a}_{{2,1}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} - {{a}_{{2,4}}}{{a}_{{4,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{C}}2,2}}}\left( {{{a}_{{2,1}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} - {{a}_{{2,4}}}{{a}_{{4,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}},$
${{k}_{{{\mathbf{C}}1,4}}} = {{({{r}_{{{\mathbf{C}}2,3}}}p_{0}^{*} - {{r}_{{{\mathbf{C}}2,1}}}{{q}_{{{\mathbf{C}}1}}} + {{d}_{{\mathbf{C}}}}{{q}_{{{\mathbf{C}}2}}})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{C}}2,3}}}p_{0}^{*} - {{r}_{{{\mathbf{C}}2,1}}}{{q}_{{{\mathbf{C}}1}}} + {{d}_{{\mathbf{C}}}}{{q}_{{{\mathbf{C}}2}}})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}} = {{({{a}_{{2,4}}}{{{\tilde {r}}}_{{{\mathbf{C}}2,2}}}{{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}2,1}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} + {{a}_{{2,1}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{a}_{{2,4}}}{{{\tilde {r}}}_{{{\mathbf{C}}2,2}}}{{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}2,1}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} + {{a}_{{2,1}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}},$
где ${{\tilde {r}}_{{{\mathbf{C}}2,2}}} = {{a}_{{2,1}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,1}}}$, ${{\tilde {q}}_{{{\mathbf{C}}1}}} = {{q}_{{{\mathbf{C}}1}}} + {{a}_{{4,4}}}{{q}_{{{\mathbf{C}}2}}}$. С учетом неравенства ${{a}_{{1,3}}}{{a}_{{2,4}}} \ne 0$ можно утверждать, что условие (2.14) полной управляемости SIMO-системы верно, если

$a_{{2,1}}^{2}{{a}_{{4,2}}} - {{a}_{{2,4}}}a_{{4,1}}^{2} \ne {{a}_{{2,1}}}{{a}_{{4,1}}}\left( {{{a}_{{2,2}}} - {{a}_{{4,4}}}} \right).$

Согласно выражению (2.13), из теоремы 2 рассчитаем регулятор ${\mathbf{k}}_{{\mathbf{C}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{l}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}}&\vline & {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right]$:

$\begin{gathered} \left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{l}} {{{r}_{{{\mathbf{C}}1,1}}} + {{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}2,3}}}{{k}_{{{\mathbf{C}}1,4}}}}&\vline & {{{r}_{{{\mathbf{C}}1,2}}} + {{k}_{{{\mathbf{C}}1,2}}}} \\ {{{r}_{{{\mathbf{C}}1,3}}} + \Delta p_{3}^{*}}&\vline & {{{r}_{{{\mathbf{C}}1,4}}} + {{k}_{{{\mathbf{C}}1,4}}}} \end{array}} \right] = \\ \, = \left[ {\begin{array}{*{20}{l}} {{{a}_{{1,3}}}{{a}_{{3,1}}} + {{a}_{{1,4}}}{{a}_{{4,1}}} - {{a}_{{1,1}}}{{a}_{{3,3}}} + {{q}_{{{\mathbf{C}}2}}} - {{a}_{{2,1}}}{{{\tilde {k}}}_{{{\mathbf{C}}1,4}}}}&\vline & {{{a}_{{1,3}}}{{a}_{{3,2}}} + {{a}_{{1,4}}}{{a}_{{4,2}}} - {{a}_{{1,2}}}{{a}_{{3,3}}} - {{a}_{{2,2}}}{{{\tilde {a}}}_{{1,4}}} + {{k}_{{{\mathbf{C}}1,2}}}} \\ {{{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}} + p_{3}^{*}}&\vline & {{{a}_{{1,2}}} + {{{\tilde {k}}}_{{{\mathbf{C}}1,4}}}} \end{array}} \right], \\ \end{gathered} $
где ${{\tilde {k}}_{{{\mathbf{C}}1,4}}} = {{k}_{{{\mathbf{C}}1,4}}} + {{\tilde {a}}_{{1,4}}}$.

По формуле (2.12) определим искомую матрицу регулятора по выходу:

${\mathbf{F}} = \underbrace {{{{\left[ {\begin{array}{*{20}{c}} {{{b}_{{1,1}}}}&\vline & {{{b}_{{1,2}}}} \\ {{{b}_{{3,1}}}}&\vline & {{{b}_{{3,2}}}} \end{array}} \right]}}^{{ - 1}}}\left[ {\begin{array}{*{20}{c}} 1&\vline & 0&\vline & 0&\vline & 0 \\ 0&\vline & 0&\vline & 1&\vline & 0 \end{array}} \right]}_{{{{\mathbf{B}}}^{ + }}}\underbrace {\left[ {\begin{array}{*{20}{c}} 0&\vline & 1 \\ 0&\vline & 0 \\ {{1 \mathord{\left/ {\vphantom {1 {{{a}_{{1,3}}}}}} \right. \kern-0em} {{{a}_{{1,3}}}}}}&\vline & {{{{{a}_{{3,3}}}} \mathord{\left/ {\vphantom {{{{a}_{{3,3}}}} {{{a}_{{1,3}}}}}} \right. \kern-0em} {{{a}_{{1,3}}}}}} \\ 0&\vline & 0 \end{array}} \right]}_{\left[ {\begin{array}{*{20}{l}} {{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}}&\vline & {{\mathbf{A}}{{{{\mathbf{\tilde {b}}}}}_{{\mathbf{C}}}}} \end{array}} \right]}\left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}}} \\ {{\mathbf{k}}_{{{\text{C2}}}}^{{\text{T}}}} \end{array}} \right] = {{\left[ {\begin{array}{*{20}{c}} {{{b}_{{1,1}}}}&\vline & {{{b}_{{1,2}}}} \\ {{{b}_{{3,1}}}}&\vline & {{{b}_{{3,2}}}} \end{array}} \right]}^{{ - 1}}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}}} \\ {{{({\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}} + {{a}_{{3,3}}}{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}})} \mathord{\left/ {\vphantom {{({\mathbf{k}}_{{{\mathbf{C}}1}}^{{\text{T}}} + {{a}_{{3,3}}}{\mathbf{k}}_{{{\mathbf{C}}2}}^{{\text{T}}})} {{{a}_{{1,3}}}}}} \right. \kern-0em} {{{a}_{{1,3}}}}}} \end{array}} \right].$

Таким образом, последовательность расчета искомого регулятора имеет вид

$\begin{gathered} {{r}_{{{\mathbf{C}}2,1}}} = {{a}_{{2,4}}}{{a}_{{4,1}}} - {{a}_{{2,1}}}{{a}_{{4,4}}},\quad {{r}_{{{\mathbf{C}}2,2}}} = {{a}_{{2,4}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,4}}}, \\ {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}} = {{a}_{{2,4}}}{{a}_{{4,1}}} + {{a}_{{2,1}}}{{a}_{{2,2}}},\quad {{{\tilde {r}}}_{{{\mathbf{C}}2,2}}} = {{a}_{{2,1}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,1}}}, \\ \end{gathered} $
${{\tilde {q}}_{{{\mathbf{C}}1}}} = a_{{4,4}}^{3} + a_{{4,4}}^{2}p_{3}^{*} + {{a}_{{4,4}}}p_{2}^{*} + p_{1}^{*} + {{a}_{{2,4}}}{{a}_{{4,2}}}(p_{3}^{*} + {{a}_{{2,2}}} + 2{{a}_{{4,4}}}),$
${{q}_{{{\mathbf{C}}2}}} = p_{2}^{*} + \left( {{{a}_{{2,2}}} + {{a}_{{4,4}}}} \right)p_{3}^{*} + a_{{2,2}}^{2} + a_{{4,4}}^{2} + {{a}_{{2,2}}}{{a}_{{4,4}}} + {{a}_{{2,4}}}{{a}_{{4,2}}},$
${{\tilde {a}}_{{1,4}}} = {{\left( {{{a}_{{1,4}}}\left( {{{a}_{{4,4}}} - {{a}_{{3,3}}}} \right) + {{a}_{{1,3}}}{{a}_{{3,4}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{1,4}}}\left( {{{a}_{{4,4}}} - {{a}_{{3,3}}}} \right) + {{a}_{{1,3}}}{{a}_{{3,4}}}} \right)} {{{a}_{{2,4}}}}}} \right. \kern-0em} {{{a}_{{2,4}}}}},\quad {{t}_{{\mathbf{C}}}} = {{a}_{{2,4}}}\left( {{{a}_{{2,1}}}{{{\tilde {r}}}_{{{\mathbf{C}}2,2}}} - {{a}_{{4,1}}}{{r}_{{{\mathbf{C}}2,1}}}} \right),$
$a = a_{{2,2}}^{2} + a_{{3,3}}^{2} + a_{{4,4}}^{2} + {{a}_{{2,2}}}{{a}_{{3,3}}} + {{a}_{{3,3}}}{{a}_{{4,4}}} + {{a}_{{4,4}}}{{a}_{{2,2}}} + \left( {{{a}_{{2,2}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}}} \right)p_{3}^{*} + p_{2}^{*},$
${{k}_{{{\mathbf{C}}1,2}}} = {{({{r}_{{{\mathbf{C}}2,2}}}\left( {{{a}_{{2,1}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} - {{a}_{{2,4}}}{{a}_{{4,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{C}}2,2}}}\left( {{{a}_{{2,1}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} - {{a}_{{2,4}}}{{a}_{{4,1}}}{{q}_{{{\mathbf{C}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{C}}2,1}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}},\quad {{\tilde {k}}_{{{\mathbf{C}}1,4}}} = {{({{a}_{{2,4}}}{{{\tilde {r}}}_{{{\mathbf{C}}2,2}}}{{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}2,1}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} + {{a}_{{2,1}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{a}_{{2,4}}}{{{\tilde {r}}}_{{{\mathbf{C}}2,2}}}{{q}_{{{\mathbf{C}}2}}} - {{r}_{{{\mathbf{C}}2,1}}}{{{\tilde {q}}}_{{{\mathbf{C}}1}}} + {{a}_{{2,1}}}p_{0}^{*})} {{{t}_{{\mathbf{C}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{C}}}}}} + {{\tilde {a}}_{{1,4}}},$
${\mathbf{F}} = \frac{{\left[ {\begin{array}{*{20}{c}} {{{b}_{{3,2}}}}&\vline & { - {{b}_{{1,2}}}} \\ { - {{b}_{{3,1}}}}&\vline & {{{b}_{{1,1}}}} \end{array}} \right]}}{{{{b}_{{1,1}}}{{b}_{{3,2}}} - {{b}_{{1,2}}}{{b}_{{3,1}}}}}\left[ {\begin{array}{*{20}{c}} {{{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}} + p_{3}^{*}}&\vline & {{{a}_{{1,2}}} + {{{\tilde {k}}}_{{{\mathbf{C}}1,4}}}} \\ {{{a}_{{3,1}}} + \frac{{{{a}_{{1,4}}}{{a}_{{4,1}}} + {{a}_{{2,4}}}{{a}_{{4,2}}} + a - {{a}_{{2,1}}}{{{\tilde {k}}}_{{{\mathbf{C}}1,4}}}}}{{{{a}_{{1,3}}}}}}&\vline & {{{a}_{{3,2}}} + \frac{{{{a}_{{1,4}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{{\tilde {a}}}_{{1,4}}} + {{k}_{{{\mathbf{C}}1,2}}} + {{a}_{{3,3}}}{{{\tilde {k}}}_{{{\mathbf{C}}1,4}}}}}{{{{a}_{{1,3}}}}}} \end{array}} \right].$

Символьные вычисления в MATLAB [15] подтвердили равенство полиномов (1.2).

3. Приведение к задаче наблюдения с одним входом (дуальный подход). Предположим, что индекс управляемости [13] заданной системы (1.1) равен 2, т.е.

(3.1)
$\det \underbrace {\left[ {\begin{array}{*{20}{c}} {\mathbf{B}}&\vline & {{\mathbf{AB}}} \end{array}} \right]}_{{\mathbf{\tilde {U}}}} \ne 0.$

Введем обозначение для матрицы регулятора по состоянию

(3.2)
${\mathbf{K}} = {\mathbf{FC}}.$

Для матрицы замкнутой системы ${\mathbf{A}}{\kern 1pt} * = {\mathbf{A}} - {\mathbf{BK}}$ выполним преобразование подобия [14]

${\mathbf{A}}_{{\mathbf{B}}}^{*} = {{{\mathbf{\tilde {U}}}}^{{ - 1}}}{{{\mathbf{A}}}^{ * }}{\mathbf{\tilde {U}}} = \underbrace {\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & { - {{{\mathbf{P}}}_{{{\mathbf{B}}0}}}} \\ {{{{\mathbf{I}}}_{2}}}&\vline & { - {{{\mathbf{P}}}_{{{\mathbf{B}}1}}}} \end{array}} \right]}_{{{{\mathbf{A}}}_{{\mathbf{B}}}} = {{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{\mathbf{A\tilde {U}}}} - \underbrace {\left[ {\begin{array}{*{20}{c}} {{\mathbf{KB}}}&\vline & {{\mathbf{KAB}}} \\ {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 2}}}} \end{array}} \right]}_{{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{\mathbf{BK\tilde {U}}}} = \left[ {\begin{array}{*{20}{c}} { - {\mathbf{KB}}}&\vline & { - {{{\mathbf{P}}}_{{{\mathbf{B}}0}}} - {\mathbf{KAB}}} \\ {{{{\mathbf{I}}}_{2}}}&\vline & { - {{{\mathbf{P}}}_{{{\mathbf{B}}1}}}} \end{array}} \right],$
где блоки ${{{\mathbf{P}}}_{{{\mathbf{B}}0}}},\;{{{\mathbf{P}}}_{{{\mathbf{B}}1}}} \in {{\mathbb{R}}^{{2 \times 2}}}$ таковы, что
$ - \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{P}}}_{{{\mathbf{B}}0}}}} \\ {{{{\mathbf{P}}}_{{{\mathbf{B}}1}}}} \end{array}} \right] = {{{\mathbf{R}}}_{{\mathbf{B}}}} = {{{\mathbf{\tilde {U}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}} = \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{B}}1,1}}}}&\vline & {{{r}_{{{\mathbf{B}}1,2}}}} \\ {{{r}_{{{\mathbf{B}}2,1}}}}&\vline & {{{r}_{{{\mathbf{B}}2,2}}}} \\ {{{r}_{{{\mathbf{B}}3,1}}}}&\vline & {{{r}_{{{\mathbf{B}}3,2}}}} \\ {{{r}_{{{\mathbf{B}}4,1}}}}&\vline & {{{r}_{{{\mathbf{B}}4,2}}}} \end{array}} \right],$
а преобразованная матрица состояния разомкнутой системы имеет вид

(3.3)
${{{\mathbf{A}}}_{{\mathbf{B}}}} = {{{\mathbf{\tilde {U}}}}^{{ - 1}}}{\mathbf{A\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & {{{r}_{{{\mathbf{B}}1,1}}}}&\vline & {{{r}_{{{\mathbf{B}}1,2}}}} \\ 0&\vline & 0&\vline & {{{r}_{{{\mathbf{B}}2,1}}}}&\vline & {{{r}_{{{\mathbf{B}}2,2}}}} \\ 1&\vline & 0&\vline & {{{r}_{{{\mathbf{B}}3,1}}}}&\vline & {{{r}_{{{\mathbf{B}}3,2}}}} \\ 0&\vline & 1&\vline & {{{r}_{{{\mathbf{B}}4,1}}}}&\vline & {{{r}_{{{\mathbf{B}}4,2}}}} \end{array}} \right].$

Далее, выполнив еще одно преобразование подобия [14] через матрицу

${{{\mathbf{T}}}_{{\mathbf{B}}}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{I}}}_{2}}}&\vline & { - {\mathbf{KB}}} \\ {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & {{{{\mathbf{I}}}_{2}}} \end{array}} \right],$
получим матрицу, которая должна иметь желаемый полином $\varphi {\kern 1pt} *\left( \lambda \right)$:

${\mathbf{\tilde {A}}}_{{\mathbf{B}}}^{*} = {\mathbf{T}}_{{\mathbf{B}}}^{{ - 1}}{\mathbf{A}}_{{\mathbf{B}}}^{*}{{{\mathbf{T}}}_{{\mathbf{B}}}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & { - {{{\mathbf{P}}}_{{{\mathbf{B}}0}}} - {\mathbf{KAB}} - {\mathbf{KB}}{{{\mathbf{P}}}_{{{\mathbf{B}}1}}}} \\ {{{{\mathbf{I}}}_{2}}}&\vline & { - {{{\mathbf{P}}}_{{{\mathbf{B}}1}}} - {\mathbf{KB}}} \end{array}} \right] = {{{\mathbf{\tilde {A}}}}_{{\mathbf{B}}}} - \underbrace {\left[ {\begin{array}{*{20}{c}} {{\mathbf{K}}\left( {{\mathbf{AB}} + {\mathbf{B}}{{{\mathbf{P}}}_{{{\mathbf{B}}1}}}} \right)} \\ {{\mathbf{KB}}} \end{array}} \right]}_{{{{\mathbf{L}}}_{{\mathbf{B}}}}}\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & {{{{\mathbf{I}}}_{2}}} \end{array}} \right].$

Обеспечение желаемого полинома матрице ${\mathbf{\tilde {A}}}_{{\mathbf{B}}}^{*}$ путем выбора матрицы ${{{\mathbf{L}}}_{{\mathbf{B}}}}$ представляет собой задачу модального наблюдения по состоянию с двумя входами (MIMO-система). Для приведения к задаче с одним входом (к SIMO-системе) обнулим один из столбцов матрицы ${{{\mathbf{L}}}_{{\mathbf{B}}}}$.

Пусть b1 и b2 – соответственно первый и второй столбцы матрицы управления ${\mathbf{B}}$. Условия обнуления первого (а) или второго (б) столбца матрицы ${{{\mathbf{L}}}_{{\mathbf{B}}}}$

${\text{(а)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{K}}\left( {{\mathbf{AB}} + {\mathbf{B}}{{{\mathbf{P}}}_{{{\mathbf{B}}1}}}} \right)} \\ {{\mathbf{KB}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 1 \\ 0 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{KA}}{{{\mathbf{b}}}_{1}} - \underbrace {{\mathbf{K}}{{{\mathbf{b}}}_{2}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 1 \end{array}} \right]}_{{\mathbf{KB}}}\underbrace {\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & {{{{\mathbf{I}}}_{2}}} \end{array}} \right]{{{\mathbf{R}}}_{{\mathbf{B}}}}}_{ - {{{\mathbf{P}}}_{1}}}\left[ {\begin{array}{*{20}{c}} 1 \\ 0 \end{array}} \right]} \\ {{\mathbf{K}}{{{\mathbf{b}}}_{1}}} \end{array}} \right] = {{{\mathbf{0}}}_{{4 \times 1}}},$
${\text{(б)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{K}}\left( {{\mathbf{AB}} + {\mathbf{B}}{{{\mathbf{P}}}_{{{\mathbf{B}}1}}}} \right)} \\ {{\mathbf{KB}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 0 \\ 1 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{KA}}{{{\mathbf{b}}}_{2}} - \underbrace {{\mathbf{K}}{{{\mathbf{b}}}_{1}}\left[ {\begin{array}{*{20}{c}} 1&\vline & 0 \end{array}} \right]}_{{\mathbf{KB}}}\underbrace {\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & {{{{\mathbf{I}}}_{2}}} \end{array}} \right]{{{\mathbf{R}}}_{{\mathbf{B}}}}}_{ - {{{\mathbf{P}}}_{1}}}\left[ {\begin{array}{*{20}{c}} 0 \\ 1 \end{array}} \right]} \\ {{\mathbf{K}}{{{\mathbf{b}}}_{2}}} \end{array}} \right] = {{{\mathbf{0}}}_{{4 \times 1}}}$
принимают соответственно вид

(3.4)
${\text{(а)}}\;\;{\mathbf{K}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{A}}{{{\mathbf{b}}}_{1}} - {{r}_{{{\mathbf{B}}4,1}}}{{{\mathbf{b}}}_{2}}}&\vline & {{{{\mathbf{b}}}_{1}}} \end{array}} \right] = {{{\mathbf{0}}}_{{2 \times 2}}},\quad {\text{(б)}}\;\;{\mathbf{K}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{A}}{{{\mathbf{b}}}_{2}} - {{r}_{{{\mathbf{B}}3,2}}}{{{\mathbf{b}}}_{1}}}&\vline & {{{{\mathbf{b}}}_{2}}} \end{array}} \right] = {{{\mathbf{0}}}_{{2 \times 2}}}.$

При этом ненулевой столбец матрицы ${{{\mathbf{L}}}_{{\mathbf{B}}}}$ становится соответственно равен

${\text{(а)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{K}}\left( {{\mathbf{AB}} + {\mathbf{B}}{{{\mathbf{P}}}_{{{\mathbf{B}}1}}}} \right)} \\ {{\mathbf{KB}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 0 \\ 1 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{KA}}{{{\mathbf{b}}}_{2}} - \underbrace {{\mathbf{K}}{{{\mathbf{b}}}_{2}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 1 \end{array}} \right]}_{{\mathbf{KB}}}\underbrace {\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & {{{{\mathbf{I}}}_{2}}} \end{array}} \right]{{{\mathbf{R}}}_{{\mathbf{B}}}}}_{ - {{{\mathbf{P}}}_{1}}}\left[ {\begin{array}{*{20}{c}} 0 \\ 1 \end{array}} \right]} \\ {{\mathbf{K}}{{{\mathbf{b}}}_{2}}} \end{array}} \right],$
${\text{(б)}}\;\;\left[ {\begin{array}{*{20}{c}} {{\mathbf{K}}\left( {{\mathbf{AB}} + {\mathbf{B}}{{{\mathbf{P}}}_{{{\mathbf{B}}1}}}} \right)} \\ {{\mathbf{KB}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} 1 \\ 0 \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{\mathbf{KA}}{{{\mathbf{b}}}_{1}} - \underbrace {{\mathbf{K}}{{{\mathbf{b}}}_{1}}\left[ {\begin{array}{*{20}{c}} 1&\vline & 0 \end{array}} \right]}_{{\mathbf{KB}}}\underbrace {\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 2}}}}&\vline & {{{{\mathbf{I}}}_{2}}} \end{array}} \right]{{{\mathbf{R}}}_{{\mathbf{B}}}}}_{ - {{{\mathbf{P}}}_{1}}}\left[ {\begin{array}{*{20}{c}} 1 \\ 0 \end{array}} \right]} \\ {{\mathbf{K}}{{{\mathbf{b}}}_{1}}} \end{array}} \right].$

При выполнении одного из условий (3.4) приходим к SIMO-системе

(3.5)
${\mathbf{\tilde {A}}}_{{\mathbf{B}}}^{*} = {{{\mathbf{A}}}_{{\mathbf{B}}}} - {{{\mathbf{l}}}_{{\mathbf{B}}}}{\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}}$
с матрицей состояния (3.3) и соответственно матрицей наблюдения (вектор-строка)
(3.6)
${\text{(а)}}\;\;{\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right],\quad ({\text{б}})\;\;{\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \end{array}} \right]$
и матрицей наблюдателя (вектор-столбец) ${{{\mathbf{l}}}_{{\mathbf{B}}}} = {{\left[ {\begin{array}{*{20}{c}} {{\mathbf{l}}_{{{\mathbf{B}}1}}^{{\text{T}}}}&\vline & {{\mathbf{l}}_{{{\mathbf{B}}2}}^{{\text{T}}}} \end{array}} \right]}^{{\text{T}}}}$, где ${{{\mathbf{l}}}_{{{\mathbf{B}}1}}},{\text{ }}{{{\mathbf{l}}}_{{{\mathbf{B}}2}}} \in {{\mathbb{R}}^{{2 \times 1}}}$,

(3.7)
${\text{(а)}}\;\;\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right] = {\mathbf{K}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{A}}{{{\mathbf{b}}}_{2}} - {{r}_{{{\mathbf{B}}4,2}}}{{{\mathbf{b}}}_{2}}}&\vline & {{{{\mathbf{b}}}_{2}}} \end{array}} \right],\quad {\text{(б)}}\;\;\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right] = {\mathbf{K}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{A}}{{{\mathbf{b}}}_{1}} - {{r}_{{{\mathbf{B}}3,1}}}{{{\mathbf{b}}}_{1}}}&\vline & {{{{\mathbf{b}}}_{1}}} \end{array}} \right].$

SIMO-система (3.5) полностью наблюдаема при условии

(3.8)
$\det \underbrace {\left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}}} \\ {{\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}}{{{\mathbf{A}}}_{{\mathbf{B}}}}} \\ {{\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}}{\mathbf{A}}_{{\mathbf{B}}}^{2}} \\ {{\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}}{\mathbf{A}}_{{\mathbf{B}}}^{3}} \end{array}} \right]}_{{{{\mathbf{N}}}_{{\mathbf{B}}}}} \ne 0.$

Задача модального наблюдения при желаемом характеристическом полиноме $\varphi {\kern 1pt} *\left( \lambda \right)$ в SIMO-системе (3.5) решается с помощью дуальной формулы Аккермана [10]:

(3.9)
$\left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}} \\ {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right] = \varphi {\kern 1pt} *\left( {{{{\mathbf{A}}}_{{\mathbf{B}}}}} \right){\mathbf{N}}_{{\mathbf{B}}}^{{ - 1}}{{\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right]}^{{\text{T}}}} = {{{\mathbf{\tilde {U}}}}^{{ - 1}}}\varphi {\kern 1pt} *\left( {\mathbf{A}} \right){\mathbf{\tilde {N}}}_{{\mathbf{B}}}^{{ - 1}}{{\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right]}^{{\text{T}}}},$
где

${\mathbf{A}}_{{\mathbf{B}}}^{i} = {{{\mathbf{\tilde {U}}}}^{{ - 1}}}{{{\mathbf{A}}}^{i}}{\mathbf{\tilde {U}}}\quad (i = \overline {0, \ldots ,4} ),\quad {{{\mathbf{\tilde {N}}}}_{{\mathbf{B}}}} = \left[ {\begin{array}{*{20}{c}} {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{{\text{T}}}} \\ {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{{\text{T}}}{\mathbf{A}}} \\ {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{{\text{T}}}{{{\mathbf{A}}}^{2}}} \\ {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{{\text{T}}}{{{\mathbf{A}}}^{3}}} \end{array}} \right],\quad {\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{{\text{T}}} = {\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}}{{{\mathbf{\tilde {U}}}}^{{ - 1}}}.$

Матрицу регулятора ${\mathbf{K}}$ (3.2) определим из соотношения

${\mathbf{K\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {{\mathbf{K}}{{{\mathbf{b}}}_{1}}}&\vline & {{\mathbf{K}}{{{\mathbf{b}}}_{2}}}&\vline & {{\mathbf{KA}}{{{\mathbf{b}}}_{1}}}&\vline & {{\mathbf{KA}}{{{\mathbf{b}}}_{2}}} \end{array}} \right].$

С учетом значений (3.4) и (3.7) соответственно получим

$\begin{gathered} {\text{(а)}}\;\;{\mathbf{K\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}}&\vline & {{{r}_{{{\mathbf{B}}4,1}}}{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}} + {{r}_{{{\mathbf{B}}4,2}}}{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right] = {{{\mathbf{l}}}_{{{\mathbf{B}}1}}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right] + {{{\mathbf{l}}}_{{{\mathbf{B}}2}}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{\mathbf{AB}}}&\vline & {{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}}} \end{array}} \right], \hfill \\ \hfill \\ \end{gathered} $
${\text{(б)}}\;\;{\mathbf{K\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}} + {{r}_{{{\mathbf{B}}3,1}}}{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}}&\vline & {{{r}_{{{\mathbf{B}}3,2}}}{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right] = {{{\mathbf{l}}}_{{{\mathbf{B}}1}}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \end{array}} \right] + {{{\mathbf{l}}}_{{{\mathbf{B}}2}}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{\mathbf{AB}}}&\vline & {{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}}} \end{array}} \right].$

Таким образом, в силу значений (3.6), в обоих случаях (а) и (б) матрица регулятора по состоянию равна

(3.10)
${\mathbf{K}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}}} \\ {{\mathbf{c}}_{{\mathbf{B}}}^{{\text{T}}}{{{\mathbf{A}}}_{{\mathbf{B}}}}} \end{array}} \right]{{{\mathbf{\tilde {U}}}}^{{ - 1}}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{{\text{T}}}} \\ {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{{\text{T}}}{\mathbf{A}}} \end{array}} \right].$

Условие обнуления (3.4) будет одновременно условием разрешимости уравнения (3.2) относительно матрицы регулятора по выходу F [6], если второй множитель в левой части равенства (3.4) является правым аннулятором матрицы C, т.е. соответственно если

(3.11)
${\text{(а)}}\;\;{\mathbf{C}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{A}}{{{\mathbf{b}}}_{1}} - {{r}_{{{\mathbf{B}}4,1}}}{{{\mathbf{b}}}_{2}}}&\vline & {{{{\mathbf{b}}}_{1}}} \end{array}} \right] = {{{\mathbf{0}}}_{{2 \times 2}}},\quad {\text{(б)}}\;\;{\mathbf{C}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{A}}{{{\mathbf{b}}}_{2}} - {{r}_{{{\mathbf{B}}3,2}}}{{{\mathbf{b}}}_{1}}}&\vline & {{{{\mathbf{b}}}_{2}}} \end{array}} \right] = {{{\mathbf{0}}}_{{2 \times 2}}}.$

Пусть ${{{\mathbf{C}}}^{ + }} = {{{\mathbf{C}}}^{{\text{T}}}}{{({\mathbf{C}}{{{\mathbf{C}}}^{{\text{T}}}})}^{{ - 1}}}$ – псевдообратная матрица [6] к матрице наблюдения C. Тогда решение уравнения (3.2) и задачи (1.2) в целом при выполнении условий (3.1), (3.8), (3.11) с учетом значения матрицы ${\mathbf{K}}$ (3.10) принимает вид

(3.12)
${\mathbf{F}} = {\mathbf{K}}{{{\mathbf{C}}}^{ + }} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{{\text{T}}}} \\ {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{{\text{T}}}{\mathbf{A}}} \end{array}} \right]{{{\mathbf{C}}}^{ + }}.$

Отметим, что условие (3.11) приводимости к задаче наблюдения с одним входом может быть верно, только если индекс наблюдаемости рассматриваемой системы (1.1) больше индекса ее управляемости [13]. Сформулируем это утверждение в виде теоремы.

Теорема 3. Задана полностью управляемая и полностью наблюдаемая тройка матриц состояния, управления и наблюдения (1.1). Пусть индекс их управляемости равен 2, т.е. выполняется условие (3.1), и справедливо одно из равенств (3.11), где соответственно b1 и b2 – столбцы матрицы управления, а ${{r}_{{{\mathbf{B}}3,2}}}$ и ${{r}_{{{\mathbf{B}}4,1}}}$ – элементы матрицы (3.3).

Тогда индекс наблюдаемости матриц (1.1) равен 3 (больше индекса управляемости).

Доказательство. Для доказательства необходимо и достаточно показать, что вырождается матрица

${\mathbf{\tilde {N}}} = \left[ {\begin{array}{*{20}{c}} {\mathbf{C}} \\ {{\mathbf{CA}}} \end{array}} \right].$

В силу условия (3.1) вырождение матрицы ${\mathbf{\tilde {N}}}$ эквивалентно вырождению матрицы ${\mathbf{\tilde {N}\tilde {U}}}$, которая имеет ненулевой аннулятор [6]:

${\text{(а)}}\;\;{\mathbf{\tilde {N}\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 1}}}}&\vline & {{\mathbf{C}}{{{\mathbf{b}}}_{2}}}&\vline & {{\mathbf{C}}{{{\mathbf{b}}}_{2}}{{r}_{{{\mathbf{B}}4,1}}}}&\vline & {{\mathbf{CA}}{{{\mathbf{b}}}_{2}}} \\ {{\mathbf{C}}{{{\mathbf{b}}}_{2}}{{r}_{{{\mathbf{B}}4,1}}}}&\vline & {{\mathbf{CA}}{{{\mathbf{b}}}_{2}}}&\vline & {{\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{1}}}&\vline & {{\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{2}}} \end{array}} \right],\quad {{\left( {{\mathbf{\tilde {N}\tilde {U}}}} \right)}^{R}} = \left\{ \begin{gathered} {{\left[ {\begin{array}{*{20}{c}} 1&\vline & 0&\vline & 0&\vline & 0 \end{array}} \right]}^{{\text{T}}}},\quad {{r}_{{{\mathbf{C}}4,1}}} = 0, \hfill \\ {{\left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}3,1}}} + \frac{{{{r}_{{{\mathbf{C}}2,1}}}}}{{{{r}_{{{\mathbf{C}}4,1}}}}}}&\vline & {{{r}_{{{\mathbf{C}}4,1}}}}&\vline & { - 1}&\vline & 0 \end{array}} \right]}^{{\text{T}}}},\quad {{r}_{{{\mathbf{C}}4,1}}} \ne 0, \hfill \\ \end{gathered} \right.$
$\begin{gathered} {\text{(б)}}\;\;{\mathbf{\tilde {N}\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {{\mathbf{C}}{{{\mathbf{b}}}_{1}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 1}}}}&\vline & {{\mathbf{CA}}{{{\mathbf{b}}}_{1}}}&\vline & {{\mathbf{C}}{{{\mathbf{b}}}_{1}}{{r}_{{{\mathbf{B}}3,2}}}} \\ {{\mathbf{CA}}{{{\mathbf{b}}}_{1}}}&\vline & {{\mathbf{C}}{{{\mathbf{b}}}_{1}}{{r}_{{{\mathbf{B}}3,2}}}}&\vline & {{\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{1}}}&\vline & {{\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{2}}} \end{array}} \right],\quad {{\left( {{\mathbf{\tilde {N}\tilde {U}}}} \right)}^{L}} = \left\{ \begin{gathered} \left[ {\begin{array}{*{20}{c}} 0&\vline & 1&\vline & 0&\vline & 0 \end{array}} \right],\quad {{r}_{{{\mathbf{C}}3,2}}} = 0, \hfill \\ \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{C}}3,2}}}}&\vline & {{{r}_{{{\mathbf{C}}4,2}}} + \frac{{{{r}_{{{\mathbf{C}}1,2}}}}}{{{{r}_{{{\mathbf{C}}3,2}}}}}}&\vline & 0&\vline & { - 1} \end{array}} \right],\quad {{r}_{{{\mathbf{C}}3,2}}} \ne 0. \hfill \\ \end{gathered} \right. \hfill \\ \begin{array}{*{20}{l}} {}&{}&{} \end{array} \hfill \\ \end{gathered} $

Тогда справедливы равенства

$\begin{gathered} {\text{(а)}}\;\;{\mathbf{CA}}{{{\mathbf{b}}}_{2}}{{r}_{{{\mathbf{B}}4,1}}} = {\mathbf{CA}}{{{\mathbf{b}}}_{2}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right]{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{1}} = {\mathbf{C}}\left( {{\mathbf{\tilde {U}}} - \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{b}}}_{1}}}&\vline & {{{{\mathbf{b}}}_{2}}}&\vline & {{\mathbf{A}}{{{\mathbf{b}}}_{1}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 1}}}} \end{array}} \right]} \right){{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{1}} = \\ \, = {\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{1}} - \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{0}}}_{{2 \times 1}}}}&\vline & {{\mathbf{C}}{{{\mathbf{b}}}_{2}}}&\vline & {{\mathbf{C}}{{{\mathbf{b}}}_{2}}{{r}_{{{\mathbf{B}}4,1}}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 1}}}} \end{array}} \right]{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{1}} = \\ \, = {\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{1}} - {\mathbf{C}}{{{\mathbf{b}}}_{2}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 1&\vline & {{{r}_{{{\mathbf{B}}4,1}}}}&\vline & 0 \end{array}} \right]{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{1}} = {\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{1}} - {\mathbf{C}}{{{\mathbf{b}}}_{2}}\left( {{{r}_{{{\mathbf{C}}2,1}}} + {{r}_{{{\mathbf{C}}3,1}}}{{r}_{{{\mathbf{C}}4,1}}}} \right), \\ \end{gathered} $
$\begin{gathered} {\text{(б)}}\;\;{\mathbf{CA}}{{{\mathbf{b}}}_{1}}{{r}_{{{\mathbf{B}}3,2}}} = {\mathbf{CA}}{{{\mathbf{b}}}_{1}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \end{array}} \right]{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{2}} = {\mathbf{C}}\left( {{\mathbf{\tilde {U}}} - \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{b}}}_{1}}}&\vline & {{{{\mathbf{b}}}_{2}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 1}}}}&\vline & {{\mathbf{A}}{{{\mathbf{b}}}_{2}}} \end{array}} \right]} \right){{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{2}} = \\ \, = {\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{2}} - \left[ {\begin{array}{*{20}{c}} {{\mathbf{C}}{{{\mathbf{b}}}_{1}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 1}}}}&\vline & {{{{\mathbf{0}}}_{{2 \times 1}}}}&\vline & {{\mathbf{C}}{{{\mathbf{b}}}_{1}}{{r}_{{{\mathbf{B}}3,2}}}} \end{array}} \right]{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{2}} = \\ \, = {\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{2}} - {\mathbf{C}}{{{\mathbf{b}}}_{1}}\left[ {\begin{array}{*{20}{c}} 1&\vline & 0&\vline & 0&\vline & {{{r}_{{{\mathbf{B}}3,2}}}} \end{array}} \right]{{{{\mathbf{\tilde {U}}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{2}} = {\mathbf{C}}{{{\mathbf{A}}}^{2}}{{{\mathbf{b}}}_{2}} - {\mathbf{C}}{{{\mathbf{b}}}_{1}}\left( {{{r}_{{{\mathbf{C}}1,2}}} + {{r}_{{{\mathbf{C}}3,2}}}{{r}_{{{\mathbf{C}}4,2}}}} \right). \\ \end{gathered} $

Теорема доказана.

По аналогии с рассуждениями о формуле (2.9) в данном случае наибольшую вычислительную сложность представляет дуальная формула Аккермана (3.9). Далее в виде теоремы предложен метод расчета модального наблюдателя для SIMO-системы (3.5), существенно упрощающий его окончательное символьное выражение.

Теорема 4. Решение задачи модального наблюдения для SIMO-системы (3.5) с обеспечением характеристического полинома $\varphi {\kern 1pt} *\left( \lambda \right) = {{\lambda }^{4}} + p_{3}^{*}{{\lambda }^{3}} + p_{2}^{*}{{\lambda }^{2}} + p_{1}^{*}\lambda + p_{0}^{*}$ записывается как

(3.13)
${\text{(а)}}\;\;{{{\mathbf{l}}}_{{\mathbf{B}}}} = \left[ {\begin{array}{*{20}{l}} {{{r}_{{{\mathbf{B}}1,2}}} + {{l}_{{{\mathbf{B}}1,1}}}} \\ {{{r}_{{{\mathbf{B}}2,2}}} + {{q}_{{{\mathbf{B}}2}}} - {{r}_{{{\mathbf{B}}4,1}}}{{l}_{{{\mathbf{B}}3,1}}}} \\ {{{r}_{{{\mathbf{B}}3,2}}} + {{l}_{{{\mathbf{B}}3,1}}}} \\ {{{r}_{{{\mathbf{B}}4,2}}} + \Delta p_{{{\mathbf{B}}3}}^{*}} \end{array}} \right],\quad {\text{(б)}}\;\;{{{\mathbf{l}}}_{{\mathbf{B}}}} = \left[ {\begin{array}{*{20}{l}} {{{r}_{{{\mathbf{B}}1,1}}} + {{q}_{{{\mathbf{B}}2}}} - {{r}_{{{\mathbf{B}}3,2}}}{{l}_{{{\mathbf{B}}4,1}}}} \\ {{{r}_{{{\mathbf{B}}2,1}}} + {{l}_{{{\mathbf{B}}2,1}}}} \\ {{{r}_{{{\mathbf{B}}3,1}}} + \Delta p_{{{\mathbf{B}}3}}^{*}} \\ {{{r}_{{{\mathbf{B}}4,1}}} + {{l}_{{{\mathbf{B}}4,1}}}} \end{array}} \right],$
где

$\begin{gathered} {\text{(а)}}\;\;\left\{ {\begin{array}{*{20}{c}} \begin{gathered} {{{\tilde {r}}}_{{{\mathbf{B}}2,1}}} = {{r}_{{{\mathbf{B}}2,1}}} + {{r}_{{{\mathbf{B}}3,1}}}{{r}_{{{\mathbf{B}}4,1}}}, \hfill \\ {{d}_{{\mathbf{B}}}} = {{r}_{{{\mathbf{B}}1,1}}}{{r}_{{{\mathbf{B}}4,1}}} - {{r}_{{{\mathbf{B}}2,1}}}{{r}_{{{\mathbf{B}}3,1}}}, \hfill \\ {{t}_{{\mathbf{B}}}} = {{r}_{{{\mathbf{B}}4,1}}}{{d}_{{\mathbf{B}}}} - r_{{{\mathbf{B}}2,1}}^{2}, \hfill \\ \Delta p_{{{\mathbf{B}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{B}}1,1}}}, \hfill \\ \Delta p_{{{\mathbf{B}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{B}}3,1}}}, \hfill \\ {{q}_{{{\mathbf{B}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{B}}1,1}}}\Delta p_{{{\mathbf{B}}3}}^{*}, \hfill \\ {{q}_{{{\mathbf{B}}2}}} = \Delta p_{{{\mathbf{B}}2}}^{*} + {{r}_{{{\mathbf{B}}3,1}}}\Delta p_{{{\mathbf{B}}3}}^{*}, \hfill \\ {{l}_{{{\mathbf{B}}1,1}}} = {{({{r}_{{{\mathbf{B}}1,1}}}\left( {{{r}_{{{\mathbf{B}}4,1}}}{{q}_{{{\mathbf{B}}1}}} - {{r}_{{{\mathbf{B}}2,1}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{B}}2,1}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}1,1}}}\left( {{{r}_{{{\mathbf{B}}4,1}}}{{q}_{{{\mathbf{B}}1}}} - {{r}_{{{\mathbf{B}}2,1}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{B}}2,1}}}p_{0}^{*})} {{{t}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{B}}}}}}, \hfill \\ {{l}_{{{\mathbf{B}}3,1}}} = {{({{r}_{{{\mathbf{B}}4,1}}}p_{0}^{*} - {{r}_{{{\mathbf{B}}2,1}}}{{q}_{{{\mathbf{B}}1}}} + {{d}_{{\mathbf{B}}}}{{q}_{{{\mathbf{B}}2}}})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}4,1}}}p_{0}^{*} - {{r}_{{{\mathbf{B}}2,1}}}{{q}_{{{\mathbf{B}}1}}} + {{d}_{{\mathbf{B}}}}{{q}_{{{\mathbf{B}}2}}})} {{{t}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{B}}}}}}, \hfill \\ \end{gathered} \end{array}} \right.\quad {\text{(б)}}\;\;\left\{ {\begin{array}{*{20}{c}} \begin{gathered} {{{\tilde {r}}}_{{{\mathbf{B}}1,2}}} = {{r}_{{{\mathbf{B}}1,2}}} + {{r}_{{{\mathbf{B}}3,2}}}{{r}_{{{\mathbf{B}}4,2}}}, \hfill \\ {{d}_{{\mathbf{B}}}} = {{r}_{{{\mathbf{B}}2,2}}}{{r}_{{{\mathbf{B}}3,2}}} - {{r}_{{{\mathbf{B}}1,2}}}{{r}_{{{\mathbf{B}}4,2}}}, \hfill \\ {{t}_{{\mathbf{B}}}} = {{r}_{{{\mathbf{B}}3,2}}}{{d}_{{\mathbf{B}}}} - r_{{{\mathbf{B}}1,2}}^{2}, \hfill \\ \Delta p_{{{\mathbf{B}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{B}}2,2}}}, \hfill \\ \Delta p_{{{\mathbf{B}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{B}}4,2}}}, \hfill \\ {{q}_{{{\mathbf{B}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{B}}2,2}}}\Delta p_{{{\mathbf{B}}3}}^{*}, \hfill \\ {{q}_{{{\mathbf{B}}2}}} = \Delta p_{{{\mathbf{B}}2}}^{*} + {{r}_{{{\mathbf{B}}4,2}}}\Delta p_{{{\mathbf{B}}3}}^{*}, \hfill \\ {{l}_{{{\mathbf{B}}2,1}}} = {{({{r}_{{{\mathbf{B}}2,2}}}\left( {{{r}_{{{\mathbf{B}}3,2}}}{{q}_{{{\mathbf{B}}1}}} - {{r}_{{{\mathbf{B}}1,2}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{B}}1,2}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}2,2}}}\left( {{{r}_{{{\mathbf{B}}3,2}}}{{q}_{{{\mathbf{B}}1}}} - {{r}_{{{\mathbf{B}}1,2}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{B}}1,2}}}p_{0}^{*})} {{{t}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{B}}}}}}, \hfill \\ {{l}_{{{\mathbf{B}}4,1}}} = {{({{r}_{{{\mathbf{B}}3,2}}}p_{0}^{*} - {{r}_{{{\mathbf{B}}1,2}}}{{q}_{{{\mathbf{B}}1}}} + {{d}_{{\mathbf{B}}}}{{q}_{{{\mathbf{B}}2}}})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}3,2}}}p_{0}^{*} - {{r}_{{{\mathbf{B}}1,2}}}{{q}_{{{\mathbf{B}}1}}} + {{d}_{{\mathbf{B}}}}{{q}_{{{\mathbf{B}}2}}})} {{{t}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{B}}}}}}. \hfill \\ \end{gathered} \end{array}} \right. \hfill \\ \begin{array}{*{20}{c}} {\begin{array}{*{20}{c}} {}&{} \end{array}}&{\begin{array}{*{20}{c}} {}&{} \end{array}} \end{array} \hfill \\ \end{gathered} $

Доказательство. Воспользуемся результатом теоремы 2. Из соображений дуальности [16] положим ${{{\mathbf{A}}}_{{\mathbf{C}}}} = {\mathbf{A}}_{{\mathbf{B}}}^{{\text{T}}}$. Тогда, поскольку ${{{\mathbf{b}}}_{{\mathbf{C}}}} = {{{\mathbf{c}}}_{{\mathbf{B}}}}$, матрица наблюдателя (вектор-столбец) ${{{\mathbf{l}}}_{{\mathbf{B}}}}$ будет равна транспонированной матрице регулятора ${{{\mathbf{k}}}_{{\mathbf{C}}}}$ (2.13) из теоремы 2.

При этом условие полной наблюдаемости (3.8) принимает вид ${{t}_{{\mathbf{B}}}} \ne 0$, т.е.

(3.14)
${\text{(а)}}\;\;r_{{{\mathbf{B}}2,1}}^{2} \ne {{r}_{{{\mathbf{B}}4,1}}}{{d}_{{\mathbf{B}}}},\quad {\text{(б)}}\;\;r_{{{\mathbf{B}}1,2}}^{2} \ne {{r}_{{{\mathbf{B}}3,2}}}{{d}_{{\mathbf{B}}}}.$

Теорема доказана.

Таким образом, при выполнении условий (3.1), (3.11) и (3.14) регулятор по выходу (матрица ${\mathbf{F}}$) рассчитывается по формуле (3.12) с подстановкой значений (3.13).

Пример 2 (а). Требуется решить задачу (1.2) для матриц состояния, управления и наблюдения (1.1):

${\mathbf{A}} = \left[ {\begin{array}{*{20}{c}} {{{a}_{{1,1}}}}&\vline & {{{a}_{{1,2}}}}&\vline & {{{a}_{{1,3}}}}&\vline & {{{a}_{{1,4}}}} \\ {{{a}_{{2,1}}}}&\vline & {{{a}_{{2,2}}}}&\vline & {{{a}_{{2,3}}}}&\vline & {{{a}_{{2,4}}}} \\ 0&\vline & 0&\vline & {{{a}_{{3,3}}}}&\vline & {{{a}_{{3,4}}}} \\ {{{a}_{{4,1}}}}&\vline & {{{a}_{{4,2}}}}&\vline & {{{a}_{{4,3}}}}&\vline & {{{a}_{{4,4}}}} \end{array}} \right],\quad {\mathbf{B}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0 \\ {{{b}_{{2,1}}}}&\vline & 0 \\ 0&\vline & 0 \\ 0&\vline & {{{b}_{{4,2}}}} \end{array}} \right],\quad {\mathbf{C}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \\ 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right].$

Запишем первые два блочных столбца матрицы управляемости:

${\mathbf{\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {\mathbf{B}}&\vline & {{\mathbf{AB}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & {{{a}_{{1,2}}}{{b}_{{2,1}}}}&\vline & {{{a}_{{1,4}}}{{b}_{{4,2}}}} \\ {{{b}_{{2,1}}}}&\vline & 0&\vline & {{{a}_{{2,2}}}{{b}_{{2,1}}}}&\vline & {{{a}_{{2,4}}}{{b}_{{4,2}}}} \\ 0&\vline & 0&\vline & 0&\vline & {{{a}_{{3,4}}}{{b}_{{4,2}}}} \\ 0&\vline & {{{b}_{{4,2}}}}&\vline & {{{a}_{{4,2}}}{{b}_{{2,1}}}}&\vline & {{{a}_{{4,4}}}{{b}_{{4,2}}}} \end{array}} \right],\quad \det {\mathbf{\tilde {U}}} = - {{a}_{{1,2}}}{{a}_{{3,4}}}b_{{2,1}}^{2}b_{{4,2}}^{2}.$

Если ${{a}_{{1,2}}}{{a}_{{3,4}}}{{b}_{{2,1}}}{{b}_{{4,2}}} \ne 0$, то индекс управляемости равен 2, т.е. верно условие (3.1).

Для проверки условия (3.11) рассчитаем следующую матрицу:

${{{\mathbf{R}}}_{{\mathbf{B}}}} = {{{\mathbf{\tilde {U}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}} = \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{B}}1,1}}}}&\vline & {{{r}_{{{\mathbf{B}}1,2}}}} \\ {{{r}_{{{\mathbf{B}}2,1}}}}&\vline & {{{r}_{{{\mathbf{B}}2,2}}}} \\ {{{r}_{{{\mathbf{B}}3,1}}}}&\vline & {{{r}_{{{\mathbf{B}}3,2}}}} \\ {{{r}_{{{\mathbf{B}}4,1}}}}&\vline & {{{r}_{{{\mathbf{B}}4,2}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{{a}_{{1,2}}}{{a}_{{2,1}}} - {{a}_{{1,1}}}{{a}_{{2,2}}}}&\vline & {\frac{{{{b}_{{4,2}}}}}{{{{b}_{{2,1}}}}}\left( {{{a}_{{1,4}}}{{a}_{{2,1}}} + {{a}_{{2,3}}}{{a}_{{3,4}}} - {{a}_{{2,4}}}{{a}_{{3,3}}} - {{a}_{{2,2}}}{{{\tilde {a}}}_{{1,4}}}} \right)} \\ {\frac{{{{b}_{{2,1}}}}}{{{{b}_{{4,2}}}}}\underbrace {\left( {{{a}_{{1,2}}}{{a}_{{4,1}}} - {{a}_{{1,1}}}{{a}_{{4,2}}}} \right)}_{{{{\bar {r}}}_{{{\mathbf{B}}2,1}}}}}&\vline & {{{a}_{{1,4}}}{{a}_{{4,1}}} + {{a}_{{3,4}}}{{a}_{{4,3}}} - {{a}_{{3,3}}}{{a}_{{4,4}}} - {{a}_{{4,2}}}{{{\tilde {a}}}_{{1,4}}}} \\ {{{a}_{{1,1}}} + {{a}_{{2,2}}}}&\vline & {\left( {{{{{b}_{{4,2}}}} \mathord{\left/ {\vphantom {{{{b}_{{4,2}}}} {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}} \right)\left( {{{a}_{{2,4}}} + {{{\tilde {a}}}_{{1,4}}}} \right)} \\ {\left( {{{{{b}_{{2,1}}}} \mathord{\left/ {\vphantom {{{{b}_{{2,1}}}} {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \right){{a}_{{4,2}}}}&\vline & {{{a}_{{3,3}}} + {{a}_{{4,4}}}} \end{array}} \right],$
где ${{\tilde {a}}_{{1,4}}} = {{\left( {{{a}_{{1,4}}}\left( {{{a}_{{1,1}}} - {{a}_{{3,3}}}} \right) + {{a}_{{1,3}}}{{a}_{{3,4}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{1,4}}}\left( {{{a}_{{1,1}}} - {{a}_{{3,3}}}} \right) + {{a}_{{1,3}}}{{a}_{{3,4}}}} \right)} {{{a}_{{1,2}}}}}} \right. \kern-0em} {{{a}_{{1,2}}}}}$. Рассматриваемая задача приводится к задаче модального наблюдения с одним входом, так как выполнен вариант (а) условия (3.11):

${\mathbf{C}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{A}}{{{\mathbf{b}}}_{1}} - {{r}_{{{\mathbf{B}}4,1}}}{{{\mathbf{b}}}_{2}}}&\vline & {{{{\mathbf{b}}}_{1}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & 1&\vline & 0 \\ 0&\vline & 0&\vline & 0&\vline & 1 \end{array}} \right]{{\left[ {\begin{array}{*{20}{c}} {{{a}_{{1,2}}}{{b}_{{2,1}}}}&\vline & {{{a}_{{2,2}}}{{b}_{{2,1}}}}&\vline & 0&\vline & 0 \\ 0&\vline & {{{b}_{{2,1}}}}&\vline & 0&\vline & 0 \end{array}} \right]}^{{\text{T}}}} = {{{\mathbf{0}}}_{{2 \times 2}}}.$

Проведем промежуточные расчеты из теоремы 4:

${{\tilde {r}}_{{{\mathbf{B}}2,1}}} = {{r}_{{{\mathbf{B}}2,1}}} + {{r}_{{{\mathbf{B}}3,1}}}{{r}_{{{\mathbf{B}}4,1}}} = \left( {{{{{b}_{{2,1}}}} \mathord{\left/ {\vphantom {{{{b}_{{2,1}}}} {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \right)\underbrace {\left( {{{a}_{{1,2}}}{{a}_{{4,1}}} + {{a}_{{2,2}}}{{a}_{{4,2}}}} \right)}_{{{{\bar {\tilde {r}}}}_{{{\mathbf{B}}2,1}}}},$
${{d}_{{\mathbf{B}}}} = {{r}_{{{\mathbf{B}}1,1}}}{{r}_{{{\mathbf{B}}4,1}}} - {{r}_{{{\mathbf{B}}2,1}}}{{r}_{{{\mathbf{B}}3,1}}} = \left( {{{{{b}_{{2,1}}}} \mathord{\left/ {\vphantom {{{{b}_{{2,1}}}} {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \right)\left( {{{a}_{{1,2}}}{{{\tilde {r}}}_{{{\mathbf{B}}1,1}}} - {{a}_{{1,1}}}{{{\bar {r}}}_{{{\mathbf{B}}2,1}}}} \right),$
${{t}_{{\mathbf{B}}}} = {{r}_{{{\mathbf{B}}4,1}}}{{d}_{{\mathbf{B}}}} - r_{{{\mathbf{B}}2,1}}^{2} = {{\left( {{{{{b}_{{2,1}}}} \mathord{\left/ {\vphantom {{{{b}_{{2,1}}}} {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \right)}^{2}}\underbrace {{{a}_{{1,2}}}\left( {{{a}_{{4,2}}}{{{\tilde {r}}}_{{{\mathbf{B}}1,1}}} - {{a}_{{4,1}}}{{{\bar {r}}}_{{{\mathbf{B}}2,1}}}} \right)}_{{{{\bar {t}}}_{{\mathbf{B}}}}},$
$\Delta p_{{{\mathbf{B}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{B}}1,1}}} = p_{2}^{*} + {{a}_{{1,2}}}{{a}_{{2,1}}} - {{a}_{{1,1}}}{{a}_{{2,2}}},$
$\Delta p_{{{\mathbf{B}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{B}}3,1}}} = p_{3}^{*} + {{a}_{{1,1}}} + {{a}_{{2,2}}},$
${{q}_{{{\mathbf{B}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{B}}1,1}}}\Delta p_{{{\mathbf{B}}3}}^{*} = p_{1}^{*} + \left( {{{a}_{{1,2}}}{{a}_{{2,1}}} - {{a}_{{1,1}}}{{a}_{{2,2}}}} \right)(p_{3}^{*} + {{a}_{{1,1}}} + {{a}_{{2,2}}}),$
${{q}_{{{\mathbf{B}}2}}} = \Delta p_{{{\mathbf{B}}2}}^{*} + {{r}_{{{\mathbf{B}}3,1}}}\Delta p_{{{\mathbf{B}}3}}^{*} = p_{2}^{*} + \left( {{{a}_{{1,1}}} + {{a}_{{2,2}}}} \right)p_{3}^{*} + a_{{1,1}}^{2} + a_{{2,2}}^{2} + {{a}_{{1,1}}}{{a}_{{2,2}}} + {{a}_{{1,2}}}{{a}_{{2,1}}},$
${{l}_{{{\mathbf{B}}1,1}}} = {{({{r}_{{{\mathbf{B}}1,1}}}\left( {{{r}_{{{\mathbf{B}}4,1}}}{{q}_{{{\mathbf{B}}1}}} - {{r}_{{{\mathbf{B}}2,1}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{B}}2,1}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}1,1}}}\left( {{{r}_{{{\mathbf{B}}4,1}}}{{q}_{{{\mathbf{B}}1}}} - {{r}_{{{\mathbf{B}}2,1}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{B}}2,1}}}p_{0}^{*})} {{{t}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{B}}}}}} = \left( {{{{{b}_{{4,2}}}} \mathord{\left/ {\vphantom {{{{b}_{{4,2}}}} {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}} \right)\underbrace {{{({{r}_{{{\mathbf{B}}1,1}}}\left( {{{a}_{{4,2}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} - {{a}_{{1,2}}}{{a}_{{4,1}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}2,1}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}1,1}}}\left( {{{a}_{{4,2}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} - {{a}_{{1,2}}}{{a}_{{4,1}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}2,1}}}p_{0}^{*})} {{{{\bar {t}}}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{{\bar {t}}}_{{\mathbf{B}}}}}}}_{{{{\bar {l}}}_{{{\mathbf{B}}1,1}}}},$
${{l}_{{{\mathbf{B}}3,1}}} = {{({{r}_{{{\mathbf{B}}4,1}}}p_{0}^{*} - {{r}_{{{\mathbf{B}}2,1}}}{{q}_{{{\mathbf{B}}1}}} + {{d}_{{\mathbf{B}}}}{{q}_{{{\mathbf{B}}2}}})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}4,1}}}p_{0}^{*} - {{r}_{{{\mathbf{B}}2,1}}}{{q}_{{{\mathbf{B}}1}}} + {{d}_{{\mathbf{B}}}}{{q}_{{{\mathbf{B}}2}}})} {{{t}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{B}}}}}} = \left( {{{{{b}_{{4,2}}}} \mathord{\left/ {\vphantom {{{{b}_{{4,2}}}} {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}} \right)\underbrace {{{({{a}_{{1,2}}}{{{\tilde {r}}}_{{{\mathbf{B}}1,1}}}{{q}_{{{\mathbf{B}}2}}} - {{{\bar {r}}}_{{{\mathbf{B}}2,1}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} + {{a}_{{4,2}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{a}_{{1,2}}}{{{\tilde {r}}}_{{{\mathbf{B}}1,1}}}{{q}_{{{\mathbf{B}}2}}} - {{{\bar {r}}}_{{{\mathbf{B}}2,1}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} + {{a}_{{4,2}}}p_{0}^{*})} {{{{\bar {t}}}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{{\bar {t}}}_{{\mathbf{B}}}}}}}_{{{{\bar {l}}}_{{{\mathbf{B}}3,1}}}},$
где ${{\tilde {r}}_{{{\mathbf{B}}1,1}}} = {{a}_{{2,1}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,1}}}$, ${{\tilde {q}}_{{{\mathbf{B}}1}}} = {{q}_{{{\mathbf{B}}1}}} + {{a}_{{1,1}}}{{q}_{{{\mathbf{B}}2}}}$. С учетом неравенства ${{a}_{{1,2}}}{{a}_{{3,4}}}{{b}_{{2,1}}}{{b}_{{4,2}}} \ne 0$ можно утверждать, что условие (3.14) полной наблюдаемости SIMO-системы выполняется, если

${{a}_{{2,1}}}a_{{4,2}}^{2} - {{a}_{{1,2}}}a_{{4,1}}^{2} \ne {{a}_{{4,1}}}{{a}_{{4,2}}}\left( {{{a}_{{2,2}}} - {{a}_{{1,1}}}} \right).$

Согласно выражению (3.13) из теоремы 4 рассчитаем наблюдатель ${{{\mathbf{l}}}_{{\mathbf{B}}}} = {{\left[ {\begin{array}{*{20}{c}} {{\mathbf{l}}_{{{\mathbf{B}}1}}^{{\text{T}}}}&\vline & {{\mathbf{l}}_{{{\mathbf{B}}2}}^{{\text{T}}}} \end{array}} \right]}^{{\text{T}}}}$:

$\begin{gathered} \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{l}} {{{r}_{{{\mathbf{B}}1,2}}} + {{l}_{{{\mathbf{B}}1,1}}}}&\vline & {{{r}_{{{\mathbf{B}}3,2}}} + {{l}_{{{\mathbf{B}}3,1}}}} \\ {{{r}_{{{\mathbf{B}}2,2}}} + {{q}_{{{\mathbf{B}}2}}} - {{r}_{{{\mathbf{B}}4,1}}}{{l}_{{{\mathbf{B}}3,1}}}}&\vline & {{{r}_{{{\mathbf{B}}4,2}}} + \Delta p_{{{\mathbf{B}}3}}^{*}} \end{array}} \right] = \\ \, = \left[ {\begin{array}{*{20}{l}} {\left( {{{{{b}_{{4,2}}}} \mathord{\left/ {\vphantom {{{{b}_{{4,2}}}} {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}} \right)\left( {{{a}_{{1,4}}}{{a}_{{2,1}}} + {{a}_{{2,3}}}{{a}_{{3,4}}} - {{a}_{{2,4}}}{{a}_{{3,3}}} - {{a}_{{2,2}}}{{{\tilde {a}}}_{{1,4}}} + {{{\bar {l}}}_{{{\mathbf{B}}1,1}}}} \right)}&\vline & {\left( {{{{{b}_{{4,2}}}} \mathord{\left/ {\vphantom {{{{b}_{{4,2}}}} {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}} \right)\left( {{{a}_{{2,4}}} + {{{\tilde {l}}}_{{{\mathbf{B}}3,1}}}} \right)} \\ {{{a}_{{1,4}}}{{a}_{{4,1}}} + {{a}_{{3,4}}}{{a}_{{4,3}}} - {{a}_{{3,3}}}{{a}_{{4,4}}} + {{q}_{{{\mathbf{B}}2}}} - {{a}_{{4,2}}}{{{\tilde {l}}}_{{{\mathbf{B}}3,1}}}}&\vline & {p_{3}^{*} + {{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}}} \end{array}} \right], \\ \end{gathered} $
где ${{\tilde {l}}_{{{\mathbf{B}}3,1}}} = {{\bar {l}}_{{{\mathbf{B}}3,1}}} + {{\tilde {a}}_{{1,4}}}$.

По формуле (3.12) определим искомую матрицу регулятора по выходу:

${\mathbf{F}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right]\underbrace {\frac{1}{{{{b}_{{4,2}}}}}\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & {{1 \mathord{\left/ {\vphantom {1 {{{a}_{{3,4}}}}}} \right. \kern-0em} {{{a}_{{3,4}}}}}}&\vline & 0 \\ 0&\vline & 0&\vline & {{{{{a}_{{3,3}}}} \mathord{\left/ {\vphantom {{{{a}_{{3,3}}}} {{{a}_{{3,4}}}}}} \right. \kern-0em} {{{a}_{{3,4}}}}}}&\vline & 1 \end{array}} \right]}_{\left[ {\begin{array}{*{20}{c}} {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{T}} \\ {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{T}{\mathbf{A}}} \end{array}} \right]}\underbrace {\left[ {\begin{array}{*{20}{c}} 0&\vline & 0 \\ 0&\vline & 0 \\ 1&\vline & 0 \\ 0&\vline & 1 \end{array}} \right]}_{{{{\mathbf{C}}}^{ + }}} = \frac{1}{{{{b}_{{4,2}}}}}\left[ {\begin{array}{*{20}{c}} {{{\left( {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}} + {{a}_{{3,3}}}{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}} + {{a}_{{3,3}}}{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \right)} {{{a}_{{3,4}}}}}} \right. \kern-0em} {{{a}_{{3,4}}}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right].$

Таким образом, последовательность расчета искомого регулятора имеет вид

$\begin{gathered} {{r}_{{{\mathbf{B}}1,1}}} = {{a}_{{1,2}}}{{a}_{{2,1}}} - {{a}_{{1,1}}}{{a}_{{2,2}}},\quad {{{\bar {r}}}_{{{\mathbf{B}}2,1}}} = {{a}_{{1,2}}}{{a}_{{4,1}}} - {{a}_{{1,1}}}{{a}_{{4,2}}}, \\ {{{\tilde {r}}}_{{{\mathbf{B}}1,1}}} = {{a}_{{2,1}}}{{a}_{{4,2}}} - {{a}_{{2,2}}}{{a}_{{4,1}}},\quad {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}2,1}}} = {{a}_{{1,2}}}{{a}_{{4,1}}} + {{a}_{{2,2}}}{{a}_{{4,2}}}, \\ \end{gathered} $
${{\tilde {q}}_{{{\mathbf{B}}1}}} = a_{{1,1}}^{3} + p_{3}^{*}a_{{1,1}}^{2} + p_{2}^{*}{{a}_{{1,1}}} + p_{1}^{*} + {{a}_{{1,2}}}{{a}_{{2,1}}}(p_{3}^{*} + 2{{a}_{{1,1}}} + {{a}_{{2,2}}}),$
${{q}_{{{\mathbf{B}}2}}} = p_{2}^{*} + \left( {{{a}_{{1,1}}} + {{a}_{{2,2}}}} \right)p_{3}^{*} + a_{{1,1}}^{2} + a_{{2,2}}^{2} + {{a}_{{1,1}}}{{a}_{{2,2}}} + {{a}_{{1,2}}}{{a}_{{2,1}}},$
${{\tilde {a}}_{{1,4}}} = {{\left( {{{a}_{{1,4}}}\left( {{{a}_{{1,1}}} - {{a}_{{3,3}}}} \right) + {{a}_{{1,3}}}{{a}_{{3,4}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{1,4}}}\left( {{{a}_{{1,1}}} - {{a}_{{3,3}}}} \right) + {{a}_{{1,3}}}{{a}_{{3,4}}}} \right)} {{{a}_{{1,2}}}}}} \right. \kern-0em} {{{a}_{{1,2}}}}},\quad {{\bar {t}}_{{\mathbf{B}}}} = {{a}_{{1,2}}}\left( {{{a}_{{4,2}}}{{{\tilde {r}}}_{{{\mathbf{B}}1,1}}} - {{a}_{{4,1}}}{{{\bar {r}}}_{{{\mathbf{B}}2,1}}}} \right),$
$a = a_{{1,1}}^{2} + a_{{2,2}}^{2} + a_{{3,3}}^{2} + {{a}_{{1,1}}}{{a}_{{2,2}}} + {{a}_{{2,2}}}{{a}_{{3,3}}} + {{a}_{{3,3}}}{{a}_{{1,1}}} + p_{3}^{*}\left( {{{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}}} \right) + p_{2}^{*},$
${{\bar {l}}_{{{\mathbf{B}}1,1}}} = {{({{r}_{{{\mathbf{B}}1,1}}}\left( {{{a}_{{4,2}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} - {{a}_{{1,2}}}{{a}_{{4,1}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}2,1}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}1,1}}}\left( {{{a}_{{4,2}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} - {{a}_{{1,2}}}{{a}_{{4,1}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}2,1}}}p_{0}^{*})} {{{{\bar {t}}}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{{\bar {t}}}_{{\mathbf{B}}}}}},\quad {{\tilde {l}}_{{{\mathbf{B}}3,1}}} = {{({{a}_{{1,2}}}{{{\tilde {r}}}_{{{\mathbf{B}}1,1}}}{{q}_{{{\mathbf{B}}2}}} - {{{\bar {r}}}_{{{\mathbf{B}}2,1}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} + {{a}_{{4,2}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{a}_{{1,2}}}{{{\tilde {r}}}_{{{\mathbf{B}}1,1}}}{{q}_{{{\mathbf{B}}2}}} - {{{\bar {r}}}_{{{\mathbf{B}}2,1}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} + {{a}_{{4,2}}}p_{0}^{*})} {{{{\bar {t}}}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{{\bar {t}}}_{{\mathbf{B}}}}}} + {{\tilde {a}}_{{1,4}}},$
${\mathbf{F}} = \left[ {\begin{array}{*{20}{c}} {{1 \mathord{\left/ {\vphantom {1 {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}}&\vline & 0 \\ 0&\vline & {{1 \mathord{\left/ {\vphantom {1 {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{l}} {{{a}_{{2,3}}} + {{({{a}_{{1,4}}}{{a}_{{2,1}}} - {{a}_{{2,2}}}{{{\tilde {a}}}_{{1,4}}} + {{{\bar {l}}}_{{{\mathbf{B}}1,1}}} + {{a}_{{3,3}}}{{{\tilde {l}}}_{{{\mathbf{B}}3,1}}})} \mathord{\left/ {\vphantom {{({{a}_{{1,4}}}{{a}_{{2,1}}} - {{a}_{{2,2}}}{{{\tilde {a}}}_{{1,4}}} + {{{\bar {l}}}_{{{\mathbf{B}}1,1}}} + {{a}_{{3,3}}}{{{\tilde {l}}}_{{{\mathbf{B}}3,1}}})} {{{a}_{{3,4}}}}}} \right. \kern-0em} {{{a}_{{3,4}}}}}}&\vline & {{{a}_{{2,4}}} + {{{\tilde {l}}}_{{{\mathbf{B}}3,1}}}} \\ {{{a}_{{4,3}}} + {{({{a}_{{1,2}}}{{a}_{{2,1}}} + {{a}_{{1,4}}}{{a}_{{4,1}}} + a - {{a}_{{4,2}}}{{{\tilde {l}}}_{{{\mathbf{B}}3,1}}})} \mathord{\left/ {\vphantom {{({{a}_{{1,2}}}{{a}_{{2,1}}} + {{a}_{{1,4}}}{{a}_{{4,1}}} + a - {{a}_{{4,2}}}{{{\tilde {l}}}_{{{\mathbf{B}}3,1}}})} {{{a}_{{3,4}}}}}} \right. \kern-0em} {{{a}_{{3,4}}}}}}&\vline & {p_{3}^{*} + {{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}}} \end{array}} \right].$

Пример 2 (б). Требуется решить задачу (1.2) для матриц состояния, управления и наблюдения (1.1):

${\mathbf{A}} = \left[ {\begin{array}{*{20}{c}} {{{a}_{{1,1}}}}&\vline & {{{a}_{{1,2}}}}&\vline & 0&\vline & 0 \\ {{{a}_{{2,1}}}}&\vline & {{{a}_{{2,2}}}}&\vline & {{{a}_{{2,3}}}}&\vline & {{{a}_{{2,4}}}} \\ {{{a}_{{3,1}}}}&\vline & {{{a}_{{3,2}}}}&\vline & {{{a}_{{3,3}}}}&\vline & {{{a}_{{3,4}}}} \\ {{{a}_{{4,1}}}}&\vline & {{{a}_{{4,2}}}}&\vline & {{{a}_{{4,3}}}}&\vline & {{{a}_{{4,4}}}} \end{array}} \right],\quad {\mathbf{B}} = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0 \\ {{{b}_{{2,1}}}}&\vline & 0 \\ 0&\vline & 0 \\ 0&\vline & {{{b}_{{4,2}}}} \end{array}} \right],\quad {\mathbf{C}} = \left[ {\begin{array}{*{20}{c}} 1&\vline & 0&\vline & 0&\vline & 0 \\ 0&\vline & 1&\vline & 0&\vline & 0 \end{array}} \right].$

Запишем первые два блочных столбца матрицы управляемости:

${\mathbf{\tilde {U}}} = \left[ {\begin{array}{*{20}{c}} {\mathbf{B}}&\vline & {{\mathbf{AB}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & {{{a}_{{1,2}}}{{b}_{{2,1}}}}&\vline & 0 \\ {{{b}_{{2,1}}}}&\vline & 0&\vline & {{{a}_{{2,2}}}{{b}_{{2,1}}}}&\vline & {{{a}_{{2,4}}}{{b}_{{4,2}}}} \\ 0&\vline & 0&\vline & {{{a}_{{3,2}}}{{b}_{{2,1}}}}&\vline & {{{a}_{{3,4}}}{{b}_{{4,2}}}} \\ 0&\vline & {{{b}_{{4,2}}}}&\vline & {{{a}_{{4,2}}}{{b}_{{2,1}}}}&\vline & {{{a}_{{4,4}}}{{b}_{{4,2}}}} \end{array}} \right],\quad \det {\mathbf{\tilde {U}}} = - {{a}_{{1,2}}}{{a}_{{3,4}}}b_{{2,1}}^{2}b_{{4,2}}^{2}.$

Если ${{a}_{{1,2}}}{{a}_{{3,4}}}{{b}_{{2,1}}}{{b}_{{4,2}}} \ne 0$, то индекс управляемости равен 2, т.е. верно условие (3.1).

Для проверки условия (3.11) рассчитаем следующую матрицу:

${{{\mathbf{R}}}_{{\mathbf{B}}}} = {{{\mathbf{\tilde {U}}}}^{{ - 1}}}{{{\mathbf{A}}}^{2}}{\mathbf{B}} = \left[ {\begin{array}{*{20}{c}} {{{r}_{{{\mathbf{B}}1,1}}}}&\vline & {{{r}_{{{\mathbf{B}}1,2}}}} \\ {{{r}_{{{\mathbf{B}}2,1}}}}&\vline & {{{r}_{{{\mathbf{B}}2,2}}}} \\ {{{r}_{{{\mathbf{B}}3,1}}}}&\vline & {{{r}_{{{\mathbf{B}}3,2}}}} \\ {{{r}_{{{\mathbf{B}}4,1}}}}&\vline & {{{r}_{{{\mathbf{B}}4,2}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} {{{a}_{{2,1}}}{{a}_{{1,2}}} + {{a}_{{2,3}}}{{a}_{{3,2}}} - {{a}_{{1,1}}}{{a}_{{2,2}}} - {{a}_{{2,4}}}{{{\tilde {a}}}_{{3,2}}}}&\vline & {\frac{{{{b}_{{4,2}}}}}{{{{b}_{{2,1}}}}}\underbrace {\left( {{{a}_{{2,3}}}{{a}_{{3,4}}} - {{a}_{{2,4}}}{{a}_{{3,3}}}} \right)}_{{{{\bar {r}}}_{{{\mathbf{B}}1,2}}}}} \\ {\frac{{{{b}_{{2,1}}}}}{{{{b}_{{4,2}}}}}\left( {{{a}_{{1,2}}}{{a}_{{4,1}}} + {{a}_{{3,2}}}{{a}_{{4,3}}} - {{a}_{{1,1}}}{{a}_{{4,2}}} - {{a}_{{4,4}}}{{{\tilde {a}}}_{{3,2}}}} \right)}&\vline & {{{a}_{{3,4}}}{{a}_{{4,3}}} - {{a}_{{3,3}}}{{a}_{{4,4}}}} \\ {{{a}_{{1,1}}} + {{a}_{{2,2}}}}&\vline & {\left( {{{{{b}_{{4,2}}}} \mathord{\left/ {\vphantom {{{{b}_{{4,2}}}} {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}} \right){{a}_{{2,4}}}} \\ {\left( {{{{{b}_{{2,1}}}} \mathord{\left/ {\vphantom {{{{b}_{{2,1}}}} {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \right)\left( {{{a}_{{4,2}}} + {{{\tilde {a}}}_{{3,2}}}} \right)}&\vline & {{{a}_{{3,3}}} + {{a}_{{4,4}}}} \end{array}} \right],$
где ${{\tilde {a}}_{{3,2}}} = {{\left( {{{a}_{{3,2}}}\left( {{{a}_{{3,3}}} - {{a}_{{1,1}}}} \right) + {{a}_{{1,2}}}{{a}_{{3,1}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{3,2}}}\left( {{{a}_{{3,3}}} - {{a}_{{1,1}}}} \right) + {{a}_{{1,2}}}{{a}_{{3,1}}}} \right)} {{{a}_{{3,4}}}}}} \right. \kern-0em} {{{a}_{{3,4}}}}}$. Рассматриваемая задача приводится к задаче модального наблюдения с одним входом, так как выполнен вариант (б) условия (3.11):

${\mathbf{C}}\left[ {\begin{array}{*{20}{c}} {{\mathbf{A}}{{{\mathbf{b}}}_{2}} - {{r}_{{{\mathbf{B}}3,2}}}{{{\mathbf{b}}}_{1}}}&\vline & {{{{\mathbf{b}}}_{2}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{c}} 1&\vline & 0&\vline & 0&\vline & 0 \\ 0&\vline & 1&\vline & 0&\vline & 0 \end{array}} \right]{{\left[ {\begin{array}{*{20}{c}} 0&\vline & 0&\vline & {{{a}_{{3,4}}}{{b}_{{4,2}}}}&\vline & {{{a}_{{4,4}}}{{b}_{{4,2}}}} \\ 0&\vline & 0&\vline & 0&\vline & {{{b}_{{4,2}}}} \end{array}} \right]}^{{\text{T}}}} = {{{\mathbf{0}}}_{{2 \times 2}}}.$

Проведем промежуточные расчеты из теоремы 4:

${{\tilde {r}}_{{{\mathbf{B}}1,2}}} = {{r}_{{{\mathbf{B}}1,2}}} + {{r}_{{{\mathbf{B}}3,2}}}{{r}_{{{\mathbf{B}}4,2}}} = \left( {{{{{b}_{{4,2}}}} \mathord{\left/ {\vphantom {{{{b}_{{4,2}}}} {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}} \right)\underbrace {\left( {{{a}_{{2,3}}}{{a}_{{3,4}}} + {{a}_{{2,4}}}{{a}_{{4,4}}}} \right)}_{{{{\bar {\tilde {r}}}}_{{{\mathbf{B}}1,2}}}},$
${{d}_{{\mathbf{B}}}} = {{r}_{{{\mathbf{B}}2,2}}}{{r}_{{{\mathbf{B}}3,2}}} - {{r}_{{{\mathbf{B}}1,2}}}{{r}_{{{\mathbf{B}}4,2}}} = \left( {{{{{b}_{{4,2}}}} \mathord{\left/ {\vphantom {{{{b}_{{4,2}}}} {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}} \right)\left( {{{a}_{{3,4}}}{{{\tilde {r}}}_{{{\mathbf{B}}2,2}}} - {{a}_{{3,3}}}{{{\bar {r}}}_{{{\mathbf{B}}1,2}}}} \right),$
${{t}_{{\mathbf{B}}}} = {{r}_{{{\mathbf{B}}3,2}}}{{d}_{{\mathbf{B}}}} - r_{{{\mathbf{B}}1,2}}^{2} = {{\left( {{{{{b}_{{4,2}}}} \mathord{\left/ {\vphantom {{{{b}_{{4,2}}}} {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}} \right)}^{2}}\underbrace {{{a}_{{3,4}}}\left( {{{a}_{{2,4}}}{{{\tilde {r}}}_{{{\mathbf{B}}2,2}}} - {{a}_{{2,3}}}{{{\bar {r}}}_{{{\mathbf{B}}1,2}}}} \right)}_{{{{\bar {t}}}_{{\mathbf{B}}}}},$
$\Delta p_{{{\mathbf{B}}2}}^{*} = p_{2}^{*} + {{r}_{{{\mathbf{B}}2,2}}} = p_{2}^{*} + {{a}_{{3,4}}}{{a}_{{4,3}}} - {{a}_{{3,3}}}{{a}_{{4,4}}},$
$\Delta p_{{{\mathbf{B}}3}}^{*} = p_{3}^{*} + {{r}_{{{\mathbf{B}}4,2}}} = p_{3}^{*} + {{a}_{{3,3}}} + {{a}_{{4,4}}},$
${{q}_{{{\mathbf{B}}1}}} = p_{1}^{*} + {{r}_{{{\mathbf{B}}2,2}}}\Delta p_{{{\mathbf{B}}3}}^{*} = p_{1}^{*} + \left( {{{a}_{{3,4}}}{{a}_{{4,3}}} - {{a}_{{3,3}}}{{a}_{{4,4}}}} \right)(p_{3}^{*} + {{a}_{{3,3}}} + {{a}_{{4,4}}}),$
${{q}_{{{\mathbf{B}}2}}} = \Delta p_{{{\mathbf{B}}2}}^{*} + {{r}_{{{\mathbf{B}}4,2}}}\Delta p_{{{\mathbf{B}}3}}^{*} = p_{2}^{*} + \left( {{{a}_{{3,3}}} + {{a}_{{4,4}}}} \right)p_{3}^{*} + a_{{3,3}}^{2} + a_{{4,4}}^{2} + {{a}_{{3,3}}}{{a}_{{4,4}}} + {{a}_{{3,4}}}{{a}_{{4,3}}},$
${{l}_{{{\mathbf{B}}2,1}}} = {{({{r}_{{{\mathbf{B}}2,2}}}\left( {{{r}_{{{\mathbf{B}}3,2}}}{{q}_{{{\mathbf{B}}1}}} - {{r}_{{{\mathbf{B}}1,2}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{B}}1,2}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}2,2}}}\left( {{{r}_{{{\mathbf{B}}3,2}}}{{q}_{{{\mathbf{B}}1}}} - {{r}_{{{\mathbf{B}}1,2}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\tilde {r}}}_{{{\mathbf{B}}1,2}}}p_{0}^{*})} {{{t}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{B}}}}}} = \left( {{{{{b}_{{2,1}}}} \mathord{\left/ {\vphantom {{{{b}_{{2,1}}}} {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \right)\underbrace {{{({{r}_{{{\mathbf{B}}2,2}}}\left( {{{a}_{{2,4}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} - {{a}_{{2,3}}}{{a}_{{3,4}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}1,2}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}2,2}}}\left( {{{a}_{{2,4}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} - {{a}_{{2,3}}}{{a}_{{3,4}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}1,2}}}p_{0}^{*})} {{{{\bar {t}}}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{{\bar {t}}}_{{\mathbf{B}}}}}}}_{{{{\bar {l}}}_{{{\mathbf{B}}2,1}}}},$
${{l}_{{{\mathbf{B}}4,1}}} = {{({{r}_{{{\mathbf{B}}3,2}}}p_{0}^{*} - {{r}_{{{\mathbf{B}}1,2}}}{{q}_{{{\mathbf{B}}1}}} + {{d}_{{\mathbf{B}}}}{{q}_{{{\mathbf{B}}2}}})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}3,2}}}p_{0}^{*} - {{r}_{{{\mathbf{B}}1,2}}}{{q}_{{{\mathbf{B}}1}}} + {{d}_{{\mathbf{B}}}}{{q}_{{{\mathbf{B}}2}}})} {{{t}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{t}_{{\mathbf{B}}}}}} = \left( {{{{{b}_{{2,1}}}} \mathord{\left/ {\vphantom {{{{b}_{{2,1}}}} {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \right)\underbrace {{{({{a}_{{3,4}}}{{{\tilde {r}}}_{{{\mathbf{B}}2,2}}}{{q}_{{{\mathbf{B}}2}}} - {{{\bar {r}}}_{{{\mathbf{B}}1,2}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} + {{a}_{{2,4}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{a}_{{3,4}}}{{{\tilde {r}}}_{{{\mathbf{B}}2,2}}}{{q}_{{{\mathbf{B}}2}}} - {{{\bar {r}}}_{{{\mathbf{B}}1,2}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} + {{a}_{{2,4}}}p_{0}^{*})} {{{{\bar {t}}}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{{\bar {t}}}_{{\mathbf{B}}}}}}}_{{{{\bar {l}}}_{{{\mathbf{B}}4,1}}}}.$
где ${{\tilde {r}}_{{{\mathbf{B}}2,2}}} = {{a}_{{2,4}}}{{a}_{{4,3}}} - {{a}_{{2,3}}}{{a}_{{4,4}}}$, ${{\tilde {q}}_{{{\mathbf{B}}1}}} = {{q}_{{{\mathbf{B}}1}}} + {{a}_{{3,3}}}{{q}_{{{\mathbf{B}}2}}}$. С учетом неравенства ${{a}_{{1,2}}}{{a}_{{3,4}}}{{b}_{{2,1}}}{{b}_{{4,2}}} \ne 0$ можно утверждать, что условие (3.14) полной наблюдаемости SIMO-системы справедливо, если

$a_{{2,4}}^{2}{{a}_{{4,3}}} - a_{{2,3}}^{2}{{a}_{{3,4}}} \ne {{a}_{{2,3}}}{{a}_{{2,4}}}\left( {{{a}_{{4,4}}} - {{a}_{{3,3}}}} \right).$

Согласно выражению (3.13) из теоремы 4 рассчитаем наблюдатель ${{{\mathbf{l}}}_{{\mathbf{B}}}} = {{\left[ {\begin{array}{*{20}{c}} {{\mathbf{l}}_{{{\mathbf{B}}1}}^{T}}&\vline & {{\mathbf{l}}_{{{\mathbf{B}}2}}^{T}} \end{array}} \right]}^{T}}$:

$\begin{gathered} \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right] = \left[ {\begin{array}{*{20}{l}} {{{r}_{{{\mathbf{B}}1,1}}} + {{q}_{{{\mathbf{B}}2}}} - {{r}_{{{\mathbf{B}}3,2}}}{{l}_{{{\mathbf{B}}4,1}}}}&\vline & {{{r}_{{{\mathbf{B}}3,1}}} + \Delta p_{{{\mathbf{B}}3}}^{*}} \\ {{{r}_{{{\mathbf{B}}2,1}}} + {{{\bar {l}}}_{{{\mathbf{B}}2,1}}}}&\vline & {{{r}_{{{\mathbf{B}}4,1}}} + {{l}_{{{\mathbf{B}}4,1}}}} \end{array}} \right] = \\ \, = \left[ {\begin{array}{*{20}{l}} {{{a}_{{2,1}}}{{a}_{{1,2}}} + {{a}_{{2,3}}}{{a}_{{3,2}}} - {{a}_{{1,1}}}{{a}_{{2,2}}} + {{q}_{{{\mathbf{B}}2}}} - {{a}_{{2,4}}}{{{\tilde {l}}}_{{{\mathbf{B}}4,1}}}}&\vline & {p_{3}^{*} + {{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}}} \\ {\left( {{{{{b}_{{2,1}}}} \mathord{\left/ {\vphantom {{{{b}_{{2,1}}}} {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \right)\left( {{{a}_{{1,2}}}{{a}_{{4,1}}} + {{a}_{{3,2}}}{{a}_{{4,3}}} - {{a}_{{1,1}}}{{a}_{{4,2}}} - {{a}_{{4,4}}}{{{\tilde {a}}}_{{3,2}}} + {{{\bar {l}}}_{{{\mathbf{B}}2,1}}}} \right)}&\vline & {\left( {{{{{b}_{{2,1}}}} \mathord{\left/ {\vphantom {{{{b}_{{2,1}}}} {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \right)\left( {{{a}_{{4,2}}} + {{{\tilde {l}}}_{{{\mathbf{B}}4,1}}}} \right)} \end{array}} \right], \\ \end{gathered} $
где ${{\tilde {l}}_{{{\mathbf{B}}4,1}}} = {{\bar {l}}_{{{\mathbf{B}}4,1}}} + {{\tilde {a}}_{{3,2}}}$.

По формуле (3.12) определим искомую матрицу регулятора по выходу:

${\mathbf{F}} = \left[ {\begin{array}{*{20}{c}} {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right]\underbrace {\frac{1}{{{{b}_{{2,1}}}}}\left[ {\begin{array}{*{20}{c}} {{1 \mathord{\left/ {\vphantom {1 {{{a}_{{1,2}}}}}} \right. \kern-0em} {{{a}_{{1,2}}}}}}&\vline & 0&\vline & 0&\vline & 0 \\ {{{{{a}_{{1,1}}}} \mathord{\left/ {\vphantom {{{{a}_{{1,1}}}} {{{a}_{{1,2}}}}}} \right. \kern-0em} {{{a}_{{1,2}}}}}}&\vline & 1&\vline & 0&\vline & 0 \end{array}} \right]}_{\left[ {\begin{array}{*{20}{c}} {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{T}} \\ {{\mathbf{\tilde {c}}}_{{\mathbf{B}}}^{T}{\mathbf{A}}} \end{array}} \right]}\underbrace {\left[ {\begin{array}{*{20}{c}} 1&\vline & 0 \\ 0&\vline & 1 \\ 0&\vline & 0 \\ 0&\vline & 0 \end{array}} \right]}_{{{{\mathbf{C}}}^{ + }}} = \frac{1}{{{{b}_{{2,1}}}}}\left[ {\begin{array}{*{20}{c}} {{{\left( {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}} + {{a}_{{1,1}}}{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{{\mathbf{l}}}_{{{\mathbf{B}}1}}} + {{a}_{{1,1}}}{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \right)} {{{a}_{{1,2}}}}}} \right. \kern-0em} {{{a}_{{1,2}}}}}}&\vline & {{{{\mathbf{l}}}_{{{\mathbf{B}}2}}}} \end{array}} \right].$

Таким образом, последовательность расчета искомого регулятора имеет вид

$\begin{gathered} {{{\bar {r}}}_{{{\mathbf{B}}1,2}}} = {{a}_{{2,3}}}{{a}_{{3,4}}} - {{a}_{{2,4}}}{{a}_{{3,3}}},\quad {{r}_{{{\mathbf{B}}2,2}}} = {{a}_{{3,4}}}{{a}_{{4,3}}} - {{a}_{{3,3}}}{{a}_{{4,4}}}, \\ {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}1,2}}} = {{a}_{{2,3}}}{{a}_{{3,4}}} + {{a}_{{2,4}}}{{a}_{{4,4}}},\quad {{{\tilde {r}}}_{{{\mathbf{B}}2,2}}} = {{a}_{{2,4}}}{{a}_{{4,3}}} - {{a}_{{2,3}}}{{a}_{{4,4}}}, \\ \end{gathered} $
${{\tilde {q}}_{{{\mathbf{B}}1}}} = a_{{3,3}}^{3} + p_{3}^{*}a_{{3,3}}^{2} + p_{2}^{*}{{a}_{{3,3}}} + p_{1}^{*} + {{a}_{{3,4}}}{{a}_{{4,3}}}(p_{3}^{*} + 2{{a}_{{3,3}}} + {{a}_{{4,4}}}),$
${{q}_{{{\mathbf{B}}2}}} = p_{2}^{*} + \left( {{{a}_{{3,3}}} + {{a}_{{4,4}}}} \right)p_{3}^{*} + a_{{3,3}}^{2} + a_{{4,4}}^{2} + {{a}_{{3,3}}}{{a}_{{4,4}}} + {{a}_{{3,4}}}{{a}_{{4,3}}},$
${{\tilde {a}}_{{3,2}}} = {{\left( {{{a}_{{3,2}}}\left( {{{a}_{{3,3}}} - {{a}_{{1,1}}}} \right) + {{a}_{{1,2}}}{{a}_{{3,1}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{3,2}}}\left( {{{a}_{{3,3}}} - {{a}_{{1,1}}}} \right) + {{a}_{{1,2}}}{{a}_{{3,1}}}} \right)} {{{a}_{{3,4}}}}}} \right. \kern-0em} {{{a}_{{3,4}}}}},\quad {{\bar {t}}_{{\mathbf{B}}}} = {{a}_{{3,4}}}\left( {{{a}_{{2,4}}}{{{\tilde {r}}}_{{{\mathbf{B}}2,2}}} - {{a}_{{2,3}}}{{{\bar {r}}}_{{{\mathbf{B}}1,2}}}} \right),$
$a = a_{{1,1}}^{2} + a_{{3,3}}^{2} + a_{{4,4}}^{2} + {{a}_{{1,1}}}{{a}_{{3,3}}} + {{a}_{{3,3}}}{{a}_{{4,4}}} + {{a}_{{4,4}}}{{a}_{{1,1}}} + p_{3}^{*}\left( {{{a}_{{1,1}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}}} \right) + p_{2}^{*},$
${{\bar {l}}_{{{\mathbf{B}}2,1}}} = {{({{r}_{{{\mathbf{B}}2,2}}}\left( {{{a}_{{2,4}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} - {{a}_{{2,3}}}{{a}_{{3,4}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}1,2}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{r}_{{{\mathbf{B}}2,2}}}\left( {{{a}_{{2,4}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} - {{a}_{{2,3}}}{{a}_{{3,4}}}{{q}_{{{\mathbf{B}}2}}}} \right) - {{{\bar {\tilde {r}}}}_{{{\mathbf{B}}1,2}}}p_{0}^{*})} {{{{\bar {t}}}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{{\bar {t}}}_{{\mathbf{B}}}}}},\quad {{\tilde {l}}_{{{\mathbf{B}}4,1}}} = {{({{a}_{{3,4}}}{{{\tilde {r}}}_{{{\mathbf{B}}2,2}}}{{q}_{{{\mathbf{B}}2}}} - {{{\bar {r}}}_{{{\mathbf{B}}1,2}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} + {{a}_{{2,4}}}p_{0}^{*})} \mathord{\left/ {\vphantom {{({{a}_{{3,4}}}{{{\tilde {r}}}_{{{\mathbf{B}}2,2}}}{{q}_{{{\mathbf{B}}2}}} - {{{\bar {r}}}_{{{\mathbf{B}}1,2}}}{{{\tilde {q}}}_{{{\mathbf{B}}1}}} + {{a}_{{2,4}}}p_{0}^{*})} {{{{\bar {t}}}_{{\mathbf{B}}}}}}} \right. \kern-0em} {{{{\bar {t}}}_{{\mathbf{B}}}}}} + {{\tilde {a}}_{{3,2}}},$
${\mathbf{F}} = \left[ {\begin{array}{*{20}{c}} {{1 \mathord{\left/ {\vphantom {1 {{{b}_{{2,1}}}}}} \right. \kern-0em} {{{b}_{{2,1}}}}}}&\vline & 0 \\ 0&\vline & {{1 \mathord{\left/ {\vphantom {1 {{{b}_{{4,2}}}}}} \right. \kern-0em} {{{b}_{{4,2}}}}}} \end{array}} \right]\left[ {\begin{array}{*{20}{l}} {{{a}_{{2,1}}} + {{\left( {{{a}_{{2,3}}}{{a}_{{3,2}}} + {{a}_{{3,4}}}{{a}_{{4,3}}} + a - {{a}_{{2,4}}}{{{\tilde {l}}}_{{{\mathbf{B}}4,1}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{2,3}}}{{a}_{{3,2}}} + {{a}_{{3,4}}}{{a}_{{4,3}}} + a - {{a}_{{2,4}}}{{{\tilde {l}}}_{{{\mathbf{B}}4,1}}}} \right)} {{{a}_{{1,2}}}}}} \right. \kern-0em} {{{a}_{{1,2}}}}}}&\vline & {p_{3}^{*} + {{a}_{{1,1}}} + {{a}_{{2,2}}} + {{a}_{{3,3}}} + {{a}_{{4,4}}}} \\ {{{a}_{{4,1}}} + {{\left( {{{a}_{{3,2}}}{{a}_{{4,3}}} - {{a}_{{4,4}}}{{{\tilde {a}}}_{{3,2}}} + {{{\bar {l}}}_{{{\mathbf{B}}2,1}}} + {{a}_{{1,1}}}{{{\tilde {l}}}_{{{\mathbf{B}}4,1}}}} \right)} \mathord{\left/ {\vphantom {{\left( {{{a}_{{3,2}}}{{a}_{{4,3}}} - {{a}_{{4,4}}}{{{\tilde {a}}}_{{3,2}}} + {{{\bar {l}}}_{{{\mathbf{B}}2,1}}} + {{a}_{{1,1}}}{{{\tilde {l}}}_{{{\mathbf{B}}4,1}}}} \right)} {{{a}_{{1,2}}}}}} \right. \kern-0em} {{{a}_{{1,2}}}}}}&\vline & {{{a}_{{4,2}}} + {{{\tilde {l}}}_{{{\mathbf{B}}4,1}}}} \end{array}} \right].$

Символьные вычисления в MATLAB [15] подтвердили равенство полиномов (1.2).

Заключение. Для линейной динамической системы четвертого порядка с двумя входами и двумя выходами при неравных индексах управляемости и наблюдаемости, а также при соблюдении условий (2.11) или (3.11) получено аналитическое решение задачи модального управления по выходу. В основу решения положено приведение указанной задачи к задаче управления (наблюдения) с одним входом, выполненное с помощью преобразований подобия и обнуления одной из строк (одного из столбцов) матрицы регулятора (наблюдателя) по состоянию. При этом следует заметить, что условия (2.11) или (3.11), когда указанное обнуление одновременно обеспечивает существование регулятора по выходу, ограничивают класс объектов, для которых применимо предложенное решение. Данное обстоятельство обусловлено математической сложностью задачи модального управления по выходу в общем виде. Однако существует ряд прикладных задач, удовлетворяющих приведенным условиям. В частности, это задача орбитальной стабилизации во взаимосвязанных каналах крен–рысканье [4, 5] при наличии измерений угла и угловой скорости только в одном из этих каналов.

Список литературы

  1. Зубов Н.Е., Микрин Е.А., Рябченко В.Н. Управление линейной MIMO-системой по вектору измерения с использованием многоуровневой декомпозиции // Изв. РАН. ТиСУ. 2020. № 2. С. 17–26. https://doi.org/10.31857/S0002338820020146

  2. Зубов Н.Е., Рябченко В.Н., Сорокин И.В. Управление по выходу спектром продольного движения одновинтового вертолета // Изв. вузов. Авиационная техника. 2020. № 2. С. 70–79.

  3. Зубов Н.Е., Микрин Е.А., Рябченко В.Н., Фомичёв А.В. Синтез законов управления боковым движением летательного аппарата при отсутствии информации об угле скольжения. Аналитическое решение // Изв. вузов. Авиационная техника. 2017. № 1. С. 61–70.

  4. Зубов Н.Е., Микрин Е.А., Олейник А.С., Рябченко В.Н., Ефанов Д.Е. Оценка угловой скорости космического аппарата в режиме орбитальной стабилизации по результатам измерений датчика местной вертикали // Вестн. МГТУ им. Н.Э. Баумана. Серия Приборостроение. 2014. № 5. С. 3–15.

  5. Зубов Н.Е., Лапин А.В., Рябченко В.Н. Аналитический алгоритм построения орбитальной ориентации космического аппарата при неполном измерении компонент вектора состояния // Изв. РАН. ТиСУ. 2019. № 6. С. 128–138. https://doi.org/10.1134/S0002338819040176

  6. Зубов Н.Е., Лапин А.В., Микрин Е.А., Рябченко В.Н. Управление по выходу спектром линейной динамической системы на основе подхода Ван дер Воуда // ДАН. 2017. Т. 476. № 3. С. 260–263.

  7. Леонов Г.А., Шумафов М.М. Методы стабилизации линейных управляемых систем. СПб.: Изд-во С.-Петерб. ун-та, 2005. 421 с.

  8. Lapin A.V., Zubov N.E. Parametric Synthesis of Modal Control with Output Feedback for Descent Module Attitude Stabilization // Int. Russian Automation Conf. Sochi. 2019. P. 1–6. https://doi.org/10.1109/RusAutoCon.2019.8867744.

  9. Lapin A.V., Zubov N.E. Generalization of Bass–Gura Formula for Linear Dynamic Systems with Vector Control // Herald of the Bauman Moscow State Technical University. Series Natural Sciences. M. 2020. V. 89. Iss. 2. P. 41–64. https://doi.org/10.18698/1812-3368-2020-2-41-64

  10. Lapin A.V., Zubov N.E. Analytic Solution of the Problem of Stabilizing Orbital Orientation of a Spacecraft with Flywheel Engines // AIP Conf. Proceedings. M. 2021. V. 2318. Iss. 1. 130009. P. 1–8.https://doi.org/10.1063/5.0036155.

  11. Зубов Н.Е., Лапин А.В., Рябченко В.Н. О связи модальной управляемости по выходу динамической MIMO-системы и вида матриц с желаемыми спектрами // Дифференциальные уравнения и процессы управления. 2021. № 2. С. 1–12.

  12. Микрин Е.А., Рябченко В.Н., Зубов Н.Е., Лапин А.В. Анализ и синтез динамических MIMO-систем на основе ленточных матриц специального типа // Дифференциальные уравнения и процессы управления. 2020. № 2. С. 1–14.

  13. Скороход Б.А., Колежук В.С. Определение индекса наблюдаемости линейной дискретной системы с векторным выходом // Оптимизация производственных процессов: Сб. науч. тр. 2003. № 6. С. 24–28.

  14. Гантмахер Ф.Р. Теория матриц. М.: Физматлит, 2010. 560 с.

  15. Лапин А.В., Зубов Н.Е. Реализация в среде MATLAB аналитических алгоритмов модального управления по состоянию и выходу // Инженерный журнал: наука и инновации. 2020. № 1 (97). С. 1–16. https://doi.org/10.18698/2308-6033-2020-1-1950

  16. Зубов Н.Е., Лапин А.В., Рябченко В.Н. Аналитический синтез модального регулятора по выходу для управления ориентацией спускаемого аппарата при спуске в атмосфере Земли // Изв. вузов. Авиационная техника. 2019. № 3. С. 46–59.

Дополнительные материалы отсутствуют.