CC BY
44
мц (
(/о)Р < 2Emi,mi (fo)p < 2\\f — Smi ,mi (fo < 2 ^ mk2/qLJk\\D
- D \\ <
"mk ,mk Dmk-i,mk-i\\p <
k=l +1
< 4 £ m-2/qWkmk/q < Cm. k=i+1
С другой стороны, в силу условия теоремы
тете те mi-1 mi-1
ЁЁ(^ + i)Y(j + If(i,j)ie >E(m-2/q)e ^ £ (i + i)y(j + i)5 >
i=0 j=0 l = 1 i=mi — i j=mi — i
те mi-1 mi-1 те
>£ m-2e/q4N-2m7+5 E E 1 > C2£ mY+5+2-2e/qwf -
l = 1 i=ml —i j=ml —i l=0
Работа выполнена при финансовой поддержке гранта Президента РФ для государственной поддержки ведущих научных школ РФ (проект НШ-2970.2008.01).
Библиографический список
1. Голубов Б.И., Ефимов А.В., Скворцов В.А. Ряды и преобразования Уолша. М.: Наука, 1987.
2. Moricz F. Approximation by double Walsh polynomials // Intern. J. Math. Math. Sci. 1992. V. 15, № 2. P. 209220.
3. Зигмунд А. Тригонометрические ряды. Т. 1. М.: Мир, 1965.
4. Szasz O. Fourier series and mean moduli of continuity // Trans. Amer. Math. Soc. 1937. V. 42, № 3. P. 366395.
5. Агаев Г.Н., Виленкин Н.Я., Джафарли Г.М., Рубинштейн А.И. Мультипликативные системы функций и гармонический анализ на нуль-мерных группах. Баку: Элм, 1981.
6. Схиртладзе И.А. Об абсолютной сходимости рядов Фурье - Уолша // Сообщ. АН ГССР. 1971. Т. 64, № 2. С. 273-276.
УДК 517.977
7. Схиртладзе И.А. Об абсолютной сходимости и суммируемости простых и кратных рядов Фурье - Уолша // Сообщ. АН ГССР. 1973. Т. 69, № 1. С. 17-20.
8. Tateoka J. Absolute convergence of double Walsh -Fourier series // Acta Sci. Math. (Szeged). 2006. V. 72, № 1-2. P. 101-115.
9. Sunouchi G.I. Notes on Fourier analysis. XI. On the absolute summability of Fourier series // J. Math. Soc. Japan. 1949. V. 1, № 2. P. 122-129.
10. Жак И.Е., Тиман М.Ф. О суммировании двойных рядов // Мат. сб. 1954. Т. 35(77), № 1. С. 21-56.
11. Волосивец С.С. Приближение функций ограниченной p-флуктуации полиномами по мультипликативным системам // Analysis Math. 1995. V. 21, № 1. P. 61-77.
12. Izumi M, Izumi S. On absolute convergence of Fourier series // Arkiv for Matematik. 1967. V. 7, № 12. P. 177-184.
ОБ ИТЕРАЦИОННОМ МЕТОДЕ ПОСТРОЕНИЯ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ СИНГУЛЯРНО ВОЗМУЩЕННЫМИ СИСТЕМАМИ С ЗАПАЗДЫВАНИЕМ
И.В.Гребенникова
Уральский государственный университет, Екатеринбург, кафедра прикладной математики E-mail: giv001@usla.ru
Рассматривается задача управления по минимаксному критерию для сингулярно возмущенной системы с запаздыванием. Предлагается итерационная процедура построения управляющего воздействия, аппроксимирующего оптимальное решение с заданной степенью точности относительно малого положительного параметра.
Ключевые слова: сингулярно возмущенная система с запаздыванием, оптимальное управление, фундаментальная матрица.
On Iterative Method of Constructing Optimal Control for Singularly Perturbed Systems with Delay
I.V. Grebennikova
Ural State University, Ekaterinburg, Chair of applied mathematics E-mail: giv001@usla.ru
The control problem for the singularly perturbed system with delay according to the minimax criterion is considered. Iterative procedure of constructing control response that approximates the optimal solution with given accuracy with respectto a small positive parameter is proposed.
Keywords: singularly perturbed system with delay, optimal control, fundamental matrix.
те
ВВЕДЕНИЕ
Построение эффективных управляющих процедур для реальных систем обусловлено точностью используемых математических моделей. Детализация описания динамики управляемого процесса приводит к сложным структурам (часто нелинейным), включающим различные особенности. Это может определяться наличием нескольких взаимосвязанных подпроцессов с существенно различными временными масштабами, и удобный способ формализации в этом случае — введение сингулярных возмущений. В последние годы много работ посвящено проблемам оптимального управления такими системами (см. обзоры [1-3]). Зависимость текущей скорости изменения выходных переменных системы от их значений в предшествующие моменты времени приводит к моделям, которые описываются дифференциальными уравнениями с последействием [4]. Указанные особенности в значительной мере затрудняют использование известных результатов теории оптимального управления, практическую реализацию употребляемых методов и схем решения. Поэтому важным представляется качественное исследование асимптотических свойств управляемых сингулярно возмущенных систем (ансамблей траекторий, множеств достижимости), разработка на их основе аналитических способов представления (построения) решений.
В данной работе рассматриваются динамические объекты, математическими моделями которых являются сингулярно возмущенные системы (с малым параметром при части производных) с запаздыванием (по состоянию). Рассматривается задача оптимального управления в постановке [5, 6] для сингулярно возмущенных систем с запаздыванием в условиях неопределенности по начальным условиям. Терминальный функционал качества зависит как от быстрых, так и от медленных переменных. В основе предлагаемого метода лежит идея последовательных приближений фундаментальной матрицы исходной системы при ее блочном представлении (соответственно размерности медленных и быстрых переменных). При реализации метода используются результаты исследований [5-10], а также аппарат выпуклого анализа [11]. Оптимальное решение аппроксимируется с любой заданной точностью (относительного малого параметра), при этом не требуется чрезмерных условий гладкости (дифференцируемость не выше первого порядка), ограничений на класс допустимых управлений.
1. ПОСТАНОВКА ЗАДАЧИ
Рассматривается управляемая сингулярно возмущенная система (с малым параметром ц > 0 при части производных) с запаздыванием h > 0 (по состоянию):
dx(t)/dt = An(t)x(t) + A12(t)y(t) + Gi(t)x(t — h) + Bi(t)u(t),
(1)
¡idy(t)/dt = A2i(t)x(t) + A22(t)y(t) + G2(t)x(t — h)+ B2(t)u(t),
где t e T = [t0,t1], x e Rn, y e Rm, Aij, Bi, Gi, i,j = 1, 2 — матрицы соответствующих размеров с непрерывными элементами. Начальное состояние системы x(t) = ф(t), t0 — h < t < t0, x(t0) = x0, y(t0) = y0 точно неизвестно и заданы лишь ограничения x0 e X0, y0 e Y0, где X0, Y0 — выпуклые компакты в соответствующих пространствах, ф(t) e ^(t), t0 — h < t < t0, ^(t) — заданное многозначное отображение со значениями в виде выпуклых компактов (в Rn), непрерывное по t в метрике Хаусдорфа. Реализации управления u(t), t e T — измеримые, по Лебегу, функции, удовлетворяющие условию u(-) e P, P — слабо компактное выпуклое множество в L2(T). В данном случае P = {u(-) | u(t) e P(t), t e T}, где P(t) — заданное непрерывное, ограниченное, выпуклое многозначное отображение. Пусть выполнено следующее
Предположение 1. Собственные значения \s (t) матрицы A22 (t) удовлетворяют неравенству Re Xs(t) < —2c < 0 при t e T, c = const > 0.
Тогда [12, с. 69] при достаточно малых ц (0 < ц < ц0) фундаментальная матрица решений Y[t,r] системы цdy/dt = A22(t)y, Y[т,т] = Em, Em — единичная матрица m х m, при t0 < т < t < t1 имеет оценку
\\Y[t,T]\\< co exp{—c(t — т)/ц}, (2)
c0 > 0 — некоторая постоянная, \\-\\ — евклидова норма.
Рассмотрим вырожденную систему, полученную из (1) при р = 0:
dX(t)/dt = Ao(t)x(t) + Go(t)x(t - h) + Bo(t)u(t), (3)
y(t) = -A-(t)A2i(t)x(t) - A2-21(t)G2(t)x(t - h) - A-(t)B(t)u(t), (4)
где t e T, Ao(t) = Aii(t) - Ац^А-^Ац(t), Go(t) = Gi(t) - Ац^А-1^(t), Bo(t) = B(t) -
- Ai2(t)A-2L(t)B2(t).
Пусть Z[t,r] и X[t, т] есть фундаментальные матрицы решений соответственно систем (1) и (3) (при u = 0), причем X[т,т] = En, X[t,T] = 0 при т > t; Z[т,т] = En+m. Матрицу Z[t,т] представим в следующем блочном виде:
Z ZU ZU) ■
у Zu [t, т] Z22 [t, т] J
здесь Z^t^], Zi2 [t, т], Z21[t,т], Z22 [t, т] — матрицы с размерами соответственно n х n, n х m, m x n, m x m.
Введем следующие обозначения: z' = (x', y'), Zo = Xo x Yo; Z(t, u(-), Zo, Zo(t, u(^), Xo,
to < t < ti — соответственно множества (ансамбли) траекторий z(t,u(-),zo,"0(0) системы (1), исходящих из Zo, и zo(t, u(-), xo, "0(0) системы (3)-(4), исходящих из Xo, при некотором e Ф(^) и фиксированном u(^) e P.
Определим функционал J(•): J(uM) = max max ^(z(ti; uM, zo,-0M)), где : Rn+m ^ R
zoeZo ^(-)еФ(-)
— заданная выпуклая функция (с конечными значениями).
Задача 1. Среди управлений u(^) e P найти оптимальное uo = uo(•) доставляющее минимум функционалу J на множестве P: е°(ti) = J(uo) = min J(uM).
u(-)eP
Решение задачи 1 описывается следующими соотношениями (используя [6]):
eo(ti) = min max max max {l'z(ti; uM,zo,-0M) - ^*(1)} =
u(-)eP ieRn+m zoeZo
= max{xo(1,ß) | l e Rn+m} = xo(1o,p), (5)
Xo(1,ß) = -h**(1) - p(-r(-;ti,1,ß) | P), to h(l) = (l) - p(1'Z[ti, to] | Zo)-
J p(((p'Zii[t,т] + q'Z2l[t,т])Gl(т) + (1/ß)(p'Zi2[t,т]+ q'Zn[t,т])G2(т)) | Ф(т - h))dr,
to
г(т; t,1,ß) = (p'Zii[t, т] + q'Z2i (т) + (1/ß)(p'Zl2[t,т] + q%2М)В2(т),
где l' = (p',q'), p e Rn, q e Rm; (l) — функция, сопряженная [11] к ^(z); h**(l) = (co h)(l) — замыкание выпуклой оболочки [11] функции h(l); p(s|X) — опорная функция множества X на элементе s. Оптимальное управление u0(-,р) удовлетворяет условию минимума: для почти всех т e T
min г(т; ti,l0, р)и(т)= г(т; ti,l0,p)u0(т, р). (6)
u(T )gP (т)
Полученные u0(-,р), l0, е°(t1) зависят от параметра р. Однако эти величины при р ^ +0 могут не сходиться [8] к соответствующим решениям задачи 1 для вырожденной системы . Поэтому важным представляется построить аппроксимацию оптимального управления и0(-,р), доставляющую оптимальное значение e0(t1) = J(u0(-,р)) с заданной точностью (относительно р). В данной работе в основе предложенного способа определения требуемых приближений лежит возможность представления блоков Zij ; р] (i,j = 1, 2) в виде пределов равномерно сходящихся на [t0,t1 ] последовательностей (при 0 < р < р0, р0 достаточно мало) Zг(k)[t,т; р], k = 0,1, 2,...
2. АСИМПТОТИКА ФУНДАМЕНТАЛЬНОЙ МАТРИЦЫ
Пусть т] — решение матричного уравнения т]/2£ = А(£).£[£,т] + £(£).£[£ — й, т] + В
] — решение матричного уравнения с^[£,т]/2£ = [£, т] + ^(¿^ [£ — й, т], причем
т] = [£, т] = 0 при т > £; — решение матричного уравнения сС£0[£,т]/С£ =
= А(£^0[£,т], причем [т,т] = Еп. Тогда по формуле Коши [13] получаем
г
т
г
%т] = ] +У (7)
т
Применяя формулу (7) для каждого блока матрицы ^[£,т], получим следующее утверждение. Лемма 1. Матрицы Zij [£, т], г,= 1, 2, £0 < т < £ < ¿1, удовлетворяют уравнениям:
г
Zll М = X [£,т] + д^ X [¿,в]А12 (5)А-21 (з)(^21 [з,т]/Св)Св, (8)
т
г
Zl2 [£,т] = Д^ X [¿,в]А12 (5)А-21(з)(^22[5,т ]/Св)Св, (9)
т
г
Z2l [¿,т]=(1/^^ Г [¿,5](А21 (^ц [5,т]+ ^2(^11 [5 — й,т])2в,
т
г
Z22 [*, т] = Г[*, т] + (1/д)^ Г[*, 5](А21 (з)^, т] + ^2 («^ [5 — й, т])С5.
т
Уравнения (8) и (9) преобразуются к виду
г
Zll [*,т] = X[*,т] — I (2^2 М/С^А- (5)(А21 (^иМ + ^2(^ц [5 — й,т])2в, (10)
г
Zl2 [*,т] = ^ [*,т] — | А- (5)(А21 (*)ЗД5,т] + ^2 [5 — Л,т])Ж,
т
где матрица Z(2) [£, т] определяется формулой Z(2) [£, т] = / X[£,з]А12(з)Г[з,т]2з.
т
Теорема 1. Существуют достаточно малое число д0 > 0 и постоянная N > 0, такие что в области 0 < д < д0, £0 < т < £ < ¿1 выполняются оценки
т]П < N/(1 — дN); ||^2М|| < дN(1 — е-с(г-т)^)/(1 — д^,
1^21 [*,т]|| < N(1 — е-с(г-т^)/(1 — дN), (11)
|^22[£,т]|| < С0е-с(г-т^ + д^(1 — е-с(г-т^)/(1 — дN).
Доказательство. Пользуясь методом последовательных приближений Пикара, решение (10) можно представить как предел равномерно сходящейся на отрезке [£0, ¿1] следующей последовательности (при 0 < д < д0, д0 достаточно мало): Z(1)[£, т] = X[£,т], Z(1+1)[£, т] = X[£, т] —
— / (с^? [£, 5]/)5)А-21 ^(^(^Й0 [5, т] + ^2[5 — й, т]))5, к = 0,1, 2,...
т
В силу ограниченности X[£, т], £0 < т < £ < ¿ь с учетом оценки (2), при 0 < д < д0 справедливы неравенства:
11^^М|| < N0, ^т] < дNlС0(1 — е-с(г-т^)/с,
(dz{2)[t,s]/ds)A-21 (s)(A2i(s)X[s,t] + G(s)X[s - h,T])ds
1-1
< Nic0/c,
[Ь,т] - ] < (N1 со/с)к+1, к = 0,1, 2,...,
где N > 0, N1 > 0 — некоторые постоянные. Отсюда непосредственно следует (при соответствующем выборе N > 0) оценка (11) для [Ь, т]. Аналогично получаются остальные неравенства, причем в области 0 < д < д0, Ь0 < т < Ь < ¿1 имеем:
[Ь,т] - ^[Ь,т] < дк+2N0^"к+1(со/с)(1 - е-с(г-т)^), [Ь,т] - 45°[Ь,т] < д^1 N0^+1(со/с)(1 - е-с(г-т)^), (12)
^2+1) [Ь,т] - ^2к)[Ь,т] < дкN0N1= (с0/с)2(д(1 - е-с(г-т- с(Ь - т)е-с(г-т^), к = 0,1, 2,... Теорема 1 доказана.
Рекуррентные формулы для вычисления Zij [Ь,т], = 1, 2, определяющие асимптотику фундаментальной матрицы, есть:
г
]= X[Ь,т] - I (^М/^А-1^)^[5,т] + ^2(з)^ [5 - й,т])
т
г г
z22+1)[t,т] = к[Ь,т] + I z2í) МА12 (5)Г [5,т] z(2) [Ь, т] = I ^[М]^ (5)Г [5,т]
z21) [t, т] = (1/д) у Y[t, s](A21 (s)Zl^ [s, т] + G2(s)Zl^ [s - h, т]) ds, k = 0,1, 2,...,
т
причем zJ?)[t,T] = X[t,T], Z22) [t,T] = Y[t,T].
Для задачи 1 соотношение (5) можно представить [14] в виде
e°(ti) = min max{p(p'Zn[tbto]+ q'Z21 [ti,to]|Xo) + p(p'Zi2[ti,to]+ q%2[ti,to]|Y))+
u(-)eP p,q
Лк)
(k) 1
+ [(p'Z11 [ti,т] + q'Z2i[ti,t])bo(t) + (1/^)q'Y[ti,t]b(t) - £(т, ti,p, q)A-i(T)B2(т)]и(т)йт+ (13)
to
to +h
+ у р((р'Zll[Ь1 ,т]+ Z21 [*1,т])С0(т) - С(т,Ь1 ,Р,д)А2-21 (т)^2(т)|Ф(т - й))сгт - (р^)},
го
¿1
где С(т,Ь1 ,р^) = ^[р'ЗДът] + (1/д)/[Ь1,5]А21 (^[*,т^], £(т,*1 ,Р^) = ^Ь'ЗДът] +
т
го+й
+(1/д) / [Ь1,5]А21 (^12 [*,т]^].
т
На основании теоремы А. Лебега [15, с. 259] при 0 < д < д0 (д0 достаточно мало) для любых и(-) е Р(■), р е Лп, q е Лт справедливы оценки
I Р(С(т, Ь1, Р, q)А-21 (т)С2 (т) | Ф(т - Л))4т
C(T,ti ,p,q)A-21 (т )B2 (т )и(т )dT
где ^(д) = o(1); N1, N2 > 0 — некоторые постоянные.
< 4*11 + N2 ||q||], < ^д)[||р|| + N1 ||q||],
(14)
t
t
t
t
3. АППРОКСИМАЦИЯ РЕШЕНИЯ ЗАДАЧИ 1
Используя последовательности ^(2)[£, т, д], = 1, 2, к = 0,1, 2,..., можно аппроксимировать решение задачи 1 с любой заданной точностью (относительно д, 0 < д < д0). Будем предполагать, что элементы матриц А12(т), А—1 (т) имеют на Т ограниченные производные. Построим управляющее воздействие доставляющее оптимальное значение е°(¿1) с точностью о(д2). Из (13) имеем
е0(^1) = ш1п шах{р[р'^12[¿1 + д'^[¿1,+ СГ(¿0,*1 ,р,д)|Х] +
(к) г
.(к).
+р[р/^12)[^1,^°] + д'^[¿1,¿0] + С2к)(¿0,¿1 ,р,д)У] + / г(2)(т,^1 ,р,д)и(т)йт+
.(к)
(к).
(15)
го
го+Л
+ / р(г!2)(т,*ьр,д)|Ф(т - Л))4т + / [С(2)(т,*ьр,д)Д,(т) + С(2)(т,*1,р, д)А—^(т)^(т)]и(т)йт+
го го+Л
+ / Р(С(к)(т,*1,р,«)С0(т)+ С(к)Мьр,д)А—2 (т)С2(т)|Ф(т - Л))йт - (р,д)}, р е Яп,д е
го
где
С((к) М,р,д) = р(^[¿,т] - ^ [¿,т]) + д'(^2г[¿, т] - ^ [¿,т]), « = 1, 2,
г
С(к) (т, д) = -р' ^ (ЗД,т] - [¿,т]) - (1/д) / д' У [¿,в]А21 (в) ^ (^12 [в,т] - ^ —^т])^,
'(к) |
го
С(2)(т,*,р,д) = -р'А(^12[¿,т] - 1[¿,т]) - (1/д) / д'УМ]^)-^(^т] - 1[в,т])йв,
йт
йт
г(2)(т,¿,р, д) = (р'[¿,т]+ д'[¿,т])В0(т) + (1/д)д'УМЭД - ^[р'+
г
+(1/д)| д'У [¿,в]А21 (в)^(2"1)[в,т]йв]А2221(т)В2 (т),
т
г!к)(т, ¿,р, д) = (р'^ [¿,т] + д'[¿,т])^0(т) - ^(р'[¿,т] +
го
+(1/д) / д'УМА21 (в)^(2-1)[в,т]^)А—2 (т)С2(т).
Используя оценки (12) и (14), получим следующий результат.
Лемма 2. Существуют достаточно малое число д0 > 0 и постоянная N > 0, такие что для любых ¿0 < т < £ < ¿1, р е Лп, д е Лт, 0 < д < д0 справедливы неравенства:
А.
йт
(^12 [¿,т] - ^(2_1)[^,т])
< д2+1N2+2(cо/с)(1 - е—с(г—т)/^),
с(2)(т, ¿,р, д) < д2+1 N2+2(ПрИ + 1|д|| (о/с)(1 - е—с(г—т^)), « = 1,2.
Пусть а2(д) > 0 : а2(д) = о(1), а2(д)/д ^ при д ^ +0, причем для т е [¿0,^1 - а2(д)] выполняется ||У[¿1 ,т]И < с0ехр{-е(^1 - т)/д} < с0д2+2N1, где N1 > 0 — некоторая постоянная. Тогда имеем
г1 г1 —
J г(2) (т, ¿1 ,р, д)и(т)йт = J г1 ) (т, ¿1 ,р, д)и(т)йт+
го го
г
г
ак(р)/р
(к)
+ Г2 (МъР, - + £2(1,д),
(16)
где £2(1,д) < ||1|| 22(д), 22(д) = о(д2+1) при 0 < д < до; причем функции г(к) (т, ¿ьр, г = 1, 2, определяются следующим образом: при ¿0 < т < I < ¿1 — а2 (д)
гГ (т,^1 ,р^) = (р'^ [¿1,т ] +
ак(р)/р
+ I ,5](А21 (¿1 — д5)^1к)[^1 — д5,т]+^2(¿1 — дз)^ [¿1 — дз — Л,т])^)Дз(т) —
о
ак(р)/р
— ^(р'^12к-1)[^1,т] +[ 5/Ф[*1,в]Л21 (¿1 — дз)^12-1) [¿1 — дв,^)^ (т)В2(т),
'(2)|
при 0 < з < а2(д)/д
22) (5,^1 ,р^) = [^Ф^з] + ^ (р' ^(2-1) [¿1 ,¿1 — дз] +
+ / , (¿1 — да)^ 1)[^1 — да,¿1 — дз]йа)А221 (¿1 — дз)]^^ — дз) + д[р'^^ [¿1 ,¿1 — дз] +
+ J q/Ф[^1?а](А21 (¿1 — — да, ^ — дз]+С2(¿1 — да^Ц-1[¿1 — да — Л., ¿1 — дз])йа]В0(¿1 — дз),
о
где Ф[*1 ,з] = У [¿1, ¿1 — дз].
Таким образом, из представлений (15), (16) получаем следующий результат. Теорема 2. При 0 < д < д0 (д0 достаточно мало) для любых р е Яп, q е Кт выполняются соотношения:
х0(р, q) = х(2) (p,q) + ? 2 (р, q),
-(2)[
причем
где
С2М < ||1|| ^2(д), 22(д) = 0(д2+1);
(¿1 )= е(2) (¿1) + 0(д2+1),
-ак (р) ак(р)/р
(17)
Х(2)М = — (р, q) — I Р(—гГ (т, ¿1 ,р^) | Р(т))^т — I р(—г^ (М1 ,p,q) | V(в))Ж,
£ о 0
V (з) = Р (¿1 — дз),
ак(р)/р
Л(2)(р^) = — р(р/^(1) [¿1, ¿0] + I q/Ф[^1 ,з](Л21(^1 — дв)^ [¿1 — д^0] +
0
+^(¿1 — дв)^ [¿1 — дз — Л,^])^ | Х0) — р(р'^{2)[^1,^0] +
ак(р)/р
+ ^ ,з](А21 (¿1 — дз)^{2)[^1 — дз, ¿0]+^2(¿1 — дз)^{2)[^1 — дз — Л, ¿0| У0) —
0
Г р(г(2) (т, ¿1 ,p,q)|ф(т — Л))^т,
я
5'
= тах{х(к (р, о) | р е Яп,д е Ят} = х(к (р(к\я(к)■ (18)
Предположение 2.
(0 Система (3) вполне управляема [5] на Т.
(и) Для любого г е Т т&пк{В2(г),Л22(г)В2(г),..., Лт2-1 (г)В2(г)} = т.
(ш) Максимум в (18) достигается на векторе (1(к))' = (р(к) ) таком, что
г-Г (т,Ь ,р(к),я(к) )=0, о(к) = 0.
Следует заметить, что в условиях предположения 2 задача 1 разрешима [5, с. 110; 6, с. 76], т.е. существует управление и0(•) е Р(•), удовлетворяющее (6) при 0 < ц < ц0, причем вектор (I0)' = = (р0 ,00 ), максимизирующий (5), отличен от нулевого.
Теорема 3. Пусть выполнено предположение 2. Тогда при 0 < ц < ц0 (ц0 достаточно мало) управляющее воздействие
(к) f u(k) (т), to < т < h — ак
Uß (Т) — \ ..(k)ffj. ± _ /.л
ß \ v(k)((ti - т)/ц), ti — ак(ß) < т < ti,
доставляет оценку £0(ti) с точностью O(ßk+i) :
s0(ti) — J(u0(•)) — J(ußk) (•)) + O(ßk+i), (19)
причем u(k)(•), v(k)(•) определяются условиями: при почти всех т e [t0,t1 — ak(ß)], s e [0,ak(ß)/ß) r(k)(T,ti ,p(k),q(k) )u(k) (т)— min т(к)(т,Ь ,p(k),q(k) )u(t),
и(т )eP (t )
r(2k) (s,ti ,p(k),q(k) )v(k)(s)— min r(k) (s,ti,p(k) ,q(k))v(s).
v(s)ev (s)
Доказательство. Утверждение вытекает из свойств функции
ti-ak (ß) ak(ß)/ß
L(k)(p,q; u(),v()) — —h*k (p,q)+ J rik)(T,ti ,p,q)u(T )dT + J т{к) (s,ti ,p,q)v(s)ds,
to 0
а именно элементы p(k\ q(k, u(k\•), v(k\•) определяют седловую точку L(k) (p,q; u(^),v() : для p e Rn, q e Rm, u e P(•), v e V(•)
L(k) (p, q; u(k) (•), v(k) (•)) < L(k) (p(k), q(k); u(k) (•), v(k) (•)) < L(k) (p(k), q(k); u(•), vtf),
причем (пользуясь (18))
£(k)(ti)— min maxL(k)(p,q; u(\v()) — max min L(k) (p,q; u(),v() —
u(-),v(-) р,ч p,q u(-),v(-)
— Lik)(p(k),q(k);u(k)(•),v(k)(•)), p e Rn, q e Rm, u e P(•), v e V(•).
Тогда получим
J(u(k) (•)) — {L(k) (p, q; u(k)(•), v(k)(•)) + ik(p, q; ß)}, (20)
где 1;к(р,о; ц) имеет такой же как в (17) порядок малости по ц (0 < ц < ц0), и максимум в (20) достигается на некотором векторе I е со М(к\ где М= {I е Кп+т | I е дф(х), г е Z(г1; и(к)(^),И0), <р(г) = J(и(к (•))}, ду(г) — субдифференциал функции р в точке г [11], со М— выпуклая оболочка М(в данном случае М— компакт в Лп+т).
Таким образом, имеем J(и(к\) = (г1) + 0(цк+1) при (0 < ц < ц0), и, следовательно, справедливо равенство (19). Теорема доказана.
Библиографический список
1. Дмитриев М.Г., Курина Г.А. Сингулярные возмущения в задачах управления // Автоматика и телемеханика. 2006. № 1. С. 3-51.
2. Kokotovic P.V., Khalil H.K., O'Reilly J. Singular Perturbation Methods in Control: Analysis and Design. SIAM, 1999. 200 с.
3. Калинин А.И. Асимптотические методы оптимизации возмущенных динамических систем. Минск: Эко-перспектива, 2000. 294 с.
4. Колмановский В.Б., Носов В.Р. Устойчивость и периодические режимы регулируемых систем с последействием. М.: Наука, 1981. 100 с.
5. Красовский Н.Н. Теория управления движением. М.: Наука, 1968. 475 с.
6. Куржанский А.Б. Управление и наблюдение в условиях неопределенности. М.: Наука, 1977. 392 с.
7. Кремлёв А.Г. Асимптотические свойства ансамбля траекторий сингулярно возмущенной системы в задаче оптимального управления // Автоматика и телемеханика. 1993. № 9. С. 61-78.
8. Кремлёв А.Г. Об оптимальном управлении ансамблем траекторий сингулярно возмущенной квазилинейной системы // Диф. уравнения. 1994. Т. 30, № 11. С. 1892-1904.
9. Кремлёв А.Г., Гребенникова И.В. Об асимптотике оптимального управления сингулярно возмущенной системой с запаздыванием // Математика. Информационные технологии. Образование: Материалы науч.-прктич. конф. Ч. 1. Оренбург: Изд-во ГОУ ОГУ, 2006. С. 36-38.
10. Гребенникова И.В., Кремлёв А.Г. О начальной аппроксимации минимаксной задачи управления сингулярно возмущенной системой с запаздыванием // Качество науки — качество жизни: Материалы науч.-прктич. конф. Тамбов: Изд-во ТГТУ, 2007. С. 89-92.
11. Рокафеллар Р. Выпуклый анализ. М.: Мир, 1973. 492 с.
12. Васильева А.Б., Бутузов В.Ф. Асимптотические разложения решений сингулярно возмущенных уравнений. М.: Наука, 1973. 192 с.
13. Беллман Р., Кук К. Дифференциально-разностные уравнения. М.: Мир, 1967. 547 с.
14. Кремлёв А.Г., Гребенникова И.В. Об асимптотике ансамбля траекторий управляемой сингулярно возмущенной системы с запаздыванием // Новости научной мысли - 2006: Материалы науч.-прктич. конф. Т. 4. Днепропетровск: Наука и образование, 2006. С. 65-69.
15. Натансон И.П. Теория функций вещественной переменной. М.: Наука, 1974. 498 с.
УДК 519.872
МЕТОД АНАЛИЗА
СЕТЕЙ МАССОВОГО ОБСЛУЖИВАНИЯ С ДИНАМИЧЕСКИМ УПРАВЛЕНИЕМ ИНТЕНСИВНОСТЯМИ ОБСЛУЖИВАНИЯ
В.И. Долгов, Ю.И. Митрофанов, Е.С. Рогачко
Саратовский государственный университет, кафедра системного анализа и автоматического управления E-mail: DolgovVI@sysan.ru, MitrophanovYuI@info.sgu.ru, RogachkoES@info.sgu.ru
Предлагаются модель эволюции и метод анализа замкнутых экспоненциальных сетей массового обслуживания с динамическим управлением интенсивностями обслуживания. Приводятся способ вычисления стационарного распределения и формулы для вычисления стационарных характеристик сетей. Дается пример анализа сети обслуживания рассматриваемого типа. Как показали результаты анализа и имитационного моделирования данной сети, метод имеет достаточную для практических приложений точность.
Ключевые слова: сети массового обслуживания, интенсивности обслуживания, управление интенсивностями обслуживания, анализ сетей массового обслуживания.
Method for Analysis of Queueing Networks with Dynamic Control of Service Rates
V.I. Dolgov, Yu.I. Mitrophanov, E.S. Rogachko
Saratov State University,
Chair of Systems Analysis and Automatic Control E-mail: DolgovVI@sysan.ru, MitrophanovYuI@info.sgu.ru, RogachkoES@info.sgu.ru
Model of evolution and a method for analysis of closed exponential queueing networks with dynamic control of service rates are proposed. A method of computing of the stationary distribution and formulas for calculating of stationary characteristics of the networks are presented. An example of analysis of considered type queueing network is given. According to the results of analysis and simulation of this network the accuracy of this method is sufficient for practical application.
Keywords: queueing networks, service rates, service rates control, analysis of queueing networks.
