Керування та стабілізація руху нескінченновимірних механічних систем з пружними елементами

Размещено на http://www.allbest.ru/

НАЦІОНАЛЬНА АКАДЕМІЯ НАУК УКРАЇНИ

ІНСТИТУТ ПРИКЛАДНОЇ МАТЕМАТИКИ І МЕХАНІКИ

УДК 531.36, 531.39, 517.977

01.02.01 - ТЕОРЕТИЧНА МЕХАНІКА

Автореферат

дисертації на здобуття наукового ступеня

доктора фізико-математичних наук

КЕРУВАННЯ ТА СТАБІЛІЗАЦІЯ РУХУ НЕСКІНЧЕННОВИМІРНИХ МЕХАНІЧНИХ СИСТЕМ З ПРУЖНИМИ ЕЛЕМЕНТАМИ

Зуєв Олександр Леонідович

Донецьк - 2008

Дисертацією є рукопис.

Робота виконана в Інституті прикладної математики і механіки НАН України.

Науковий консультант: доктор фізико-математичних наук, професор, член-кореспондент НАН України Ковальов Олександр Михайлович, Інститут прикладної математики і механіки НАН України, директор інституту.

Офіційні опоненти: доктор фізико-математичних наук, професор Новицький Віктор Володимирович, Інститут математики НАН України, завідувач відділу аналітичної механіки;

доктор фізико-математичних наук, старший науковий співробітник Ігнатьєв Олександр Олегович, Інститут прикладної математики і механіки НАН України, провідний науковий співробітник відділу прикладної механіки;

доктор фізико-математичних наук, професор Кононов Юрій Микитович, Донецький національний університет, професор кафедри прикладної механіки і комп'ютерних технологій. Захист відбудеться “ 25 ” червня 2008 р. о 15 годині на засіданні спеціалізованої вченої ради Д 11.193.01 в Інституті прикладної математики і механіки НАН України за адресою: 83114, м. Донецьк, вул. Р. Люксембург, 74.

З дисертацією можна ознайомитись у бібліотеці Інституту прикладної математики і механіки НАН України за адресою: 83114, м. Донецьк, вул. Р. Люксембург, 74.

Автореферат розісланий “ 23 ” травня 2008 р.

Вчений секретар спеціалізованої вченої ради Краснощок М.В.



ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ

Актуальність теми. Прогрес у створенні новітньої техніки викликає необхідність математичного моделювання руху складних керованих механічних систем з розподіленими параметрами. Актуальність цього наукового напрямку можна проілюструвати на прикладі дослідження руху космічних апаратів з деформівними елементами (антенами, панелями сонячних батарей, штангами, тросами) та роботів-маніпуляторів з пружними ланками. У роботах Л.В. Докучаєва, В.М. Рубановського, В.В. Румянцева, P. Likins та інших учених встановлено, що згадані еластичні елементи істотно впливають на динаміку в цілому, тому проблеми керування та стабілізації руху не можуть бути вирішені з потрібною точністю в рамках моделі абсолютно твердого тіла. Моделювання цих та інших об'єктів сучасної техніки призвело до розвитку теорії гібридних механічних систем, тобто систем, що складаються з абсолютно твердих та деформівних тіл. До найбільш розповсюджених моделей пружних елементів, що використовуються в теоретичних дослідженнях, належать балки Ейлера - Бернуллі та Тимошенка.

Задачі моделювання механічних систем із пружними елементами, а також суміжні питання стійкості та керування в скінченновимірних та нескінченновимірних просторах досліджувалися в роботах В.В. Белецького, І.О. Болграбської, В.І. Гуляєва, Ф.М. Діментберга, О.Є. Закржевського, О.О. Ілюхіна, Ю.М. Кононова, Д.В. Лебедєва, І.О. Луковського, А.І. Лур'є, М.К. Набіулліна, О.Я. Савченка, Ф.Л. Черноуська, В.С. Хорошилова, J. Baillieul, M. Balas, G. Leugering, Ц. Morgьl, H. Troger та інших авторів.

Одним з найбільш ефективних методів аналізу стійкості та синтезу керувань для моделей гібридних систем з розподіленими параметрами є прямий метод Ляпунова, який дозволяє також дослідити більш загальні властивості сімейства розв'язків (стійкість по відношенню до частини змінних, властивості граничних множин). Важливий внесок в розвиток прямого метода Ляпунова для нескінченновимірних систем зроблено дослідженнями В.І. Зубова, О.О. Ігнатьєва, А.А Мартинюка, В.М. Матросова, Т.К. Сіразетдінова, О.О. Шестакова, J.M. Ball, J.M. Coron, V. Lakshmikantham, J.P. LaSalle та ін.

Дисертаційна робота пов'язана також з розвитком сучасних методів теорії керування, що ґрунтуються на декомпозиції керованих систем, використанні канонічних форм та теорії плоских (flat) систем за термінологією М. Fliess, J. Lйvine, Ph. Martin, P. Rouchon. Ці методи набули суттєвого розвитку в роботах О.М. Ковальова, В.І. Коробова, В.Б. Ларіна, В.В. Новицького та інших вчених.

Оскільки математичні моделі гібридних систем описуються диференціальними рівняннями з частинними похідними та рівняннями у функціональних просторах, в роботі використовуються сучасні підходи математичної теорії керування розподіленими системами, що ґрунтуються на методах функціонального аналізу. Ці підходи пов'язані з дослідженнями А.О. Аграчова, А.Г. Бутковського, Ю.Л. Далецького, М.З. Згуровського, М.Д. Копачевського, М.Г. Крейна, С.Г. Крейна, В.С. Мельника, Г.М. Скляра, A. Balakrishnan, V. Barbu, R. Curtain, H. Fattotini, J.-L. Lions, W. Krabs та ін.

Слід відзначити, що у переважній більшості попередніх публікацій з проблем керування нескінченновимірними гібридними системами з пружними балками було розглянуто тільки моделі балки з вільним кінцем або точковою масою на кінці. У дисертаційній роботі вперше створено та досліджено моделі керованих механічних систем, що враховують коливання пружних ланок як балок Ейлера - Бернуллі та Тимошенка, а також рух приєднаних абсолютно твердих тіл. Актуальність цих досліджень підтверджується висновками наведеного в дисертації літературного огляду.

Зв'язок роботи з науковими програмами, планами, темами. Тематика дисертації пов'язана з планами наукових досліджень відділу технічної механіки Інституту прикладної математики і механіки НАН України на 2001-2008 роки. Дисертант приймав участь у бюджетних науково-дослідних роботах “Математичні методи дослідження задач стійкості і керування динамічних систем та їх застосування у динаміці систем твердих тіл” (номер держ. реєстрації 0101U001094, 2001 - 2005 рр.) та „Керування і стійкість гібридних систем та сучасні проблеми робототехніки” (номер держ. реєстрації 0106U000044, 2006 - 2008 рр.)

