Конструктивные методы анализа множеств управляемости и достижимости динамических систем тема автореферата и диссертации по математике, 01.01.02 ВАК РФ

Семенов, Юрий Матвеевич АВТОР
доктора физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Чебоксары МЕСТО ЗАЩИТЫ
2010 ГОД ЗАЩИТЫ
   
01.01.02 КОД ВАК РФ
Диссертация по математике на тему «Конструктивные методы анализа множеств управляемости и достижимости динамических систем»
 
Автореферат диссертации на тему "Конструктивные методы анализа множеств управляемости и достижимости динамических систем"

004609379

На правах рукописи УДК 519.6

Семенов Юрий Матвеевич

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

01.01.02. — Дифференциальные уравнения, динамические системы и оптимальное управление

АВТОРЕФЕРАТ

диссертации на соискание ученой степени доктора физико-математических наук

з О СЕН 2010

Чебоксары - 2010

004609379

Работа выполнена в Федеральном государственном образовательном учреждении «Чувашский государственный университет имени И. Н. Ульянова»

Научный консультант:

доктор технических наук,

академик РАН, профессор Коровин Сергей Константинович.

Официальные оппоненты:

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

Васильев Фёдор Павлович, МГУ ВМК

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

Афанасьев Александр Петрович, ИСА РАН

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

Елкин Владимир Иванович, ВЦ РАН

Ведущая организация:

Российский университет дружбы народов.

Защита диссертации состоится 6 октября 2010 г. в 15 часов 30 минут на заседании диссертационного совета Д 501.001.43 при Московском государственном университете имени М. В. Ломоносова, расположенном по адресу: 119991, Российская федерация, Москва, ГСП - 1, Ленинские горы, Факультет ВМК МГУ имени М. В. Ломоносова, аудитория 685.

С диссертацией можно ознакомиться в библиотеке Факультета ВМК МГУ имени М. В. Ломоносова

Автореферат разослан 2010 г.

Ученый секретарь диссертационного Совета Д 501.001.43, доктор физико-математических наук,

профессор

Захаров Евгений Владимирович

Общая характеристика диссертации

Актуальность темы исследования. Математическая теория управления содержит ряд тесно связанных направлений исследования динамических управляемых систем: вопросы оптимизации, управляемости и наблюдаемости, теорию управления движением, теорию автоматического управления, теорию факторизации и декомпозиции управляемых систем, теорию стабилизации управляемых систем, теорию наблюдателей в условиях определенности и неопределенности, игровые задачи и т. д., а также численные методы их решения.

В математическую и прикладную теорию управления выдающийся и разносторонний вклад внесли отечественные математики академики РАН Р. В. Гамкрелидзе, С. В. Емельянов, В. А. Ильин, С. К. Коровин, Н. Н. Красовский, А. Б. Куржанский, Е. Ф. Мищенко, Н. Н. Моисеев, Ю. С. Осипов, J1. С. Понтрягин, А. Н. Тихонов, Ф. JI. Черноусько, чл.-кор. РАН С. М. Асеев, В. И. Зубов, Ю. Н. Павловский, а также Е. Р. Аваков, А. А. Аграчев, В. В. Александров, В. М. Алексеев, Ю. Н. Андреев, А. В. Арутюнов, А. П. Афанасьев, В. И. Благодатских, В. Г. Болтянский, А. Г. Бутковский, Ф. П. Васильев, Р. Ф. Габасов, И. В. Гайшун, Н. Л. Григорен-ко, А. В. Дмитрук, А. Я. Дубовицкий, В. И. Елкин, М. И. Зеликин, А. В. Ильин, Ф. М. Кириллова, М. М. Коган, В. И. Коробов, А. П. Крищенко, И. А. Крылов, Л. А. Кун, А. М. Летов, А. В. Лотов, А. А. Милютин, М. С. Никольский, А. И. Овсеевич, Н. Н. Петров, Е. С. Половинкин, Б. Н. Пшеничный, А. И. Субботин, В. И. Сумин, М. И. Сумин, В. М. Тихомиров, Е. Л. Тонков, Р. П. Федоренко, А. А. Фельдбаум, А. Ф. Филиппов, В. В. Фомичев, А. М. Формальский и другие.

С самого начала развития теории управления много внимания уделялось исследованию линейных управляемых систем с постоянными коэффициентами. Линейные управляемые системы с постоянными коэффициентами обычно задаются системами линейных дифференциальных уравнений вида

х = Ах + Ви, х € К", и € U С Rm, (1)

в которой А € М„х„ и В € Мтхп постоянные матрицы. Класс линейных

управляемых систем с постоянными кэффициентами единствен, для которого почти все вопросы теории управления поддаются общему анализу, в частности, теории управляемости и достижимости.

Множество всех точек пространства R", которые можно перевести в точку 0 за время t > 0 называется множеством О-управляемости системы (1) за время t > 0 и обозначается S(t). Множество всех точек пространства R", в которые можно перевести точку 0 за время t > 0 называется множеством О-достижимости системы (1) за время t > 0 й обозначается K{t). Обычно они представляются интегралами от многозначных отображений

Исторически сформировался ряд общих задач теории управляемости и достижимости динамических систем. Выделим из них следующие:

1. Задача мгновенной О-управляемости. При каких условиях множество S(t) = IR" V t > О?

2. Задача полной управляемости. При каких условиях существует конечный момент времени Т > 0, для которого множество S(t) = R" V t > Т? Если система (1) вполне управляема, то как вычислить нижнюю грань (момент полной управляемости) tcc моментов времени t, для которых S(t) = R"?

