Научная статья на тему 'Об одном алгоритме псевдообращения динамических систем'

Об одном алгоритме псевдообращения динамических систем Текст научной статьи по специальности «Математика»

CC BY
158
52
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОБРАТНЫЕ ЗАДАЧИ ДИНАМИКИ / ОБРАЩЕНИЕ ДИНАМИЧЕСКОЙ СИСТЕМЫ / ИДЕНТИФИКАЦИЯ ВХОДА / INVERSE PROBLEMS OF DYNAMICS / THE INVERSION OF A DYNAMIC SYSTEM / THE INPUT IDENTIFICATION

Аннотация научной статьи по математике, автор научной работы — Аникин Сергей Алексеевич

Рассматривается задача псевдообращения динамической системы (восстановления нормального входа системы по результатам измерения ее выхода). Под входом понимается пара: начальное состояние и входное воздействие на систему (управление, возмущение и т.д.), под нормальным входом — вход, имеющий минимальную норму на множестве всех входов, совместимых с данным выходом. Выход системы представляет собой функцию от времени, состояния системы и входного воздействия. Динамика системы описывается линейным обыкновенным дифференциальным уравнением. Задача псевдообращения решается путем редукции исходной динамической системы к некоторой эквивалентной системе, допускающей получение нормального входа в явном виде. Редукция осуществляется с помощью конечного числа алгебраических операций и операций дифференцирования. Явный вид нормального входа редуцированной системы получен из явного решения некоторой вспомогательной параметрической задачи оптимального управления с помощью операции предельного перехода.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

An Algorithm for the Pseudoinversion of Dynamic Systems

The problem of the pseudoinversion of a dynamic system (the reconstruction of an normal input of a system by the results of measurement of its output) is considered. The input is understood as a pair: the initial state of the system and an input action onto the system (control, perturbation, etc.). The normal input is one having minimal norm on a set of all inputs consistent with the output. The system output is a function of a time, a system state and an input action. The dynamics of the system is specified by a linear ordinary differential equation. The pseudoinversion problem is solved by the reduction of the original dynamic system to some equivalent system, enabling to obtain an normal input in an explicit form. The reduction is performed using a finite number of algebraic and differentiation operations. The explicit form of the normal input of the reduced system is deduced from a explicit form of a solution of some auxiliary parametric problem of optimal control by passage to the limit.

Текст научной работы на тему «Об одном алгоритме псевдообращения динамических систем»

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

УДК 517.977

ОБ ОДНОМ АЛГОРИТМЕ ПСЕВДООБРАЩЕНИЯ ДИНАМИЧЕСКИХ СИСТЕМ

С.А. Аникин

Рассматривается задача псевдообращения динамической системы (восстановления нормального входа системы по результатам измерения ее выхода). Под входом понимается пара: начальное состояние и входное воздействие на систему (управление, возмущение и т.д.), под нормальным входом — вход, имеющий минимальную норму на множестве всех входов, совместимых с данным выходом. Выход системы представляет собой функцию от времени, состояния системы и входного воздействия. Динамика системы описывается линейным обыкновенным дифференциальным уравнением. Задача псевдообращения решается путем редукции исходной динамической системы к некоторой эквивалентной системе, допускающей получение нормального входа в явном виде. Редукция осуществляется с помощью конечного числа алгебраических операций и операций дифференцирования. Явный вид нормального входа редуцированной системы получен из явного решения некоторой вспомогательной параметрической задачи оптимального управления с помощью операции предельного перехода.

Ключевые слова: обратные задачи динамики, обращение динамической системы, идентификация входа.

Введение

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

Различные алгоритмы обращения динамических систем можно найти в работах [7-10]. В этих работах исследованы и вопросы, связанные с обратимостью (однозначностью восстановления входа) динамических систем. Особый интерес для исследователей всегда представляли алгоритмы обращения, устойчивые к различным факторам неопределенности: погрешностям измерения выхода, возмущениям в системе и т.д. Такие алгоритмы строились, как в рамках теории гарантированного оценивания [2,3], так и с использованием методов теории некорректных задач [4,6,11,12] и теории автоматического управления [13]. В работах [14,15] разработан подход, сочетающий методы теории некорректных задач и теории позиционных дифференциальных игр. В этих работах вычисление входного воздействия производится в режиме «реального времени>, т.е. по мере поступления информации о выходе системы. В

