Научная статья на тему 'Условие управляемости аффинной системы'

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

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

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

Рассмотрена проблема управляемости аффинной системы со скалярным управлением на всем пространстве состояний за любой конечный интервал времени. Исследование основано на приведении системы к квазиканоническому виду и дальнейшем анализе существования решений терминальных задач для преобразованной системы. Показано, что для системы с правой частью специального вида терминальная задача имеет решение для любых начального и конечного состояний системы и любого интервала времени. Тем самым доказано, что такая система управляема на всем пространстве состояний за любой конечный интервал времени. Возможной областью применения полученных результатов является решение задач управления техническими системами

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

Текст научной работы на тему «Условие управляемости аффинной системы»

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

Эл № ФС77 - 30569. Государственная регистрация №0421100025. ГББМ 1994-0408

Условие управляемости аффинной системы 77-30569/236936

# 10, октябрь 2011 Д. А. Фетисов

УДК 519.71

МГТУ им. Н.Э. Баумана [email protected]

1. Введение

Проблема управляемости нелинейных динамических систем составляет значительный раздел современной теории управления. Одно из направлений исследований заключается в преобразовании исходной системы в некоторую эквивалентную систему того или иного специального вида, для которого рассматриваемая задача может быть решена с помощью известных методов. Эта идея использована для исследования управляемости аффинных систем в работах [1]—[3]. В частности, известно, что если аффинная система эквивалентна системе канонического вида, регулярной на всем пространстве состояний, то эта система управляема. В данной работе рассматривается задача исследования управляемости систем, эквивалентных регулярным системам квазиканониче-ского вида. Ранее в статье [4] получены условия управляемости таких систем. В данной работе предложено еще одно условие управляемости для этого класса систем.

2. Основные определения

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

х = С\(х) + С2(х)и, х є Ип, и є И, (1)

С,(х) = (С,і(х),..., С„,(х))в, С,,(х) є С“(И) і = 1,2, ] = Т~П

и задачу нахождения такого непрерывного управления и = и(ї), ї є [0,їк], которое за время їк переводит эту систему из начального состояния

х(0) = хо (2)

в конечное

х(їк) = Хк. (3)

Будем полагать, что система (1) эквивалентна в Ии регулярной системе квазиканонического вида:

*1 =

%2 = 2з

... (4)

Хи-1 = / (2,п) + д(х,п)и

п = #(х, п),

где х = (х1,х2, ..., хи-1)в є Ии-1, п Є И, f (х, п), д(х, п) є Ото(Ии), д(х, п) не обращается в нуль в Ии.

Отображение эквивалентности Ф : Ии ^ Ии позволяет сформулировать для системы (4) эквивалентную терминальную задачу: найти непрерывное управление и = и(ї), ї є [0,їк], переводящее систему (4) за тот же интервал времени из начального состояния

Ф(хо) = (Х10, Х20, . . . , Хи-1,0, по)в (5)

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

Ф(Хк) = (Х1к, Х2к, . . . , Хп-1,к, пк)в. (6)

Решение этой терминальной задачи одновременно является и решением исходной задачи (2), (3) для аффинной системы (1), так как при переходе к эквивалентной системе квазиканонического вида управление и время не преобразуются, а отображение Ф-1 отображает траектории системы (4) в траектории аффинной системы (1), реализуемые тем же управлением. В работе [4] доказана следующая теорема.

Теорема 1. Для того чтобы существовало непрерывное управление и = и(£), £ Е [0,£к], являющееся решением терминальной задачи (5), (6) для системы (4), необходимо и достаточно, чтобы существовала функция В (£) Е Сп-1([0, ]), удовлетворяющая условиям

В(0) = *10, ВВ(0) = *20, ..., В(п 2)(0) = 2П-1,0, В (£к) = *1к, В(£*) = *2к, ..., В (п-2)(£к) = *п-1,к

(7)

и такая, что задача Коши

т) = д(В (£),п), П (0) = По, (8)

В (£) = (В (£),В(£),...,В (п-2)(£))в,

имеет решение п(£), определенное при £ Е [0, ] и удовлетворяющее условию

П (£к) = Пк. (9)

Согласно теореме 1, чтобы убедиться в существовании решения терминальной задачи (5), (6) для системы (4), достаточно найти функцию В (£), удовлетворяющую указанным в теореме условиям. В [4] предложено искать В (£) в виде

В (£) = 6(£) + с^(£), (10)

где с - пока не известная константа, функция ^(£) удовлетворяет условиям

й(0) = 0, й(0) = 0, ..., ^(п-2)(0)=0,

й(£*) = 0, й(£*) = 0, ..., ^(п-2)(£к) = 0,

(11)

