Научная статья на тему 'Управляемость регулярных систем квазиканонического вида с двумерной нулевой динамикой и скалярным управлением'

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

CC BY
82
38
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
АФФИННАЯ СИСТЕМА / ТЕРМИНАЛЬНАЯ ЗАДАЧА / УПРАВЛЯЕМОСТЬ

Аннотация научной статьи по математике, автор научной работы — Фетисов Д. А.

Предлагается метод решения терминальных задач для регулярных систем квазиканонического вида с двумерной нулевой динамикой и скалярным управлением. Приведен пример решения терминальной задачи в соответствии с предложенным методом. Доказано достаточное условие управляемости регулярных систем квазиканонического вида с двумерной нулевой динамикой и скалярным управлением на всем пространстве состояний за любое конечное время. Применение полученного условия проиллюстрировано на примере системы четвертого порядка.

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

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

НАУЧНОЕ ИЗДАНИЕ МГТУ ИМ. Н. Э. БАУМАНА

НАУКА и ОБРАЗОВАНИЕ

Эл № ФС77 - 48211. Государственная регистрация №0421200025. ISSN 1994-0408

электронный научно-технический журнал

Управляемость регулярных систем квазиканонического вида

с двумерной нулевой динамикой и скалярным управлением

# 10, октябрь 2012

Б01:10.7463/1012.0465329

Фетисов Д. А.

УДК 519.71

Россия, МГТУ им. Н.Э. Баумана [email protected]

1. Введение

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

В данной работе рассматриваются аффинные системы со скалярным управлением. Известно [4, 5,6], что если аффинная система эквивалентна на всем пространстве состояний регулярной системе канонического вида, то эта аффинная система управляема. В статьях [7, 8] сделана попытка расширить класс систем, сравнение с которыми позволяет судить об управляемости. Это сделано за счет введения в рассмотрение систем квазиканонического вида. Получены достаточные условия управляемости для регулярных систем квазиканоническго вида с одномерной нулевой динамикой. В данной работе доказывается условие управляемости для регулярных систем квазиканонияеского вида с двумерной нулевой динамикой. Одновременно предложен способ решения терминальных задач для таких систем.

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

Рассмотрим аффинную систему со скалярным управлением

ж = Г (ж) + С(ж)и, х е Кп, и е К,

тоо (тап

где Г (ж) = (П(ж), ..., Гп(ж)) ; С(ж) = (С: (ж), ..., Сп(ж)) ; Гг(ж), Сг(ж) е С г = 1, п, и терминальную задачу для нее, т.е. задачу нахождения такого управления и = = и(£) е С[0, ¿*], которое переводит систему (1) из начального состояния

ж(0) = жо (2)

в конечное состояние

ж(£*) — ж *.

(3)

Будем предполагать, что существует диффеоморфизм Ф: Кп ^ Кп, который преобразует

систему (1) к квазиканоническому виду

= ¿2, ¿2 = ¿3,

(4)

¿п-2 = / + д^пК п>1 = 91^, П), , п2 = 92^^,

т т

где г = (¿1, ¿2, ..., ¿П-2) е Кп-2; п = (пъ П2) е К2; /(¿,п),д(^,п) е С~(Кп); д(я,п) не

обращается в нуль в Кп. Подсистему

п>1 = 51 (г, п), П2 = 92(г, п) системы (4), образованную последними двумя уравнениями, будем называть системой нулевой динамики.

Заметим, что управление и = и(£) е С[0, ¿*], переводящее систему (4) за тот же интервал времени [0, ¿*] из начального состояния

т

в конечное состояние

Ф(жо) = (¿10, ¿20, . . . , ¿п-2,0, П10, П20)

Ф(ж*) = (¿1*, ¿2*, . . . , ¿п-2,*, П1*, П2*)

(5)

(6)

является одновременно и решением исходной задачи (2), (3) для системы (1).

Установим условия, которым должны удовлетворять функции 91(^,п), 92 (¿,п), чтобы для любого начального состояния (5), любого конечного состояния (6) и любого интервала времени [0, ¿*] терминальная задача (5), (6) для системы (4) имела решение. Полученные условия будут являться условиями управляемости системы (4) в Кп за любое конечное время.