последнее время возрос интерес к задачам обращения динамических систем при коммуникационных ограничениях [16,17].

Задачи обращения динамических систем тесно связаны с задачами динамического измерения [18, 19]. Новый подход к решению задач динамического измерения, основанный на теории уравнений леонтьевского типа [20], предложен в [21,22]. Задачи обращения динамических систем могут быть изучены и с позиций теории алгебро-дифференциальных систем [23,24].

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

В работе используются следующие обозначения: rank D — ранг матрицы D; E — единичная матрица подходящей размерности; D' — транспонированная матрица; D+ — псев-дообратная (по Муру-Пенроузу) матрица [25]; Col{Di,..., Dk} — матрица, составленная из матриц Di,..., Dk, записанных одна под другой; Col{yi,..., yk} — вектор-столбец, составленный из векторов-столбцов yi,..., Ук, записанных один под другим; Rn — n-мерное вещественное евклидово пространство; — пространство m-мерных функций, интегрируемых по Лебегу с квадратом на отрезке [0,$]; ¿i,i2 — множество чисел {¿i,ii + 1,..., ¿2};

| ■ | — евклидова норма в соответствующем конечномерном пространстве; || ■ Ух — норма в пространстве X; (•, -)х — скалярное произведение в гильбертовом пространстве X.

1. Постановка задачи

Пусть движение динамической системы на отрезке [0, $] описывается дифференциальным уравнением

x = A(t)x + B(t)u(t), x(0) = x°, (1)

где x = x(t) € Rn — состояние системы в момент времени t € [0, $]; x° — начальное состояние системы; u(t) € Rm — входное воздействие на систему (управление, возмущение и т.д.) в момент времени t; A(t), B(t) — заданные непрерывные матричные функции. Решения уравнения (1) понимаются в смысле Каратеодори [26].

Входом системы будем называть элемент w = (x°, u(-)) гильбертова пространства W = Rn х L™. Скалярное произведение в пространстве W задается равенством

