CC BY
50
УДК 517.977
РЕШЕНИЕ ТЕРМИНАЛЬНЫХ ЗАДАЧ ДЛЯ МНОГОМЕРНЫХ АФФИННЫХ СИСТЕМ НА ОСНОВЕ ПРЕОБРАЗОВАНИЯ К КВАЗИКАНОНИЧЕСКОМУ ВИДУ
Д.А. Фетисов
МГТУ им. Н.Э. Баумана, Москва, Российская Федерация e-mail: dfetisov@yandex.ru
Рассмотрена терминальная задача для многомерных аффинных систем, не линеаризуемых обратной связью. Аффинная система гладкой невырожденной заменой переменных в пространстве состояний преобразована к регулярному квазиканоническому виду, терминальная задача для исходной системы -к эквивалентной терминальной задаче для системы квазиканонического вида. Для систем квазиканонического вида предложен метод решения терминальных задач, основанный на обобщении концепции обратных задач динамики. Доказано достаточное условие применимости предложенного метода к решению терминальных задач. Предложена численная процедура решения терминальных задач для систем квазиканонического вида. Приведен пример построения решения терминальной задачи для системы шестого порядка указанным методом. Полученные результаты могут быть использованы при решении задач терминального управления техническими системами.
Ключевые слова: аффинная система, управление, квазиканонический вид, терминальная задача.
SOLVING OF TERMINAL PROBLEMS
FOR MULTIDIMENSIONAL AFFINE SYSTEMS BASED
ON TRANSFORMATION TO A QUASICANONICAL FORM
D.A. Fetisov
Bauman Moscow State Technical University, Moscow, Russian Federation e-mail: dfetisov@yandex.ru
A terminal problem for multidimensional affine systems not linearizable by a feedback is considered. The affine system is transformed to a regular quasicanonicalform using the smooth nondegenerate change of variables within the space of states. Also the terminal problem for the initial system is transformed to the equivalent terminal problem for the system of a quasicanonical form. For this system method for solving of terminal tasks was proposed on the basis of a generalization of the concept of inverse problems of dynamics. The sufficient condition of applicability of the proposed method for solving terminal problems is proved. The numerical procedure for solving terminal problems for systems of a quasicanonical form is proposed. An example of solution development of terminal problem for sixth-order system using above mentioned method is given. The obtained results may be used in solving problems of terminal control for technical systems.
Keywords: affine system, control, quasicanonical form, terminal problem.
Введение. Эквивалентные преобразования систем с управлением предоставляют широкие возможности для решения различных задач теории управления. В работах [1-3] изложены методы исследования управляемости, построения множеств достижимости, решения задач стабилизации и терминальных задач на основе преобразования систем
к тем или иным каноническим формам. В настоящей работе рассмотрена проблема решения терминальных задач для аффинных систем. Различные подходы к решению этой проблемы можно найти в работах [1,4, 5-9]. В работах [1,4] представлены методы решения терминальных задач для аффинных систем, линеаризуемых обратной связью, т.е. таких систем, которые гладкой невырожденной заменой переменных и обратимой заменой управлений преобразуются к линейным управляемым системам. Методы решения терминальных задач для линейных управляемых систем хорошо известны и основаны на применении концепции обратных задач динамики [10]. В настоящее время основной интерес представляет разработка методов решения терминальных задач для систем, не линеаризуемых обратной связью. В работах [58] изложены методы решения терминальных задач для таких систем. Однако эти методы охватывают относительно небольшой класс систем, область применимости таких методов накладывает серьезные ограничения на размерность систем, зачастую используется специальный вид векторных полей системы. В связи с этим проблема решения терминальных задач для аффинных систем, не линеаризуемых обратной связью, является актуальной. Именно этой проблеме и посвящена настоящая работа.
Рассмотрим следующую задачу. Для аффинной системы
x = F(x) + ^ Gj (x)uj; (1)
j=i
x = (xi,..., xn)T E Rn, u = (ui,..., um)T E Rm; F(x) = (Fi(x),..., Fn(x))T, Gj(x) = (Gij(x),..., Gnj(x))T;
Я(ж), вц(ж) € Сг = 1,и,] = 1,т,
не линеаризуемой обратной связью, требуется найти такие непрерывные управления и1 = и^), ..., ит = ит(£), £ € [0,£*], которые за заданное время переводят систему (1) из начального состояния ж(0) = ж0 в конечное состояние ж(£*) = ж*.
Преобразование системы к квазиканоническому виду. Следующая теорема [11] устанавливает необходимые и достаточные условия, при выполнении которых система (1) преобразуется к квазиканоническому виду
¿1 = ¿2;
= ^5 т __(2)
К- = /¿(¿1,..., ¿т,п) + И 9гз (¿1,.. .,2т,п)и3, г = 1,т;
0 = 1
п = ..., ¿т, п);
Г1 + ... + гт = п - р, гг = (г\ ,...,г1Гг )т, п = (П1 ,...,Пр)т ;
1, ...,гт,п) = (д1(г1,...,гт,п),..., др(г1, ...,гт, п))т.
В формулировке теоремы используются векторные поля
п я п я
Г = Е ВД^ с = Е ^ з=lm,
г=1 г г=1 г
взаимно-однозначно соответствующие системе (1) в пространстве состояний Яп, а также векторные поля ad0FС^ = С^, adkFС^ = [Г, ], к = 1, 2,..., где [X, У] — коммутатор векторных полей X и У.
Теорема 1. Для приведения аффинной системы (1) на множестве П С Яп к квазиканоническому виду (2) необходимо и достаточно, чтобы:
1) существовали функции фг(х) € Сж(П), г = 1,т, удовлетворяющие в множестве П системе уравнений в частных производных первого порядка
adFGjpi(x) = 0, k = 0,ri — 2, i,j = l,m, x G Q;
2) существовали такие функции pn-p+l (x) G C^(Q), l = 1,p, что для всех x G Q
Gj (pn-p+i (x) =0, j = 1,m,l = 1,p и отображение Ф : Q ^ $(Q), задаваемое системой функций
ггк = Гк 1 (рг(х), к = 1,гг, г = 1,т; П1 = (рп-р+г(х), I = 1,р,
являлось диффеоморфизмом.
В переменных г1, ..., гт, п система (1) имеет квазиканонический вид (2). Если матрица коэффициентов при управлениях в системе (2)
( ди(г 1,...,гт,п) ... дш(г 1,...,гт,п) \ д(г1,...,гт,п) = . ... .
\ дт1(г1,...,гт,п) ... дтт(г1,..., гт,п) /
невырождена на множестве Ф(П), то систему (2) называют регулярной на множестве Ф(П).
Будем полагать, что система (1) удовлетворяет условиям теоремы 1, причем Ф(П) = Яп. Тогда система (1) преобразуется к эквивалентному квазиканоническому виду (2), определенному на всем пространстве состояний, а терминальная задача для системы (1) — в эквивалентную терминальную задачу для системы (2): найти непрерывные управления и1 = и1(Ь), ..., ит = ит(Ь), Ь € [0,и], переводящие систему (2) за время из начального состояния
Ф(хо) = (г1,...,гт,По) (3)
в конечное состояние
ф(хО = (*:,...,<*, п*). (4)
Управления щ = и1(£), ..., ит = ит (£), являющиеся решением задачи (3), (4) для системы (2), одновременно представляют собой решение и исходной терминальной задачи для системы (1). В связи с этим будем рассматривать терминальную задачу (3), (4) для системы (2).
Решение терминальной задачи для системы квазиканонического вида. В работе [9] получено следующее необходимое и достаточное условие существования решения терминальной задачи для регулярной системы квазиканонического вида.
Теорема 2. Для того чтобы существовали непрерывные управления и1 = и1(£), ..., ит = ит (¿), £ € [0, £*], являющиеся решением терминальной задачи (3), (4) для регулярной системы (2), необходимо и достаточно существование функций Д(£) € СГг([0, £*]), г = 1,т, таких, что:
1) вектор-функции £«(£) = (В(£), ..., -1)(£))т удовлетворяют условиям
В ¿(0) = ¿0, Вг(£*) = ¿*;
2) решение п(£) задачи Коши
т) = (£),..., Вт(£),п), п(0) = По (5)
определено при всех £ € [0, ¿*] и удовлетворяет условию
П(£*) = П*. (6)
В работе [9] также показано, что управление и = и(£), являющееся решением терминальной задачи, определяется по равенству
и(£) = д-1(В1 (£),..., Вт (¿),п(£))х
В(Г1)(£) - /1(В1(£),...,Вт(£),п(£))
х | ... _ | , (7)
Вт т)(£) - /т (В1 (£),..., Вт (£),П(£))
а соотношения ¿г = В¿(¿), г = 1,т, п = п(£), £ € [0, £*], — это параметрические уравнения той фазовой траектории системы (2), которая соединяет состояния (3) и (4).
Согласно работе [9], будем искать функции В1(£), ..., Вт(¿) из теоремы 2 в виде
B (t) = 6г (t) + сг di(t), i = 1,m,
где bi(t), dj(t) G Cri([0,t*]) вектор-функции
bi(t) = (bi(t),bi(t),...,b(ri-1) (t))T удовлетворяют условиям
6г(0) = , bi(t*) = <, i = 1,m, а вектор-функции d»(t) = (d»(t), dj(t),..., d(ri-1)(t))T — условиям
dj(0) = 0, dj(t,)=0, i = 1,m, (8)
cj G R необходимо найти.
В качестве функций ¿¿(£), г = 1,т, можно взять, например, интерполяционные многочлены степеней 2 г — 1, в качестве функций ¿¿(¿), г = 1,т, — любые функции, для которых выполняются соотношения (8). При указанном выборе функций В»(£) условие 1 теоремы 2 выполнено для любых с € Л. Числа с следует подбирать так, чтобы было выполнено условие 2 теоремы 2. Если существуют такие числа с1 = с1*, ..., ст = ст*, что решение п(£) задачи Коши (5) удовлетворяет дополнительному требованию п(£*) = п*, то для функций = 6г(£) + Сг*^г(£), г = 1,т, выполнены все условия теоремы 2 и, следовательно, терминальная задача (3), (4) для системы (2) имеет решение.
Предположим, что р ^ т. Под нормой векторов из пространства и рхр-матриц будем понимать евклидову норму. Пусть г = = тах{г1,..., гр}. Для всех пар индексов I и ] таких, что I € {2,..., г}, ] € {1,..., р}, I > г,, введем формально дополнительные переменные г,. Обозначим = ..., ¿Р)т, I = 1,г. Примем по определению, что, если I > г,, то дд^/дг, = 0 для всех г = 1,р. Обозначим через
г ,, ю дд
дд/дг; рхр-матрицы с элементами дд/дг,, г,^ = 1,р.
Независимо от номера г зададим функции формулой
4 (£) = ф) = ^¿г (£*— ¿)г . (9)
I Г (¿* — ¿)г^ 0
Обозначим Ь = тах^(£) + + |(¿)| + ... + |^г-1)(¿)|}.
Докажем следующее вспомогательное утверждение. Лемма 1. Пусть Р(¿), Л(£) — р х р-матрицы с элементами Д, (£), Л,(£) € С[0,£*], и существует такое число А € Л, что при всех у € £ € [0, £*], выполнено неравенство
(Р(£)у,у) < А||у||2. (10)
Тогда р х р-матрица W (t), являющаяся решением задачи Коши
W = P (t)W + R(t), W (0) = 0, (11)
удовлетворяет неравенству
\\W(Q\\ < ext* I \\R(t)\\e-Mdt
-\t.
(12)
< Обозначим j-е столбцы матриц W (t) и R(t) как Wj (t) и Rj (t) соответственно. Тогда систему W = P(t)W + R(t) можно записать в виде
( P (t) 0 ... 0 \ ( Wi \ ( Ri (t) \ 0 P(t) . . . 0
f Wi\
W2
\wp;
Обозначим
V
0
0
p (t) j
W2
\W.J
+
R2 (t)
\ Rp(t)
V (t) =
fWi(t)\ W2(t)
\wp(t)J
, Q(t) =
(p(t) 0 ... 0 \
0 p (t)... 0
V 0 0 ...P(t)J
, S(t) =
{Ri(t)\ R2(t)
\Rp(t)J
и запишем задачу Коши (11) в виде
у = д(г)у + б (г), V (0) = 0.
Поскольку евклидовы нормы матриц Ш(г) и Я(г) совпадают с евклидовыми нормами векторов V (г) и Б (г), для доказательства неравенства (12) достаточно показать, что
\\V(QHeAU WSme^dt.
(13)
Из неравенства (10) следует, что для любых t £ [0,t*] и V = (VIT,... ,Ур )Т £ Rp , где Vj £ Rp, справедлива оценка
(Q(t)V, V) = (P(t)Vb Vi) + ... + (P(t)Vp, Vp) <
< \\\ъц2 +... + \\\Vp\\2 = x\\v f.
(14)
Используем (14), чтобы доказать неравенство (13). Отметим, если V(г*) = 0, то ||V(г*)|| =0 и справедливость неравенства (13) следует из неотрицательности его правой части.
Если V(г*) = 0, то обозначим через точную верхнюю грань таких г из промежутка [0; г*), для которых V(г) = 0. Тогда V(г0) =0 и для
всех £ € (£0; £*) выполнено неравенство V(£) = 0. На интервале (£0; £*)
&
вычислим и оценим —1| V||, используя неравенство (14) и неравенство Коши - Буняковского:
&,,тл, 1 [(д(*)^) + (£(^)] <
dt" " IIV И ||V п
<+ (s(t),^) И + IIS(t)||.
Таким образом, на интервале (£0; £*) функция ¡V(£)|| удовлетворяет
дифференциальному неравенству
&
- ¡V ||<А|| V || + ||5 (£)||.
Решением дифференциального уравнения у = Ау + ||$(£)|| с начальным условием у(£0) = 0 является функция
г
у(£) = еАг J ||£(т)||е-Ат&т, го
поэтому при всех £ € [£0,£*] справедливо неравенство [12]:
г
го
и, следовательно,
г*
||V(£*)||<еАг*/ ||5(£)|е-Аг&£. (15)
го
Из неотрицательности подынтегральной функции в правой части неравенства (15) имеем
г* г*
11|£фНе-^^У ||£(£)||е-Аг&£, го 0
с учетом чего из (15) получим неравенство (13). ► Докажем главный результат. Теорема 3. Пусть:
г
1) ф1,..., ¿т, п) = ^ Аггг + Кп + р(г\ ..., гт), где Аь ..., А,
¿=1
К — р х р-матрицы;
2) матрица М = А1 + КА2 + К2А3 + ... + Кг-1 Аг невырождена;
3) существует такое е>0, что для всех г = 1,г и (г1,..., гт)ЕЯп-р выполнены неравенства \\др/дгг|| ^ е;
4) Л — наибольшее собственное число матрицы (Р + РТ)/2, где Р = М -1КМ;
= ( (\\М-1\\еЬ + ||Р\\)г*, если Л = 0; 7 \ (ЦМ^ЦеЬ + \\Р||), если Л = 0. (16)
Если ^ < 1, то терминальная задача (3), (4) для системы (2) имеет решение.
< Примем ср+1 = ... = ст = 0, обозначим через с = (с1,..., ср)т вектор неизвестных параметров. Тогда задача Коши (5) примет вид
п = я(Ь1(г) + с1 (Л(г),.. .,Ьр(г) + с^йр(г),Ьр+1(г),... ,ьт(г),п); (17) п(0) = по. ()
Докажем существование такого параметра с* Е Яр, что решение п(г, с) задачи Коши (17) удовлетворяет условию п(г*,с*) = п*. Поскольку Ь%(г), (%(г) Е Сг([0,г*]), г = 1~т, и ф1 ,...,гт,п) Е С™(Яп), то вектор-функция п(г, с) дифференцируема по параметру с, причем матричная функция V = дп/дс удовлетворяет системе уравнений [13]:
г> = ^ + (а% + ддр) ((г-1)(г); V(0) = 0, (18) г=1 ^
получающейся в результате дифференцирования системы (17) по параметру с.
Введем отображение Ф: Яр ^ Яр, которое каждому параметру с Е Яр ставит в соответствие значение п(г*,с) Е Яр решения п(г,с) задачи Коши (17) в момент времени г *. Покажем, что при выполнении условий теоремы существует такой параметр с*, для которого выполнено равенство Ф(с*) = п*. Для этого введем отображение
V : Яр ^ Яр, действующее по правилу
ь(с) = с — М-1(Ф(с) - п*).
Равенство Ф(с*) = п* эквивалентно тому, что параметр с* является неподвижной точкой отображения V. Чтобы доказать существование у отображения V неподвижной точки, докажем, что отображение
V является сжимающим. Матрица Якоби отображения V имеет вид V1 (с) = Е — М-1Ф'(с), где Е — единичная р х р-матрица; Ф'(с) — матрица Якоби отображения Ф. Согласно определению отображения Ф, Ф'(с) = V(г*), тогда
V (с) = Е — М-1 V (г*).
Обозначим Б(г) = ((т)(т. Выбор функций ((г) в виде (9) гаранти-о
рует, что при £ € [0,£*] выполнены неравенство и равенство
£(£*) = 1. Рассмотрим матричную функцию
г-1
W(£) = £(£)Е + ^ ¿(г-1)(£)^ - М(£), (19)
¿=1
где N — р х р-матрицы, которые будут выбраны позднее. Из равенств £(0) = 0, ¿(0) =0, ..., ^(г-2)(0) = 0, V(0) = 0 следует, что W(0) = 0, а из равенств £(£*) = 1, ф*) = 0, ..., ¿(г-2)(£*) = 0 — W(£*) = Е - М(£*). Показав, что ||W(£*)||<7 < 1, тем самым запишем неравенство ||^'(с)||^7 < 1. Таким образом, докажем, что отображение V является сжимающим. Вычислим W с помощью (18):
W = d(t)E + ^ d(i-1)(t)Ni-i - M-1V
г=2
d(t)E + ^ d(i-1)(t)Ni-i - M-1
г=2
+ £ (a + |)
(20)
Учитывая (19), выражаем V(£) через W(£):
V(£) = М + ^ ^(г-1)(£)^ - W,
подставляем полученное соотношение в (20). В результате имеем равенство
Ж = ^ + [Е - М-1А1 - +
г-1
+ ^[N¿-1 - М-1А - Р^]^-1)(*) +
¿=2
+ [Nг-l - М-1Аг]^(г-1)(£) - М-1 |^(г-1)(£) - Р£(£). (21)
¿=1
Выберем матрицы N1,..., Nг-1 из условия
Е - М-1А1 - = 0;
^^ - М-1Л - = 0, г = 2, г - 1; (22)
Кг-1 - М-1Аг = 0. Непосредственной подстановкой показываем, что решением системы (22) матричных уравнений являются матрицы
N1 = M-1(A + KA3 + ... + Kr-2Ar);
Nr-2 = M-1(Ar-1 + KAr); Nr_ 1 = M-1Ar.
Примем, что матрицы N задаются формулами (23). Тогда равенство (21) преобразуется к виду
Ж = + Л(£),
где
R(t) = -M-1 £ |Pd(i-1)(i) - PD(t).
i=1
В соответствии с условием 3 теоремы, для всех у € выполнено неравенство (Ру, у)^А||у||2, поэтому согласно лемме 1 решение W(£) задачи Коши
Ж = PW + Р(£), W (0) = 0
удовлетворяет неравенству
(24)
И(¿*)||<еА4*у ||Л(£)||е-А4
о
Используя неравенство треугольника, условие 3 теоремы и неравенство 0 ^ £(£) ^ 1, выполненное при всех £ € [0,£*], получаем
||R(t)|| =
M-1 £ |Pd(i-1)(i) + PD(t)
i=1
< ll M-1|| £
i=1
<
dp
dz.
|d(i-1)(t)| + ||P||D(t) <
< || M-1|| £e|d(i-1)(t)| + ||P || < || M-1||eL + ||P|
i=1
С учетом этой оценки и обозначения (16) неравенство (24) преобразуется к виду
||W(t,)|| < eAi* /(||M-1||eL + ||P||)e-Aidt = 7
-Ai,
Если 7 < 1, то |К(с)|| = ||W(£*)|| < 7 < 1 и, следовательно, отображение V является сжимающим. Таким образом, при выполнении условий
теоремы отображение V — сжимающее и имеет неподвижную точку с*.
При с1 = с1 *, ..., ср = ср*, ср+1 = 0, ..., ст = 0 решение п(г) задачи Коши (5) удовлетворяет условию п(г*) = п*. Функции
В (г) = Ь1(г) + с1 * (1(г),..., Вр(г) = Ьр(г) + ср* (р(г),
Вр+1 = Ьр+1(г),..., вт(г) = Ьт(г)
удовлетворяют всем условиям теоремы 2, поэтому терминальная задача (3), (4) для системы (2) имеет решение. ►
Численная процедура. Из доказательства теоремы 3 следует метод построения решения терминальной задачи (3), (4) для системы (2). Выберем произвольное число с(0) Е Яр и построим последовательность приближений {с(-)} по правилу
с(-+1) = с-) — М-1(Ф(с(-)) — п*), 3 = 0,1,... (25)
Чтобы определить значение Ф^-^), необходимо найти решение п(г, с(-)) задачи Коши
п = яЫг) + с{%(1), ...,Ьр(г) + с{р%(г),Ьр+1(г), ...,ьт(г),п); п(0) = по.
Тогда Ф(с () = п(г*,с(-)).
Поскольку отображение V — сжимающее, последовательность {с-)} сходится к неподвижной точке с* отображения V. При этом справедлива оценка
||с-) — с*|| ||с( 1) — с(0)||. (26)
1 — 1
Из (25) следует, что
Ф(с-)) — п * = М (с (-+1) — с ), поэтому, используя неравенство треугольника и оценку (26), получаем
НФ^) — п* || < ||М |||с(-+1) — сЩ = ||М |||с(-+1) — с* + с* — с(-)\\ <
< ||М||||с(-+1) — с*|| + ||МННс* — с(-)\\ < |М| — + 7-) ||с(1) — с(0)|| =
1 — 7 4 '
= (1+тЬ- \\М\||с(1) — с(о)\\.
1 — 1
Выбрав номер 7 из условия
(A±jhL II M III^D - с(°)|| ^ а,
1 - Y
где а > 0 — заданная точность, добьемся выполнения неравенства
I№(J)) - П* II < а. (27)
Вектор-функции
z1 = bi(t) + cJ}di(£),..., zp - bp(t) + cJ)dp(t),
= Ьр+1(£),... т = 6т(¿); п = п(£,с(7)), £ € [0,£*],
задают ¿-параметрическую кривую в пространстве состояний системы (2), соединяющую состояния (3) и (4). Управление, реализующее эту траекторию в качестве траектории системы (2), можно определить по формуле (7), если принять
В1(£) = &!(*) + с№(£), ..., Вр(£) = 6р(£) + ср7^), Вр+1 = Ьр+1(£),... ,Вт(¿) = 6т(£); п(£) = п(£,с(7)).
Пример. Рассмотрим систему
(28)
Z1 - z2;
/^2 - Ul , i - 1 , 2;
7)1 - -0,1n2 + z1 + z22 + 0,08 cos z1; n2 - 0,1n1 + z2 + z1 - 0,08 sin z2 со следующими граничными условиями:
z1(0)=0, z1(0)-0, z2(0) - 0, z2(0) - 0, n1(0) - 0, n2(0) - 0, z1(2) - -4, z1(2) - -8, z2(2) - 0, /22(2) - 4, ^1(2) - -5, ^2(2) - 4.
Для этой задачи t* = 2, m = 2, p = 2, ri = r2 = 2, z1 = (zj, z2)T
.1 z2) 2, z2 /
z2 - (z2 , Z2)T'
A1 -iJ0), A2-(;;), к-00,1
, 1 ^ ( 0,08 cos z1 \ _ / 0,9 0
P(z1,/2)n -0,88sinZi ) , M - A + KA2 0 1,1
m-1 -Í 10/9 ° ^ , P - M-1KM - f 0 -11/90
0 10/11 9/110 0
dp _ f 0 0\ dp _ / -0,08 sin z1 0
dzi V 0 0 / ' dz2 V 0 -°'08 cos
Поскольку ||dp/dz1| = 0, а ||dp/dz2y < 0,08^, в качестве числа e из условия 3 теоремы 3 можно принять e = 0,0^v/2- Матрица (P + Pт)/2 имеет вид
!(P + рт) =( 0 —2/99
2(P + P ) V —2/99 0
ее наибольшее собственное число Л = 2/99.
Проверим выполнение условия теоремы 3. Функция ((г), постро-
15
енная по формуле (9), имеет вид ((г) = — г2(2 — г)2, поэтому
16
15
('(г) = — г(г — 1)(г — 2); ь = тах{((г) + \('(г)\} < 1,95. 4 [°,2]
_ 1
В связи с тем, что 7 = (||М-1\\еЬ + ||Р||)---« 0,947 < 1, условие
Л
теоремы 3 выполнено и рассматриваемая терминальная задача имеет решение.
Выберем в качестве функции Ь1(г), удовлетворяющей условиям
Ь1(0) = 0, Ь((0) = 0, Ь1(2) = —4, Ь((2) = —8,
функцию Ь1(г) = —г3+г2, а в качестве функции Ь2(г), удовлетворяющей условиям
Ь2(0) = 0, Ь'2(0) = 0, Ь2(2) = 0, ь'2(2) = 4,
функцию Ь2(г) = г3 — 2г2. Зададим начальное приближение для вектора параметров с(0) = (0; 0)т и точность а = 0,001. Построим последовательность приближений {с(-)} по формуле (25), полагая, что
п* = (—5;4)Т, Ф(с(-))=п(г*,с(-)), где п(*,с(з)) = (щ(г, с(-)),п((г, с(-)))т — решение задачи Коши:
щ = —0,1п2 + Ь((г) + с(-)((г) + ь((г)+
+с()('(г) + 0,08оо8(Ь{(г) + с1)('(г));
г]2 = 0,1щ + Ь((г) + ¿^((г) + ь((г)+
+с(()('(г) — 0,08Бт(Ь'2(г) + с2)('(г)); п1(0) = 0, п2(0) = 0,
определяемое на каждой итерации методом Рунге-Кутты четвертого порядка. Расчеты показали, что неравенство (27) выполняется при 7 = 6, поэтому с точностью а неподвижной точкой отображения V является точка с(6 = (—3,287; 8,933)т. Функции
= Ь((г) + с(6)((г), = ь((г) + с()('(г), = Ь2(г) + с^¿(г),
= Ь2(г) + с(6)('(г); щ = п((г,с(6)), т = т(г,с(6))
задают ¿-параметрическую кривую в пространстве состояний системы (28), соединяющую начальное и конечное состояния системы. Управления и( = Ь"(г)+с[^ (!' (г), и2 = Ь'2,(г)+с(26)(''(г) реализуют эту кривую в качестве траектории системы (28) и являются решением рассматриваемой терминальной задачи. Зависимости функций г((г), г((г), г((г), г((г), п((г), п2(г), и((г), и2(г) приведены на рисунке.
Функции z}(t), z}(t) (а), z2(t), (t) (б), ni(t), П2(t) (в) и u 1 (t), u(t) (г)
Заключение. Рассмотрена терминальная задача для аффинных систем, не линеаризуемых обратной связью. Предполагалось, что гладкой невырожденной заменой переменных в пространстве состояний система может быть преобразована к регулярному квазиканоническому виду. При этом терминальная задача для исходной системы переходит в эквивалентную терминальную задачу для системы квазиканонического вида. Для системы квазиканонического вида доказано достаточное условие существования решения терминальной задачи. На его основе предложен метод решения терминальных задач. Приведен пример построения решения терминальной задачи предложенным методом для системы шестого порядка.
Работа выполнена при поддержке РФФИ (гранты 14-07-00813, 13-07-00736).
ЛИТЕРАТУРА
1. Краснощеченко В.И., Крищенко А.П. Нелинейные системы: геометрические методы анализа и синтеза. М.: Изд-во МГТУ им. Н.Э. Баумана, 2005. 520 с.
2. Елкин В.И. Редукция нелинейных управляемых систем: дифференциально-геометрический подход. М.: Наука, 1997. 320 с.
3. Аграчев А.А., Сачков Ю.Л.Геометрическая теория управления. М.: Физматлит, 2005. 392 с.
4. Жевнин А.А., Крищенко А.П. Управляемость нелинейных систем и синтез алгоритмов управления // ДАН СССР. 1981. Т. 258. № 4. С. 805-809.
5. Сачкова Е.Ф. Приближенное решение двухточечных граничных задач для систем с линейными управлениями // Автоматика и телемеханика. 2009. № 4. С. 179-189.
6. Емельянов С.В., Крищенко А.П., Фетисов Д.А. Исследование управляемости аффинных систем // ДАН. 2013. Т. 449. № 1. С. 15-18.
7. Крищенко А.П., Фетисов Д.А. Преобразование аффинных систем и решение задач терминального управления // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2013. № 2. С. 3-16.
8. Крищенко А.П., Фетисов Д.А. Терминальная задача для многомерных аффинных систем // ДАН. 2013. Т. 452. № 2. С. 144-149.
9. Фетисов Д.А. Об одном методе решения терминальных задач для аффинных систем // Электронное научно-техническое издание: Наука и образование. 2013. № 11. [Электронный ресурс] URL: http://technomag.bmstu.ru/doc/622543.html (дата обращения: 20.11.2013).
10. Крутько П.Д.Обратные задачи динамики управляемых систем. Нелинейные модели. М.: Наука, 1988. 328 с.
11. Крищенко А.П., Клинковский М.Г. Преобразование аффинных систем с управлением и задача стабилизации // Дифференциальные уравнения. 1992. Т. 28. № 11. С. 1945-1952.
12. Хартман Ф. Обыкновенные дифференциальные уравнения. М.: Мир, 1970. 720 с.
13. Филиппов А.Ф. Введение в теорию дифференциальных уравнений. М.: Едито-риал УРСС, 2004. 240 с.
REFERENCES
[1] Krasnoshchechenko V.I., Krishchenko A.P. Nelineynye sistemy: geometricheskie metody analiza i sinteza [Nonlinear systems: geometric methods for analysis and synthesis]. Moscow, MGTU im. N.E. Baumana Publ., 2005. 520 p.
[2] Elkin V.I. Reduktsiya nelineynykh upravlyaemykh sistem: differentsial'no-geometricheskiy podkhod [Reduction of nonlinear controlled systems: a differential geometric approach]. Moscow, Nauka Publ., 1997. 320 p.
[3] Agrachev A.A., Sachkov Yu.L. Geometricheskaya teoriya upravleniya [Geometric control theory]. Moscow, Fizmatlit Publ., 2005. 392 p.
[4] Zhevnin A.A., Krishchenko A.P. Controllability of nonlinear systems and synthesis of control algorithms. Dokl. Akad. NaukSSSR [Proc. Acad. Sci. USSR], 1981, vol. 258, no. 3, pp. 805-809 (in Russ.).
[5] Sachkova E.F. Approximative solution of two-point boundary value problems for systems with linear control. Avtom. Telemekh. [Automation and Remote Control], 2009, no. 4, pp. 179-189 (in Russ.).
[6] Emel'yanov S.V., Krishchenko A.P., Fetisov D.A. Research of controllability of affine systems. Dokl. RAN [Proc. Russ. Acad. Sci.], 2013, vol. 449, no. 1, pp. 15-18 (in Russ.).
[7] Krishchenko A.P., Fetisov D.A. Transformation of affine systems and solving problems of termination control. Vestn. Mosk. Gos. Tekh. Univ. im. N. E. Baumana, Estestv. Nauki [Herald of the Bauman Moscow State Tech. Univ., Nat. Sci.], 2013, no. 2, pp. 3-16 (in Russ.).
[8] Krishchenko A.P., Fetisov D.A. Terminal problem for multidimensional affine systems. Dokl. RAN [Proc. Russ. Acad. Sci.], 2013, vol. 452, no. 2, pp. 144-149 (in Russ.).
[9] Fetisov D.A. On a method for solving terminal control problems for affine systems. Jelektr. Nauchno-Tehn. Izd. "Nauka i obrazovanie" MGTU im. N.E. Baumana [El. Sc.-Tech. Publ. "Science and Education" of Bauman MSTU], 2013, no. 11. Available at: http:// technomag.bmstu.ru/doc/622543.html (accessed 20.11.2013) (in Russ.). DOI: 10.7463/1113.0622543
[10] Krut'ko P.D. Obratnye zadachi dinamiki upravlyaemykh sistem. Nelineynye modeli [Inverse problems for dynamics controlled systems. Nonlinear models]. Moscow, Nauka Publ., 1988. 328 p.
[11] Krishchenko A.P., Klinkovskiy M.G. Transformation of affine systems with control and the stabilization problem. Differ. Uravn. [Differ. Equations], 1992, vol. 28, no. 11, pp. 1945-1952 (in Russ.).
[12] Hartman Ph. Ordinary Differential Equations, 1st ed. N.Y., J. Wiley, 1964. (Russ. Ed.: Khartman F. Obyknovennye differentsial'nye uravneniya. Moscow, Mir Publ., 1970. 720 p.)
[13] Filippov A.F. Vvedenie v teoriyu differentsial'nykh uravneniy [Introduction to the differential equations theory]. Moscow, Editorial URSS Publ., 2004. 240 p.
Статья поступила в редакцию 18.04.2014
Дмитрий Анатольевич Фетисов — канд. физ.-мат. наук, доцент кафедры "Математическое моделирование" МГТУ им. Н.Э. Баумана. Автор 15 научных работ в области математической теории управления.
МГТУ им. Н.Э. Баумана, Российская Федерация, 105005, Москва, 2-я Бауманская ул., д. 5.
D.A. Fetisov — Cand. Sci. (Phys.-Math.), assoc. professor of "Mathematical Simulation" department of the Bauman Moscow State Technical University. Author of 15 publications in the field of mathematical control theory.
Bauman Moscow State Technical University, Vtoraya Baumanskaya ul. 5, Moscow, 105005 Russian Federation.