3. Существование решений терминальных задач

В работе [6] получено необходимое и достаточное условие существования решения терминальной задачи для регулярной системы квазиканонического вида с одномерной нулевой динамикой. Непосредственным обобщением этого условия для систем с двумерной нулевой динамикой служит следующая теорема.

Теорема 1. Для того чтобы существовало управление u = u(t) Е C[0,t*], являющееся решением терминальной задачи (5), (6) для системы (4), необходимо и достаточно, чтобы существовала функция B(t) Е Cn—3([0, t*]), удовлетворяющая условиям

B (0) = Z10, B(0) = Z20, ..., B (n-3)(0) = Zn—2,0,

( 2) , (7)

B(t*) = Z1*, B(t*) = Z2* , ..., B(n—2)(t*) = Zn—2,* и такая, что задача Коши

?7i = ^ ?72 = q2(B(t^ ^

(8)

ni(0) = П10, П2(0) = П20,

__. т

где B(t) = (B(t), BB(t), ..., B(n—2)(t)) , имеет решение n1(t), n2(t), определенное при

t Е [0, t*] и удовлетворяющее условиям

^1(t*) = П1* ^2(t*) = П2*. (9)

Используя теорему 1, покажем, как можно найти решение терминальной задачи (5), (6) для системы (4).

Будем искать функцию B (t) в виде

B (t) = b(t) + C1 d1(t) + C2 d2(t), (10)

где функция b(t) Е Cn—2([0,t*]) удовлетворяет условиям

b(0) = Z10, b(0) = Z20, ..., b(n—3) (0)= Zn—2,0,

b(t*) = Z1*, b(t*) = Z2*, ..., b(n—3)(t*) = Zn—2, функции d1(t), d2(t) удовлетворяют условиям

d¿(0) = 0, d¿(0) = 0, ..., d(n—3)(0) = 0, di(t*) = 0, (d¿(t*) = 0, ..., d(n—3)(t*) = 0,

(ii)

(12)

a ci, c2 — пока не известные константы.

В качестве функции b(t) можно взять интерполяционный многочлен степени 2n — 5, в качестве функций d1(t), d2(t) — два любых многочлена, для которых выполняются соотношения (12), например,

di(t) = tn-2(i* — t)n-2, d2(t)= tn-1(t* — t)n-i. (13)

При любых значениях С2 функция В(I) удовлетворяет условиям (7). Обозначим

т т

Ь(г) = (ь(г),ъ(г), ...,ь(п-3)(г)) , йг(г) = (¿(), йг(1), ¿^-3)(г)) , г = 1,2,

так что В (г) = Ь(г) + С1 ¿1(г) + с2 ¿2 (г). Тогда задача Коши (8) с учетом условия (9) преобразуется к граничной задаче

г}1 = Я1 (Ь(г) + С1 ¿1 (г) + С2 ¿2 (г), п),

т = я2(Ь(г) + С1 ¿1(г) + С2 ¿2(г),п), (14)

щ(0) = П10, П2(0) = П20, щ(и) = г/1*, т(г*) = т*.

Если удастся найти значения с1 = С1*, С2 = С2*, для который существует решение ,ц1(г), гЦ2(г) граничной задачи (14), получим, что функция В*(г) = Ь(г) + С1* ¿1(г)+С2* ¿2(г) удовлетворяет всем условиям теоремы 1 и, следовательно, терминальная задача (5), (6) для системы (4) имеет решение.

4. Условие управляемости

Далее будем считать, что в системе (4) функции г = 1, 2, представимы в виде

произведения функции, зависящей от г, и функции, зависящей от п:

д^(г,п) = Щп), г = 1, 2, причем Кг(цг) не обращаются в нуль в М. Такая система имеет вид

¿1 = ¿2,

¿2 = ¿3,

Zn-1 = f (z,n) + g{z,n)u,

ni = Qi(z) Ri(ni),

_ П2 = Q2(z) Я2('П2). Для системы (15) граничная задача (14) преобразуется к виду

ni = Qi(b{t) + ci di(t) + C2 d2Ít)) Ri(ni),

П2 = Q2(b{t) + Ci di(t) + C2 d2(t)) R2Ím), (16)