(wi , w2) = (x°,x2> Rn + (Ui(-),Ui(-))Lm ,

где wi = (x°,ui(-)), W2 = (x2,M2(-)). Выходом системы (идеально наблюдаемым сигналом) назовем функцию y(-) € L22, связанную с состоянием системы x = x(t) и входным воздействием u(t) при почти всех t € [0, $] равенством

y(t) = C (t)x(t) + D(t)u(t), (2)

где C(t), D(t) — заданные непрерывные матричные функции.

Будем говорить, что вход w = (x°,u(-)) совместим с выходом y(-), если при почти всех t € [0,$] имеют место равенства (1), (2). Через W* (y(-)) обозначим множество всех входов, совместимых с выходом y(-). Пусть при некотором y(-) множество W*(y(-)) не пусто. Нормальным входом, совместимым с выходом y(-), назовем вход w* € W* (y(-)) такой, что

||w*||W = min {||w||w : w € W*(y())}.

Рассмотрим задачу псевдообращения динамической системы (1), (2).

Задача 1. По известному выходу y(-) восстановить нормальный вход, совместимый с этим выходом.

Очевидно, что в предположении W*(y(-)) = 0 данная задача имеет единственное решение.

2. Метод решения

Зафиксируем произвольное целое и неотрицательное k. В соответствии с [11] уравнение наблюдения (2) преобразуем к системе из k + 1 уравнения

yi(t) = Ci(t)x(t) + Di(t)u(t), i € 0, k, (3)

где yi(t), Ci(t), Di(t) определяются из соотношений

yo (t) = y(t), Co(t) = C (t), Do(t) = D(t), (4)

Qi(t) = E — A(t)D+ (t), (5)

yi+i(t) = dt (Qi(tb(t)) (6)

d

Ci+i(t) = — (Qi(t)Ci(t)) + Qi(t)Ci(t)A(t), (7)

Di+i(t) = Qi(t)Ci(t)B(t), i € 0, k - 1. (8)

При k ^ 1 для обеспечения допустимости операций дифференцирования в (6), (7) и непрерывности матричных функций Ci(t) для всех i € 1, k нам понадобится дополнительное

Предположение 1. Матричные функции Qi(t)Ci(t) (i € 0, k — 1) непрерывно дифференцируемы на [0, $].

Систему уравнений (3) можно переписать следующим образом:

Ук (t) = Cfc (t)x(t) + Dk (t)u(t), (9)

где

Ук (t) = Col {yo(t),yi(t),...,yk(t)} , (10)

Ck(t) = Col {Co(t), Ci(t),..., Ck(t)} , (11)

Dk(t) = Col {Do(t), Di(t),..., Dk(t)} . (12)

Нетрудно видеть, что (i + 1)-е уравнение в (3) получается из i-го путем умножения слева обеих частей уравнения на матрицу Qi(t) = E — Di(t)D+(t) (в результате чего в уравнении исчезает слагаемое с u(t)) и дифференцирования по t в силу системы (1). Поэтому справедливо

Предложение 1. Для любого целого неотрицательного k система уравнений (1), (9) относительно неизвестного входа w = (x°,u(-)) равносильна системе (1), (2).

Данное утверждение позволяет нам свести задачу псевдообращения динамической системы (1), (2) к эквивалентной задаче псевдообращения динамической системы (1), (9). Для решения последней задачи нам понадобится явный вид решения вспомогательной задачи оптимального управления

Ja (xo,u(-)) ^ min, (xo,u(-)) € W, (13)

где

Ja (x°,u(-)) = J ^ yffc(i) - C?fc (t)x(t) - D k (t)u(t) + a |u(t)|2^ dt + a|x0|2

— функционал А.Н.Тихонова [27]; x(t) = x(t; x°, u(-)) — решение уравнения (1), a — поло-

жительный параметр.

Лемма 1. [28] Решение задачи (13) существует, единственно и имеет вид:

xa = (Ka(0)+ aE)-1 ga(0), (14)

Ua(t) = (t) (ga(t) - Ka(t) Xa (t)) + F^ (t) (Vk (t) - C (t) Xa(t)) , (15)

где Ka (t) — решение матричного дифференциального уравнения Риккати

K = -KHa(t) - я;(t)K + KB(t)B^(t)K - Ck(t)Ga(t) (16)

с граничным условием K($) = 0; ga (t) — решение дифференциального уравнения

g = -Sa(t) g + (Ka(t)B(t)F„(t) - Ga(t)) fk(t) (17)

с граничным условием g($) = 0; xa (t) — решение дифференциального уравнения

x = Sa(t) x + B(t)Ba(t) ga(t) + B(t)F„(t) fk(t) (18)

с начальным условием x(0) = xa;

Sa (t) = Ha (t) - B(t)B^ (t)Ka (t); (19)

Ba (t) = B(t) (Dk(t)D5k (t) + aE^ ; (20)

Fa(t) = DDk(t) (Dk(t)Dk(t) + aE^ ; (21)

Ga(t) = (E - Dk(t)F'(t)) Ck(t); (22)

Ha(t) = A(t) - B(t)F' (t)Ck(t). (23)

Решение задачи псевдообращения динамической системы (1), (2) дается следующей теоремой.

Теорема 1. Пусть 1) найдутся целое неотрицательное число к и натуральное число r такие, что

rank Dk(t) = rank ^ Col jDk(t),B(t)jj= r Vt € [0,$]; (24)

2) K(t) — решение матричного дифференциального уравнения Риккати

K = -KH(t) - H(t)K + KB(t)D+(t)D+'(t)B;(t)K - Ck(t)G(t) (25)

с граничным условием K($) = 0; 3) матрица K(0) обратима. Тогда нормальный вход

(x°, «(•)), совместимый с выходом y(-), имеет вид

x° = [K (0)]-1 g(0), (26)

u(t) = DDfc(t)DDfc/(t)B(t)(g(t) -K(t)x(t)) + D+(t) (fk(t) -<5k(t)x(t)) , (27)

где д(£) — решение дифференциального уравнения

д = -£'ф д + (¿)в(£)1>+ф - С'ф) у*ф (28)

с граничным условием д(^) = 0; ж(£) — решение дифференциального уравнения

х = 5 ф ж + +(^)^5+' (¿)в' ф д(^) + в(^)^5 + (^) у* № (29)

с начальным условием ж(0) = ж0;

5(¿) = Я(¿) - В(£)5 + (¿)5 +'(¿)В'(¿)К(¿); (30)

С(*) = (Е - А(¿)5+ (¿)) (7*(¿); (31)

Н(¿) = А(*) - В(*)5+(*)С*(¿); (32)

Ук(¿), С7*(¿), А(¿) определяются равенствами (10) —(12), (4)-(8).

Доказательство. Согласно [11] решение (ж^,, ua(•)) задачи (13) при а ^ 0 сходится к нормальному входу (ж0,и(-)) системы (1), (9). Решение (ж^,, ua(•)) по лемме 1 представимо в виде (14), (15). Покажем, что предельный переход в этих равенствах при а ^ 0 приводит к (26), (27).

Действительно, с учетом (21) и свойств псевдообратной матрицы [29] имеем

lim Fa(t) = D+(t) Vt € [0,$], (33)

откуда ввиду (22), (23), (31) и (32) получаем

lim Ga(t) = G(t), lim Ha(t) = H(t) Vt € [0,$]. (34)

a^-0 a^-0

Далее, условие (24) влечет для всех t € [0, $] линейную зависимость строк матрицы B(t) от строк матрицы Dk(t). Следовательно [25],

B(t) = B(t)D + (t)Dk(t) Vt € [0,$],

что с учетом (19), (20), (30) и (33) обеспечивает равенства

Ит Б«(t) = Um B(t)DD + (t)Fa(t) = B(t)D + (t)D +(t) (35)

lim Sa(t) = S(t) Vt € [0,$]. (36)

a^0

В силу условия (24) ранг матрицы Dk(t) постоянен на [0,$]. Кроме того, матричная функция Dk(t) непрерывна на [0,$]. Следовательно [30], матричная функция D+(t) также непрерывна на [0,$], как и функции (30)—(32). Поэтому правые части дифференциальных уравнений (25), (28), (29) непрерывны по t. Применяя теоремы о непрерывной зависимости решений дифференциальных уравнений от начальных данных и параметров [26] и равенства (33)—(36), получаем равномерную по t сходимость при а ^ 0 решений Ка (t), ga (t), жа (t) дифференциальных уравнений (16), (17), (18) к решениям К(t), g(t), x(t) уравнений (25), (28), (29) соответственно. Окончательно, совершая предельный переход в равенстве (15) при а ^ 0, имеем (27). Остается показать справедливость равенства (26). Из (14) следует, что при всех а > 0

(Ка (0) + аЕ) жа = ga (0).

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Предельный переход в этом равенстве при а ^ 0 приводит к равенству

К (0)ж0 = g(0),

которое с учетом обратимости К(0) дает (26). □

Пример 1. Рассмотрим задачу псевдообращения динамической системы

Ж і = ж2, Жі(0) = ж0,

Ж 2 = Мі(і) + М2 (^, Ж2(0) = Ж0,

/і(і) = Жі(^),

/2^) = Жі(і) + М2 (і) + Мз(і), І Є [0, #].

Для этой системы

А(і) =

С (¿) =

0 1 00

10

10

В(і) = Я(г) =

000

110

000

011

Условие (24) оказалось выполненным при к = 3, г = 2. При этом

Уз(г) =

( Уі(г) \ У2(і)

іШ

3/2 (І)

0

V у2(і) /

10 10 01 00 00 00

0 0 0

0 1 1

0 0 0

0 0 0

1 1 0

0 0 0

Матричное дифференциальное уравнение Риккати (25) имеет вид

К = - К

01

00

0 М К + К( 0 0 10/ + V 01

К

10

01

Решая его с учетом граничного условия К($) = 0, имеем

К(¿) =__________________1_( (^3[$- ¿]) еЬ (^ - ¿]) -1

еЬ (л/3[^ - ¿]) + 2 V еЬ(\/3[$ - ¿0 - 1 л/3вЦ\/3[^ - ¿])

Дифференциальные уравнения (28) и (29) выглядят следующим образом

#і #2 Ж і

Ж 2

= -^/(г) = £(*)

#2

Жі

Ж2

+

Уі(іП / #і(^)

/Ш ( ’ V #2(^) 00 \ ( #і(і)

0 ЧУ #2(і)

Жі (0) Ж2 (0)

Ж0 Ж і

где

1 / 0 еЬ(^3( - ¿0+2 А

еЬ(\/3[$ - г])+2\1 - еЬ(\/3[$ - ¿]) -\/3бЬ(\/3[$ - І])у

Восстановленный нормальный вход (26), (27) приобретает вид

1

+ 3

л/3 бЬ (^) 1- еЬ (у/3$)

2 еЬ (\/3$) - 2 V 1 - еЬ (\/3$) л/3 бЦл/Э^) 0

#і(0)

#2(0)

2 1 -1 \(

) л #2(г) )

-1 0 0 2 0

1 0 0 1 0

2 0 0 1 0

- к (г)

Жі(г)

Ж2(г)

+

Уз(г) - Сз(г)

Жі(г)

Ж2(г)

0

Ж

2

0

3. Заключение

Теорема 1 фактически дает явный вид оператора F+ : ^ W, псевдообратного [31] к

оператору F : W «вход-выход» системы (1), (2), т.е. оператору, который каждому

входу w = (x°,u(-)) Є W ставит в соответствие выход y(-) Є L^ по правилу (1), (2). Недостатком теоремы является ограничительное условие (24). Однако при невыполнении этого условия можно, например, перейти к динамической системе, сопряженной к (1), (2):

z = — A(t)z — C ;(t)y(t), z(tf) = 0, x° = z(0),

u(t) = B(t)z(t) + D(t)y(t), t Є [0, $j.

Оператор F* : LpP ^ W «вход-выход» этой системы сопряжен к F и действует по правилу (x°,u(-)) = F*y(-) в соответствии с выше приведенными равенствами. Псевдообращение сопряженной системы (оператора F*) можно выполнить аналогично псевдообращению, описанному в теореме 1. В результате, для получения явного вида оператора F+ останется воспользоваться формулой F+ = (F*+)*. Другие методы обращения динамической системы могут быть получены с помощью формул F+ = (F*F )+ F * и F+ = F* (FF*)+.

Работа выполнена при финансовой поддержке РФФИ (проект 10-01-00672) и в рамках Программы фундаментальных исследований Президиума РАН «Динамические системы и теория управления'» при поддержке УрО РАН (проект 12-П-1-1019).

Литература

1. Жуковский, Н.Е. Теоретическая механика / Н.Е. Жуковский. - М.: Гостехиздат, 1952.

2. Красовский, Н.Н. Теория управления движением / Н.Н. Красовский. - М.: Наука, 1968.

3. Куржанский, А.Б. Управление и наблюдение в условиях неопределенности / А.Б. Кур-жанский. - М.: Наука, 1977.

4. Гусев, М.И. Обратные задачи динамики управляемых систем / М.И. Гусев, А.Б. Куржанский // Механика и научно-технический прогресс. Т.1. Общая и прикладная механика. - М.: Наука, 1987. - С. 187-195.

5. Кирин, Н.Е. Методы последовательных оценок в задачах оптимизации управляемых систем / Н.Е. Кирин. - Ленинград: ЛГУ, 1975.

6. Аникин, С.А. Оценивание возмущающих сил по измерениям параметров движения / С.А. Аникин, М.И. Гусев // Гарантированное оценивание и задачи управления. - Свердловск: УНЦ АН СССР, 1986. - С. 19-30.

7. Silverman, L.M. Inversion of multi-variable linear systems / L.M. Silverman // IEEE Tr. Aut. Control. - 1969. - V. 14. - P. 270-276.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

8. Willsky, A.S. On the invertibility of linear systems / A.S. Willsky // IEEE Tr. Aut. Control.

- 1974. - V. 19. - P. 272-274.

9. Sain, M.K. Invertibility of linear time-invariant dynamical systems / M.K. Sain, J.L. Massey // IEEE Tr. Aut. Control. - 1969. - V. 14. - P. 141-149.

10. Никольский, М.С. Об идеально наблюдаемых системах / М.С. Никольский // Дифференциальные уравнения. - 1971. - Т. 7, № 4. - С. 631-638.

11. Аникин, С.А. Об оценке погрешности метода регуляризации А.Н.Тихонова в задачах восстановления входов динамических систем / С.А. Аникин // Журн. вычисл. математики и мат. физики. - 1997. - № 9. - C. 1056-1067.

12. Аникин, С.А. Идентификация входов квазилинейных систем / С.А. Аникин // Автоматика и телемеханика. - 2007. - № 11. - С. 12-30.

13. Ильин, А.В. Алгоритмы обращения управляемых линейных систем / А.В. Ильин, С.К. Коровин, В.В. Фомичев // Дифференциальные уравнения. - 1998. - Т. 34, № 6.

- С. 744-750.

14. Кряжимский, А.В. О позиционном моделировании управления в динамической системе / А.В. Кряжимский, Ю.С.Осипов // Известия АН СССР. Техн. кибернетика. - 1983. -№ 2. - C. 51-60.

15. Максимов, В.И. О динамическом оценивании управлений в условиях неопределенности / В.И. Максимов // Известия РАН. Техн. кибернетика. - 1994. - № 3. - С .127-133.

16. Savkin, A.V. Set-Valued State Estimation via Limited Capacity Communication Channel / A.V. Savkin, I.R. Petersen // IEEE Tr. Aut. Control. - 2003. - V. 48, № 4. - P. 676-680.

17. Ананьев, Б.И. Задача восстановления входных воздействий при коммуникационных ограничениях / Б.И. Ананьев, С.А. Аникин // Автоматика и телемеханика. - 2009. -№ 7. - С. 73-84.

18. Грановский, В.А. Динамические измерения / В.А. Грановский. - Л.: Энергоиздат, 1984.

19. Шестаков, А.Л. Решение обратной задачи динамики на основе теории модального управления с использованием измеряемого вектора параметров состояния первичного измерительного преобразователя / А.Л. Шестаков, Д.Ю. Иосифов // Изв. Челяб. науч. центра.

- 2005. - № 4(30). - C. 144-149.

20. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semigroups of Operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston; Köln; Tokyo: VSP, 2003.

21. Шестаков, А.Л. Динамические измерения как задача оптимального управления / А.Л. Шестаков, Г.А. Свиридюк, Е.В.Захарова // Обозрение прикл. и пром. математики.

- 2009. - Т. 16, № 4. - C. 732-733.

22. Шестаков, А.Л. Новый подход к измерению динамически искаженных сигналов /

А.Л. Шестаков, Г.А. Свиридюк // Вестн. Юж.-Урал. гос. ун-та. Серия «Математическое моделирование и программирование». - 2010. - № 16 (192), вып. 5. - С. 116-120.

23. Чистяков, В.Ф. Избранные главы теории алгебро-дифференциальных систем / В.Ф. Чистяков, А.А.Щеглова. - Новосибирск: Наука, 2003.

24. Бояринцев, Ю.Е. Блочные алгебро-дифференциальные системы и их индексы / Ю.Е. Бояринцев, И.В. Орлова // Изв. вузов. Математика. - 2004. - № 6. - С. 6-13.

25. Гантмахер, Ф.Р. Теория матриц / Ф.Р. Гантмахер. - М.: Наука, 1967.

26. Коддингтон, Э.А. Теория обыкновенных дифференциальных уравнений / Э.А. Коддинг-тон , Н. Левинсон. - М.: Изд-во иностр. лит., 1958.

27. Тихонов, А.Н. Методы решения некорректных задач / А.Н. Тихонов, В.Я. Арсенин. -М.: Наука, 1986.

28. Аникин, С.А. Параллельный вариант алгоритма восстановления входов динамических систем / С.А. Аникин // Алгоритмы и программные средства параллельных вычислений: сб. науч. тр. - Екатеринбург: ИММ УрО РАН 2000. - Вып.4 - С. 24-31.

29. Алберт, А. Регрессия, псевдоинверсия и рекуррентное оценивание / А. Алберт. - М.:

Наука, 1977.

30. Stewart, G.W. On the continuity of the generalized inverses / G.W. Stewart // SIAM J. on

Appl. Math. - 1969. - V. 17, № 1. - P. 33-45.

31. Иванов, В.К. Теория линейных некорректных задач ее приложения / В.К. Иванов,

В.В. Васин, В.П. Танана. - М.: Наука, 1978.

Сергей Алексеевич Аникин, кандидат физико-математических наук, отдел оптимального управления, Институт математики и механики УрО РАН (г. Екатеринбург, Российская Федерация), asa@imm.uran.ru.

MSC 49N45

An Algorithm for the Pseudoinversion of Dynamic Systems

S.A. Anikin, Institute of Mathematics and Mechanics,

Ural Branch of the Russian Academy of Sciences (Yekaterinburg, Russian Federation)

The problem of the pseudoinversion of a dynamic system (the reconstruction of an normal input of a system by the results of measurement of its output) is considered. The input is understood as a pair: the initial state of the system and an input action onto the system (control, perturbation, etc.). The normal input is one having minimal norm on a set of all inputs consistent with the output. The system output is a function of a time, a system state and an input action. The dynamics of the system is specified by a linear ordinary differential equation. The pseudoinversion problem is solved by the reduction of the original dynamic system to some equivalent system, enabling to obtain an normal input in an explicit form. The reduction is performed using a finite number of algebraic and differentiation operations. The explicit form of the normal input of the reduced system is deduced from a explicit form of a solution of some auxiliary parametric problem of optimal control by passage to the limit.

Keywords: inverse problems of dynamics, the inversion of a dynamic system, the input identification.

References

1. Zhukovskii N.E. Teoreticheskaya mekhanika [Theoretical Mechanics]. Moscow, Gostekhizdat, 1952.

2. Krasovskii N.N. Teoriya upravleniya dvizheniem [Theory od Motion Control]. Moscow, Nauka, 1968.

3. Kurzhanskii A.B. Upravlenie i nablyudenie v usloviyakh neopredelennosti [Control and Observation under Indeterminacy Conditions]. Moscow, Nauka, 1977.

4. Gusev M.I., Kurzhanskii A.B. Inverse Problems in Dynamics of Control Systems. Mekhanika i nauchno-tekhnicheskiy progress. T.1: Obshchaya i prikladnaya mekhanika [Mechanics and Scientific and Technological Progress. vol.1: General and Applied Mechanics], Moscow, Nauka, 1987, pp. 187-195.

5. Kirin N.E. Metody posledovatel’nykh otsenok v zadachakh optimizatsii upravlyaemykh sistem [Methods of Successive Estimates in Problems of Optimization of Control Systems]. Leningrad, Leningrad. Gos. Univ., 1975.

6. Anikin S.A., Gusev M.I. Estimation of Perturbing Forces by Measuring the Parameters of Motion. Garantirovannoe otsenivanie i zadachi upravleniya [Guaranteed Estimation and Control Problems], Sverdlovsk, Ural. Nauch. Tsentr, Akad. Nauk SSSR, 1986, pp. 19-30.

7. Silverman L.M. Inversion of Multi-variable Linear Systems. IEEE Tr. Aut. Control., 1969, vol. 14, pp. 270-276.

8. Willsky A.S. On the Invertibility of Linear Systems. IEEE Tr. Aut. Control, 1974, vol. 19, pp. 272-274.

9. Sain M.K., Massey J.L. Invertibility of Linear Time-invariant Dynamical Systems. IEEE Tr. Aut. Control, 1969, vol. 14, pp. 141-149.

10. Nikol’skii M.S. On the Perfectly Observable Systems [Ob ideal’no nablyudaemykh sistemakh]. Differentsial’nye uravneniya [Differential Equations], 1971, vol. 7, no. 4, pp. 631-638.

11. Anikin S.A. Error Estimate for a Regularization Method in Problems of the Reconstruction of Inputs of Dynamics Systems. Computational Mathematics and Mathematical Physics, 1997, vol. 37, no. 9, pp. 1020-1031.

12. Anikin S.A. Identification of the Inputs of Quasilinear Systems. Automation and Remote Control, 2007, vol. 68, no. 11, pp. 1900-1916.

13. Il’in A.V., Korovin S.K., Fomichev V.V. Algorithms for the Inversion of Control Linear Systems [Algoritmy obrashcheniya upravlyaemykh lineynykh sistem]. Differentsial’nye uravneniya [Differential Equations], 1998, vol. 34, no. 6, pp. 744-750.

14. Kryazhimskii A.V., Osipov Yu.S. Positional Modeling of Control in a Dynamic System [O pozitsionnom modelirovanii upravleniya v dinamicheskoy sisteme]. Izvestiya AN SSSR. Tekh. kibernetika, 1983, no. 2, pp. 51-60.

15. Maksimov V.I. The Dynamic Estimation of Controls under Indeterminacy Conditions [O dinamicheskom otsenivanii upravleniy v usloviyakh neopredelennosti] Izvestiya RAN. Tekh. kibernetika, 1994, no. 3, pp. 127-133.

16. Savkin A.V., Petersen I.R. Set-Valued State Estimation via Limited Capacity Communication Channel. IEEE Tr. Aut. Control, 2003, vol. 48, no. 4, pp. 676-680.

17. Anan’ev B.I., Anikin S.A. Problem of Reconstructing Input Signals under Communication Constraints. Automation and Remote Control, 2009, vol. 70, no. 7, pp. 1153-1164.

18. Granovskii V.A. Dinamicheskie izmereniya [Dynamical measurements]. Leningrad, Energoizdat, 1984.

19. Shestakov A.L., Iosifov D.Yu. Solving the Inverse Problems of Dynamics Based on Modal Control Theory Using the Measured Vector of Parameters of the Primary Measurement Converter State [Reshenie obratnoy zadachi dinamiki na osnove teorii modal’nogo upravleniya s ispol’zovaniem izmeryaemogo vektora parametrov sostoyaniya pervichnogo izmeritel’nogo preobrazovatelya]. Izvestiya Chelyabinskogo nauchnogo tsentra, 2005, no. 4(30), pp. 144-149.

20. Sviridyuk G.A., Fedorov V.E. Linear Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht, Boston, Köln, Tokyo, VSP, 2003.

21. Shestakov A.L., Sviridyuk G.A., Zaharova E.V. Dynamical Measurements as an Optimal Control Problem [Dinamicheskie izmereniya kak zadacha optimal’nogo upravleniya]. Obozrenie prikladnoy i promyshlennoy matematiki, 2009, vol. 16, no. 4, pp. 732-733.

22. Shestakov A.L., Sviridyuk G.A. A New Approach to the Measurement of Dynamically Distorted Signals [Novyy podkhod k izmereniyu dinamicheski iskazhennykh signalov]. Vestnik Yuzhno-Ural. gos. univ. Serija: Matematicheskoe modelirovanie i programmirovanie, 2010, no. 16, pp. 116-120.

23. Chistyakov V.F., Scheglova A.A. Izbrannye glavy teorii algebro-differentsial’nykh sistem [Selected Chapters of the Theory of Differential-Algebraic Systems]. Novosibirsk, Nauka, 2003.

24. Boyarintsev Yu.E., Orlova I.V. Block Algebraic-Differential Systems and Their Indices [Blochnye algebro-differentsial’nye sistemy i ikh indeksy]. Izv. vuzov. Matematika, 2004, no. 6, pp. 6-13.

25. Gantmakher F.R. Teoriya matrits [Theory of Matrices]. Moscow, Nauka, 1967.

26. Coddington E.A., Levinson N. Theory of Ordinary Differential Equations. New York, Toronto, London, McGRAW-HILL BOOK COMPANY, 1955.

27. Tikhonov A.N., Arsenin V.Ya. Metody resheniya nekorrektnykh zadach [Methods for Solving Ill-Posed Problems]. Moscow, Nauka, 1986.

28. Anikin S.A. A Parallel Version of the Algorithm for the Reconstruction of Inputs of Dynamic Systems. Algoritmy i program. sredstva paral. vychisleniy [The Algorithms and Software of Parallel Computing], Yekaterinburg, IMM UrO RAN, 2000, no. 4, pp. 24-31.

29. Albert A. Regression and the Moor-Penrose Pseudoinverse. New York and London, ACADEMIC PRESS, 1972.

30. Stewart G.W. On the Continuity of the Generalized Inverses. SIAM J. on Appl. Math., 1969, vol. 17, no. 1. pp. 33-45.

31. Ivanov V.K., Vasin V.V., Tanana V.P. Teoriya lineynykh nekorrektnykh zadach ee prilozheniya [Theory of Linear Ill-Posed Problems and Its Application]. Moscow: Nauka, 1978.

Поступила в редакцию 3 июня 2012 г.

i Надоели баннеры? Вы всегда можете отключить рекламу.