Окремі результати дисертації отримано в ході виконання автором додаткової відомчої теми НАН України „Стабілізація керованих систем і теорія інваріантів” (номер держ. реєстрації 0106U005990, 2006 р.) і наукової роботи „Математичне моделювання і керування гібридними механічними системами” за грантом Президента України для підтримки наукових досліджень молодих учених (номер держ. реєстрації 0107U008484, 2007 р.) Частину результатів дисертації відзначено премією Президента України для молодих учених 2006 року за роботу „Нелінійна стабілізація багатовимірних керованих систем” (указ Президента України від 15.12.2006 № 1083/2006).

Напрямок досліджень дисертаційної роботи було підтримано грантами Міжнародного центра теоретичної фізики ЮНЕСКО і МАГАТЕ ім. Абдуса Салама (Трієст, Італія, 2003 р.) і фонду Олександра фон Гумбольдта (Німеччина, 2004 р.) гібридний вимір просторовий моделювання

Мета і задачі дослідження. Мета дослідження полягає у створенні ефективних методів керування гібридними механічними системами, що описуються моделями з розподіленими параметрами. Для досягнення цієї мети необхідно розв'язати ряд важливих задач теоретичної механіки та теорії керування. Одна з цих задач пов'язана з адекватним математичним моделюванням просторового руху гібридних систем. У загальному випадку такі моделі описуються системами нелінійних звичайних диференціальних рівнянь та рівнянь з частинними похідними. Ще одна задача дослідження полягає у створенні алгоритмів керування та спостереження за неповною інформацією вимірів.

Об'єктом досліджень у роботі є моделі керованих механічних систем, що складаються з абсолютно твердих тіл та пружних балок.

Предметом досліджень є проблеми керування рухом, стабілізації та стійкості руху моделей механічних систем у нескінченновимірних та скінченновимірних фазових просторах.

Методи досліджень. Для побудови математичних моделей систем з пружними елементами застосовуються методи аналітичної механіки. При дослідженні проблем керування та стійкості використовується прямий метод Ляпунова, теорія неперервних навіпгруп операторів у банахових просторах, методи варіаційного числення, теорія ступеня відображення.

Наукова новизна одержаних результатів визначається наступними положеннями.

Для дослідження асимптотичних властивостей рухів механічних систем з розподіленими параметрами вперше введено поняття асимптотичної стійкості по відношенню до обмеженого функціонала для нелінійних динамічних систем з багатозначними розв'язками на метричному просторі. Доведено узагальнення теореми Барбашина - Красовського та принципу інваріантості. У випадку існування диференційованого функціонала типу Ляпунова виведено достатні умови часткової стійкості в банаховому просторі. Цей результат використано для синтезу функцій керування математичними моделями гібридних механічних систем.

Запропоновано нові достатні умови передкомпактності траєкторій класу нелінійних диференціальних рівнянь у банаховому просторі. Такі умови дозволяють досліджувати граничну множину за допомогою принципу інваріантості.

Створено математичну модель обертального руху супутника з довільним числом пружних елементів - антен у вигляді балок Ейлера - Бернуллі. Якщо всі балки мають однакові механічні параметри, то досліджувана система не є асимптотично стійкою, і за таких умов вирішено задачу стабілізації по відношенню до норми певного оператора проектування на нескінченновимірний підпростір фазового простору. У випадку балок з нерезонансними параметрами доведено наближену керованість системи і запропоновано функціонал керування, що забезпечує сильну асимптотичну стійкість стану рівноваги. Таке керування забезпечує стабілізацію орієнтації тіла-носія з одночасним гасінням коливань стержнів.

Отримано рівняння просторового руху пружного робота-маніпулятора з урахуванням телескопічного зсуву його ланок під впливом керуючих сил. В якості моделі деформації ланок розглянуто балку Ейлера - Бернуллі. Для маніпулятора з однією гнучкою ланкою знайдено керування зі зворотним зв'язком, що забезпечує сильну стабілізацію стану рівноваги в нескінченновимірному фазовому просторі.

Запропоновано модель гнучкого маніпулятора, у якого сусідні ланки зв'язані шарнірами. Такі шарніри реалізують пружні моменти, що спрямовані на сполучення центральних ліній ланок. Здобуто математичну модель такого маніпулятора у вигляді граничної задачі з частинними похідними і побудовано наближену систему за Гальоркіним. Запропоновано керування зі зворотним зв'язком, що вирішує задачу стабілізації стану рівноваги наближеної системи. Досліджено спостережуваність у лінійній постановці і проведено чисельне моделювання керованого руху нелінійної скінченновимірної системи.

Для скінченновимірної математичної моделі механічної системи з пружною балкою одержано перетворення у явному вигляді, що зводить досліджувану лінійну систему до стандартної канонічної форми (форми Бруновського). Цей результат є остаточним, оскільки доведено, що нелінійне збурювання розглянутої моделі не є плоским (flat). Вирішено задачу мінімізації квадрата норми керування при фіксованих початковому і кінцевому станах системи. При цьому використано зведення задачі оптимального керування до задачі Лагранжа. Запропонований підхід конструктивно визначає керування з найменшою „енергією”, що переводить систему з будь-якого початкового стану до наперед заданого при довільній кількості узагальнених координат N. Проведено оцінку розв'язків нескінченновимірної системи при використанні оптимального керування, що відповідає підсистемі зі скінченим числом узагальнених координат. Доведено, що запропоноване сімейство керувань дозволяє розв'язати задачу наближеної керованості нескінченновимірної системи. Встановлено, що умови наближеної керованості виконано для моделі коливань твердого тіла з пружною балкою Ейлера - Бернуллі.

Створено модель керованої механічної системи у вигляді балки Тимошенка з навантаженням, що описує рух гнучкого робота-маніпулятора. Для рівнянь руху з частинними похідними побудовано наближення за Гальоркіним, засноване на розв'язках відповідної задачі Штурма - Ліувілля. Отримано умови локальної керованості для гальоркінської апроксимації в околі стану рівноваги системи. Доведено стабілізовність стану рівноваги і запропоновано явну схему синтезу керування зі зворотним зв'язком. Отримано умови спостережуваності системи щодо вихідного сигналу у вигляді кута нахилу та компоненти тензора напруження в фіксованій точці балки. Запропоновано схему стабілізації положення рівноваги моделі за допомогою зворотного зв'язку за станом системи-спостерігача. Доведено, що такий підхід забезпечує асимптотичну стійкість незбуреного розв'язку гальоркінської системи при будь-якій кількості ступенів волі, що відповідають коливанням пружної балки. Наведено результат чисельного інтегрування рівнянь руху, що ілюструють ефективність знайденого керування.