3. Задача глобальной О-управляемости. При каких условиях множество Soc ■ = и { s(0 : < > 0} = R" ?

4. Задача локальной мгновенной О-управляемости. При каких условиях множества S(t) содержат окрестность точки О V t > 0 ?

5. Задача локальной О-управляемости. При каких условиях существует такой момент времени t' € (0, +ос), что множества S(t) содержат окрестность точки О V t > t'? Если система (1) локально 0-управляема, то как вычислить момент локальной О-управляемости t¡c (нижнюю грань моментов времени t, для которых S(t) содержит окрестность точки 0)?

Все перечисленные задачи и их аналоги для множеств достижимости являются специализациями общей проблемы описания эволюции множеств управляемости и достижимости (множеств УД) системы (1) при изменении параметра t в интервале (0, +оо). Существует много работ, в которых исследовались с разных сторон эти задачи. Выделим среди них наиболее значительные.

(2)

В 1958 году Р. В. Гамкрелидзе [1*] доказал критерий полной управляемости в важном случае систем вида (1), когда

х = Ах + bu, х е R", 6 € R", и е К. (3)

В 1959 году критерий полной управляемости для систем вида (1) с U = Rm дал Л. С. Понтрягин [2*]. В 1961 году R. Е. Kaiman [3*] привел много приложений критерию полной управляемости системы (1) с U = Rm и положил его в основу теорий управляемости и наблюдаемости, после чего этот критерий получил название критерия Калмана. В. F. Brammer [5*] в 1972 году дал полное решение задачи локальной О-управляемости систем вида (1) и доказал критерий полной управляемости систем вида (1) с коническими множествами ограничений управлений. В 1978 году Семенов Ю. М. [1] получил наиболее полное решение задачи глобальной О-управляемости, вошедшее в кандидатскую диссертацию автора. Решение задачи мгновенной О-управляемости в общем случае было дано R. М. Bianchini в 1982 [6*]. В 1990 году Ю. М. Семенов [3] доказал теорему, в которой описал предел множеств управляемости при í —> 0 + 0, следствиями которой явились и критерий Калмана, и теорема R. М. Bianchini.

Казалось бы, что в теории управляемости линейных управляемых систем с постоянными коэффициентами больше не осталось задач достойных внимания. Однако, среди перечисленных выше задач для систем вида (1), оставалась нерешенной в общем случае задача полной управляемости, важная с теоретической точки зрения. Осталась совершенно неисследованной задача вычисления момента локальной О-управляемости t¡c и момента полной управляемости ice для систем вида (1). Нам известна лишь одна публикация, в которой была сделана попытка вычисления момента t¡c. В 1971 году S. Н. Saperstone и J. A. Yorke [4*] высказали предположение о моменте t¡c для локально управляемого двойного гармонического осциллятора с разными частотами u>i ^ Ш2 с уравнением вида (3) с и е [0,1], как функции от значений u>i,W2, но оно оказалось неверным. Следует также отметить, что теория управляемости и достижимости систем вида (1) до сих пор состояла из мало связанных между собой фрагментов и не имела определенную форму, в которой доказательства всех теорем имеют четко выделенные общие основания. Создание общей теории УД систем вида (1) актуально и потому, что позволяет пролить свет и на аналогичные проблемы для других классов управляемых систем и возможно даст какие-то новые идеи для их решения.

Цель работы состоит в построений теории эволюции множеств управляемости и достижимости линейных управляемых систем с постоянными коэффициентами и разработке на ее основе конструктивных методов анализа множеств УД динамических систем.

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

Научная новизна. В диссертации в основу изучения множеств УД линейных управляемых систем с постоянными коэффициентами (класса С) положено новое, геометрическое в своей основе, исследование множеств достижимости систем класса С, заданных интегралами от многозначных отображений вида

обобщающих класс интегралов вида (2). Предполагается, что А{£) и — линейные операторы на пространстве V, где параметр t 6 [0, +оо), П — выпуклое подмножество V. Множества управляемости для систем класса не определяются. На основе построенной в диссертации теории эволюции интегралов вида (4) по параметру 4 в интервале (0, +оо), разработаны новые методы конструктивного анализа множеств УД систем класса €■ Построенная теория эволюции множеств УД систем класса С позволяет дать новые доказательства всех известных теорем теории УД в Классе £ и решить до конца почти все ее общие проблемы. На основе теории эволюции множеств УД систем класса £ разработаны новые конструктивные методы решения задачи вычисления моментов скачков функции размерности наибольшего линейного подпространства, лежащего в 5(С, <) (Ь € (0,+оо)), в частности, долго стоящей открытой, задачи вычисления момента полной управляемости. Эти методы использованы для вычисления моментов локальной О-управляемости ряда конкретных систем класса С.

(4)

В диссертации получены следующие результаты:

1. Доказан ряд новых теорем геометрической теории эволюции множеств достижимости систем класса €я, на базе которых построена общая теории эволюции множеств УД линейных управляемых систем, необязательно автономных. Эти теоремы положены в основу конструктивной теории эволюции множеств УД для систем класса <£.

2. В рамках разработанной теории эволюции множеств УД систем класса С предложены решения основных проблем теории УД систем класса С. Из них особо выделяется решение в общем случае задачи полной управляемости, когда множество U свободно от каких-либо ограничений. Показано, что тогда описание эволюции множеств УД систем класса € сводится к последовательному изучению эволюции конусов УД некоторого конечного ряда систем с понижающимися порядками, с коническими ограничениями управлений.

3. На основе теории эволюции множеств УД систем класса € разработаны общие конструктивные методы анализа (графический, численный и аналитический) множеств УД управляемых систем класса С. В том числе, для вполне управляемых линейных систем класса € с коническими ограничениями управлений, — конструктивные методы вычисления момента полной управляемости icc, описания пространства линейной стабилизации, поиска конуса опорных векторов к множеству управляемости S{C, tcc) в момент полной управляемости; следствиями которых являются, в частности, конструктивные методы вычисления момента ijc локальной 0-управляемости для локально О-управляемых систем класса <£.

Теоретическое и прикладное значение. Результаты, полученные в диссертации имеют как теоретическое, так и практическое значение. Построенная теория эволюции множеств УД позволяет взглянуть на все факты теории УД систем класса € с единой точки зрения. Положенное в основу теории исследование интегралов вида (4) позволяет распространить теорию эволюции множеств УД на некоторые расширения класса линейных управляемых систем в классе линейных систем с переменными коэффициентами. Разработанные конструктивные методы анализа множеств УД дают подход к вычислению моментов скачков множеств УД, нахождению опорных конусов к множествам УД в моменты локальной О-управляемости и находить моменты локальной О-управляемости i|c систем класса С.

Апробация работы. Основные результаты диссертации и отдельные ее части были доложены на следующих семинарах и конференциях: на Всесоюзной конференции "Динамическое управление" (Свердловск, 1979); на Всесоюзной школе "Оптимальное управление. Геометрия и анализ" (Кемерово, 1988, 1990); на Международном Советско-Польском семинаре "Математические методы оптимального управления и их приложения" (Минск, 1989); на Всесоюзной конференции "Управление в механических системах" (Свердловск, 1990); на "Понтрягинских чтениях" (Воронеж 1996, 1997, 1998, 2002, 2004, 2005, 2006, 2007, 2009); на "Воронежской зимней математическая школе" (Воронеж, 2005); неоднократно выступал на Всероссийском научно-исследовательском семинаре "Нелинейная динамика и управление" под руководством академиков Емельянова С. В. и Коровина С. К., начиная с 2005; на семинаре кафедры системного анализа ВМиК МГУ под руководством академика Куржанского А. Б.; на 15-й и 17-й Международной конференции "Математика. Образование" (Чебоксары 2007 и 2009); на Международной конференции по математической теории управления и механике (Суздаль, 2007); на Международной конференции "Дифференциальные уравнения и топология" (Москва 2008); на 8-ой Всероссийской научно-технической конференции "Динамика нелинейных дискретных электротехнических и электронных систем" (Чебоксары 2009).

Публикации. По теме диссертации опубликовано 52 научных работ. В основные публикации включено 12 работ, из них 10 относятся к публикациям перечня ВАК (Математический сборник, Дифференциальные уравнения), одна монография и одна работа из сборника трудов ИСА под редакцией академиков РАН С. В. Емельянова и С. К. Коровина.

Структура диссертации. Диссертация состоит из введения, пяти глав, трех дополнений, списка литературы из 112 наименований. В работе имеется 12 рисунков.

Обзор содержания диссертации

Во введении обоснована актуальность темы диссертации, приведены основные определения, даны общие постановки задач и краткий обзор состояния области исследования в настоящее время.

В первой главе обсуждаются и уточняются основные сведения из теории управления и смежных разделов математики, необходимые при построении конструктивной теории эволюции множеств УД линейных управляемых систем с постоянными коэффициентами.

В ПЕРВОМ ПУНКТЕ определяется категория 23 вещественных банаховых пространств, выделяется ее подкатегория £ конечномерных банаховых пространств и вводится категория Ш (конечномерных вещественных линейных пространств, снабженных одним линейным оператором).

ВО ВТОРОМ ПУНКТЕ приводятся необходимые сведения из теории выпуклых множеств. Отметим, что в класс выпуклых множеств мы не включаем пустое множество. Выпуклое множество Р С V называется конусом, если оно замкнуто относительно операции умножения на неотрицательные вещественные числа в V. Наибольшее линейное подпространство, содержащееся в замыкание Р конуса Р, называется линейным краем конуса Р. Полупрямая I С V с концом в точке 0 называется лучом бесконечного (рецессивного) направления выпуклого множества Р, если существует такая точка а € Р, что полупрямая а +1 С Р. Объединение лучей бесконечных направлений выпуклого множества Р образует выпуклый конус, который называется конусом бесконечных (рецессивных) направлений выпуклого множества Р и обозначается сопР. Если Р лежит в конечномерном пространстве, то конус сопР топологически замкнут. Если у выпуклого множества Р нет лучей бесконечных направлений (Р — ограничено), то, по определению, сопР = {0}. Наибольшее линейное подпространство, лежащее в конусе сопР, обозначается ИпР. Выпуклое множество Р называется правильным, если НпР = 0. Через СопР обозначается коническая оболочка множества Р, а через ЫпР линейная оболочка множества Р. Символы соп(.), Ип(.) рассматриваются как операторы на классе выпуклых множеств, а символы Соп(.), Ып(.) — на классе множеств.

Следующая теорема входит в ряд наиболее принципиальных в теории эволюции множеств УД, поскольку именно она находится в основе свойства восстановимое™ множеств УД по отношению к редукциям систем.

Теорема 1.2.4. Пусть Р — выпуклое подмножество пространства V класса ТВ, <р iV —*W — сюръективное линейное непрерывное отображение пространства V в пространство W класса Если ИпР — Кепр, то

(2)

Конечное семейство точек А = (сн,...,^), лежащее в линейном подпространстве V' С V, называется Х-семейством в V'y если его коническая оболочка Con А = V'. Если его линейная оболочка Lin А = V' и размерность линейного края конуса С on А больше 0, то семейство точек А называется F-семейством в V.

Предложение 1.2.9. Пусть выпуклое множество Р содержится в п-мерном линейном пространстве V. Следующие условия эквивалентны:

1) СопР = V;

2) Р содержит окрестность точки 0;

3) в Р можно выделить такое семейство векторов (t'o, vi, ..., vn), что

а) векторы (vi,..., v„) образуют базис в V;

б) все координаты вектора vq в базисе (v¡,..., vn) отрицательны.

В ТРЕТЬЕМ ПУНКТЕ определяется категория выпуклых пар 23. Точнее

рассматривать выпуклое множество Р Ç V как пару (V,P), в которой Р — это выпуклое подмножество банахова пространства V. Класс всех выпуклых пар обозначается 2?. Линейное отображение ¡p : V —> W называется отображением выпуклой пары (V, Р) в выпуклую пару (W, Q), если <рР С Q. В категории 53 выделяется ряд подкатегорий, полезных при классификации линейных управляемых систем; так через 93¡tn (03от, ®о) обозначается категория линейных подпространств (замкнутых конусов и, соответственно, выпуклых множеств, содержащих точку 0). Здесь же определены важные функторы lin, Lin, con, Con на категории 2J со значениями в категориях %}ц„ и 23сот1. По умолчанию все функторы на классах морфизмов тождественны.

Если каждому моменту времени í > 0 сопоставлена выпуклая пара (V, P(t)) класса 93, то говорят, что задано ¿-семейство выпуклых пар (V,P). t-ceмейство выпуклых пар (V, Р) можно рассматривать как пару, составленную из линейного пространства V класса 03 и отображения

P:(0,+oo)-*QJ(V) в множество всех выпуклых подмножеств пространства V. Класс всех t-

семейств выпуклых пар обозначается 53* и обращается в категорию. Категорию Ш* можно рассматривать как ¿-семейство категорий выпуклых пар. В категории Ш* выделяется ряд подкатегорий.

В ЧЕТВЕРТОМ ПУНКТЕ рассматриваются различные классы управлений и приводятся основные сведения об их свойствах. Важным здесь является анализ понятия спаривания управлений (контингенции управлений), необходимое при выводе формул сложения множеств УД.

В ПЯТОМ ПУНКТЕ определяются системы класса С. Система класса С задается четверкой С = (V, А, 0), где V — конечномерное пространство,

однопараметрические семейства невырожденных линейных операторов на V, Л(0) = 1у, О — замкнутое выпуклое подмножество пространства V. Множества достижимости систем класса С5 определяются интегралами от многозначных отображений вида

Множества управляемости для систем класса €3 не определяются. Системы вида (V, 1 у, 2, П) называются Н-системами и образуют класс

В ШЕСТОМ ПУНКТЕ определяется важное понятие К-остова управляемой системы С е С3, как однопараметрического семейства множеств достижимости К(С, £), £ > 0 и, тем самым, устанавливается основной объект теории эволюции множеств УД. /^-остовы Н-систем монотонны по включению, если 0 6 П. С /¡'-остовом К (С, ¿) связываются в качестве наиболее важных объектов — линейный ИпК(С, ¿) и конический сопК(С, Ь) К-остовы системы С. Показано, что класс С3 содержит класс линейных управляемых систем (необязательно автономных). Здесь же собраны наиболее общие свойства множеств УД линейных управляемых систем.

В СЕДЬМОМ ПУНКТЕ определяются различные типы точек фазового пространства системы С, характерные для множеств достижимости управляемой системы. Определяются множества К0(С), К'0(С), АР(С), К'(С,1), КХ(С), К'к(С), К'^(С), каждое из которых описывает свои особенности в строении К-остова системы С на концах промежутка (0, +оо).

В ВОСЬМОМ ПУНКТЕ ставятся основные задачи теории УД в классе линейных управляемых систем с постоянными коэффициентами.

А, 2 : [0, +оо) - £-(У)

и

Во второй главе строится общая теория эволюции множеств 0-достижимости систем класса €".

В ПЕРВОМ ПУНКТЕ приводится исследование интегралов от многозначных отображений вида

где A(t) и Z(t) — функции определенные на [0, + оо) со значениями в R.