ni(0) = nio, П2(0) = П20, ni(t*) = ni*, m(u) = m*. Интегрируя эти уравнения с разделяющимися переменными на отрезке [0, t*] и учитывая начальные и конечные значения переменных пъ n2, получим следующую систему уравнений относительно ci, c2:

41» í»

J Rdnñ) = J Qi(b(t) + Ci di(t) + C2 d2(t)) dt,

n10 i i 0 (17)

П2» í» V '

/ RdUüj = í Q2(b(t) + Ci di(t) + C2 d2(t)) dt.

П20 0

(15)

Пусть эта система имеет решение С\ = С1+, С2 = С2*. Тогда граничная задача (16) будет иметь решение в том случае, если каждое из уравнений

т ъ

I ЩПР) = / + Си + С2* ¿2(*)) (И, г = 1, 2, (18)

то о

при всех £ е [0, £*] разрешимо относительно

Таким образом, для существования решения терминальной задачи для системы (15) достаточно выполнения двух условий:

1) существования решения С1 = С1+, с2 = С2* системы уравнений (17);

2) разрешимости каждого из уравнений (18) относительно п при всех £ е [0, £*]. Рассмотрим систему (15), в которой функции и ф2(г) являются многочленами

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

нечетных степеней 2/1 + 1 и 2/2 + 1, /1 = /2:

^1(^)= Е аг1,...,гп-2 ^ 42 ...гП--22, (19)

¿1, ...,гп-2:

П+...+^-2<211+1

^2 (г) = £ Ьг1,...,г„—2 42 ... гП_-22. (20)

¿Ь ¿п-2: ¿1 + ...+¿„-2^2(2 + 1

Будем предполагать, что слагаемые старшей степени в каждом из многочленов имеют вид

1+ + ^^ аг1,...,гп-2 г11 г22 . . . гп-2, (21)

¿1, ¿п-2: ¿1 + ...+¿„-2=2(1+1

21

2+ + Ьг1,...,гп-2 г22 . . . 2га-2 , (22)

¿ь ..., ¿„-2: ¿1 + ...+¿n —2=2(2 + 1

21 +1 21 +1 причем в этих суммах, за исключением 1+ в первом многочлене и во втором, при-

сутствуют лишь слагаемые, в которых сумма показателей степеней переменных с четными индексами нечетна, т.е.

а11,...,1п-2 =о ^ г2 + г4 + го +... = 2^ + 1, (23)

Ь11>...,1п-2 =0 ^ г2 + г4 + го + ... = 2^ + 1. (24)

Теорема 2. Пусть в системе (15) функции ^1(г), ф2(г) являются многочленами степеней 2/1 + 1, 2/2 + 1, /1 = /2, причем слагаемые старшей степени в этих многочленах имеют вид (21), (22) и удовлетворяют условиям (23), (24). Пусть также функции Д1(п1), г = 1, 2, положительны и ограничены в М. Тогда эта система управляема в за любой интервал времени [0, £*].

Покажем, что при выполнении условий теоремы терминальная задача для системы (15) имеет решение для любых начальных и конечных значений переменных г, п, а также для любого интервала времени [0, ¿* ]. Для этого достаточно показать, что система уравнений (17)

имеет решение ^ = с^, с2 = с2* и каждое из уравнений (18) разрешимо относительно пь

г = 1, 2.

Зафиксируем г°, п°, £*, п* и интервал [0, 4*]. Рассмотрим систему (17). Введем следующие обозначения:

*» 41»

^1(С1,С2)= I + С1 С2 4(4))^ ^

Ы:

о П10

*» П2»

^2(С1 ,С2)= I ф2(6(*)+ С1 ¿1 (4) + С2 4(4))^ ^

Ыт)'

о П20

Тогда система (17) примет вид

^1(с1,С2) = 0, ^2(С1,С2) = 0. (25)

Рассмотрим первое уравнение этой системы: ^1(с1,с2) = 0. Это уравнение задает некоторую кривую на плоскости с1з с2. Покажем, что одна из ветвей этой кривой имеет асимптоту и найдем ее уравнение.

В условиях теоремы функция ^1(с1, с2) является многочленом переменный с1, с2 степени 2/1 + 1. Это дает возможность переписать уравнение в виде

^(сь С2) = ^2^1+1(01,02) + Ущ (С1, С2) + ... + V. = 0, (26)

где У211+1(с1,с2) — слагаемые степени 2/1 + 1; У211 (с1,с2) — слагаемые степени 2/1 и т.д.; V. — свободный член.

Вынесем в каждой из функций У (с1, с2) множитель сЦ. При этом уравнение (26) примет следующий вид:

с?11 + 1У211 + 1 (1, |) + с?1 У211 (1, |) + ... + У0 = 0.

Разделив обе части уравнения на с^^1, получим

1

«( О + с1 у2.1 (^)+...+с** уо

1+1 = 0.

с^ с1 V с^ с1

Введем обозначения £ = 1/с1, ( = с2/с1. Тогда уравнение запишется в виде

с) = Уй1+1(1,< )+^ (1, с) +...+е 211+1У° = 0.

Рассмотрим уравнение

У211+1(1,С ) = 0. (27)

Определим вид функции У2г1+1(1,С) в условиях теоремы. Для этого выделим слагаемые степени 2/1 + 1 в исходном многочлене:

+ с1 ¿1(4) + с2 4(4)) = (с1^1(4) + с2^2(^))211+1 +

+ ^ (с1^1(4)+ с2^(4)Г... (с1^(1га-3)(4)+ с2^2п-3)(4))'"-2 + т(с1,с*,*),

г1,... ,гп —2 : г1 + ...+г„_ 2=2«1 + 1

где 7(с1, с2, ¿) содержит слагаемые младших степеней по 0Ь с2. Следовательно, сумма членов степени 2/1 + 1 в многочлене ^1(с1, с2) имеет вид

t*

У (01^1 (¿)+ С2 +

0

t^.

+ ^ аг1,...,гп-2 ! М^) + С2^2(^))г1 . . . (01 ^ (¿) + е*^^ (¿)Г"-2

П + ...+^П-2=211+1

Вычислим интеграл

t♦

УМ1(*) + б^))*1 . . . (01 й(1П-3)(^) + С2й2га-3)(^))г"-2^ (28)