функция 6(£) Е Сп 1 ([0, £ к ]) и выполнены условия

6(0) = *10, 6(0) = *20, ..., 6(п-2)(0) = *п-1,о,

Ь(£к) = *1к, 6(£к) = *2к, ..., 6(п-2)(£к) = *п-1,к.

(12)

В качестве ^(£) можно взять любой многочлен, для которого выполняются соотношения (11), например,

<ад = - £)“-1. (13)

В качестве 6(£) можно взять интерполяционный многочлен степени 2п - 3.

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

&(£) = (&(£), &(£),..., Ь(п-2)(£))в, ^(£) = (^(£), с?(£),..., ^(п-2)(£))в,

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

п = я(ВД + с2(г),г1), п(0) = по, п(£*) = Пк. (14)

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

Далее будем считать, что в системе (4) функция я(г,п) является произведением функций ф(г) и Л(п), причем Л(п) не обращается в нуль в И. Такая система имеет вид

21 = ^2

^2 = 2з

... (15)

^п-1 = / (г,п) + д(г,п)и

П = ф(г) Я(п).

Для системы (15) граничная задача (14) преобразуется к виду

П = ф(ад + с^(£))Я(п), п(0) = По, П (** )= Пк. (16)

Интегрируя это уравнение с разделяющимися переменными на отрезке [0, £&] и учитывая начальные и конечные значения переменной п, получим

Пк tk