ВО ВТОРОМ ПУНКТЕ рассматриваются системы класса С* с линейными ограничивающими множествами. Если система С = ( V, A, Z, fi) € Cfjn, то ее h-остов совпадает с ее линейным остовом. Из монотонности i-семейства пространств Н(С, £) и конечности размерности пространства V следует существование строго возрастающей последовательности моментов времени U (г = 0,1,..., г ; to = 0, ir+j = +00) и соответствующей строго возрастающей последовательности линейных подпространств Lx пространства V, что Я(С, t) = L{, если t € (tj,t;+1). Пространство L,-, соответствующее системе Ch, обозначается L{(Ch). Пространство Lr(Ch) называется пространством полной линейной стабилизации системы и обозначается L(C).

Пусть V' — линейное подпространство пространства V. Опишем условия, гарантирующие каждое из включений V' Ç H(C,t) и H(C,t) С V'. Пусть момент времени t > 0. Сформулируем условия, налагаемые на П:

A) Z{s)Çl С V' почти для всех s е [0, t);

B) в линейном подпространстве V' размерности m существует такое семейство открытых в V' правильных конусов К\,..., Кт, что система из любых m ненулевых векторов г>; 6 Я*, г = 1,..., т, линейно независима и мера каждого из множеств

больше 0 при всех г = 1,..., т.

Теорема 2.2.2. Пусть система С € V' С V, <ИтУ = тп > 0. В таком случае условие А) необходимо и достаточно для того, чтобы

{s : Z(s)fi П Ki ф {0}, s € [0, <)}

H(C,t)ÇV',

a условие В) достаточно для того, чтобы

V'CH(C,t).

Условие В) не является необходимым для включения V' С #(С, <), что легко увидеть на простейших примерах.

Если С — система класса <£*,■„ с непрерывным ¿-семейством ограничивающих операторов, то при описании линейного пространства Н(С, <) интеграл можно заменить на сумму.

Теорема 2.2.3. Если С = {У,А,г,0.) € €"Нп и г - непрерывное I-семейство линейных операторов, то

Очень простое строение имеют Ь-остовы систем класса с аналитическими ^семействами ограничивающих операторов.

Теорема 2.2.6. Если С = (V, А, 2, Щ е — система с аналитическим семейством ограничивающих операторов 2, то семейство линейных пространств Н(С, ¿) стационарно в промежутке (0, +оо).

Заметим, что линейное пространство Я(С, £) в условиях теоремы 2.2.6 необязательно ¿?(£)-инвариантно для всех Ь > 0.

Приведем еще один способ нахождения пространства Ь{СН) для систем класса с аналитическим ограничивающим оператором 2{Ь), использующий конечное число вычислений.

Теорема 2.2.11. Если С = (V, А, 2, П) € — система с аналитическим ограничивающим оператором 2, то

где число к равно степени минимального многочлена оператора 2(0).

В ТРЕТЬЕМ ПУНКТЕ рассматриваются общие свойства линейных остовов систем класса <£.'.

Пусть С = (К, А, 2, П) — система класса (£". Линейный остов ИпК(С, Ь) системы С € £" вообще говоря немонотоннен по включению, в отличие от ее линейного /г-остова. Пусть

Из монотонности по включению ¿-семейства пространств ИпН(С, £) и конечности размерности пространства V следует конечность множества точек разрыва функции £) в интервале (0,+оо). Если функция с1(С, ¿) постоянна, то линейный остов системы С называется линейно стабильным. В этом случае линейное пространство НпН(С, ¿) не меняется с течением

ЦСН) = 2{0)П + 2'(0)П + ... + Я(к_1)(0)П.

¿(С, <) = <Итп(ИпН(С, <))■

времени и обозначается L(Ch). Момент времени 0 называется тогда моментом полной линейной стабилизации линейного остова системы С. Если функция d(C, t) непостоянна, то ее точки разрыва записываются в порядке возрастания ti,...,tT. Отметим, что тогда 0 < t\ < tr < +сю. Ясно, что г < dimV. К последовательности моментов разрыва функции d(C, t) добавляются точка ¿о = 0 и несобственная точка fr+i = +00. В этом случае t j называется моментом первого скачка линейного остова системы С и обозначается t(C), а момент времени tr называется моментом полной стабилизации линейного остова системы С и обозначается Т(С). Если система С вполне достижима, то Т(С) - tca(C).

Из монотонности по включению линейного остова системы Ch следует стабильность линейного пространства H(C,t) при t € (£,-, i,+i). Если t £ (fi, f,+1), то линейное пространство Н(С, t) обозначается Li(Ch). Таким образом, с системой Ch связывается строго возрастающая последовательность

L0(Ch) С ¿1(СЛ) с ... С LT{Ch)

линейных подпространств пространства V. Пространство Lr(Ch) называется пространством полной линейной стабилизации системы СЛ и обозначается L(Ch). Значения линейного остова системы Ch в моменты времени £,■ (i = 1,...,г) обозначаются Lt(Ch). Число г называется высотой линейного остова системы С. Значения функции d(Ch, t) в точках i; обозначаются hi. Значение функции d{Ch,t) в интервале (ti,t,+1) обозначается /г,. Из монотонности линейного остова системы Ch следуют неравенства

/ц> < h\ < ... < hT.

В ЧЕТВЕРТОМ ПУНКТЕ рассматриваются важнейшие общие свойства конических остовов систем класса <£s. При описании множества H(C,t) системы С = (V, Z, fi) € с коническим множеством fi и непрерывным ¿-семейством операторов Z(t) можно операцию интегрирования заменить операцией суммирования.

Теорема 2.4.1. Если С € то

H(Cj)= £