Запропоновано новий підхід до розв'язання задачі стабілізації, який ґрунтується на зображенні нелінійної керованої системи за допомогою критичних функцій Гамільтона, що використовуються в принципі максимуму Понтрягіна для знаходження оптимальних за часом керувань. Доведено, що симетричні функції критичних гамільтоніанів (символи) визначають необхідні умови існування стабілізуючого керування зі зворотним зв'язком. Цей результат використано для знаходження умов стабілізовності нелінійної керованої системи з двовимірними однорідними векторними полями.

Практичне значення одержаних результатів. Одержані в дисертації результати мають в основному теоретичне значення. Вони можуть бути застосовані для подальшого розвитку теорії стійкості та керування рухом механічних систем з розподіленими параметрами. Результати розділів 3 та 4 можуть бути рекомендовані до застосування в інженерній практиці при проектуванні систем керування космічними апаратами з пружними елементами. Розроблені в розділах 5 та 6 математичні моделі та методи синтезу функцій керування можуть бути застосовані при створенні алгоритмічного забезпечення сучасних роботів-маніпуляторів з пружними ланками.

Особистий внесок здобувача. Усі результати, що представлені до захисту, отримано здобувачем особисто. Стаття [1] опублікована в співавторстві з О.М. Ковальовим і В.Ф. Щербаком. Автору дисертаційної роботи належить виведення рівнянь руху і доведення часткової стабілізовності нелінійної системи. Результати спільних досліджень з Б. Якубчиком (B. Jakubczyk) опубліковані в роботі [6]. Автору дисертації належить доведення теореми про умови стабілізовності й аналіз модельної системи. Стаття [16] опублікована в співавторстві з О. Заводні (O. Sawodny). Автору дисертації належить виведення рівнянь коливання балки Тимошенка з урахуванням подовжніх зсувів і доведення всіх теорем.

Апробація результатів дисертації. Окремі частини дисертаційної роботи детально обговорювалися на таких наукових семінарах:

Семінар із загальної механіки Інституту прикладної математики і механіки НАН України, 2001 - 2007 рр. Керівник семінару - чл.-кор. НАН України О.М. Ковальов.

Семінар Інституту механіки Технічного Університету Відня, Відень (Австрія), 2003 р. Керівник семінару - проф. Х. Трогер (H. Troger).

Семінар Секції математики Міжнародного центра теоретичної фізики ЮНЕСКО і МАГАТЕ ім. Абдуса Салама, Трієст (Італия), 2003 р. Керівник семінару - проф. Д.Т. Ле (D.T. Le).

Семінар Міжнародної школи вищих досліджень (SISSA), Трієст (Італія), 2003 р. Керівник семінару - проф. А.О. Аграчов.

Семінар Технічного університету Ільменау, Ільменау (Німеччина), 2004 р. Керівник семінару - проф. О. Заводні (O. Sawodny).

Семінар кафедри прикладної математики Католицького університету Лувайна, Лувайн-ла-Нев (Бельгія), 2005 р. Керівник семінару - проф. В. Блондель (V. Blondel).

Семінар відділів нелінійного аналізу та рівнянь з частинними похідними Інституту прикладної математики і механіки НАН України, 2007 р. Керівники семінару - проф. А.Є. Шишков і доктор фіз.-мат. наук О.А. Ковалевський.

У повному обсязі дисертація доповідалася й обговорювалася на семінарі „Математичні проблеми механіки та обчислювальна математика” в Інституті математики НАН України (керівники семінару - акад. НАН України І.О. Луковський та чл.-кор. НАН України В.Л.Макаров, м. Київ, 2008 р.) та семінарі із загальної механіки в Інституті прикладної математики і механіки НАН України (керівник семінару - чл.-кор. НАН України О.М. Ковальов, 2008 р.)

Основні результати дисертації доповідалися та обговорювалися на наступних конгресах, конференціях та наукових зборах:

Семінар з керування та стабілізації динамічних систем (Control and Stabilization of Dynamical Systems), Міжнародний математичний центр ім. С.Банаха, Варшава (Польща), 17.04 - 2.05.2001 р.;

Школа з математичної теорії керування, Міжнародний центр теоретичної фізики ЮНЕСКО і МАГАТЕ ім.Абдуса Салама, Трієст (Італія),3-28.09.2001р.;

Міжнародні семінари з керування рухом роботів (Robot Motion and Control “RoMoCo”), Познанський технологічний університет, Познань (Польща), 18-20.10.2001 і 8-10.11.2002 р.;

Всеросійський конкурс наукових праць молодих учених з механіки та процесів керування, присвячений 100-річчю з дня народження А.І. Лур'є, Санкт-Петербург (Росія), 13-14.12.2001 р. Доповідь відзначено дипломом I ступеня і медаллю переможця;

Міжнародні Конференції “Моделювання і дослідження стійкості динамічних систем” (DSMSI), Київський національний університет ім. Т. Шевченка, Київ, 27-30.05.2003 і 22-25.05.2007 р.;

15-й Всесвітній конгрес Міжнародної федерації автоматичного керування (15th IFAC World Congress), Барселона (Іспанія), 21-26.07.2002 р. Роботу відзначено грамотою IFAC як одну з трьох кращих статей;

Міжнародні Конференції “Стійкість, керування і динаміка твердого тіла” (ICSCD), Донецьк, 3-7.09.2002 і 1-6.09.2005 р.;

Школа з математичної теорії керування (School on Mathematical Control Theory), Міжнародний математичний центр ім. С. Банаха, Бендлево-Варшава (Польща), 2-20.09.2002 р.;

Семінар “Геометрія в нелінійному керуванні” (Geometry in Nonlinear Control), Міжнародний математичний центр ім. С.Банаха, Бендлево (Польща), 16-20.06.2003 р.;

Міжнародна конференція “Фізика і керування” (PhysCon 2003), С. Петербург (Росія), 20-22.08.2003 р.;

48-й Міжнародний науковий колоквіум (IWK 2003), Ільменау (Німеччина), 22-25.09.2003 р.;

Триместр динамічних і керованих систем, Міжнародна школа вищих досліджень (SISSA), Трієст (Італія), 8.09 - 7.12.2003 р.;

2-я Європейська молодіжна конференція “Теорія керування і стабілізація” (European Meeting on Control Theory and Stabilization), Турін (Італія), 3-5.12.2003 р.;