S =у ф(вд+^м^. (17)

По 0

Уравнение (17) представляет собой уравнение для определения неизвестной константы с. Пусть это уравнение имеет решение с = с*. Найденному значению с = с* будет соответствовать решение п(£) граничной задачи (16) в том случае, если уравнение

п ь

/ ^ = / ^(Ь(^ +с* (18) по о

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

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

1) существования решения с = с* уравнения (17),

2) разрешимости уравнения (18) относительно п при всех £ Е [0,£*].

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

Рассмотрим систему (15), в которой функция ^(г) является многочленом нечетной степени:

^(г) = ^ ан,...,*п-1г22... 4”-1, (19)

Н,---,^п—1:

*1 + ---+^п — 1^21 + 1

а слагаемые старшей степени имеют вид

г12/+1 + ^ ан,..,*„—1211 г22... 4-—1, (20)

Й,---,^п—1:

^1+---+2п—1=21 + 1

2/+1

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

ан,...,*„—1 = 0 ^ ^2 + ^4 + ^6 + ... = 2к + 1. (21)

Теорема 2. Пусть в системе (15) функция ^(г) является многочленом (19) нечетной степени, в котором слагаемые старшей степени имеют вид (20) и удовлетворяют условию (21), функция Л(п) положительна и ограничена в К:

ЗМ > 0 Е К : 0 < Л(п) ^ М.

Такая система управляема в за любой интервал времени [0, £*].

М Покажем, что если функция ^(г) удовлетворяет условиям теоремы, то существует функция В (£), для которой выполняются условия теоремы 1.

Будем искать В(£) в виде (10), где Ь(£) - интерполяционный многочлен степени 2п — 3, удовлетворяющий условиям (12), ^(£) - многочлен (13). Для любых значений с условие (7) при этом выполняется. Покажем, что, каковы бы

ни были начальное и конечное состояния системы (15), существует значение с, для которого граничная задача (16) имеет решение.

Покажем сначала существование решения у уравнения (17). Учитывая вид функции ф(г), получим

Ф(6(£) + сС(£)) = с2/+ С2т (£) +

+ с2/+1 £ а,;ь...,„—, С- (£) С*2(£)... (<*<’-2>(£)Г-1 + 7(0,£),

*1 ,---,^п— 1: г1 + ---+гп—1=21+1

где 7 (с, £) содержит слагаемые младших степеней по с. Отсюда следует, что коэффициент при с2/+1 в уравнении (17) равен

У*С2/+1(£)С£ + ^ «,1,...,,^—^ С*1 (£)С*2 (£)... (С(п—2)(£))*п—1 С£.

0 =21 + 1 0

Функция С(£) непрерывна и положительна на (0, £*), поэтому

[ С2/+1(£) С£ > 0.

0

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

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

С*1 (£)С*2(£)... (С(п—2)(£))*"—1 С£ (22)

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

*' = (т + I И- т — £* Г- (т + I)“(I — т )“ =

( £2 )П—1

= ( -4*—тМ , т е [—£*/2,£*/2]. (23)

Заметим, что функция

( £2 )П—1

с(т ) = ( | — т2)

ъ

четная. Следовательно, ее производные нечетных порядков нечетны, производные четных порядков четны.

1 (т +1) = (1(т О = ('(т > Ж = ^ >’

так как 1т/1£ = 1. Аналогично показывается, что

1^ ^т + = (^(т), ] = 2,п — 2.

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

£*/2

J I*1(т)[1'(£)]*2... [1(п—2)(т)]г"-11т. (24)

—£*/2

Подынтегральная функция в интеграле (24) представляет собой произведение ^1 + 23 + £5 + ... четных функций и 22 + 24 + + ... нечетных. По условию 22 +

24 + £6 + ... = 2к + 1. Следовательно, в этом произведении нечетных функций нечетное число, поэтому подынтегральная функция нечетна и интеграл от нее в симметричных пределах от —£*/2 до £*/2 равен нулю.

Таким образом, интеграл (22) равен нулю. Тогда коэффициент при с21+1 в уравнении (17) равен

£ *

У>+1(£) (£ = 0.

0

Следовательно, при выполнении условий теоремы 2 уравнение (17) - алгебраическое уравнение нечетной степени. Такое уравнение всегда имеет действительное решение с = с*.

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

1 1

я(п) > М

Тогда если п > П0, то

п

I' 1п > п — По У й(п) > М

По

и, следовательно,

п

Ит / = +то‘ 7 л(п)

По

Аналогично при п < По

п

Г ІІП < П — По ] ВД < М ’

По

поэтому

П

V

По

Таким образом, интеграл в левой части уравнения (18), являясь непрерывной функцией п, имеет при п ^ бесконечные пределы разных знаков. Сле-ловательно, область значений этого интеграла - все множество действительнх чисел. Это означает, что, каким бы ни было с*, уравнение (18) имеет решение при всех £ Є [0, £*]. Это означает, что при с = с* существует решение граничной задачи (16). Следовательно, функция В*(£) = Ь(£)+ с* 1(£) удовлетворяет условиям теоремы 1, и терминальная задача имеет решение для любого начального и конечного состояния системы (15). В соответствии с определением системы, управляемой за данный интервал времени, заключаем, что система (15) с функцией ф(г) вида (19) управляема в за любой интервал [0, £*]. ►

4. Пример

Рассмотрим систему третьего порядка

2і = ^2 ^2 = / (лп)+ д (лпК

П = (г3 + — г|)/еЬ п,

где д(г,п) = 0 в К3. Функция ф(г) = г3+г|—г! является многочленом третьей степени. Слагаемые старшей степени имеют вид 2з + 23. Переменная 22 во все слагаемые, за исключением г]5, входит в нечетной степени. Следовательно,

= — оо.

условие (21) выполнено. Функция Я(п) = 1/сЬ п положительна и ограничена в К:

Уп Е К : 0 < Я(п) ^ 1.

Согласно теореме 2, эта система управляема в К3 за любой интервал времени

[0Л ].

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

Задача исследования управляемости нелинейной динамической системы сформулирована как задача исследования существования решения соответствующих терминальных задач. Для аффинной системы, эквивалентной в Ип регулярной системе квазиканонического вида, получено достаточное условие управляемости.

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

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

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

2005. — 520 с.

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

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

4. Фетисов Д.А. Исследование управляемости регулярных систем квазиканонического вида // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. -

2006. - N3. - С.12-30.

SCIENCE and EDUCATION

El № FS77 - 30569. №0421100025. ISSN 1994-0408

Affine System Controllability Condition 77-30569/236936

# 10, October 2011 DA. Fetisov

Bauman Moscow State Technical University

[email protected]

This note deals with a controllability condition for affine systems with scalar control on all space of states for any final interval of time. Research is based on system transformation to a quasicanonical form and the further analysis of terminal problem solution existence for the transformed system. It is shown that for system with the right part of a special form the terminal problem has the solution for any initial and final states of system and any interval of time. Thereby, it is proved that such system is controlled on all space of states for any final interval of time. A possible scope of the received results is the solution of technical systems control problems.

References

1. Krasnochshechenko V.I., Krishchenko A.P. Nelinejnye sistemy: geometricheskie metody analiza i sinteza. - M.: Izdatel’stvo MGTU im. N.Je. Baumana, 2005. 520 s.

2. Krishchenko A.P. Issledovanie upravljaemosti i mnozhestv dostizhimosti nelinejnyh sistem upravlenija // Avtomatika i telemehanika. 1984. N 6. S.30-36.

3. Zhevnin A.A., Krishchenko A.P. Upravljaemost’ nelinejnyh sistem i sintez algoritmov upravlenija//Dokl. AN SSSR. 1981. T.258. N 4. S.805-809.

4. Fetisov D.A. Issledovanie upravljaemosti reguljarnyh sistem kvazikanonicheskogo vida // Vestnik MGTU im. N.Je. Baumana. Estestvennye nauki. 2006. N 3. S.12-30.

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