0<а<(

Следующая теорема полезна при описании остовов систем класса Cg.

Теорема 2.4.5. Пусть С — (V, А, Z, П) € (ig. Если множество К (С, Т) правильное и для всех t € (О, Т] линейный оператор

ф(0 = f Z(s)ds

Л)

невырожден, то для всех t S (О, Т)

сопК(С, t) = К(сопС, t)

и _

сопН(С, 0 = Н(сопС, t).

Замечание 2.4.10. D теории достижимости принципиальной является проблема определения момента t(C) первого скачка линейного остова системы С класса €scon. Из теоремы 24-1 следует, что этот момент совпадает с нижней гранью значений t, для которых неправилен конус

£ Z(s)Q.

О <s<(

В ПЯТОМ ПУНКТЕ анализируется строение множеств почти мгновенной нуль-достижимости систем класса С.

Точка а фазового пространства V системы С называется точкой почти мгновенной нуль-достижимости, если для любых е > 0 и 6 > 0 найдется такое t € (0,5), что расстояние между точкой а и множеством K(C,t) меньше е. Множество всех таких точек обозначается Kq(C) и называется множеством почти мгновенной нуль-достижимости системы С. Множество почти мгновенной нуль-достижимости можно задать равенством

К0(С) = П {{j{K(C,t):te(0,e)}}.

£>0

Теорема 2.5.1. Если система D получена из системы С класса С при помощи параллельного переноса ее ограничивающего множества, то К0(С) = K0(D).

Теорема 2.5.6. Пусть С G Cg - правильная система. Если существует

lim Z(t) i—о+о

и этот предел равен оператору то К0(С) = conil.

В третьей главе рассматриваются линейные управляемые системы вида

х = ах + ес'и, х € V, и € Ю С V,

где а, ( : V —> V — линейные операторы. Такие системы образуют простейшее расширение С класса <£ в классе С. Теоршы главы 8, используются для описания эволюции множеств УД для некоторых видов систем класса £'. Важное значение здесь уделяются анализу понятию примитивности простой системы.

В ПЕРВОМ ПУНКТЕ рассматриваются детали эволюции множеств УД систем первого порядка класса <£'.

Во ВТОРОМ ПУНКТЕ рассматриваются простые системы второго порядка специального типа. Общий класс простых систем класса С плохо обозрим; к нему относятся все ненулевые системы С — (V,«, С, € €', у которых операторы а и С не имеют общих нетривиальных инвариантных линейных подпространств. Система С = (V, а, П) € €' называется простой С-системой, если ее порядок равен 2, а оператор а имеет комплексные собственные значения ц Ни (и > 0). Класс простых С-систем разбивается на два типа. К первому типу относятся все те, у которых оператор С - а является гомотетией. Ко второму типу относятся все остальные простые С—системы.

В ТРЕТЬЕМ И ЧЕТВЕРТОМ ПУНКТАХ исследуются особенности эволюции множеств УД простых С-систем типа 1 и 2 класса €'.

В ПЯТОМ ПУНКТЕ рассматриваются операции свертки и спаривания экспонент, как специализаций формулы Коши, полезные при конструктивном исследовании эволюции множеств УД систем класса £'.

¿-семейство линейных операторов

е"' е~"'еСзйз

Л

называется сверткой экспонент линейных операторов а и С, и обозначается 5(а, С,*). В тех случаях, когда ясно, какие именно операторы а и С имеются в виду, для свертки используется сокращенное обозначение 5(4). При исследовании Л-остова системы класса С полезно использовать ¿-семейство линейных операторов

Р(а,С.0= [* е-^еРЛа,

Jo

которое называется спариванием экспонент линейных операторов а и Ç Для i-семейства операторов S(t) и P(t) имеют место формулы сложения.

Предложение 3.5.5. Для любых ¿ь..., t„ > 0 умеют место равенства

S(ti + t2 + ... + tn) = = en{h+-+K)S{t i) + ea(f5+-+t")5(i2)eitl +... + 5(*я)ес('1+~+'—>,

P(¿l + ¿2 + • • • + in) =

= P(h) + e~atlP(t2)e<«» + ... + e-n(tl+'"+<»-')P(in)ei(<'+"+t«-'>.

В ШЕСТОМ ПУНКТЕ рассматриваются разнообразные виды формул сложения для множеств УД систем класса <£'. Представляет интерес общее определение формул сложения. Отмечается, что формулы сложения для систем класса С полезно рассматривать в классе кусочно-постоянных управлений. Если и = (¿х,..., tn) — разбиение полуинтервала [0, ¿), и t = ti + ... -(- ¿n, то индукцией по п легко выводятся формулы сложения:

Ka(C,t) = S(t ,)е«<»+""м",П+

+ ... + en(tl+-+<"-l)5(i„)fi,

+e-*(t2+...+t„)S(Î2)eC<i3+...+t„)n + _. + e-tt.sfafa

Hu(C,t) =

+e-o(i»+...+Up(tj)eC(t.+-+t-)n + ... + p(tn)Çî.

Формулы сложения позволяют вывести следующие предложения. _

Предложение 3.6.2. Если С € то для любого ¿ > 0 конус Н(С, t) содержит конусы и P(t)Çl. В частности, если С G €'lin, то ли-

нейное пространство H (С, t) при всех t > 0 содержит линейные пространства и P(t)Sl.

Предложение 3.6.3. Если С £ €'С(т, то при любом t > 0 конусы еп'Г1 и е'-'П лежат в конусе K(C,t).

Из формулы сложения следует, что все пространства из сильного линейного остова системы С = (V, а, П) класса (Го, а-инвариантны.

Теорема 3.6.4. Если пространство L входит в сильный линейный остов системы С = ( V, q, fi) 6 <£, то оно а-инвариантно.

Теорема 3.6.5. Пусть система С = (У, а, П) € С, V — линейное подпространство в V. Если У С К (С, ¿1), то для всех £ > £1 а-инвариантное линейное подпространство [У]^ С К(С, £).

В СЕДЬМОМ ПУНКТЕ рассматриваются основные свойства морфизмов систем класса С. В теории систем класса <£' необходимо учитывать взаимное строение двух линейных операторов, определенных на фазовом пространстве системы.

Теорема 3.7.1 (функториальность оператора\ЛГ(. ,£)). Соответствие, по которому каждой системе С € & сопоставляется £-семейство выпуклых пар (У, К (С, £)), определяет функтор на я-категории С со значениями в е-категории ЭД^*.

Таким образом, если у? — морфизм системы С € (Гц в систему того же класса, то для любого £ > 0 имеют место равенства

<рЫпК(С, £) = ЫпК(0, £), <рСоп}К(С,г) = Соп/Кф, £)

и включения

фпК(С, £) С ИпКф, £), <рсопК(С, £) С стКф, £).

Если С 6 Со, то возможность редукции описания остова системы С к описанию остова системы меньшего порядка заложена в следующей теореме.

Теорема 3.7.7. Пусть С 6 С^. Если множество <рК(С, £о) содержит а-инвариантное линейное подпространство Уо при некотором £о > 0, то <рК{С, £) содержит Уо при всех £ > £о-

Следствие 3.7.8. Пусть С — (У, а, (, П) — система класса <£'0, У) — а-инвариантное линейное подпространство в V, И = С/Уо, (р : С —* Б — морфизм факторизации. Если множество у>К(С, £ц) 2 Уо, ио <?ля всея £ > £о выполняется равенство К (С, £) = <р~1К(П, £).

В ВОСЬМОМ ПУНКТЕ обсужается общая точка точка зрения на метод моделирования. Введение индикаторных функторов позволяет формализовать задачи теории эволюции множеств достижимости и управляемости с категорной точки зрения.

В четвертой главе вводится и обсуждается понятие совершенного морфизма для систем класса <£". Доказывается, что совершенные мор-физмы позволяют восстанавливать множества УД по их образам в фак-торсистемах.

В ПЕРВОМ ПУНКТЕ определяются элементарные совершенные и совершенные морфизмы. Морфизм ip : С —* D называется элементарным совершенным, если Кепр ф {0} и Кепр С (¿mfí]a. Морфизм <р : С —* D называется to—совершенным, если Kertp ф {0} и Кепр С linK(C,t) для всех t > to. Здесь доказана

Теорема 4.1.2. Нетривиальный морфизм ip : С D категории Со 0—совершенен тогда и только тогда, когда он представим в виде композиции элементарных совершенных морфизмов.

ВО ВТОРОМ ПУНКТЕ исследуется строение множества почти мгновенной нуль-достижимости Kq(C).

Теорема 4.2.1. Пусть <р : С —> D - морфизм систем класса Со, тогда

\'рЩе) с Ko{D).

Если морфизм ip совершенен, то по множествам Kq(D) и AP{D) однозначно восстанавливаются множества Ко(С) и АР(С). Следующая теорема непосредственно следует из определений множеств почти мгновенной и почти совершенной нуль-достижимости.

Теорема 4.2.2. Если ip :С —* D s-морфизм систем класса С, то

К0(С) = v^KoiD), АР{С) = <р-'АР(£>).

Опишем множества АР(С) и Kq(C) системы С € <£, ограничивающее множество которой является линейным многообразием.

Теорема 4.2.3. Пусть С = (V, a, fi) — система класса <£, ограничивающее множество которой Q = cl+Qq, где fio ~ линейное подпространство в V. В таком случае, если а е [fío]«» то АР(С) — Kq{C) = [По]„. Если a i [fio]«, то АР(С) = 0, а К0(С) = [fi0]„.

Если система С класса С неправильная, то в ее ограничивающем множестве fi можно выделить некоторое ненулевое линейное многообразие Я. Параллельное ему линейное подпространство обозначим Hq. Профактори-зовав систему С по линейному подпространству [#о]о> получим систему

С", подчиненную системе С при помощи элементарного совершенного мор-физма. Так определяется процесс, который в силу конечной размерности пространства системы С за конечное число шагов позволяет построить некоторую правильную систему Э, подчиненную системе С при помощи композиции элементарных совершенных морфизмов. Обозначим через <р их композицию. Теорема 4.2.2 тогда дает полное описание множеств Ко(С) и АР(С). В случае системы С класса С строение множества Яо(С) описывается в следующей теореме.

Теорема 4.2.4. Пусть С = (V, а, П) система класса С, а Б = (IV, /?, П) — связанная с ней совершенным морфизмом <р, подчиненная ей правильная система. В таком случае

Ко(С) = р~1сопП = [ИпП]а + сопП.

Следствие 4.2.5. Если С е €, то К0(С) — замкнутый конус с а-инвариантным краем.

Правильную систему £), подчиненную системе С посредством совершенного морфизма, можно построить при помощи факторизации системы С по линейному краю конуса К0{С).

Следствие 4.2.6. Правильная система С, подчиненная системе С при помощи совершенного морфизма, определяется системой С однозначно, с точностью до изоморфизма.

Следствие 4.2.7. Система С класса С мгновенно нуль-достижима тогда и только тогда, когда система С нулевая.

В следующей теореме свойство мгновенной нуль-достижимости систем класса Со характеризуется пятью эквивалентными условиями.

Теорема 4.2.8. Следующие условия эквивалентны:

a) система С мгновенно нуль-достижима;

b) любая система, подчиненная системе С, мгновенно нуль-достижима;

c) любая ненулевая система, подчиненной системе С, неправильна;

й) морфизм системы С в нулевую систему совершенен;

е) [/гпП]„ = V.

Заметим, что условие Бьянчини мгновенной нуль-достижимости эквивалентно условию с).

В ТРЕТЬЕМ ПУНКТЕ рассматривается критерий совпадения множеств К0(С) и АР(С)

Теорема 4.3.1. Если множество П системы С = (V, а, П) е £ правильное и не содержит точку 0, то существует такое е > 0, что для любого г € (0, е) множество К(С, ¿) не содержит точку 0.

Если ограничивающее множество правильной системы, подчиненной системе С € £ при помощи совершенного морфизма, содержит точку 0, то такая система включается в класс £1. Ясно, что (Го С £1. Если семейство множеств К(С, ¿) монотонно по включению, то такая система включается в класс €тт- Оказывается, что — £тсп.

Теорема 4.3.2. Следующие условия эквивалентны:

a) Се С 1

b) ОеК(С^) V £ > 0; _

c) Ь-семейство множеств К(С, <) монотонно по включению; А) АР(С) = К0(С).

Следствие 4.3.3. Класс Стоп =

В ЧЕТВЕРТОМ ПУНКТЕ приводятся добавочные сведения о множестве почти мгновенной полной управляемости.

Теорема 4.4.1. Если С = (У,а, П) — линейная система с постоянными коэффициентами, то ЗКц(С) = [НпП}а.

В пятой главе теория эволюции множеств УД систем класса построенная в первые четырех главах диссертации, применяется для конструктивного анализа множеств достижимости различных типов систем класса €. В силу полученных результатов, основное внимание уделяется исследованию К-остовов систем класса £ в наиболее важном случае, когда множества ограничений управлений, являются конусами с конечным числом образующих. Исследование К-остовов таких систем сводится к специальным задачам линейной алгебры и геометрии в конечномерных пространствах.

В ПЕРВОМ ПУНКТЕ дается обзор основных теорем теории эволюции множеств УД систем класса £ и приводится общая схема конструктивного анализа множеств УД систем класса С. Обсуждаются графический, численный и аналитический методы поиска основных характеристик множеств УД таких систем с коническими ограничениями управлений. Исследование Л"-остовов систем класса £ связано с разбором большого количества вариантов. Некоторое уменьшение их количества, достигается, если рассматриваются вполне достижимые системы.

Допустим, что С = (V, А, fi), fi = Соп(щ,... ,ит), Linü — 0. Пусть S — единичная сфера в фазовом пространстве системы С, а точка h € S. Рассмотрим семейство траекторий Ui(ti) = еЛпиi, ... ,иг(тт) = еЛт'ит динамической системы х = Ах. Скалярное произведение Fj(rj) = h • ufa) определяет отклонение точки Ujfa) от гиперплоскости Я с нормальным вектором h. Пусть для данного h € § существует такое число Т > 0, что для всех tj е [0, Т] и j — 1, ... , г имеет место неравенство Fj(tj) = h ■ ufa) > 0. Тогда через T(h) обозначается верхняя грань таких чисел.

Теорема 5.1.10. Если система С с коническим множеством ограничений управлений fi = Соп(щ, ... ,иТ) вполне управляема, то функция T{h) на сфере S достигает своего абсолютного максимума T(ho) в некоторой точке ho. В таком случае íOT = T(ho) и гиперплоскость #о = {х : /i0 • X = 0} делит фазовое пространство системы на два полупространства Нц = {я : Ло • X > 0} и Щ = {х : ho ■ X < 0}. За счет выбора направления вектора ho можно сделать так, что в будут содержатся конусы K(C,t), а в #0~ конусы S(C,t) при всех t 6 (0, T(/iq)).

Если Con(ui, ... ,иТ) — V, то tœ = 0. В противном случае пусть h £ § таков, что векторы (ui, ... , иг) лежат в полупространстве #+. Пусть T(h) верхняя грань всех чисел t, для которых все точки Ui{t), ... , uT(t) € Я+ для всех t е [0, T(h)]. Пусть 7j(h) — множество всех нулей функции Fj(t) — h ■ Uj(t), лежащих в отрезке [0, T(h)}, тогда множество

Uj{h) : = {uj(t) : t € с Я

состоит из всех точек, в которых траектория uj(t) пересекают или касаются гиперплоскости Я на отрезке [0, T(h)}. Положим

U(h) •. — U\(h) U ... U Ur(h).

Вектор h € § называется локально оптимальным, если линейный край V конуса ConU(h), натянутого на U (h), не равен 0 и \У']а Ф V - Тогда задача вычисления момента tm редуцируется к задаче вычисления момента tca системы C/\V']a. Если \V']a = V, то на векторе h функция T(h) имеет абсолютный максимум, тогда вектор h = hg и называется оптимальным.

Решение задачи вычисления момента полной достижимости tca технически достаточно сложно. Рассмотрим более подробно подход к ее решению в простейшем случае, когда система С = (V, Д fi) вполне достижима и fi = Соп(о). Пусть вектор h е S, a(t) = eAta, F(t,h.) - h- a(t).

В первом приближении задача вычисления момента решается при помощи графического метода, визуальным анализом поведения графика функции Л), в зависимости от расположения вектора /г на сфере С помощью РС можно определить приближенно момент Т(к). Варьируя координатами вектора Л можно получить вектор к', на котором функция Т(Л) имеет, вообще говоря, локальный максимум на сфере 5. На отрезке [О, Т(к')] выделяются нули ^ — 0, <1,..., ¿г = Т(Л') функции к'). На втором шаге вычисляются координаты векторов о(0), а(<1),...,а(*г). На третьем шаге проверяется можно ли вектор 0 представить в виде нетривиальной линейной комбинации (выпуклой комбинации)