42-я Конференція з керування та прийняття рішень (42nd IEEE Conference on Decision and Control CDC'03), Мауї (США), 9-12.12.2003 р.;

Семінар з математичної теорії систем (Workshop “Mathematische Systemtheorie 2004”), Ельгерсбург (Німеччина), 16-18.02.2004 р.;

VI Міжнародна молодіжна науково-практична конференція “Людина і Космос”, Дніпропетровськ, 14-16.04.2004 р.;

Загальні збори Відділення математики НАН України, Інститут математики НАН України, Київ, 28.04.2004 р.;

Семінар “Геометрія розподілів і систем керування” (Geometry of Distributions and Control Systems), Міжнародний математичний центр ім. С. Банаха, Варшава (Польща), 10-22.05.2004 р.;

Міжнародні конференції “Класичні проблеми динаміки твердого тіла”, Донецьк, 23-25.06.2004 і 9-13.06.2007 р.;

IV Європейський математичний конгрес (Fourth European Congress of Mathematics “4ecm”), Стокгольм (Швеція), 27.06-2.07.2004 р.;

Літня школа і конференція по динамічних системах (Summer School and Conference on Dynamical Systems), Міжнародний центр теоретичної фізики ЮНЕСКО і МАГАТЕ ім. Абдуса Салама, Трієст (Італія), 19.07-6.08.2004 р.;

Семінар ІФАК з узагальнених рішень у задачах керування (IFAC Workshop on Generalized Solutions in Control Problems “GSCP-2004”), Переславль-Залеський (Росія), 21-29.09.2004 р.;

16-й Всесвітній конгрес Міжнародної федерації автоматичного керування (16th IFAC World Congress), Прага (Чеська республіка), 4-7.07.2005 р.;

Засідання Президії НАН України, Київ, 28.12.2005 р.;

Третя міжнародна конференція з проблем управління, Інститут проблем управління ім. В.О. Трапезникова РАН, Москва (Росія), 20-22.06.2006 р.;

VIII Кримська Міжнародна математична школа “Метод функцій Ляпунова і його застосування” (МФЛ-2006), Алушта, 10-17.09.2006 р.;

45-я Конференція з керування та прийняття рішень (45th IEEE Conference on Decision and Control CDC'06), Сан Диєго (США), 13-15.12.2006 р.;

Міжнародний конгрес “Нелінійний динамічний аналіз”, присвячений 150-річчю акад. О.М. Ляпунова, Санкт-Петербург (Росія), 4-8.06.2007 р.;

XIV Міжнародна конференція з автоматичного управління “Автоматика-2007”, Севастополь, 10-14.09.2007 р.;

Міжнародна конференція з нелінійних диференціальних рівняннях з частинними похідними (Nonlinear partial differential equations “NPDE 2007”, Ялта, 10-15.09.2007 р.;

X Міжнародна науково-технічна конференція “Моделювання, ідентифікація, синтез систем керування”, п. Канака, АР Крим, 16-23.09.2007 р.;

Міжнародна конференція з керування в квантових системах “Control, Constraints and Quanta”, Міжнародний математичний центр ім. С. Банаха, Бендлево (Польща), 10-16.10.2007 р.

Публікації. Основні результати дисертації опубліковано в статтях [1-21] у наукових фахових журналах та збірниках наукових праць. До опублікованих праць, що відображають наукові результати дисертації, також належать роботи [22-38].

Структура та обсяг дисертації. Дисертаційна робота викладена на 288 сторінках і містить вступ, основну частину з семи розділів, висновки, список літератури. Дисертація також містить 11 малюнків та одну таблицю. Список використаної літератури складається з 200 джерел і розташований на 23 сторінках.

ОСНОВНИЙ ЗМІСТ

У вступі обґрунтовується актуальність теми, формулюються мета та задачі дослідження, наукова новизна, практичне значення, а також апробація результатів роботи.

У першому розділі подається огляд робіт, які мають безпосереднє відношення до теми дисертації, а також викладено загальну методику дисертаційних досліджень.

Підрозділ 1.1 містить огляд робіт у галузі математичного моделювання та дослідження стійкості руху механічних систем з пружними елементами. У підрозділі 1.2 перелічено результати відомих публікацій з проблем керування та стабілізації моделей пружних систем. У підрозділі 1.3 викладено загальні результати щодо зображення розв'язків диференціальних рівнянь за допомогою неперервних напівгруп операторів у банахових просторах. У підрозділі 1.4 викладено основні положення методу модального керування механічними системами з розподіленими параметрами.

У другому розділі введено клас узагальнених динамічних систем з багатозначним потоком розв'язків та досліджено умови часткової асимптотичної стійкості цих систем у нескінченновимірних просторах [9, 14, 22, 25, 27, 34]. Нехай X - метричний простір, у якому задано функцію відстані . Для дослідження динамічних процесів в X будемо розглядати функції, що визначені при всіх моментах часу. Позначимо за множину всіх функцій, позначимо далі за множину всіх підмножин. Таким чином, елементами множини є або пуста множина, або одна функція, або декілька таких функцій.

Означення 2.1. [9] Будемо називати відображення багатозначною D-системою в X, якщо виконані такі умови:

A1. для всіх ;

A2. кожен елемент задовольняє умові;

A3. для кожних виконано умови, де , при , та при ;

A4. для кожних існує таке, що з умов випливає

A5. для будь-яких, та послідовності існує таке, що

Елементи множини будемо називати розв'язками задачі Коші для системи з початковою умовою.

У наведеному означенні умови A1 та A2 постулюють існування розв'язків, а з умови A3 випливає, що зсув траєкторії на додатний час також є траєкторією (групова властивість). Умови A4 та A5 забезпечують регулярність розв'язків без припущення про їх єдиність. Будемо називати елемент особливою точкою системи , якщо функція належить множині. Для дослідження асимптотичної поведінки розв'язків при в дисертаційній роботі доведено узагальнення принципу інваріантності ЛаСалля LaSalle J.P. Stability theory and invariance principles / J.P. LaSalle // Dynamical systems. Vol. 1: (L. Cesari, J.K. Hale, and J.P. LaSalle eds.) . - 1976. - New York: Academic Press. - P. 211- 222. на випадок багатозначних D-систем.

Означення 2.2. Нехай - багатозначна D-система в X. Будемо називати особливу точку x0 системи асимптотично стійкою по відношенню до функціонала, якщо

Для довільного існує таке, що з умови випливає для всіх,.

Існує таке, що з випливає для всіх.

У порівнянні з відомим підходом Мовчан А.А. Устойчивость процессов по двум метрикам / А.А. Мовчан // Прикладная математика и механика. - 1960. - Т. 24, Вып. 6. - С. 988-1001., в означенні 2.2 не передбачається, що функціонал y(x) відповідає деякій метриці. Відсутність умови позитивної визначеності функціонала дозволяє розглядати це означення як узагальнення поняття асимптотичної стійкості за частиною змінних у сенсі О.М. Ляпунова та В.В. Румянцева.

Для формулювання умов часткової стійкості введемо клас K функцій Хана, який складається з усіх строго зростаючих функцій, що задовольняють умову.

Теорема 2.1. [9] Нехай - багатозначна D-система в метричному просторі X, і нехай x0 - її особлива точка. Припустимо, що існують неперервні функціонали, які задовольняють наступні умови:

C1. існують функції, для яких при всіх;

C2. для будь-яких, функція не зростає на;

C3. існує таке, що з умов, випливає предкомпактність множини;

Тоді особлива точка x0 асимптотично стійка по відношенню до y.

Ця теорема дозволяє встановити часткову асимптотичну стійкість без припущень про єдиність розв'язків та диференційовність функціонала Ляпунова V. Для застосування цього результату розглянемо окремо випадок D-системи, що визначається диференціальним рівнянням у банаховому просторі.

Нехай E - банахів простір з нормою, і нехай X - замкнена підмножина простору E, що містить кулю. Тоді X - метричний простір з функцією відстані. Припустимо, що задано замкнений нелінійний оператор з усюди щільною в X областю визначення. Для початкової умови розглянемо абстрактну задачу Коші:

Надалі будемо припускати, що F є інфінітезимальним генератором неперервної напівгрупи нелінійних операторів в X. Тоді задача Коші (1) коректна, та всі її узагальнені розв'язки можна зобразити у вигляді:

Таким чином, кожному відповідає одноелементна множина, і таке відображення є багатозначною D-системою в X у сенсі означення 2.1. Нехай - диференційовний за Фреше функціонал, тоді функція часу є диференційовною на кожному класичному розв'язку задачі (1) при фіксованому x0, і похідну V в силу (1) можна записати у вигляді:

де - значення лінійного функціонала в точці. Припустимо, що F(0)=0, тоді відповідна D-система має особливу точку x=0. Будемо казати, що особлива точка x=0 диференціального рівняння (1) є асимптотично стійкою по відношенню до функціонала, якщо для відповідної D-системи точка x=0 є асимптотично стійкою по відношенню до y згідно з означенням 2.2.

Теорема 2.2. [9] Нехай F - інфінітезимальний генератор неперервної напівгрупи нелінійних операторів в X, F(0)=0, та нехай - неперервний функціонал. Припустимо, що існує диференційовний за Фреше функціонал, що задовольняє наступні умови:

для деяких;

для всіх;

існує таке, що для кожного множина є предкомпактною в X;

множина є інваріантною для (1), тобто з, випливає для всіх;

множина не містить цілих напівтраєкторій системи (1) для.

Тоді особлива точка x=0 диференціального рівняння (1) є асимптотично стійкою по відношенню до y.

Цей результат розповсюджує теорему Є.О. Барбашина - М.М. Красовського та теореми 19.1, 19.2 з монографії В.В. Румянцева та О.С. Озіранера Румянцев В.В. Устойчивость и стабилизация движения по отношению к части переменных / В.В. Румянцев, А.С. Озиранер. - М.: Наука, 1987. - 256 с. на задачу часткової асимптотичної стійкості у нескінченновимірних просторах. В окремому випадку теорема 2.2 описує достатні умови сильної асимптотичної стійкості тривіального розв'язку нелінійного диференціального рівняння (1).

Для використання теореми 2.2 необхідно перевірити умову передкомпактності (відносної компактності) траєкторій нелінійного диференціального рівняння в банаховому просторі. У підрозділі 2.3 запропоновано достатні умови передкомпактності для траєкторій задачі Коші наступного вигляду:

де - лінійний оператор, - неперервна функція часу, - неперервне відображення.

Теорема 2.3. [14] Нехай E - банахів простір з базисом, A - інфінітезимальний генератор рівномірно обмеженої С0-напівгрупи лінійних операторів в E, при всіх, K - компакт. Припустимо також, що всі множини передкомпактні при.

Тоді кожний узагальнений розв'язок задачі (2) міститься у деякій компактній підмножині простору E.

Із використанням цього результату досліджено передкомпактність траєкторій наступної задачі Коші:

де та - локально-ліпшіцеві відображення.

Теорема 2.4. [14] Нехай E - банахів простір з базисом, A - інфінітезимальний генератор рівномірно обмеженої С0-напівгрупи лінійних операторів в E, всі множини передкомпактні при, - компактний оператор. Припустимо, що існує диференційовний функціонал, що задовольняє умови:

обмежені при всіх;

при кожному;

похідна в силу рівняння (3) задовольняє оцінці

Тоді для кожного задача Коші (3) має єдиний розв'язок на, при цьому - передкомпактна множина в просторі E.

Ці результати використано далі при розв'язанні задач сильної стабілізації та часткової стабілізації моделей механічних систем з пружними балками.

У третьому розділі досліджено проблеми керованості та стабілізації механічної системи, що складається з твердого тіла з k приєднаними балками Ейлера - Бернуллі [1, 5, 8, 23, 24, 28, 29]. Кількість балок може бути довільною. Розглянута система обертається в площині навколо нерухомої точки O під дією керуючого моменту M, що прикладений до твердого тіла (мал. 1.) Позначимо за li довжину балки з номером i, wi(x,t) - поперечний зсув точки i-ї балки з лагранжевою координатою в момент часу t, (t) - кут між віссю O1 та нерухомим напрямком. Вважається, що кожна балка жорстко защемлена одним зі своїх кінців у твердому тілі на відстані d від точки O. Розглянута система моделює обертальний рух супутника у вигляді твердого тіла-носія з пружними антенами. Для виводу рівнянь руху цієї механічної системи зобразимо поперечний зсув wi(x,t) сумою ряду Фур'є по певній системі базисних функцій:та будемо вважати коефіцієнти цього розвинення узагальненими координатами, що відповідають пружним коливанням балки.

Функції у розвиненні (4) обрано власними функціями такої задачі Штурма - Ліувілля:

Відомо, що при кожному фіксованому ця задача має зліченну систему власних значень, а відповідні власні функції утворюють ортонормований базис в. Введемо змінні

де, величини та позначають, відповідно, модуль Юнга, момент інерції поперечного перетину та масу на одиницю довжини i-ї балки. Будемо вважати всі ці величини додатними константами.

Рівняння руху розглянутої механічної системи записано в формі рівнянь Лагранжа другого роду наступним чином:

де - параметр керування. У підрозділі 3.1 наведено перетворення [1], що зв'язує момент M з керуючим параметром v. Система (5) розглядається у гільбертовому просторі l2, елементами якого є нескінченні вектори

У підрозділі 3.2 одержано допоміжну лему 3.1, за допомогою якої доведено основний результат (теорему 3.2) про наближену керованість розглянутої моделі.

Теорема 3.2. [8] Припустимо, що

для всіх. Тоді система лінійного наближення для (5) в околі нуля є наближено керованою.

Для розв'язання задачі стабілізації нелінійної системи (5) у підрозділі 3.3 дисертації запропоновано такий функціонал керування зі зворотним зв'язком:

де J0 - момент інерції твердого тіла-носія відносно осі обертання, c0 та h - додатні константи.

Теорема 3.3. [8] Нехай виконано припущення (6) і нехай c0, h - додатні константи. Тоді керування зі зворотним зв'язком v=v(x) у вигляді (7) забезпечує сильну асимптотичну стійкість тривіального розв'язку нелінійної системи (5).

У підрозділі 3.4 розглянуто випадок системи з однаковими механічними параметрами всіх балок: li=l, i=, ci=c для i=1, 2, …, k. За такими припущеннями умова (6) не виконується при . Показано, що система лінійного наближення для (5) не є сильно стабілізовною в цьому випадку. Для розв'язання задачі часткової стабілізації розглянемо обмежений лінійний оператор [5]:

Якщо k=1, то є одиничним оператором в l2. У загальному випадку вектор описує стан „усередненої” механічної системи, для якої узагальнені координати з індексом n відповідають усередненим значенням модальних координат того ж самого індексу n відносно всіх k балок початкової системи.

Теорема 3.4. [5] Нехай c0, h - довільні додатні константи. Тоді керування зі зворотним зв'язком v=v(x) у вигляді (7) забезпечує асимптотичну стійкість розв'язку x=0 нелінійної системи (5) по відношенню до обмеженого функціонала в l2. При цьому розв'язок x=0 замкненої системи (5), (7) є неасимптотично стійким за Ляпуновим.

З механічної точки зору стабілізація розв'язку x=0 по відношенню до функціонала призводить до стабілізації орієнтації твердого тіла-носія з одночасним гасінням усереднених координат та швидкостей коливань пружних балок.

У підрозділі 3.5 розглянуто підсистему рівнянь руху, що містить скінчену кількість пружних координат для випадку двох балок [1]. Наведено результат чисельного інтегрування рівнянь руху, що ілюструє ефективність запропонованого функціонала керування для задачі стабілізації.

У четвертому розділі досліджено задачі програмного керування системою (5) та її наближеннями [12, 13, 15, 17, 18, 35 - 37] із використанням стандартної канонічної форми Бруновського Brunovskэ P. A classification of linear controllable systems / P. Brunovskэ // Kybernetica. - 1970. - Vol. 6. - P. 173-188.. Спочатку розглянуто підсистему лінійного наближення для системи (5), що відповідає випадку однієї балки (k=1) та узагальненим координатам з індексами не вище за N:

де 0=, 0=, j та j - координата та швидкість, що відповідають j-ї моді коливань балки, j=1, 2, …, N. Коефіцієнти систем (5) і (8) зв'язані співвідношеннями

Теорема 4.1. [12] Припустимо, що та всі різні для j=1, 2, …, N. Тоді існує лінійне перетворення що приводить систему (8) до стандартної канонічної форми Бруновського:

У підрозділі 4.1 наведено явний вигляд компонент перетворення (10) для довільної кількості пружних координат N. Застосування цього результату дозволяє записати розв'язки наступних двоточкових задач керування.

Задача 4.1. Для заданих знайти функцію керування, для якої система (8) має розв'язок, що задовольняє граничні умови.

Задача 4.2. Для даних знайти функцію керування, яка мінімізує значення функціонала в класі всіх керувань, що розв'язують задачу 4.1.

Сформулюємо основні результати щодо застосовності теореми 4.1 для розв'язання цих задач.

Теорема 4.2. [12] Нехай виконано умови теореми 4.1. Тоді для будь-яких значень існує керування, що розв'язує задачу 4.1. Вказане керування задається формулою

де - довільна функція, що задовольняє певним граничним умовам при та (явний вигляд граничних умов та коефіцієнтів наведено в підроздділі 4.1).

У підрозділі 4.2 встановлено, що умови теореми 4.1 є остаточними в тому сенсі, що нелінійна скінченновимірна апроксимація системи (5) не може бути зведена до канонічної форми Бруновського за будь-якою кількістю узагальнених координат. А саме, доведено такий результат.

Теорема 4.3. [13] Розглянемо нелінійну систему і припустимо, що, для всіх. Тоді не існує дифеоморфізму, який зводив би систему (13) до канонічної форми Бруновського (11).

З цієї теореми випливає, що нелінійна система (13) не є плоскою (flat) за термінологією М. Fliess, J. Lйvine, Ph. Martin, P. Rouchon Fliess M. Flatness and defect of nonlinear systems: introductory theory and examples / M. Fliess, J. Lйvine, Ph. Martin, P. Rouchon // Internat. Journal of Control. - 1995. - Vol. 61(6). - P. 1327-1361.. Теорему 4.2 застосовано для розв'язання задачі оптимального керування.

Теорема 4.4. [15] Нехай, та всі різні для. Тоді для будь-яких, існує єдине оптимальне керування, що розв'язує задачу 4.2 для системи (8). Вказане оптимальне керування є гладкою функцією, що визначається формулою де коефіцієнти задовольняють певній системі лінійних алгебраїчних рівнянь (систему наведено в підрозділі 4.3).

Сім'я оптимальних керувань з теореми 4.3 може бути використана при наближеному розв'язанні задачі керування нескінченновимірною системою. Для формулювання цього результату запишемо лінеаризовану (в околі нуля) систему (5) в операторному вигляді:

де - фазовий вектор, - керування, лінійний оператор задано блочно-діагональною матрицею

Позначимо

. (15)

Теорема 4.5. [17] Нехай, при всіх, та

Тоді існує, при якому для кожних та є таке число, що нерівність виконана при всіх. Керування, визначено формулою (12).

Для обґрунтування можливості практичного застосування цього результату в підрозділі 4.5 перевірено умови збіжності ряду (16) для рівняння (14), якщо коефіцієнти відповідають формулам (9) для балки Ейлера - Бернуллі.

Висновок з теореми 4.5. [18] Нехай коефіцієнти системи (14) визначаються формулами (9). Тоді для кожних із щільної підмножини та будь-якого існує керування у формі (12), при якому відповідний розв'язок системи (14) задовольняє оцінку

У п'ятому розділі запропоновано математичну модель просторового руху керованого робота-маніпулятора, що складається з n балок Ейлера - Бернуллі та трьох твердих тіл (платформи, маточини, вантажу) [2, 3, 19 - 21, 26, 38]. Ця модель враховує розподіл мас твердих тіл і телескопічні зсуви ланок. Використовуючи варіаційний принцип Гамільтона - Остроградського, отримано рівняння руху маніпулятора у вигляді системи нелінійних звичайних диференціальних рівнянь та рівнянь з частинними похідними (підрозділи 5.1 - 5.2). У загальному вигляді ці рівняння опубліковано в статті [3]. Встановлено умови існування окремих розв'язків цієї системи, що відповідають стану рівноваги маніпулятора (підрозділ 5.3).

У підрозділах 5.4 - 5.6 досліджено систему лінійного наближення в околі стану рівноваги для випадку маніпулятора з одною ланкою у вигляді балки довжини l. Таким чином, у момент часу компоненти відносного зсуву точки центральної лінії балки з просторовою координатою визначаються функціями та у відповідній рухомій декартовій системі координат. Зазначена система координат відповідає послідовним обертанням фіксованої системи координат на кут у горизонтальній площині та у вертикальній площині. Система перетворює такі обертання під дією керуючих моментів та, що прикладені до маточини в нижній точці балки. Будемо припускати, що тверде тіло (вантаж) жорстко приєднано до верхньої частини балки у власному центрі мас. Для кожного значення існує керуючий момент, що реалізує стан рівноваги, розглянутої механічної системи. Система лінеаризованих рівнянь руху в околі такого стану рівноваги має наступний вигляд [19]:

Процедуру для обчислення форми рівноваги та моменту наведено в підрозділі 5.3. Параметри системи (17)-(21) мають таку фізичну інтерпретацію: - маса на одиницю довжини балки; ; - модуль Юнга; та - моменти інерції поперечного перетину балки відносно відповідних осей та; - маса твердого тіла (вантажу); - головні центральні моменти інерції твердого тіла (вантажу); - маса маточини;- моменти інерції маточини; - радіус платформи, відносно якої обертається маточина; - момент інерції платформи; - відстань між початком рухомої системи координат та центром мас маточини.

Для запису системи рівнянь (17)-(21) в компактній формі розглянемо гільбертів простір

Введемо лінійний оператор та елемент наступним чином:

Передбачається, що та - функції класу; та- константи.

Нехай є класичним розв'язком задачі (17)-(21) з керуванням для.

Тоді та для всіх. Розглянемо пару, яка відповідає позначенням для з, в формулі (22). Аналогічно, нехай - пара, що відповідає випадку, у визначенні. Таким чином, крайову задачу (17) - (21) зведено до наступної системи диференціальних рівнянь:

де - фазовий вектор, - вектор керування. Надалі будемо вважати цю систему абстрактним формулюванням задачі (17)-(21) з та.

Оскільки система (23), (24) розпадається на дві незалежні підсистеми, то проблему стабілізації можна розв'язувати окремо по відношенню до компонент та. Сформулюємо основні результати у цьому напрямку.

Теорема 5.1. [19] Розглянемо задачу Коші при:

- довільна константа, , - достатньо великі константи.

Тоді задача Коші (25)-(26) з керуванням коректна при, а розв'язок є стійким за Ляпуновим, а саме, для кожного існує таке, що будь-який розв'язок задачі (25)-(27) задовольняє умову

Припустимо далі, що , .

Теорема 5.2. [21] Нехай, - достатньо великі константи,. Тоді кожна напівтраєкторія рівняння (25) з керуванням у вигляді зворотного зв'язку (27) міститься у деякій компактній підмножині простору.

Теорема 5.3. [20] Нехай, - достатньо великі константи. Припустимо також, що (тобто рівняння (25) описує коливання у вертикальній площині). Тоді розв'язок рівняння (25) з керуванням у вигляді зворотного зв'язку (27) є асимптотично стійким за Ляпуновим.

У підрозділі 5.7 розглянуто математичну модель маніпулятора з гнучкими ланками, що з'єднані пружними шарнірами [2]. Для цієї моделі отримано керування, що забезпечує асимптотичну стійкість стану рівноваги та наведено результати чисельного моделювання руху. Доведено, що розглянута система є спостережуваною.

У шостому розділі запропоновано та досліджено модель керованого робота-маніпулятора, що складається з твердого тіла (маточини), пружної балки довжини l, та твердого тіла (вантажу) [4, 7, 10, 11, 16, 30, 33]. Розглянута механічна система обертається у вертикальній площині відносно нерухомої точки O під дією керуючого моменту M, що прикладений до тіла (мал. 2).

Орієнтація тіла в момент часу t визначається кутом між нерухомою горизонтальною віссю OX та рухомою віссю Ox. Деформація пружної балки у рухомій системі координат, що пов'язана з тілом , визначається функціями та, згідно з моделлю С.П. Тимошенка. Користуючись варіаційним принципом Гамільтона - Остроградського, в підрозділі 6.1 отримано таку систему інтегро-диференціальних рівнянь руху [16]:

де- модуль Юнга, - момент інерції перетину балки, - маса на одиницю довжини балки, та - маса та центральний момент інерції твердого тіла (вантажу), - момент інерції твердого тіла (маточини), - прискорення вільного падіння. Коефіцієнт залежить від модуля пружності відносно зсуву (), площі перетину балки (), та константи, що залежить від геометрії перетину балки. Передбачається, що - додатні диференційовані функції, що залежать від просторової координати x.

символ “” позначає члени порядку мализни вище першого відносно змінних , , та їх похідних. Для кожного фазового вектору формула (31) визначає взаємно-однозначне співвідношення між та.

У підрозділі 6.3 вивчено властивості власних значень та функцій задачі Штурма - Ліувілля, що виникає при розділенні змінних у лінеаризованій системі збуреного руху. Розглянемо розв'язки системи (30) спеціального вигляду:

Підстановка цих співвідношень у (30) призводить до диференціального рівняння та наступної задачі Штурма - Ліувілля [16]:

де - скалярний параметр. У підрозділі 6.3 досліджено питання розподілу власних значень цієї задачі [4, 11].

Для побудови наближених рівнянь руху зафіксуємо ціле число і розглянемо мінімальних власних значень задачі Штурма - Ліувілля (32) та відповідні власні функції для. У наближених рівняннях руху функції відносних деформацій в системі (30) замінюються скінченими сумами

де являє собою узагальнену координату, що відповідає моді коливань з індексом. Підставляючи ці скінчені суми в варіаційну форму граничної задачі (30) та користуючись схемою методу Гальоркіна, в підрозділі 6.4 отримано таку систему звичайних диференціальних рівнянь відносно [16]:

вирази для коефіцієнтів матриць наведено в тексті дисертації. Нелінійний член задовольняє оцінці

навколо стану рівноваги , .

Система звичайних диференціальних рівнянь з керуванням (33) являє собою скінченновимірну апроксимацію крайової задачі (30) з узагальненими координатами порядку не вище. У підрозділі 6.5 одержано умови локальної керованості та стабілізовності цієї системи [4].

Теорема 6.1. Система (33) є локально керованою в околі нуля, якщо всі різні та для всіх j=1, 2, …, N.

Теорема 6.2. Припустимо що всі власні значення задачі (32) некратні, а також, для всіх. Тоді існує керування зі зворотним зв'язком, що забезпечує асимптотичну стійкість тривіального розв'язку системи (33). Вказане керування задано формулами

де - довільні додатні константи.

Для практичної реалізації стабілізуючого керування з теореми 6.2 необхідно мати можливість вимірювати значення фазового вектору z(t) системи (33) в будь-який момент часу. Для існуючих маніпуляторів з гнучкими ланками немає можливості безпосередніх вимірів функцій та у реальному часі при всіх x. Замість цього, існує інформація про виміри датчиків напружень, що розташовані у фіксованій точці. Використовуючи ці виміри, можна вважати, що наявна вихідна інформація про стан системи обмежується такими вихідними функціями:

У підрозділі 6.6 досліджено умови спостережуваності та синтезу динамічного спостерігача відносно функцій (35). Отримані в дисертації результати для загального випадку суттєво розвивають напрямок попередніх досліджень Luo Z.-H. Further Theoretical Results on Direct Strain Feedback Control of Flexible Robot Arms / Z.H. Luo, B.-Z. Guo // IEEE Trans. on Autom. Control. - 1995. - Vol. 40, No. 4. - P. 747-751., у яких було розглянуто лише випадок для балки Ейлера - Бернуллі.

Теорема 6.3. [7] Система (33) є локально спостережуваною (в околі точки) відносно виходу (35), якщо виконано нерівність:

Зокрема, умова (36) еквівалентна нерівності при, або нерівності

при .

При виконанні умов спостережуваності одержано результат про стабілізацію стану рівноваги зі спостерігачем типу Луенбергера.

Теорема 6.4. [10] Нехай для системи (33), (35) виконано умову спостережуваності (36), всі додатні та різні, для всіх. Тоді розв'язок розширеної системи (33), (35), та є асимптотично стійким при використанні керування зі зворотним зв'язком, де коефіцієнти K задані формулою (34),

де - довільні додатні константи.

У підрозділі 6.8 також наведено результат комп'ютерного обчислення розв'язків системи (33) при використанні запропонованого керування зі зворотним зв'язком для випадку N=2 [10].

У сьомому розділі розглянуто задачу стабілізації для системи нелінійних диференціальний рівнянь наступного вигляду [6, 31, 32]:

де x - фазовий вектор, u - керування. Будемо вважати, що f - гладка функція, X - відкрита множина, , та при деякому . Введемо гамільтоніан системи (37) формулою, що описує швидкість системи вздовж напряму p в залежності від керування u. Припустимо, що для загальних фіксованих p, x функція має дві критичних точки та. Тоді для системи (37) визначимо критичні гамільтоніани, та символи

Такі символи були введені в роботах B. Jakubczyk Jakubczyk B. Critical Hamiltonians and Feedback Invariants / B. Jakubczyk // Geometry of Feedback and Optimal Control: (B.Jakubczyk, W.Respondek eds.)- New York: Marcel Dekker, 1998.- P. 219-256. для опису інваріантів нелінійної системи відносно перетворень зі зворотним зв'язком. У підрозділах 7.1 - 7.2 символи використано для зображення умов стабілізовності системи (37). Будемо казати, що система (37) стабілізовна, якщо існує керування зі зворотним зв'язком, яке забезпечує асимптотичну стійкість розв'язку x=0 системи. Поставимо у відповідність елементу множину

Позначимо, відповідно, за та відкриту кулю та сферу радіуса з центром в точці x=.

Теорема 7.1. [6] Припустимо, що система (37) має два символи та при всіх . Якщо система (37) стабілізовна, то для кожного достатньо малого існує гладка функція , що визначена при і задовольняє такі умови:

(C2) для будь-якої замкненої регулярної кривої виконано

(C3) має таке гладке продовження на, що

(C4) вказане породжує позитивно - визначену функцію V(x) у ,

З іншого боку, якщо система (37) афінна за керуванням, U - опукла множина, існує функція, що задовольняє умови (С3) і (С4) у деякому околі нуля B, та при всіх, то система (37) стабілізовна. При цьому звуження на задовольняє умовам (С1) та (С2) при кожному.

В умові (С1) позначає ступінь відображення p(x) на -сфері.

Теорему 7.1 використано в підрозділі 7.3 для знаходження умов стабілізовності керованої системи, що визначається двовимірними однорідними векторними полями на комплексній площині:

де - фазовий вектор (), u - керування, та - ненульові комплексні константи, s та q - натуральні числа. Позначимо,.

Теорема 7.2. [6] Система (38) стабілізовна при виконанні будь-якої з умов (S1)-(S5):

Система (38) нестабілізовна, якщо виконано будь-яку з умов (N1)-(N3):



ВИСНОВКИ

У дисертаційній роботі розв'язано проблему стабілізації руху моделей керованих механічних систем з урахуванням нескінченного спектра пружних коливань. Розвинуті в роботі методи дозволили отримати функції керування в явному вигляді для задач часткової стабілізації, сильної стабілізації, наближеної керованості. Одержано такі нові наукові результати.

Вперше отримано достатні умови часткової асимптотичної стійкості динамічної системи з багатозначними розв'язками на метричному просторі. Для динамічної системи, що визначається нелінійним автономним диференціальним рівнянням у банаховому просторі, доведено узагальнення теореми Барбашина - Красовського про асимптотичну стійкість по відношенню до неперервного функціонала.

Прямий метод Ляпунова вперше використано для зображення умов відносної компактності напівтраєкторій нелінійної системи в банаховому просторі. Отримано нові достатні умови відносної компактності напівтраєкторій для диференціального рівняння з нелінійною та немонотонною правою частиною. Цей результат застосовано при синтезі функціоналів керування зі зворотним зв'язком для рівнянь руху механічних систем з пружними елементами.

Досліджено нескінчену систему звичайних диференціальних рівнянь, що описують рух механічної системи у вигляді твердого тіла з довільним числом пружних балок Ейлера - Бернуллі. Така система моделює плоский обертальний рух супутника з пружними антенами. Якщо всі балки мають однакові механічні параметри, то стан рівноваги досліджуваної системи не є асимптотично стійким. За таких умов розв'язано задачу часткової стабілізації, тобто стабілізації тіла-носія з одночасним гасінням “усереднених” модальних координат, що відповідають коливанням стержнів. Для балок з нерезонансними параметрами доведено наближену керованість системи в гільбертовому просторі та запропоновано функціонал керування, що забезпечує сильну асимптотичну стійкість стану рівноваги. Наведено результати чисельного інтегрування рівнянь руху при застосуванні керування, що відповідає першим п'яти модам пружних коливань механічної системи з двома балками. Ці результати підтверджують придатність одержаного керування для задачі стабілізації навіть за умов великих початкових збурень кута орієнтації твердого тіла.