О

для произвольных значений с1, с2 в предположении, что выполнено условие (23). Сделаем в нем замену переменной т = £ — ¿*/2. Тогда £ = т + ¿*/2, т € [—¿*/2, ¿*/2] и функции (¿) преобразуются к виду

~ /¿2 \ и— 2 „ /£2 \ и— 1

4(т) = (| — т2) , <(2(т)= — т2) .

Эти функции четные. Их производные нечетных порядков нечетны, производные четных порядков четны. При этом

^(т + |) = ^(т), а =1, 2, ^ = 17^-3.

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

^/2

у [С1^1(т) + 02Й2(т)]г1 . . . [с«5и-3)(т) + 02Й2и-3)(т^йт. -и/2

Подынтегральная функция в полученном интеграле представляет собой произведение г1 + + ¿3 + ¿5 + ... четных функций и ¿2 + ¿4 + ¿6 + ... нечетных. Из условия (23) следует, что ¿2 + ¿4 + ¿6 + ... = 2к1 + 1, т.е. в этом произведении нечетных функций нечетное число, поэтому подынтегральная функция нечетна и интеграл от нее в симметричных пределах от —¿*/2 до ¿*/2 равен нулю.

Таким образом, интеграл (28) равен нулю. Это означает, что слагаемые степени 2/1 + 1 в многочлене ^1(с1, с2) имеют вид

Следовательно, функция ^^(1, () запишется в виде

ь*

^211+1(1, С) = I [^(¿) +

0

Уравнение (27) принимает вид

У [й(*) + с^)]21^1^ = 0.

(29)

0

Это уравнение всегда имеет действительное решение £ = к, так как в его левой части стоит многочлен нечетной степени. Это решение единственно, так как ^211+1(1,^) монотонно возрастает по (:

Здесь штрих означает дифференцирование по (. Заметим, что всегда к < 0, так как все коэффициенты многочлена ^/2г1+1 (1, С) положительны. Рассмотрим уравнение

Функция <^(С,С) обращается в нуль в точке (0, к). Найдем частные производные функции

<^(С,С) по С и С:

Как показано выше, +1(1, С) > 0 для любых значений (. Следовательно, ^(0, к) отлична от нуля. По теореме о неявной функции в некоторой окрестности точки (0, к) уравнение <^(С, () = 0 разрешимо относительно (: ( = ((С), причем ((0) = к.

По правилу дифференцирования неявной функции производная функции ((С) при С = 0 вычисляется по формуле

Ь*

^1+1 (1,С) = /(2/1 + !)№(*) + ^(¿))211 > 0, С е к

0

^(С,С ) = 0.

4 (С, С ) = V*! (1,С) +... + (2/1 + 1)С211 V., ^ (С, С) = ^2*1+1 (1, С) + № (1, с) +... + С211 ^(1,с).

С '(0)

^ (0, к) = У211 (1, к) (0, к) ^2^1+1 (1, к).

С другой стороны, по определению производной

Следовательно,

С (£) - к ^ (1,к)

11ш ■

«-о е 4+1(1, к) •

Возвращаясь к переменным с1, с2, получим следующий результат:

( к ) ^211 (1,к) 11ш (С2 - кС1) = ---.

С1 ^211+1(1,к)

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

Отсюда следует, что уравнение

С2 = кС1 -

У2*1 (1,к)

4+1(1, к)

является уравнением асимптоты одной из ветвей кривой ^1(с1, с2) = 0.

Покажем, что кривая ^1(с1, с2) = 0 не имеет других ветвей, уходящих на бесконечность.

Согласно сделанному замечанию, действительных корней, кроме к, у уравнения (27) нет. Это означает, что у кривой ^1(с1, с2) = 0 нет других наклонных асимптот. Кроме того, у нее нет и вертикальных асимптот. Чтобы показать это, нужно рассмотреть уравнение

^1+1«, 1) = 0. (30)

Кривая ^1(с1,с2) = 0 имела бы вертикальную асимптоту лишь в том случае, если бы у этого уравнения был корень ( = 0. В то же время уравнение (30) имеет единственный действительный корень ( = 1 /к, который соответствует той же асимптоте, что и корень ( = к уравнения (27). Заметим, что и ветвей, не имеющих асимптот, но удаляющихся на бесконечность, у кривой ^1(с1,с2) = 0 нет. Каждой такой ветви должен соответствовать корень ( = 0 одного из двух уравнений (27) либо (30), а, как показано выше, нулевых корней ни у одного из этих уравнений нет.

Аналогичные рассуждения справедливы и для кривой, заданной уравнением ^2(с1, с2) = = 0. Одна из ветвей этой кривой также будет иметь асимптоту, и эта асимптота описывается уравнением

4 (1Д)

С2 = к С1 -

<+1(1 Д)'

где Тк21з+1(с1, с2) — слагаемые степени 2/2 + 1; (с1, с2) — слагаемые степени 2/2 в многочлене ^2(с1, с2); к — единственное решение уравнения

и

+ С^))2^1 ^ = 0. (31)

о

Так же, как и для первого уравнения, к отрицательно. При этом к = к. Других ветвей, уходящих на бесконечность, у кривой ^2(с1, с2) = 0 также нет.

\

с

Рис. 1. Кривые ^1(01,02) =0 и ^2(01, С2) = 0

Заметим, что для любого значения с1 = сю каждое из уравнений ^(сю^) = 0, а = 1, 2, имеет хотя бы одно решение. Это объясняется тем, что при фиксировании с1 = сю функция Уа (сю, с2) обладает всеми свойствами функции V (с), определенной в доказательстве теоремы 2 из работы [8]. Точно так же, каким бы ни было значение с2 = с2°, уравнение Уа(с1,с2°) = 0, а = 1, 2, всегда имеет решение.

Примерный вид кривых У1(с1, с2) = 0, У2(с1, с2) = 0 показан на рис. 1. Ветви этих кривых, уходящие на бесконечность, имеют асимптоты с разными угловыми коэффициентами. Следовательно, у кривых У1(с1,с2) = 0, У2(сьс2) = 0 есть по крайней мере одна точка пересечения (с1*, с2*), которая и соответствует решению системы (25).

Осталось показать, что при выполнении условий теоремы каждое из уравнений (18) при всех 4 е [0, 4*] разрешимо относительно пь г = 1, 2. Функции Лг(Пг), г = 1, 2, обладают всеми свойствами функции Д(п) из теоремы 2 [7]. Повторяя рассуждения этой теоремы, убеждаемся в справедливости доказываемого утверждения. ►

Пример. Рассмотрим систему четвертого порядка

где д(г,п) = 0 в М4. Для этой системы функция ^(¿) = ¿3 — ¿| является многочленом третьей степени, функция ^(¿) = ¿5 — ¿4 является многочленом пятой степени. Слагаемые старшей степени в обоих многочленах не содержат переменную ¿2. Следовательно,

¿1 = 22,

¿2 = / (¿,п) + д(г,п)и,

<

(32)

5 4

, П2 = ¿1 — ¿^

условия (23) и (24) заведомо выполнены. Функции Д1(^1) = 1/(п2 + 1) и Я2(п2) = 1 положительны и ограничены в М.

Согласно теореме 2 эта система управляема в М4 за любой интервал времени [0, ¿*]. Далее будем полагать, что функции / (г, п), д(г, п) в системе (32) имеют следующий вид:

/п) = -г1Пъ п) = 10 + г2.

т

Найдем управление и(£), переводящее систему (32) из начального состояния (0, 0, 0, 0) в

т

конечное состояние (5, 1, 5, -5) за интервал времени [0, 5].

Функция Ь(£), удовлетворяющая на отрезке [0, 5] граничным условиям по г, имеет вид

12 *)=- 25+5

функции (1(£), (2(£) для системы четвертого порядка

(1(£) = £2(5 - г)2, (2(£) = £3(5 - г)3. Система уравнений (17) принимает вид

5

140/3 = У [(б(£) + С1 (1(£) + С2 (2(£))3 - (б(£) + С1 ^(г) + С2 (¿2(£))2]

о

5

-5 = J[(б(г) + С1 (1(г) + С2 (2(г))5 - (Ь(г) + С1 ^(г) + С2 ((2(г))4] (г. о

Приближенное решение этой системы

С1* = -9,109, С2* = 1,652.

Функция В (г) из теоремы 1 принимает вид

12

В(г) = б(г) + Сц (1(г) + С2* = — г3 + -г2 - 9,109г2(1 - г)2 + 1,652г3(1 - г)3.

25 5

Траектории г1(г), г2(г), удовлетворяющие граничным условиям по г, имеют вид

21(г) = В(г), г2(г) = В(г).

Соответствующие графики приведены на рис. 2.

Траектории п1 (г), ^(г) можно найти, решив задачу Коши

(б(г) + С1 (1(г) + С2 (2(г))3 - (¿(г) + С1 (¿1 (г) + С2 ^(г))2 =--•

П2 = (б(г) + С1 (1(г) + С2 (2(г))5 - (Ь(г) + С1 (¿1(г) + С2 (2(г))4,

П1(0) = 0, П2 (0) = 0. Результат численного решения приведен на рис. 3, 4.

Рис. 2. Траектории zl(t), z2(t)

Рис. 3. Траектория щ (t)

Рис. 4. Траектория n2 (t)

Управление и(Ь), Ь € [0, 5], являющееся решением рассматриваемой терминальной задачи, выражается формулой

^ _ В(1) + В(1)щ(1) и() 10 + В 2(1) ■

Полученная зависимость и(Ь) показана на рис. 5.

Рис. 5. Управление u(t)

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

Предложен метод решения терминальных задач для регулярных систем квазиканонического вида с двумерной нулевой динамикой и скалярным управлением. С использованием предложенного метода доказано достаточное условие управляемости. Полученное условие проиллюстрировано на примере системы четвертого порядка.

Работа выполнена при поддержке гранта РФФИ N11-01-00733 и Программы Президента РФ по государственной поддержке ведущих научных школ (грант НШ-3659.2012.1).

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

1. Ковалев A.M. Нелинейные задачи управления и наблюдения в теории динамических систем. Киев: Наукова думка, 1980. 174 с.

2. Sastry S. Nonlinear systems: analysis, stability, and control. New York: Springer Verlag, 1999.

3. Hirschorn R.M., Lewis A.D. Geometrical local controllability: second order conditions // Proc. 41st IEEE Conference on Decision and Control CDC'02. Las Vegas, 2002. P. 368-369.

4. Краснощеченко В.И., Крищенко А.П. Нелинейные системы: геометрические методы анализа и синтеза. M.: Изд-во МГТУ им. Н.Э. Баумана, 2005. 520 с.

5. Крищенко А.П. Исследование управляемости и множеств достижимости нелинейных систем управления // Автоматика и телемеханика. 1984. № 6. С. 30-36.

6. Жевнин A.A., Крищенко А.П. Управляемость нелинейных систем и синтез алгоритмов управления // ДАН СССР. 1981. Т. 258, №4. С. 805-809.

7. Фетисов Д.А. Исследование управляемости регулярный систем квазиканонического вида // Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки. 2006. № 3. С. 12-30.

8. Фетисов Д.А. Условие управляемости аффинной системы // Наука и образование. МГТУ им. Н.Э. Баумана. Электрон. журн. 2011. №10. Режим доступа: http://technomag.edu.ru/ doc/236936.html (дата обращения 02.07.2012).

SCIENTIFIC PERIODICAL OF THE BAUMAN MSTU

SCIENCE and EDUCATION

EL № FS77 - 48211. №0421200025. ISSN 1994-0408

electronic scientific and technical journal

Regular systems of a quasicanonical form with scalar control and

two-dimensional zero dynamics controllability

# 10, October 2012

DOI: 10.7463/1012.0465329

Phetisov D. A.

Russia, Bauman Moscow State Technical University

[email protected]

The new method is proposed to solve a terminal problem for regular systems of a quasicanonical form with two-dimensional zero dynamics and scalar control. The example of terminal problem solving by means of the method proposed is given. The controllability sufficient condition for regular systems of a quasicanonical form with scalar control and two-dimensional zero dynamics is proven. The example is represented to illustrate the condition received.

References

1. Kovalev A.M. Nelineinye zadachi upravleniia i nabliudeniia v teorii dinamicheskikh system [Nonlinear problems of control and observing in the theory of dynamical systems]. Kiev, Naukova dumka, 1980. 174 p.

2. Sastry S. Nonlinear systems: analysis, stability, and control. New York, Springer Verlag, 1999.

3. Hirschorn R.M., Lewis A.D. Geometrical local controllability: second order conditions Proc. 41st IEEE Conference on Decision and Control CDC'02. Las Vegas, 2002, pp. 368-369.

4. Krasnoshchechenko V.I., Krishchenko A.P. Nelineinye sistemy: geometricheskie metody analiza i sinteza [Nonlinear systems: geometrical methods of analysis and synthesis]. Moscow, Bauman MSTU Publ., 2005. 520 p.

5. Krishchenko A.P. Issledovanie upravliaemosti i mnozhestv dostizhimosti nelineinykh sistem upravleniia [The study of the controllability and sets of attainability of nonlinear control systems]. Avtomatika i telemekhanika [Automatics and Remoute Control], 1984, no. 6, pp. 30-36.

6. Zhevnin A.A., Krishchenko A.P. Upravliaemost' nelineinykh sistem i sintez algoritmov upravleniia [Controllability of nonlinear systems and synthesis of control algorithms]. Dokl. AN SSSR [Reports of Academy of Sciences of the USSR], 1981, vol. 258, no. 4, pp. 805-809.

7. Fetisov D.A. Issledovanie upravliaemosti reguliarnykh sistem kvazikanonicheskogo vida [Study of controllability of regular systems of quasicanonical type]. Vestnik MGTU im. N.E. Baumana. Ser. Estestvennye nauki [Herald of the Bauman MSTU. Ser. Natural science], 2006, no. 3, pp. 12-30.

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

8. Fetisov D.A. Uslovie upravliaemosti affinnoi sistemy [Affine System Controllability Condition]. Nauka i obrazovanie MGTU im. N.E. Baumana [Science and Education of the Bauman MSTU], 2011, no. 10. Available at: http://technomag.edu.ru/doc/236936.html, accessed 02.07.2012).

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