О = А0а(0) + \iaih) +... + Л Га(и),

в которой все коэффициенты Ло, Лх, ... , Аг > 0. На четвертом шаге среди векторов а(0), а(<1),..., а(и)) выделяются векторы а(£,,),...,а(£,к), соответствующие которым коэффициенты Л строго больше 0. Если наименьшее А-инвариантное линейное подпространство, содержащее эти векторы совпадает с V, то оптимальный вектор ко = к' и Т(к') = <са. Если нет, то следует перейти к анализу редуцированной системы С/[К']д.

После нахождения с некоторой точностью координат оптимального вектора Ло его координаты уточняются при помощи численных методов, требующих анализа изменения вида графика функции ^(4, ко), при изменении координат вектора ко. Эти вычисления требуют повышенной точности, поскольку в нулях функции Ло) в интервале (0, Т(Ьо)) кривая а(Ь) касается гиперплоскости Щ.

Иногда можно эффективно использовать аналитический метод, сводящийся к анализу матрицы, составленной из координат векторов

°(0), а(п), ... ,а(г;),

где 0 < Т1 < Г2 < ... < Т] = Т(к), в зависимости от числа этих векторов. Если существует п > 0, для которого а(г1) = р1<2(0), < 0, то момент 7"! = Т(К) и является моментом "взрыва" системы. Если такого момента нет, то ищем такие моменты времени 0 < < тг, что вектор 0 можно представить в виде нетривиальной выпуклой комбинации векторов о(0), а(г1), а(г2). Эта задача сводится к анализу миноров 3-го порядка матрицы, составленной из координат векторов а(0), 0(7-1), а(тг). Если и в этом случае нет решения, то добавляем еще один вектор и т. д. На деле при поиске момента {С£1 приходится использовать попеременно все три метода.

В ПУНКТЕ 2 рассматриваются системы класса <£ с диагональной матрицей с одним собственным значением ц € К. Для таких систем дается полное описание эволюции множеств достижимости.

В пунктах 3-5 исследуются ЛГ-остовы в простейшем, но важном случае, систем второго порядка. Это исследование существенно используется при выводе различных критериев управляемости и достижимости.

В пунктах 6-7 рассматриваются системы третьего порядка. Исследования их ЙГ-остовов использует аналитический метод и технически более сложно.

В ПУНКТЕ 6 исследуются Я-остовы вполне достижимых систем вида

х1 = Ах1 + и1,

х2 = цх2 - их3 + и2, V > О, X3 = их2 + цх3 + к3,

с П = Соп(щ, щ).

В ПУНКТЕ 7 приводится анализ К-остовов вполне достижимых систем 3-го порядка вида

х1 = Ах1 + х2 + и1, х2 = Ах2 + х3 + и2, х3 = Ах3 + и3,

с Й = Соп(щ, и2), где щ = ез, иг = + Че2 ~ ез- Вычисление основных характеристик эволюции конусов К(С, ¿) в диссертации разбито на 16 случаев, мы его здесь опускаем.

В ПУНКТЕ 8 исследуются К-остовы систем с жордановыми матрицами порядка 2п вида

—V 1 0 . . 0 0 0 0

V V 0 1 . . 0 0 0 0

0 0 0 0 . ■ 11 —V 1 0

0 0 0 0 . . и V 0 1

0 0 0 0 . . 0 0 А» —V

0 0 0 0 . . 0 0 V А»

с Q — Соп(а), с вектором а, у которого хотя бы одна из последних двух координат не равна 0. Оказывается, что время полной достижимости таких систем tcc ~ птт/v и не зависит от расположения вектора а.

В ПУНКТЕ 9 исследуется двойной управляемый гармонический осциллятор, с двумя разными собственными частотами у., и, 0 < ц < и, с коническими ограничивающими множествами с одной образующей. Очевидные упрощения получаются за счет линейной замены параметра t. В конечном итоге исследование сводится к изучению системы Си = (К4, Av, fi) вида

■ 1 2 i xL = -х + и,

< ¿i= 4 (">1)

хл = —их* + и, . X4 = их3,

с коническим множеством fi = Соп(а), где а = + ез. Система С„ вполне достижима при любом и > 1. Момент полной достижимости системы С„ обозначается Т(и). Предложение 5.9.9. Если С = С„, то

* < Т(и) < Г» : = (l + i) я-. (6)

Для и € (1, +оо) оценка (6) является точной. Если и — нечетное натуральное число, то Т(у) = 7г. Значения параметра и, для которых Т(и) = Т*(и), находятся как решения уравнения

UTT . Ж , U1T 7Г

и cos — sm —- + sin — cos — = 0.

¿é Ails ¿á *mU

Решение a„(t) системы x — Aux, удовлетворяющее граничному условию a„(0) = 0, использовалось при анализе свойств конуса достижимости K(Cv,t) системы Cv. Согласно теореме 2.4.1,

K(C„,t) = JT Cona„(s).

0 <s<t

Опорная гиперплоскость к конусу K(Cv,T(u)) обозначается Ни, нормальный к ней вектор через Л„. Для поиска момента T(v) и координат вектора Л„ вначале исследования использовался графический метод, затем полученные значения уточнялись при помощи численных методов.

Скалярное произведение /i„ • a„(t) обозначается F„(t). Функция F„(t) позволяет найти отклонение точек линии a„(í) от гиперплоскости Ну. Доказано, что F„(s) = FV(T — s) для всех и и s.

На следующем рисунке показан график функции Гв^).

т

а

л

= 0,5'

Т = Т( 8) = 3,432

= 0,496 Т/2 =1,716 ¿2 = 2,936

Рис. 1.

