Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
711
В.Ф. Губарев, В.Д Романенко, Ю.Л. Милявский
МЕТОДЫ НАХОЖДЕНИЯ РЕГУЛЯРИЗИРОВАННОГО РЕШЕНИЯ ПРИ
ИДЕНТИФИКАЦИИ ЛИНЕЙНЫХ МНОГОМЕРНЫХ МНОГОСВЯЗНЫХ
ДИСКРЕТНЫХ СИСТЕМ
ВВЕДЕНИЕ
Статья посвящена проблеме идентификации линейных многосвязных дискретных
систем большой размерности, в том числе таких, которые могут быть представлены в
виде разложений, асимптотически приближающихся к точному описанию с
увеличением их размерности. Наиболее подходящим модельным классом для них
является описание в пространстве состояний, когда кроме входных и выходных
переменных заданных размерностей используются внутренние переменные,
характеризующие текущее состояние системы. Размерность внутренних переменных
определяет структуру и сложность системы в классе моделей, который для линейного
случая записывается в виде векторно-матричных уравнений. Для систем большой
сложности ее размерность, как правило, неизвестна. Даже если она известна, то нет
гарантий, что по исходным экспериментальным данным удастся корректно построить
модель именно этой размерности. Поэтому в статье рассматривается структурно-
параметрическая идентификация с определением размерности модели и
соответствующих ей основных матриц A , B , C , D . При этом находится
приближенное решение задачи идентификации, согласованное по точности с
погрешностью исходных данных.
Основанием именно такого подхода к проблеме идентификации систем большой
размерности послужили результаты исследований качества идентифицируемых
моделей, определяемого ошибками оценивания [1, 2]. Установлено, что с увеличением
размерности модели уменьшается отклонение измеряемого выхода от
соответствующего выходного сигнала модели при одинаковом входе. Одновременно
увеличение размерности искомой модели приводит к увеличению чувствительности
решения к погрешностям данных. При некоторой размерности наступает равенство
погрешностей, обусловленных указанными факторами. Именно ее целесообразно
считать оптимальной, поскольку дальнейшее увеличение размерности приведет к
большим ошибкам вычисляемых параметров модели. В силу разных причин
практически невозможно в реальных условиях определить эту эффективную с точки
1
зрения качества модели размерность. Поэтому в данной работе предлагается иной
способ нахождения размерности приближенной модели, в основе которого лежит
регуляризированное решение. В этом случае размерность модели будем считать
регуляризирующим параметром, и тогда в соответствии с методами регуляризации
некорректно поставленных задач порядок модели будем определять из принципа
согласованности выбранного решения с погрешностью исходных данных. В
определенных случаях для этого достаточно взять размерность такой, чтобы невязка
выходного сигнала модели по отношению к измеренному была меньшей или равной
ограничению на допустимую погрешность исходных данных. Причем для размерности
на единицу меньшую это условие уже не выполняется. При таком выборе
удовлетворяются требования, которым должно удовлетворять регуляризированное
решение. Действительно, при стремлении погрешности к нулю определяемая так
размерность будет расти, приближаясь к точному решению. Когда уменьшение
погрешности достигается за счет стремления длительности эксперимента к
бесконечности, можно приблизиться к случаю, при котором размерность определяется
вычислительной погрешностью.
В данной работе на основе теории реализаций в пространстве состояний [3],
оригинального матричного представления модели многосвязной системы,
предложенного Хо и Калманом [4], а также стандартных методов стохастической
идентификации (N4SID, RobustN4SID, PO-MOESP и других), описанных, например, в
[5, 6, 7, 8], рассмотрены различные способы построения регуляризированного решения
задачи идентификации без использования стохастической трактовки погрешности
данных.
ПОСТАНОВКА ЗАДАЧИ
Пусть исследуемый объект является дискретной линейной динамической системой с r
входами и m выходами. Внутренние переменные связывают входные воздействия с
измеряемыми выходами и определяют текущее состояние системы. В сложном объекте
вектора состояния принадлежат конечномерному пространству большой размерности
или бесконечномерному пространству. При таких условиях по данным с погрешностью
может быть найдено только приближенное решение задачи идентификации.
Подходящим классом моделей, описывающим наблюдаемые динамические процессы в
таких объектах, является следующая система уравнений:
2
x (k 1) Ax( k ) Bu (k ) (k ),
y (k ) Cx(k ) Du ( k ) (k ),
(1)
3
ограниченным по величине. Именно для этого случая предлагается находить
регуляризированное решение из условия его устойчивости при такой
неопределенности.
Ставится следующая задача. По данным (неточным), полученным из
экспериментов, найти размерность модели и значения соответствующих ей элементов
матриц A, B, C, D , которые в некотором смысле наилучшим образом
аппроксимируют эти данные, т.е. на любое допустимое входное воздействие модель и
система дают на выходе близкие отклики. Близость определяется погрешностью (2).
4
X x(1) x( N1 ) ,
u (1) u (2) u ( N1 )
u (2) (7)
u (3) u ( N1 1)
U .
u ( K ) u ( K 1) u ( N1 K 1)
Полученное таким образом матричное уравнение (6) является исходным для
имеющихся и описанных в литературе прямых 4SID-методов.
5
где , Y2 X .
где , , ,
6
и – имеют число столбцов равных установленной размерности модели, а –
квадратная матрица размерности модели. Согласно изложенному выше полагаем
. (13)
могут быть найдены из (6), умноженного слева на матрицу QeT из (12). Благодаря
и ее RQ-разложение
7
U R11 0 Q1
X Rx1 Rx2 Qx . (17)
Очевидно, что матрицы R11 и Q1 в разложениях (16), (17) одинаковые. На основе (16)
и (17) с учетом (6) в работе [5] было установлено равенство
R22 K Qx Q2T Rx 2 . (18)
Причем согласно теории реализаций для R22 справедливо аналогичное (10)
представление. Это означает, что любое представление матрицы R22 в (18) как
произведение двух полноранговых матриц позволяет первую из них взять за K для
некоторой реализации. Принято в качестве такового брать SVD-разложение, а именно
R22 UV T , (19)
где U , , V – аналогичны случаю (11). В результате имеем
K U
и после определения размерности соответствующей регуляризированному решению
методом, описанным в последующих разделах, записываем (12). Матрицы A и C
для соответствующей реализации находятся по схеме аналогичной первому способу,
т.е. исходя из (13), (14). Для нахождения матриц B и D следует воспользоваться
формулами, приведенными в [5].
Описанный способ идентификации имеет ряд модификаций, которые в
основном отличаются разными способами формирования информационных матриц.
Многие из них доведены до практической реализации для использования в среде
Matlab, чем можно воспользоваться при решении конкретных задач [12].
Третий способ, более подходящий для нахождения решения согласованного по
точности с погрешностью (2), можно реализовать в активных экспериментах, когда
имеем возможность формировать относительно произвольное входное воздействие.
Пусть длительность эксперимента [0, N ] достаточно большая, допускающая
его разбиение на последовательность интервалов [k j , k j 1 ] так, что k0 0 ( j 0 )
8
интервалах возбуждения формировать так, чтобы иметь большое разнообразие
начальных состояний в моменты k j 1 , j 0, 2, 4, . В случае, если на величину
9
где первое слагаемое есть аппроксимация зашумленной матрицы Yrelax матрицей
неполного ранга n . Она и будет определять приближенную модель системы, по
точности согласованную с погрешностью данных (1). Как это можно сделать, описано в
следующем разделе.
После того, как разбиение (22) сделано, полагаем
N 2 Qm , X 0 mVm . (23)
y k N k3 A N 2 1 x k 1 N k3 u k , k 2, 4, , K1 1 , (24)
D 0 0 0
С CB D 0 0
, N k3
.
СА
N k
3
Nk 2
N 1
СА
k3
N k3 3
CА 3 B CА В CB D
N 2 1 k 1
Пусть y N k3 1 А x y k , а поскольку матрица X 0 определяется (23), то
k
10
МЕТОДЫ НАХОЖДЕНИЯ РЕГУЛЯРИЗИРОВАННЫХ ПРИБЛИЖЕННЫХ
РЕШЕНИЙ
Как было сказано выше, важнейшей характеристикой, которую необходимо определить
в процессе идентификации системы, является ее размерность, которая в то же время
выступает и регуляризирующим параметром в задаче идентификации. Рассмотрим
несколько подходов к определению размерности системы.
Регуляризированное решение на коротком интервале
Опишем метод, позволяющий находить регуляризированное решение задачи
идентификации многомерной многосвязной (MIMO) линейной системы по
экспериментальным данным на относительно небольшом интервале наблюдения
[0, N ] . Будем определять размерность, соответствующую регуляризированному
решению, итеративным способом. Выберем некоторую начальную размерность n0 m .
Для выбранного n0 находим полное решение задачи идентификации, т.е.
восстанавливаем по исходным данным матрицы A , B , С . Для построенной таким
образом модели проводим вычислительный эксперимент. Подаем на ее вход точно
такой же сигнал, который был, когда формировались данные для идентификации
системы. Находим отклик модели на этот сигнал, т.е. вычисляем последовательность
y m
,
(k ) k 1, N , где y m (k ) – выход модели в момент k . Проводим сравнение
выходных сигналов модели и исследуемой системы, т.е. находим
yi k yim k
~
, i 1, m , k 1, N . (26)
По каждому выходу определяем наибольшее рассогласование сигналов, а
именно находим оценку
yi k yim k i ( n0 ) , i 1, m .
max ~ (27)
k
i ( n0 ) i . (28)
Для некоторых систем можно добиться ситуации, когда неравенство
выполняется для всех координат. В таком случае размерность регуляризированного
решения задачи идентификации равно такому (минимальному) n0 , при котором (28)
выполняется, а для размерности на единицу меньшей оно не выполняется. Однако на
практике часто случается, что выполнения (28) для всех выходных координат
невозможно. В таком случае предлагается использовать следующие два показателя.
Первый – это доля (процент) таких координат i (n0 ) среди всех m , для которых
11
неравенство (28) не выполняется, т.е. процент значений невязок (26), превышающих
E , (30)
где E – матрица, в которой элементы i k матрицы (29) заменены на i из (2).
С учетом (22) и (30) запишем неравенство
Ye Qe eVeT E . (31)
Для выбранного начального значения размерности модели проверяем выполнимость
(31). Если оно для нее выполняется, то уменьшаем ее на единицу, а если нет, то
12
увеличиваем на единицу. После этого вновь проверяем (31). Если, начиная с некоторой
размерности n , неравенство (31) выполняется, а для n 1 нет, то именно его и
следует выбрать в качестве искомой размерности. Впрочем, возможна ситуация, при
которой (31) невыполнимо ни для какой разумной размерности. Тогда следует
применить подход, аналогичный описанному ранее. А именно, в качестве показателей
выберем процент координат матрицы Ye , на которых нарушается (31), и максимальное
значение элементов матрицы Ye , рассматривая его как норму. Тогда в качестве
искомого следует выбирать граничное значение n , разделяющее области спадания и
насыщения. После выбора размерности можно идентифицировать параметры системы
описываемым выше методом, т.е. на основе (23)–(25).
Квазиоптимальное решение на длительном интервале
В этом случае будем определять квазиоптимальное значение размерности
модели соответствующее предельной размерности, после которой задачу
идентификации трактуем как некорректно поставленную. Для ее нахождения
имеющиеся данные разбиваем на два примерно равных интервала. На первом из них
задаем некоторую размерность n0 искомой модели и методом 4SID находим только
матрицу A для некоторой реализации. Вычисляем ее собственные значения. Затем
смещаем первый интервал на q шагов вправо и для новых данных вычисляем матрицу
A и ее собственные значения тем же способом. После этого вновь смещаем интервал
на q шагов и находим для него собственные значения. Продолжаем эту процедуру до
того момента, когда смещаемый интервал практически совпадает со вторым
интервалом данных исходного разбиения. Для полученного таким образом множества
собственных значений проводим оценку их разброса. Если он оказался небольшим, то
увеличиваем на единицу n0 и проделываем те же самые действия по определению
разброса собственных значений. Если же для начальной размерности разброс оказался
большим, то уменьшаем размерность модели. Процесс установления порядка
приближенной модели заканчивается после нахождения границы устойчивости.
Предельно допустимая условием устойчивости размерность дает квазиоптимальное ее
значение. Для нее одним из 4SID методов вычисляются все параметры приближенной
модели.
Данный подход имеет два недостатка. Во-первых, он требует, как было сказано,
длительного интервала наблюдения. Во-вторых, в его основе лежит плохо
формализуемое понятие разброса собственных значений. Рекомендуется, например,
13
считать разброс большим, когда меняется структура собственных значений. Так,
например, когда пара действительных значений превращается в комплексную пару
либо меняется знак собственного значения, а также когда два очень близких
собственных числа начинают быстро расходиться. Когда же этого нет, можно
рекомендовать следующую процедуру определения разброса собственных чисел.
Вычислить модули собственных значений и отсортировать их по убыванию.
Сформировать из них в устойчивой области кластеры близких значений. Затем по мере
увеличения размерности отслеживать их поведение до появления признаков
неустойчивости, т.е. существенного увеличения размеров какого-то из кластеров.
14
x (k 1) Ax (k ) Bu (k ),
(33)
где матрица B размерности ( n r ) составлена из нулей и единиц, так что при
I
соответствующей нумерации она может быть представлена в виде B 0 , I –
(34)
где матрица C имеет вид C I 0 (I – также единичная матрица) при
соответствующей нумерации вершин КК, вектор (k ) – шум измерений.
Если принять приращения координат вершин КК в качестве переменных
состояния, а их измеряемую часть – в качестве выходных переменных, то уравнения
(33), (34) сводятся к (1). Идентификации подлежат матрица A и ее размерность n
(матрицы B, C известны, а D 0 ).
Задача идентификации исследовалась на примере КК, описывающей некоторые
аспекты деятельности коммерческого банка (рис. 1).
4 7
-0,2 -0,7
0,8
1
0,1
0,9
-0.95
5 1 3 0,75
0,1 2
-0.2
-0,2 -0,5
0,85
0,03 0,13 0,3
0,15
2 6
-0,5 0,7
15
Ее матрица смежности имеет вид:
0 0,15 0 0 0,1 0 0
0,2 0 0,13 0,2 0,03 0 0
2 0 0,75 0 0 0 0
A 1 0 0 0,8 0 0,5 0 .
0 0,85 0,95 0,9 0 0 0,7
0 0,5 0,3 0 0 0,7 0
0 0 0,1 0,2 0,8 0 0
16
1
0.8
0.6
0.4
0.2
0
5 6 7 8 9 10
140
120
100
80
60
40
20
0
5 6 7 8 9 10
17
Поэтому оценка размерности проводилась по двум описанным показателям. Значения
их при шуме в интервале [–0,01; 0,01] показаны рис. 4, 5. При этом размерность
определялась точно.
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
5 6 7 8 9 10
2.5
1.5
0.5
0
5 6 7 8 9 10
18
число (в последней строке табл. 2), которое ведет себя неустойчивым образом, т.е.
регуляризированное решение соответствует модели с n 7 .
0.8377 + 0.2661i 0.8376 + 0.2660i 0.8376 + 0.2661i 0.8376 + 0.2661i 0.8376 + 0.2661i
0.8377 - 0.2661i 0.8376 - 0.2660i 0.8376 - 0.2661i 0.8376 - 0.2661i 0.8376 - 0.2661i
0.0933 + 0.7130i 0.0932 + 0.7129i 0.0932 + 0.7131i 0.0933 + 0.7131i 0.0933 + 0.7133i
0.0933 - 0.7130i 0.0932 - 0.7129i 0.0932 - 0.7131i 0.0933 - 0.7131i 0.0933 - 0.7133i
0.6162 + 0.0000i 0.6159 + 0.0000i 0.6162 + 0.0000i 0.6163 + 0.0000i 0.6163 + 0.0000i
-0.1136 + 0.2285i -0.1133 + 0.2285i -0.1140 + 0.2283i -0.1139 + 0.2283i -0.1142 + 0.2278i
-0.1136 - 0.2285i -0.1133 - 0.2285i -0.1140 - 0.2283i -0.1139 - 0.2283i -0.1142 - 0.2278i
Табл. 1. Собственные числа при размерности 7
0.8377 + 0.2660i 0.8377 + 0.2660i 0.8376 + 0.2661i 0.8376 + 0.2661i 0.8376 + 0.2661i
0.8377 - 0.2660i 0.8377 - 0.2660i 0.8376 - 0.2661i 0.8376 - 0.2661i 0.8376 - 0.2661i
0.0934 + 0.7130i 0.0932 + 0.7129i 0.0932 + 0.7131i 0.0932 + 0.7132i 0.0934 + 0.7133i
0.0934 - 0.7130i 0.0932 - 0.7129i 0.0932 - 0.7131i 0.0932 - 0.7132i 0.0934 - 0.7133i
0.6162 + 0.0000i 0.6159 + 0.0000i 0.6162 + 0.0000i 0.6163 + 0.0000i 0.6163 + 0.0000i
-0.1136 + 0.2284i -0.1132 + 0.2285i -0.1140 + 0.2283i -0.1139 + 0.2282i -0.1141 + 0.2277i
-0.1136 - 0.2284i -0.1132 - 0.2285i -0.1140 - 0.2283i -0.1139 - 0.2282i -0.1141 - 0.2277i
-0.6844 + 0.0000i -0.4930 + 0.0000i -0.5196 + 0.0000i -0.7922 + 0.0000i -0.7931 + 0.0000i
Табл. 2. Собственные числа при размерности 8
ВЫВОДЫ
В статье предложены методы идентификации многомерной дискретной системы в
пространстве состояний, в которых искомая размерность вектора состояния
рассматривалась как регуляризирующий параметр. В зависимости от характера и числа
данных предложены три способа определения размерности приближенной модели, т.е.
структурной идентификации в заданном классе моделей. После установления
размерности модели проводится параметрическая идентификация одним из имеющихся
или модифицированных 4SID методов, описанных в статье или, например, в [16].
Моделирование всех трех подходов проводилось на примере когнитивной карты в
импульсном процессе. Было показано, что предложенные методы позволяют корректно
найти размерности (и весовые коэффициенты) когнитивной карты в случае, когда
измеряются не все координаты и эти измерения неточны.
19
СПИСОК ЛИТЕРАТУРЫ
1. B. Ninness, G.C. Goodwin. Estimation of Model Quality // Automatica. – Vol. 31, No 12.
– 1995. – P. 1771-1797.
2. L. Giarre, B.Z. Kacewicz, M. Milanese. Model Quality Evaluation in Set Membership
Identification // Automatica. – Vol. 33, No 6. – 1997. – P. 1133-1139.
3. T. Kailath. Linear systems – Prentice Hall, Englewood Cliffs, N.J., 1980. — 680 р.
4. B. Ho, R.E. Kalman. Effective Construction of Linear State-Variable Models from
Input/Output Functions // Regelungstechnik. – 14. – 1966. – P. 545-548.
5. M. Verhaegen, P. Dewilde. Subspace Model Identification. Part 1: The output-error state
space model identification class of algorithms // International Journal of Control. –Vol.
56, No 5. – 1992. – P. 1187-1210.
6. P. Van Overschee, B.De Moor. N4SID: Subspace algorithms for identification of
combined deterministic-stochastic systems // Automatica. – Vol. 30, No 1. – 1994. – P.
75-93.
7. M. Verhaegen. Identification of the Deterministic Part of MIMO State Space Models
given in Innovations Form from Input-Output Data // Automatica. – Vol. 30, No 1. –
1994. – P. 61-74.
8. P. Van Overschee, B.De Moor. Subspace Identification for Linear Systems. – Kluwer
Academic Publications. – 1996.
9. Губарев В.Ф. Рациональная аппроксимация систем с распределенными
параметрами // Кибернетика и системный анализ. – 2008. – № 2. – С. 99-116.
10. Тихонов А.Н., Арсенин В.Я. Методы решения некорректных задач. – М.: Наука. –
1986. – 286 с.
11. Viberg M. Subspace-based method for the identification of linear time-invariant systems //
Automatica. – 1996. – Vol. 31, No 12. – P. 1835-1851.
12. L. Ljung. System Identification Toolbox. User’s Guide. – Mathworks, 2014. – 886 p.
13. Горелова Г.В., Захарова Е.Н., Радченко С.А. Исследование
слабоструктурированных проблем социально-экономических систем. Когнитивный
подход. – Ростов-на-Дону: Изд-во РГУ, 2006. – 332 с.
14. Робертс Ф.С. Дискретные математические модели с приложениями к социальным,
биологическим и экологическим задачам. Пер. с англ. – М.: Наука, 1986. – 496 с.
20
15. В.Ф. Губарев, В.Д. Романенко, Ю.Л. Милявский. Идентификация в когнитивных
картах в режиме импульсных процессов при полной информации // Проблемы
управления и информатики. – 2018. – № 4. – С. 30–43.
16. Miliavskyi Yu.L. Identification in cognitive maps in impulse process mode
with incomplete measurement of nodes coordinates // Кибернетика и вычислительная
техника. – 2019. – № 1 (195). – C. 49–63.
21
УДК 519.711. В.Ф. Губарев, В.Д Романенко, Ю.Л. Милявский. Методы нахождения регуляризированного
решения при идентификации линейных многомерных многосвязных дискретных систем.
В статье рассмотрена задача структурной идентификации сложной многомерной многосвязной
дискретной системы, представленной в пространстве состояний. Предполагается, что известны только
входные и выходные координаты системы на некотором интервале времени и диапазон погрешности
измерений. За основу принят метод выделяемого подпространства, который, впрочем, предполагает, что
размерность системы (вектора состояния) известна, что обычно не выполняется на практике. Более того,
при некотором уровне шума невозможно корректно идентифицировать систему большой размерности.
Поэтому предложено использовать размерность в качестве регуляризирующего параметра. Разработаны
три способа выбора регуляризирующей размерности в зависимости от длины интервала наблюдений и
наличия возможности активного ведения эксперимента. Результаты апробированы на примере задачи
идентификации когнитивной карты коммерческого банка в импульсном процессе.
Ключевые слова: структурная идентификация, метод выделяемого подпространства (4SID),
регуляризирующий параметр, многосвязная система, когнитивная карта, импульсный процесс.
УДК 519.711. В.Ф. Губарєв, В.Д Романенко, Ю.Л. Мілявський. Методи знаходження регуляризованого
розв'язку при ідентифікації лінійних багатовимірних багатозв'язних дискретних систем.
У статті розглянуто задачу структурної ідентифікації складної багатовимірної багатозв'язної дискретної
системи, представленої у просторі станів. Припускається, що відомі тільки вхідні і вихідні координати
системи на деякому інтервалі часу та діапазон похибки вимірювань. За основу прийнято метод
виділеного підпростору, який, втім, передбачає, що розмірність системи (вектора стану) відома, що
зазвичай не виконується на практиці. Більш того, при деякому рівні шуму неможливо коректно
ідентифікувати систему великої розмірності. Тому запропоновано використовувати розмірність в якості
параметра регуляризації. Розроблено три способи вибору регуляризуючої розмірності в залежності від
довжини інтервалу спостережень та наявності можливості активного ведення експерименту. Результати
апробовані на прикладі задачі ідентифікації когнітивної карти комерційного банку в імпульсному
процесі.
Ключові слова: структурна ідентифікація, метод виділеного підпростору (4SID), параметр регуляризації,
багатозв'язна система, когнітивна карта, імпульсний процес.
UDC 519.711. V.F. Gubarev, V.D. Romanenko, Yu.L. Miliavskyi. Methods of finding regularized solution in
identification of linear multivariable multi-connected discrete systems.
The article deals with the problem of structural identification of a complex multivariable multi-connected
discrete system presented in state space. It is assumed that only the input and output coordinates of the system
during certain time interval and range of measurement errors are known. The basis is the subspace (4SID)
method, which, however, assumes that dimension of the system (state vector) is known, which is usually not
wrong in practice. Moreover, with a certain noise level, it is impossible to correctly identify a system of high
dimensionality. Therefore, it is proposed to use the dimension as a regularizing parameter. Three methods for
choosing the regularizing dimension are suggested depending on length of the observation period and possibility
22
of active experiment design. The results are verified on the example of identification problem of a commercial
bank’s cognitive map in impulse process.
Keywords: structural identification, subspace method (4SID), regularizing parameter, multi-connected system,
cognitive map, impulse process.
23