В моменты времени 0 и Т(8) линия а§(() пересекает гиперплоскость Нв-В моменты и и <2 касается ее. Точка 0 является выпуклой комбинацией точек а8(0), а8(42), а8(Т(8)).

Если V € (4п — 1, 4п + 1), п 6 М, то максимум функции на отрезке [0, Т(и)] находится в точке Т/2. Притом в интервале (0, Т(и)) функция Р„{1) имеет два нуля, 2п локальных минимумов и 2п + 1 локальных максимумов. Если и € (4п + 1, 4га + 3), п € К, то функция имеет в точке Т/2 локальный минимум, неравный 0. В интервале (0, Т(и)) функция имеет два нуля, 2п+1 локальных минимумов и 2п+2 локальных максимумов.

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

Пример 5.9.12. Если и = 3.34, то ¿1 = 0, 941390941946, ¿2 = 3, 140796684188, ¿сс = 7, = 4, 082187626054,

Графики функций Т(и) и Т'{и) изображены на следующем рисунке.

Т

2 зг

3

4

6

5

1

2

3

4

5

6

V

Рис. 2.

В ПУНКТЕ 10 исследуются системы С = (V, А, П) порядка 2п с диаго-нализуемой (в С) матрицей А с двумя собственными значениями ц ± и>, V > 0. В большей части пункта исследуются вполне достижимые системы порядка 4 этого класса с Г2 = Соп(их, «2, щ), ц — 0, и = 1, из которых щ, щ зафиксированы, а третья из свободна.

В ПУНКТЕ 11 в качестве приложения общих теорем намечены контуры доказательства критерия глобальной 0-достижимости систем класса €, опубликованного в статье [1] и, как его специализации, критерия Браммера [5*] (полной достижимости систем класса С с коническими ограничениями управлений).

В ПУНКТЕ 12 рассматривается метод построения управления, переводящего заданную точку фазового пространства управляемой системы в другую заданную точку, основанный на последовательных редукциях к системам меньшего порядка.

В приложении 1 приводится новое доказательство теоремы Калма-на, на котором иллюстрируются в простейшей ситуации некоторые идеи подхода автора к теории управляемости и достижимости.

В приложении 2 приводится обзор основных определений из теории категорий и функторов.

В приложении 3 приводится обзор основных определений и результатов теории вещественных линейных пространств, снабженных одним линейным оператором.

Замечание 1. Из перечисленных проблем теории управляемости в классе линейных управляемых систем с постоянными коэффициентами осталась открытой только проблема глобальной О-управляемости в специальном случае систем класса (Г, все собственные значения матриц которых вещественны и положительны.

Замечание 2. Полученные в диссертации методы можно использовать при анализе трудной и малоизученной задачи стабилизации управляемых систем вида (1) в случае, когда управление 0 находится на границе множества U.

ЦИТИРУЕМЫЕ ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ

1*. Гамкрелидзе Р.В. Теория оптимальности по быстродействию процессов в линейных системах // Известия АН СССР (сер. мат.). — 1958. — Т. 22, вып. 4, - С. 449 - 474.

2*. Понтрягин Л.С. Оптимальные процессы регулирования // УМН. — 1959. — Т. 14, № 1. — С. 3 - 20.

3*. Kaiman R.E. On the general theory of control systems// Тр. 1-го меж-дунар. конгресса ИФАК. Т.2. - М.: Изд-во АН СССР, 1961. - Р. 521 -547.

4*. Saperstone S.H., Yorke J.A. Conrollability of linear oscillatory systems using positive controls // SIAM J.C. - 1971. - V. 9, № 2. - P. 253 - 262.

5*. Brammer В.F. Controllability in linear autonomous systems using positive controllers// SIAM J.C. - 1972. - V. 10, № 2, P. 339 - 353.

6*. Bianchini R.M. Instant Controllability of Linear Autonomous Systems// JOTA. - 1983. - V. 39, № 2. - P. 237 - 250.

ОСНОВНЫЕ ПУБЛИКАЦИИ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ

1. Семенов Ю.М. Об управляемости линейных систем с постоянными коэффициентами// Мат. сб. - 1978. - Т.105(147), № 2. - С. 164 - 179.

2. Семенов Ю.М. О задаче нуль-достижимости линейных управляемых систем с постоянными коэффициентами// Дифференц. уравнения. — 1982. - Т. 18, № 1. - С. 1869 - 1878.

3. Семенов Ю.М. О строении множества почти мгновенной нуль-достижимости// Дифференц. уравнения. — 1990. — Т. 26, №6. — С. 989 - 997.

4. Семенов Ю.М. Об остовах линейных управляемых систем // Дифференц. уравнения. - 2005. - Т. 41, № 8. - С. 1145 - 1146.

5. Семенов Ю.М. Введение в теорию достижимости линейных систем. — Чебоксары: Изд-во Чуваш, ун-та, 2006. — 252 с.

6. Семенов Ю.М. О множествах достижимости линейных систем // Дифференц. уравнения. - 2006. - Т. 42, X» 8. - С. 1146 - 1148.

7. Семенов Ю.М. К теории достижимости линейных систем // Дифференц. уравнения. - 2007. - Т. 43, № 4. - С.465 - 474.

8. Семенов Ю.М. О моменте полной стабилизации управляемых систем // Дифференц. уравнения. - 2008. - Т. 44, № 2. - С. 147 - 148.

9. Семенов Ю.М. О моменте полной стабилизации линейных систем // Дифференц. уравнения. - 2008. - Т. 44, № 11. - С. 1556 - 1565.

10. Семенов Ю.М., Семячкова М.С., Степанова Н.Д. О строении остовов сверхполупростых С-систем // Труды института Системного Анализа РАН: — Нелинейная динамика и управление — Вып. 6. Сборник статей под редакцией академиков С. В. Емельянова и С. К. Коровина. — Москва: Физматлит, 2008. - С. 183 - 194.

11. Семенов Ю.М. О геометрии переходных процессов в управляемых системах.// Дифференц. уравнения. - 2009. — Т. 45, № 2. - С. 285 - 287.

12. Семенов Ю.М. Об оценке длительности стабилизации линейных систем с постоянными коэффициентами// Дифференц. уравнения. 2010. Т. 46, № 2. - С. 298 - 300.

ДОПОЛНИТЕЛЬНЫЙ СПИСОК ПУБЛИКАЦИЙ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ

1. Семенов Ю.М. Об одном случае управляемости системы х = их// УМН. — 1975.

- Т.ЗО, №5(185). - С. 194-195.

2. Семенов Ю.М. Об одной аппроксимации// Вопросы прикладной математики и механики: Сб. Вып. 4. — Чебоксары: Изд-во Чуваш, ун-та, 1975. — С. 214 - 222.

3. Семенов Ю.М. Об управляемости уравнения х = их // Мат. заметки. 1978. — Т. 23, X' 2. — С. 253-259.

4. Семенов Ю.М. К теории управляемости линейных и билинейных систем. Диссертация на соискание ученой степени кандидат физико-математических наук. — 1978.

5. Семенов Ю.М. О задаче нуль-достижимости линейных систем. Всесоюзная конференция "Динамическое управление". Свердловск, 1979. — С. 237 - 239.

6. Семенов Ю.М. Об управляемости системы х = Ах + Ви// Струйные и кавитаци-онные течения и современные вопросы теории управления: Сб. Чебоксары: Изд-во Чуваш, ун-та, 1978. - С. 100 - 108.

7. Семенов Ю.М. Об алгебраическом разложении задачи нуль-достижимости линейных управляемых систем с постоянными коэффициентами// Вопросы качественной теории дифференциальных уравнений: Сб. — Чебоксары: Изд-во Чуваш, ун-та, 1982.

- С. 82 - 92.

8. Семенов Ю.М. О строении множества почти мгновенной нуль-достижимости. Всесоюзная школа "Оптимальное управление. Геометрия и анализ". Кемерово, октябрь 1988 г., Тезисы докладов. - С. 100.

9. Семенов Ю.М. О строении множества почти мгновенной нуль-достижимости систем класса С. Всесоюзная конференция "Современные проблемы информатики, вычислительной техники и автоматики". Семинар "Проблемы теоретической и прикладной математики", Тула, 1989. — С.7.

10. Семенов Ю.М. О полной достижимости линейных управляемых систем с постоянными коэффициентами. Международный Советско-Польский семинар. "Математические методы оптимального управления и их приложения". Минск, май 1989, тезисы докладов, 1989. - С. 106-107.

11. Семенов Ю.М. О классических задачах теории достижимости линейных управляемых систем с постоянными коэффициентами. Всесоюзная конференция "Управление в механических системах". Свердловск, июнь 1990, Тезисы докладов,

12. Семенов Ю.М. О пространстве полной достижимости линейной однородной управляемой с постоянными коэффициентами. Всесоюзная школа "Оптимальное управление. Геометрия и анализ". Кемерово, 1990. — С. 197.

13. Семенов Ю.М. О достижимости линейных управляемых систем с постоянными коэффициентами. Высшая школа - Народному хозяйству Чувашии. Чебоксары, 1992.

- С. 197.

14. Семенов Ю.М. Критерий мгновенной локальной нуль-достижимости линейных управляемых систем с постоянными коэффициентами//'

Актуальные задачи математики и механики: Сб. — Чебоксары: Изд-во Чуваш, ун-та, 1995. - С. 100 - 101.

15. Семенов Ю.М. О категорном подходе к теории достижимости.// "Понтрягинские чтения - 9". Тезисы докладов. Воронеж, 1998. — С. 176.

16. Семенов Ю.М. Об основной теореме теории достижимости линейных управляемых систем с постоянными коэффициентами. ЧГУ. — Чебоксары, 1998. — 4с. — ДЕП ВИНИТИ 01.07.98. .V« 2021-898.

17. Семенов Ю.М. Конструкция пространства полной линейной стабилизации // "Понтряпшские чтения - 13" Тезисы докладов. Воронеж. 2002.

18. Семенов Ю.М. О неразложимых системах тина С // Математические модели и их приложения — 4. — Чебоксары: Изд-во Чуваш, ун-та, 2002. — С. 10 - 15.

19. Семенов Ю.М. О системах высоты 1 // Математические модели и их приложения — 4. — Чебоксары: Изд-во Чуваш, ун-та, 2002. — С. 15-28.

20. Семенов Ю.М. О линейных и конических остовах линейных уцравляемых систем с постоянными коэффициентами // "Понтрягинские чтения - 15" Тезисы докладов. Воронеж, 2004. - С. 202 - 203.

21. Семенов Ю.М. Об остовах линейных управляемых систем с постоянными коэффициентами //Математические модели и их приложения — б. — Чебоксары: Изд-во Чуваш, ун-та, 2004. - С. 11-17.

22. Семенов Ю.М. Об остовах линейных управляемых систем с постоянными коэффициентами // Математические модели и их приложения 7. Чебоксары: Изд-во Чуваш, ун-та, 2005. - С. 9 - 13.

23. Семенов Ю.М. О разложении управлений // Воронежская зимняя математическая школа. Тезисы докладов. Воронеж, 2005. — С. 205 - 206.

24. Семенов Ю.М. О формулах сложения // "Понтрягинские чтения - 16". Тезисы докладов. Воронеж, 2005. — С. 143.

25. Семенов Ю.М. Системы класса £?<„// Математические модели и их приложения — 7. — Чебоксары: Изд-во Чуваш, ун-та, 2005. — С. 35 - 44.

26. Семенов Ю.М. О множествах достижимости линейных систем // Математические модели и их приложения — 8. — Чебоксары: Изд-во Чуваш, ун-та, 2006. — С. 26 -34.

27. Семенов Ю.М. О локальной достижимости.// "Понтрягинские чтения - 17". Тезисы докладов. Воронеж, 2006. — С. 162 - 163.

28. Семенов Ю.М. Инвариантность и достижимость.// Региональная научная конференция "Современные проблемы геометрии и механики твердого деформируемого тела". Тезисы докладов. Чебоксары, 2006. — С. 35 - 36.

29. Семенов Ю.М., Семячкова М.С., Степанова Н.Д. О строении остовов сверхполу-иростых С систем. Понтрягинские чтения 18. Воронеж, 2007. С.

30. Семенов Ю.М., Семячкова М.С., Степанова Н.Д. О строении остовов сверхнолу-простых С систем. Международный кошресс (Математика. Образование) — 9. Тезисы докладов — Чебоксары: Изд-во Чуваш, ун-та, 2007. — С. 249.

31. Семенов Ю.М., Семячкова М.С., Степанова Н.Д. О строении остовов сверхпо-лупростых С систем// Математические модели и их приложения — 9. — Чебоксары: Изд-во Чуваш, ун-та, 2007. - С. 25 - 40.

32. Семенов Ю.М. О теории достижимости // Математические модели и их приложения — 9. — Чебоксары: Изд-во Чуваш, ун-та, 2007. — С. 11-19.

33. Семенов Ю.М. Об остовах линейных управляемых систем. Международная конференция но математической теории управления и механике. Тезисы докладов. Суздаль, 2007. -С. 54- 56.

34. Семенов Ю.М. О моменте полной локальной достижимости. — В трудах Международной конференции "Дифференциальные уравнения и топология". Тезисы докладов. Москва, 17-22 июня 2008. - С. 396.

35. Семенов Ю.М., Семячкова М.С., Степанова Н.Д. Об одном случае вычисления момента полной стабилизации сверхполупростых С-систем 6-го порядка // Математические модели и их приложения — 10. — Чебоксары: Изд-во Чуваш, ун-та, 2008. — С. 64 - 69.

36. Семенов Ю.М. Линейные управляемые системы с линейными ограничивающими множествами// Математические модели и их приложения — 10. — Чебоксары: Изд-во Чуваш, ун-та, 2008. - С. 25 - 29.

37. Семенов Ю.М. О стабилизации управляемых систем// В материалах 17-ой международной конференции "Математика. Образование". Чебоксары: Изд-во Чуваш, унта, 2009. с. 65 - 70.

38. Семенов Ю.М. Об обратных связях в управляемых системах. //В материалах 8-ой Всероссийской научно-технической конференции "Динамика нелинейных дискретных электротехнических и электронных систем". Чебоксары: Изд-во Чуваш, ун-та,

2009. с. 4 - 7.

39. Семенов Ю.М. Критерии управляемости // Математические модели и их приложения — 11. — Чебоксары: Изд-во Чуваш, ун-та, 2009. — С. 15 - 19.

40. Семенов Ю.М. О теории эволюции множеств управляемости и достижимости // Математические модели и их приложения — 12. — Чебоксары: Изд-во Чуваш, ун-та,

2010. - С. 9 - 16.

Напечатано с готового оригинала-макета

Издательство Чувашского тоударственного университета Подписано к печати 21.06.2010 г. Формат 60x90 1/16. Усл.печ.л. 1,86. Тираж 100 экз. Заказ 380. 428015, Московский проспект 15, ЧГУ им. И.Н.Ульянова.

 
Содержание диссертации автор исследовательской работы: доктора физико-математических наук, Семенов, Юрий Матвеевич

Введение.

1. Общие сведения о теме диссертации.

2. Обзор теории управляемости и достижимости линейных систем с постоянными коэффициентами.

3. Обзор теории эволюции множеств управляемости и достижимости линейных систем с постоянными коэффициентами.

4. Обзор содержания диссертации.

Глава 1. Основания конструктивной теории управляемости и достижимости.

1. Банаховы пространства. Модули. . ? ~

2. Выпуклые множества.*.

3. Выпуклые пары.

4. Пространства управлений.

5. Системы класса (£

6. Множества достижимости систем класса

7. Типы точек управляемости и достижимости.

8. Задачи теории управляемости и достижимости.

Глава 2. Основы конструктивной теории достижимости систем класса <£?

1. Системы 1-го порядка.

2. Системы класса (Ц{п.

3. Линейные остовы систем класса

4. Конические остовы систем класса <£д.

5. Множество К0(С).

Глава 3. Линейные системы класса <£'.

1. Простые К -системы.

2. Простые С-системы.

3. Простые С-системы типа 1.

4. Простые С-системы типа 2.

5. Операции свертки и спаривания экспонент.

6. Формулы сложения.

7. Морфизмы систем класса (£'.

8. Индикаторный функтор.

Глава 4. Теория совершенных морфизмов.

1. Совершенные морфизмы.

2. Строение множества К${С).

3. Критерий совпадения множеств К0(С) и АР (С).

4. Множество почти мгновенной полной управляемости.

 
Введение диссертация по математике, на тему "Конструктивные методы анализа множеств управляемости и достижимости динамических систем"

1. Общие сведения о содержании диссертации

Актуальность темы исследования. Теория управления содержит ряд тесно связанных направлений исследования динамических управляемых систем: теорию оптимизации, теорию динамического программирования, теорию управления движением, теорию автоматического управления, теорию стабилизации управляемых систем, теорию управления стохастическими системами, теорию наблюдателей в условиях определенности и неопределенности, теорию управления системами с распределенными параметрами, игровые задачи и т. д., а также численные методы их решения. Математическая теория управления используется при анализе всевозможных прикладных задач.

В математическую и прикладную теорию управления выдающийся и разносторонний вклад внесли отечественные математики академики РАН Р. В. Гамкрелидзе, С. В. Емельянов, В. А. Ильин, С. К. Коровин, Н. Н. Красовский, А. Б. Куржанский, Е. Ф. Мищенко, Н. Н. Моисеев, Ю. С. Осипов, Л. С. Понтрягин, А. Н. Тихонов, Ф. Л. Черноусько, чл.-кор. РАН С. М. Асеев, В. И. Зубов, Ю. Н. Павловский, а также Е. Р. Аваков, А. А. Аграчев, В. В. Александров, В. М. Алексеев, Ю. Н. Андреев, А. В. Арутюнов, А. П. Афанасьев, В. И. Благодатских, В. Г. Болтянский, А. Г. Бутковский, Ф. П. Васильев, Р. Ф. Габасов, Н. Л. Григоренко, А. В. Дмитрук, А. Я. Дубовицкий, В. И. Елкин, М. И. Зеликин, А. В. Ильин, Ф. М. Кириллова, М. М. Коган, В. И. Коробов, А. П. Крищенко, И. А. Крылов, Л. А. Кун, А. М. Летов, А. В. Лотов, А. А. Милютин, М. С. Никольский, Н. Н. Петров, Е. С. Половинкин, Б. Н. Пшеничный, Н. X. Розов, А. И. Субботин, В. И. Сумин, М. И. Сумин, В. М. Тихомиров, Е. Л. Тонков, Р. П. Федоренко, А. А. Фельдбаум, А. Ф. Филиппов, В. В. Фомичев, А. М. Формальский и другие.

С самого начала развития теории управления много внимания уделялось исследованию линейных управляемых систем с постоянными коэффициентами. Линейные управляемые системы с постоянными коэффициентами обычно задаются системами линейных дифференциальных уравнений вида в которых А е Мпхп и В е Мтхп — постоянные матрицы. Класс линейных управляемых систем с постоянными кэффициентами единствен, для которого почти все вопросы теории управления поддаются общему анализу, в частности те, которые относятся к теории управляемости и достижимости (теории УД).

Множество всех точек пространства которые можно перевести в точку 0 за время > О называется множеством О-управляемости системы (1) за время Ь > 0 и обозначается £(£). Множество всех точек пространства в которые можно перевести точку 0 за время £ > 0 называется множеством О-достижимости системы (1) за время £ > 0 и обозначается К{Ь). Обычно они представляются интегралами от многозначных отображений

Исторически сформировался ряд общих задач теории УД динамических управляемых систем. Выделим из них следующие:

1. Задача мгновенной О-управляемости. При каких условиях множество S(t) = Mn V t > 0 ?

2. Задача полной управляемости. При каких условиях существует конечный момент времени Т > 0, для которого множество S{t) = = Rn V t > Г? Если система (1) вполне управляема, то как вычислить нижнюю грань (момент полной управляемости) tcc моментов времени t, для которых S(t) = Мп? х = Ах + Ви, х € MTi, и Е: U С R т

1)

3. Задача глобальной О-управляемости. При каких условиях множество Soo : = U { S(t) : t > 0} = Rn ?

4. Задача локальной мгновенной О-управляемости. При каких условиях множества S(t) содержат окрестность точки 0 V t > 0 ?

5. Задача локальной О-управляемости. При каких условиях су-ui,ecmeyem такой момент времени t' £ (0, +оо), что множества S(t) содержат окрестность точки 0 V t > t' ? Если система (1) локально 0-управляема, то как вычислить момент локальной О-управляемости tic (нижнюю грань моментов времени t, для которых S(t) содерэюит, окрестность точки 0)?

Выделим наиболее значительные работы, в которых рассматривались эти задачи. В 1958 году Р. В. Гамкрелидзс [С2] доказал критерий управляемости в важном случае систем вида (1), когда х = Ах + bu, х Gl", be Kn. (3)

В 1959 году критерий управляемости систем вида (1) дал JL С. Понт-рягин [СЗ]. В 1961 году R. Е. Kaiman [D2] доказал критерий полной управляемости системы (1) с U = Мт, привел ему много приложений и положил его в основу теорий управляемости и наблюдаемости, после чего этот критерий получил название критерия Калмана. В. F. Brammer [Z)5] в 1972 году дал полное решение задачи локальной О-управляемости систем вида (1) и доказал критерий полной управляемости систем вида (1) с коническими множествами ограничений управлений. В 1978 году Семенов Ю. М. [ЕЦ получил наиболее полное решение задачи глобальной О-управляемости, вошедшее в кандидатскую диссертацию автора. Решение задачи мгновенной О-управляемости в общем случае было дано R. М. Bianchini в 1982 [D9]. В 1990 году Ю. М. Семенов [Е9] доказал теорему, в которой описал предел множеств управляемости при t —> 0 + 0, следствиями которой явились и критерий Калмана, и теорема R. М. Bianchini.

Казалось бы, что в теории управляемости линейных управляемых систем с постоянными коэффициентами больше не осталось задач достойных внимания. Однако, среди перечисленных выше задач для систем вида (1), оставалась нерешенной в общем случае задача полной управляемости, важная как оказалось не только с теоретической точки зрения. Осталась совершенно неисследованной задача вычисления момента локальной О-управляемости t¡c и момента полной управляемости tcc для систем вида (1). Нам известна лишь одна публикация, в которой была сделана попытка вычисления момента tic. В 1971 году S. Н. Saperstone и J. A. Yorke [DQ] высказали предположение о моменте t¡c для локально управляемого двойного гармонического осциллятора с разными частотами Ф с уравнением вида (3) с и Е [0,1], как функции от значений но оно оказалось неверным. В их статье ошибочно утверждалось, что для такой управляемой системы момент 7Г с ~ тЦшьЫг}'

Следует также отметить, что теория УД систем вида (1) до сих пор состояла из мало связанных между собой фрагментов и не имела определенную форму, в которой доказательства всех теорем имеют четко выделенные общие основания. Создание общей теории УД систем вида (1) актуально и потому, что позволяет пролить свет и на аналогичные проблемы для других классов управляемых систем и возможно даст какие-то новые идеи для их решения.

Создание методов вычисления момента локальной О-управляемости tic актуально в теории стабилизации управляемых динамических систем вида (1) в том особом и малоисследованном случае, когда управление О системы находится на границе множества U. Поясним в начале на примере связь между задачей вычисления момента локальной О-управляемости tic системы (1) и задачей ее стабилизации.

Пример. Система ие и = [о, 1].

4) х2 = — х1 + и, описывает поведение простого управляемого гармонического осциллятора с периодом свободных колебаний 27т, когда управление 0 находится на границе множества U. Можно показать, что момент локальной 0-управляемости системы (4) tic = тг. На рис. 1 показана обратная связь и : R2 —> [0,1], постоянная на квадрантах плоскости, стабилизирующая систему (4) в замкнутом круге О(е) радиуса е > 0 с центром в точке 0.

Отметим, что какими бы малыми пи были е > 0 и г) > 0, состояние хо — (—(г + 77), 0) при указанной обратной связи переходит в область стабилизации 0(е) за время > 37г/2. Отметим, что при любом выборе обратной связи и(х) 6 [0,1] на фазовой плоскости системы (4) существуют точки, отстоящие от точки 0 на расстоянии € (е, е + 77), которые не попадают в круг 0(е) за время < 7г, как бы мало ни было 77 > 0. х 2 х i

Рис. 1.

Задача стабилизации систем вида (1) в случае, когда управление О находится на границе множества U, насколько нам известно, не так уж часто обсуждалась в литературе; дадим общее введение в нее. Пусть обратная связь и(х) Е U стабилизирует управляемую систему (1) в замкнутой окрестности V точки 0. Это означает, что для системы i = Ах + Ви{х), X <= Шп, и{х) Е и СГ (5) множество V является областью притяжения для всех точек х Е Мп. Если x(t) — решение системы (5) при условии х(0) = х Е М™, то через T(x,V) обозначается нижняя грань моментов времени t Е [0, +оо), для которых x(t) Е V. Если открытое множество О d V, то положим,

Т( О, V) := sup {Г(ж, V): ig О}, T(V) := inf{T(0, V) : О d V}.

Если О э V, то для любого е > 0 в О существует точка, которая попадает в V за время, большее Т(0, V) — е. В любой окрестности О d V существует точка х, для которой Т(х, V) > T(V) — е. Момент T(V) называется временем задержки стабилизации системы (5).^Определим момент ¿/C(V), как нижнюю грань моментов времени t 6 [0, +оо), для которых множества О-управляемости S(t) Э V. Если Vi с V2, то tic(V 1) < tic(V2). Момент T(V) является важной характеристикой системы (5) с обратной связью и{х) £ U, а момент ¿¿C(V) важной характеристикой управляемой системы (1). Ясно, что для любой обратной связи и(х) Е U имеет место неравенство í¿c(V) < T(V). Момент локальной О-управляемоста t¡c системы (1) совпадает с нижней гранью моментов ¿zc(V), взятых по всевозможным замкнутым окрестностям V точки 0. Константа tic позволяет оценить снизу, как момент tic(V) системы (1), так и момент T(V) системы (5), независимо от выбора обратной связи и(х) Е U. Отсюда и возникает задача поиска конструктивных методов вычисления момента t¡c локальной О-управляемости управляемой системы (1), как способа оценки снизу времени Т(V) задержки стабилизации динамической системы (5).

Цель работы состоит в построении теории эволюции множеств УД линейных управляемых систем с постоянными коэффициентами и разработке на ее основе конструктивных методов анализа множеств УД динамических систем.

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

Научная новизна. Все перечисленные выше задачи для множеств управляемости и их аналоги для множеств достижимости являются специализациями общей проблемы описания эволюции множеств УД систем ' вида (1) при изменении параметра £ в интервале (0, +оо). В основу теории эволюции множеств УД линейных управляемых систем с постоянными коэффициентами (класса (£) положено новое, геометрическое в своей основе, исследование множеств достижимости систем класса заданных интегралами от многозначных отображений вида обобщающих класс интегралов вида (2). Предполагается, что А(Ь) и Z{t) — линейные операторы на пространстве V, где параметр Ь £ [0,+оо), Л — выпуклое подмножество V. Множества управляемости для систем класса С5 не определяются. На основе построенной в диссертации теории эволюции интегралов вида (6) по параметру £ в интервале (0, +оо) разработаны новые методы конструктивного анализа множеств УД си

6) стем класса (С. Построенная в диссертации теория эволюции множеств УД линейных управляемых систем с постоянными коэффициентами дает достаточно ясное и новое представление об эволюции их множеств УД. В рамках теории эволюции множеств УД получают новое освещение все известные результаты теории УД линейных систем. Построенная теория эволюции множеств УД систем класса € позволяет дать новые решения всех задач теории УД в классе С; в частности, решить проблему полной достижимости в общем случае. На основе теории эволюции множеств УД систем класса £ разработаны новые конструктивные методы решения задачи вычисления моментов скачков функции размерности наибольшего линейного подпространства, лежащего в 5'(С, ¿) (£ 6 (0, +оо)); в частности, предлагаются три новых метода вычисления момента локальной О-управляемости линейных систем: графический, численный и аналитический. Эти методы использованы для вычисления моментов локальной О-управляемости ряда конкретных систем класса С, неизвестные раннее.

В диссертации получены следующие результаты:

1. Доказан ряд новых теорем геометрической теории эволюции множеств достижимости систем класса на базе которых построена общая теории эволюции множеств УД линейных управляемых систем, необязательно автономных. Эти теоремы положены в основу конструктивной теории эволюции множеств УД для систем класса €.

2. В рамках разработанной теории эволюции множеств УД систем класса С предложены решения основных проблем теории УД систем класса С. Из них особо выделяется решение в общем случае задачи полной управляемости, когда множество II свободно от каких-либо ограничений. Показано, что тогда описание эволюции множеств УД систем класса С сводится к последовательному изучению эволюции конусов УД конечного ряда систем с понижающимися порядками, с коническими ограничениями управлений.

3. На основе теории эволюции множеств УД систем класса С разработаны конструктивные методы анализа (графический, численный и аналитический) множеств УД управляемых систем класса С. В том числе, для вполне управляемых линейных систем класса (£ с коническими ограничениями управлений, — конструктивные методы вычисления момента полной управляемости £сс, описания пространства линейной стабилизации, поиска конуса опорных векторов к множеству управляемости S(C, tcc) в момент полной управляемости; следствиями которых являются, в частности, конструктивные методы вычисления момента tic локальной О-управляемости для локально О-управляемых систем класса С.

Теоретическое и прикладное значение. Результаты, полученные в диссертации имеют как теоретическое, так и практическое значение. Построенная теория эволюции множеств УД позволяет взглянуть на все известные факты теории УД систем класса (£ с общей точки зрения. Положенное в основу теории исследование интегралов вида-. (6) позволяет распространить теорию эволюции множеств УД на класс линейных управляемых систем (необязательно автономных) с монотонными по включению семействами множеств УД. Разработанные конструктивные методы анализа множеств УД дают подход к вычислению моментов скачков множеств УД, нахождению опорных конусов к множествам УД в моменты локальной О-управляемости и позволяют находить моменты локальной О-управляемости t¿c систем класса

Аппробация работы. Основные результаты диссертации и отдельные ее части были доложены на следующих семинарах и конференциях: на Всесоюзной конференции "Динамическое управление" (Свердловск, 1979); на Всесоюзной школе "Оптимальное управление. Геометрия и анализ" (Кемерово, 1988, 1990); на Международном Советско-Польском семинаре "Математические методы оптимального управления и их приложения" (Минск, 1989); на Всесоюзной конференции "Управление в механических системах" (Свердловск, 1990); на "Понтрягинских чтениях" (Воронеж 1996, 1997, 1998, 2002, 2004, 2005, 2006, 2007, 2009); на "Воронежской зимней математическая школе" (Воронеж, 2005); неоднократно выступал на Всероссийском научно-исследовательском семинаре "Нелинейная динамика и управление" под руководством академиков Емельянова С. В. и Коровина С. К., начиная с 2005; на семинаре кафедры системного анализа ВМиК МГУ под руководством академика Куржанского А. В.; на 15-й и 17-й Международной конференции 11 Математика. Образование" (Чебоксары 2007 и 2009); на Международной конференции по математической теории управления и механике (Суздаль, 2007); на Международной конференции "Дифференциальные уравнения и топология" (Москва 2008); на 8-ой Всероссийской научно-технической конференции 11 Динамика нелинейных дискретных электротехнических и электронных систем" (Чебоксары 2009).

Публикации. По теме диссертации опубликовано 52 научных работ, из них 12 относятся к публикациям перечня ВАК (Успехи математических наук, Математические заметки, Математический сборник, Дифференциальные уравнения). В основные публикации включено 12 работ, из них 10 относятся к публикациям перечня ВАК (Математический сборник, Дифференциальные уравнения), одна монография и одна работа из сборника трудов ИСА под редакцией академиков РАН С. В. Емельянова и С. К. Коровина.

Основные публикации автора по теме диссертации.

1. Семенов Ю.М. Об управляемости линейных систем с постоянными коэффициентами// Мат. сб. - 1978. - Т.105(147), № 2. - С. 164 - 179.

2. Семенов Ю.М. О задаче нуль-достижимости линейных управляемых систем с постоянными коэффициентами// Дифференц. уравнения. — 1982. - Т. 18, № 1. - С. 1869 - 1878.

3. Семенов Ю.М. О строении множества почти мгновенной нуль-достижимости// Дифференц. уравнения. — 1990. — Т. 26, №6. — С. 989 - 997.

4. Семенов Ю.М. Об остовах линейных управляемых систем // Дифференц. уравнения. - 2005. - Т. 41, № 8. - С. 1145 - 1146.

5. Семенов Ю.М. Введение в теорию достижимости линейных систем. — Чебоксары: Изд-во Чуваш, ун-та, 2006. — 252 с.

6. Семенов Ю.М. О множествах достижимости линейных систем // Дифференц. уравнения. — 2006. - Т. 42, № 8. — С. 1146 - 1148.

7. Семенов Ю.М. К теории достижимости линейных систем // Дифференц. уравнения. — 2007. - Т. 43, № 4. — С.465 - 474.

8. Семенов Ю.М. О моменте полной стабилизации управляемых систем // Дифференц. уравнения. - 2008. — Т. 44, № 2. — С. 147 - 148.

9. Семенов Ю.М. О моменте полной стабилизации линейных систем // Дифференц. уравнения. — 2008. - Т. 44, № 11. - С. 1556 - 1565. .

10. Семенов Ю.М., Семячкова М.С., Степанова Н.Д. О строении остовов сверхполупростых С-систем // Труды института Системного Анализа РАН: — Нелинейная динамика и управление — Вып. 6. Сборник статей под редакцией академиков С. В. Емельянова и С. К. Коровина. — Москва: Физматлит, 2008. — С. 183 - 194.

11. Семенов Ю.М. О геометрии переходных процессов в управляемых системах.// Дифференц. уравнения. — 2009. — Т. 45, № 2. — С. 285 - 287.

12. Семенов Ю.М. Об оценке длительности стабилизации линейных систем с постоянными коэффициентами// Дифференц. уравнения. — 2010. - Т. 46, № 2. - С. 298 - 300.

Структура диссертации. Диссертация состоит из введения, пяти глав, трех дополнений, списка литературы из 112 наименований. В работе имеется 12 рисунков.