автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.01, диссертация на тему:Стабилизация неминимально фазовых аффинных систем методом виртуальных выходов

доктора физико-математических наук
Ткачев, Сергей Борисович
город
Москва
год
2010
специальность ВАК РФ
05.13.01
Диссертация по информатике, вычислительной технике и управлению на тему «Стабилизация неминимально фазовых аффинных систем методом виртуальных выходов»

Автореферат диссертации по теме "Стабилизация неминимально фазовых аффинных систем методом виртуальных выходов"

003494527

На правах рукописи

Ткачев Сергей Борисович

СТАБИЛИЗАЦИЯ НЕМИНИМАЛЬНО ФАЗОВЫХ АФФИННЫХ СИСТЕМ МЕТОДОМ ВИРТУАЛЬНЫХ ВЫХОДОВ

Специальность 05.13.01 - Системный анализ, управление

и обработка информации

АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора физико-математических наук

Москва - 2010

2 5 [идо 20Ю

003494527

Работа выполнена в Государственном образовательном учреждении высшего профессионального образования «Московский государственный технический университет имени Н.Э. Баумана».

Официальные оппоненты: доктор физико-математических наук,

профессор Григоренко Н.Л.

доктор физико-математических наук, профессор Яковенко Г. Н.

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

Ведущая организация: Вычислительный центр

имени А. А. Дородницына РАН

Залцита диссертации состоится ¿¿/iß¿'Л¿7" 2010 года

в /п часов мин. на заседании диссертационного совета

Д 212.141.15 при Московском государственном техническом университете имени Н. Э. Баумана по адресу: 105005, Москва, 2-я Бауманская ул., д. 5.

Отзыв на автореферат в двух экземплярах, заверенный печатью организации, просим высылать по адресу: 105005, Москва, 2-я Бауманская ул., д. 5, МГТУ им. Н. Э. Баумана, ученому секретарю совета Д 212.141.15.

С диссертацией можно ознакомиться в библиотеке Московского государственного технического университета имени Н.Э. Баумана.

Автореферат разослан « /2010 г. Ученый секретарь диссертационного совета,

к.т.н., доцент ^f-- Аттетков A.B.

Общая характеристика работы

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

Среди систем специального вида выделены канонические и квазиканонические виды стационарных и нестационарных аффинных систем со скалярным и векторным управлением (Жевнин A.A., Крищенко А.П., Brockett R.W., Hunt L.R., Su R., Meyer G., Ja-cubczyk В., Respondek W.). Для аффинных систем, преобразуемых к регулярному каноническому виду, решение задачи стабилизации положения равновесия известно и один из подходов заключается в преобразовании исходной системы в линейную управляемую систему с помощью нелинейной замены переменных и введения нового управления.

Известен подход к преобразованию нелинейной системы с управлением в линейную систему, основанный на расширении пространства состояний путем рассмотрения в качестве дополнительных переменных производных от управления и введении новых управлений .(Aranda-Bricaire Е., Moog С. Н., Pomet J.-B., Fliess М., Levine J., Четвериков В.Н.).

Условия приводимости аффинной системы к каноническому виду выполнены не всегда, и довольно часто система может быть преобразована только к квазиканоническому виду (Крищенко А.П.).

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

Для стационарных аффинных систем с выходом введены нормальные формы (Byrnes С., Isidori А.). Отличие задачи преобразования аффинной системы к квазиканоническому виду от задачи преобразования к нормальной форме заключается в том, что в первом случае соответствующую функцию необходимо найти, а во втором случае эта функция (выход) задана.

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

В случае, если аффинная система не является минимально фазовой, проблема стабилизации ее положения равновесия оказалась достаточно сложной и подходы к ее решению известны в частных случаях. В результате, несмотря на наличие различных подходов (Allgower F., Tornambe А., Zou Q., Devasia S., Kravaris C., Fliess M., Sira-Ramirez H., Krstic M., Kanellakopoulos I., Kokotovic P.V., Kazantzis N. и др.), проблема разработки достаточно общих методов стабилизации неминимально фазовых аффинных систем остается актуальной.

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

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

Задачами исследования являются:

— разработка метода стабилизации положений равновесия для стационарных неминимально фазовых аффинных систем;

— создание теории нормальной формы для нестационарных аффинных систем;

— обобщение метода стабилизации положений равновесия стационарных систем на случай нестационарных аффинных систем на основе преобразования к нестационарной нормальной форме;

— применение метода стабилизации положений равновесия нестационарных аффинных систем для стабилизации программных движений стационарных аффинных систем на основе преобразования к нормальной форме;

— обоснование принципа разделения задач наблюдения и глобальной стабилизации положения равновесия.

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

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

1. Теоретические основы преобразования стационарных аффинных систем к нормальной форме с асимптотически устойчивой нулевой динамикой.

2. Теория нормальной формы нестационарных аффинных систем с выходом.

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

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

Результаты диссертации носят теоретический характер и являются развитием математической теории управления.

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

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

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

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

Апробация результатов работы. Результаты диссертационной работы докладывались на заседаниях Всероссийского научного семинара под рук. акад. C.B. Емельянова и акад. С.К. Коровина (Москва, ВМК МГУ им. М.В. Ломоносова, 2006 и 2008 гг.), на VI международном семинаре "Устойчивость и колебания нелинейных систем управления" (2000, Москва, Россия), на втором международном конгрессе "Нелинейный динамический анализ" (2002, Москва, Россия), на XIV международной научно-технической конференции "Process ControF02", (2002, Kouti-nad-Desnoi, Чехия), на международном семинаре им. Е.С. Пятницкого "Устойчивость и колебания нелинейных систем управления" (2002, Москва, Россия), на XV всемирном конгрессе IFAC (2002, Барселона, Испания), на XV международной научно-технической конференции "Process Control 03" (2003, Strebsko Pleso, Словакия), на международной научно-технической конференции "Physics and Control'03" (2003, Санкт-Петербург, Россия), на VI симпозиуме IFAC "Nonlinear Control Systems'04" (2004, Штудгарт, Германия), на II международной конференции "Physics and Control'05" (2005, Санкт-Петербург, Россия), на I международной конференции " Системный анализ и информационные технологии (САИТ-2005)" (2005, Переяславль-Залеский, Россия), на IX международном семинаре им. Е.С.Пятницкого "Устойчивость и колебания нелинейных систем управления" (2006, Москва, Россия), на III международной конференции "Physics and Con-trol'07" (2007, Потсдам, Германия), на II международной конференции " Системный анализ и информационные технологии (САИТ-2007)" (2007, Обнинск, Россия), на X международном семинаре им. Е.С. Пятницкого "Устойчивость и колебания нелинейных систем управления" (2008, Москва, Россия), на международной конференции "Дифференциальные уравнения и топология", посвященной 100-летию со дня рождения JI.C. Понтрягина (2008, Москва, Россия), на международной конференции "Управление динамическими системами" (2009, Москва, Россия), на международной конференции "Математическая теория систем" (2009, ИПУ РАН, Москва, Россия).

Работа выполнена при поддержке грантов РФФИ № 02-01-00704, № 05-01-00840, № 06-07-89265, № 07-07-00223, № 08-01-00203, № 0907-00468, проекта УР.03.01.018 программы "Университеты России — фундаментальные исследования" Министерства образования РФ, проекта УР.03.01.141 раздела 1.2. программы "Университеты России" подпрограммы "Фундаментальные исследования", проекта 2.1.1.2381 аналитической ведомственной программы "Развитие научного потенциала высшей школы на 2006-2008 г.", проекта 2.1.1/227 аналитической ведомственной программы "Развитие научного потенциала высшей школы на 2009-2010 г." и проекта 1.13 программы ОИТВС РАН " Фундаментальные основы информационных технологий и вычислительных систем".

Публикации. Основные результаты диссертации опубликованы в 23 научных статьях [2,3,5,7-16,18-26,30], в том числе в 13 статьях [2,3,8,11,13,14,18-21,25,26,30], опубликованных в журналах из Перечня ведущих научных журналов и изданий ВАК, и 9 тезисах докладов [1,4,6,17,27-29,31,32].

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

Стуктура и объем работы. Диссертация состоит из введения, шести глав, выводов, списка литературы и одного приложения. Работа изложена на 258 страницах, содержит 34 иллюстрации. Библиография включает 174 наименования.

Автор выражает глубокую признательность д.ф.-м.н, профессору Крищенко Александру Петровичу за научные консультации и поддержку.

Содержание работы

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

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

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

х = А(х) + В{х)и, х £ R", и 6 Ж1,

А{х) = (в1(®), -.., e„(a!))VB(®) = ..., Ь„(х))т, (1) а{{х),Ъ{{х) G C°°(Ü), i= 1,п, QC Ж», (!) =d(.)/dt,

где t —- независимое переменное, приводятся основные сведения о преобразовании к квазиканоническому виду (А.П. Крищенко), а при наличии выхода у системы (1) — к нормальной форме (Byrnes С., Isidori А.).

Пусть в качестве выхода выбрана произвольная функция у = = ф{х), где ф(х) 6 C°°(ii). Такую функцию будем называть виртуальным выходом системы (1). Предположим, что существует такое р > 1, что1

LBL^{x)=0,i=ÖJ^2, (2)

LBLpA~U(x°) ф 0. (3)

Такое число р называют относительной степенью аффинной системы (1) с (виртуальным) выходом у = ф(х) в точке

Предположим, что для системы (1) задан выход у = ф(х), относительная степень которого в точке х° равна р. Тогда в силу выполнения условия регулярности (3) для системы (1) в окрестности точки х° существует преобразование к виду

¿1 = z% ..., ¿p-i = zp, zp = f(z, г]) + g{z, i])и,

v = q(*,v), (4)

У = zi

с необращающимся в ноль коэффициентом при управлении.

Систему (4) называют нормальной формой системы (1) с выходом у = ф(х).

1Здесь ЬхЦх) — производная Ли функции А(г) по векторному полю X.

В дальнейшем будем для системы (1) с некоторым виртуальным выходом использовать терминологию теории нормальной формы.

Поскольку для фиксированной аффинной системы могут рассматриваться несколько виртуальных выходов, будем говорить об относительной степени фиксированного выхода системы в некоторой точке.

В разделе 1.3 рассматривается задача стабилизации положения равновесия минимально фазовой системы. Пусть у системы (1) точка х = 0 является положением равновесия и найден виртуальный выход у = ф{х), ф(0) = 0, относительная степень которого в точке х = 0 равна р и р < п. Тогда в окрестности этой точки существует такая гладкая невырожденная замена переменных

г = ф(г), п = Щх), z G Мр, TI £ (5)

где Ф(х) = (ф{х), ЬАф{х),.. .,Ь"^ф{х))т, Ф(0) - 0, Ф(0) = 0, что в переменных г, г) система (1) запишется в нормальной форме (4). Систему уравнений

77 = 3(0,77) (6)

называют уравнениями нулевой динамики (нулевой динамикой). Если ее положение равновесия 77 = 0 асимптотически устойчиво, то аффинную систему (1) с виртуальным выходом у = ф(х) называют минимально фазовой (в точке х ~ 0).

Пусть в положении равновесия х = 0 система (1) является минимально фазовой. Тогда в окрестности точки х — 0 определено управление в виде

р-1

и = (-Ь»Аф{х) - £ скЬ\ф{х)) /ьвь^1ф{х), (7)

к=0

где коэффициенты сц, к — 0,...,/) — 1, выбраны так, что корни уравнения Хр + Ylklo = 0 имеют отрицательные действительные части. Система (1), замкнутая управлением (7), в переменных z, т) примет вид

z = Az, fi = q(z,rj), (8)

причем действительные части собственных чисел матрицы А отрицательны. В результате нулевое положение системы (8) оказывается2 асимптотически устойчивым.

2См. Khalil H.K. Nonlinear systems. Upper Saddle River: Prentice-Hall, 2002. 750 p.

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

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

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

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

В разделе 2.2 решена задача нахождения такого виртуального выхода, имеющего в положении равновесия системы относительную степень р — 1, что соответствующая этому выходу нормальная форма имеет асимптотически устойчивую нулевую динамику.

Для аффинной системы (1) (с положением равновесия х = 0) фиксируем некоторый виртуальный выход у = к(х), МО) = 0, при котором относительная степень системы (1) в точке х — 0 равна 1. Запишем систему (1) с этим выходом в соответствующей нормальной форме

¿ = /(2,г]) + д(г,г])и, ?7 = ф,7?), У = г. (9)

В (9) г е М1, V = € К»"1, /(0,0) = 0, Э(0,0) ф О,

5(0,0) = 0, г = Н(х), т] = Ф(®), Ф(0) = 0.

Теорема 1. Для того, чтобы аффинная система (1) имела виртуальный выход с относительной степенью р — 1 в точке х = 0 и

асимптотически устойчивой нулевой динамикой, необходимо и достаточно, чтобы положение равновесия т/ = 0 нелинейной системы

77 = д(и,т)) (10)

с управлением V было стабилизируемо гладкой обратной связью V = 11(77). Каждой такой стабилизирующей обратной связи в системе (10) соответствует виртуальный выход ф = г — у(т]) = = /¡(х)-ь(Ф(х)) аффинной системы (1) относительной степени р = 1 в точке х = 0 и асимптотически устойчивая нулевая динамика.

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

Приведен пример стабилизации положения равновесия одной из систем Спрота4.

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

В разделе 2.4 предложено использование линеаризации нормальной формы по части переменных г] для нахождения виртуальных выходов, которым соответствует локально асимптотически устойчивая нулевая динамика.

В разделе 2.5 решена задача построения минимально фазовых систем в случае р = 2. Для аффинной системы (1) фиксируем некоторый виртуальный выход у = к(х), при котором относительная степень системы (1) в точке х = 0 равна 2. Запишем систему (1) с указанным выходом в соответствующей нормальной форме

¿1 = *2, ¿2 = Дг.^ + Я^К П = я{г,т])- (п)

В (11) г - (г1,г2)т £ Е2, г, = (т,..., %_2)т € К"-2, /(0,0) = 0, 5(0,0) ф 0, 9(0,0) = 0, 21 = Л(х), г2 = 1лН(х), ц = Щх), Ф(0) = 0.

Теорема 2. Пусть система (1) с виртуальным выходом ф, ф —

х=0

= 0, имеет в точке х = 0 относительную степень р — 2, а нулевая

3Krstic M., Kanellalcopoulos I., Kokotovid P.V. Nonlinear and adaptive control design. New York: John Wiley and Sons, 1995. 563 p.

4Sprott, J.C. Some simple chaotic flows // Phys. Rev. E. 1994. V. 50. P. 647 - 650.

динамика асимптотически устойчива. Если в переменных г, г} нормальной формы (11) ф'г ф 0, то существуют функции

г=0л=0

"2(77), «¿(0) = 0, г = 1,2, стабилизирующее положение равновесия т] = 0 системы

Ч = 9(У1,у2>Г)) (12)

с управлениями г>1, причем ^1(77)

= (13)

Теорема 3. Пусть управления «1 = 7^(77), = ^г(^) стабилизируют положение равновесия г] = О системы (12) и удовлетворяют условию (13). Если система (11) с виртуальным выходом ф(гг}) = гх — Ух{т]) имеет относительную степень р — 2 в точке (г, г]) = 0, то нулевая динамика, соответствующая виртуальному выходу ф, асимптотически устойчива в точке г/ ~ 0.

Если в нормальной форме (11) аффинной системы (1) с фиксированным виртуальным выходом у = ф(х) <?г2(0,0) = 0, то:

1) в формулировке теоремы 2 условие ф'г ф 0 можно опустить,

1 2=0,7]—о

так как оно следует из того, что система (1) с виртуальным выходом ф имеет в точке х = 0 относительную степень р = 2;

2) в формулировке теоремы 3 можно опустить условие того, что система (11) с виртуальным выходом ф{г)г\) = —111(77) имеет относительную степень р = 2 в точке (2,77) = 0, так как в данном случае оно будет выполнено;

3) теоремы 2, 3 в этом случае утверждают, что для существования

у аффинной системы (1) виртуального выхода ф, ф =0, при ко-

2=0

тором она имеет в точке х = 0 относительную степень р = 2 и асимптотически устойчивую нулевую динамику, необходимо и достаточно, чтобы система (12) с управлениями у\, была стабилизируема в состоянии г) — 0 обратными связями 1)1(77), 7)2(7?), удовлетворяющими условию (13), причем одним из таких виртуальных выходов является ф = гх — щМ ~к(х)~ 7)1 (Ф (ж)).

Приведены примеры построения стабилизирующей обратной связи с использованием теоремы 3.

Теорема 4. Пусть нормальная форма аффинной системы (1) с виртуальным выходом у = Ъ{х) в окрестности точки х = 0, имеет

вид (11), причем q(z,r¡) = p{z\, r¡). Для того, чтобы для аффинной системы (1) существовал виртуальный выход ф, ф =0, при

1=0

котором в точке х = 0 относительная степень р — 2, а нулевая динамика асимптотически устойчива, необходимо и достаточно, чтобы положение равновесия tj = 0 системы

1) = p(vbT)) (14)

с управлением vi было стабилизируемо обратной связью t'i = v\ (77). Одним из таких виртуальных выходов является ф — z\ — ^1(77) = h(x)-vi(4{x)).

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

Одной из особенностей применения метода виртуальных выходов при р — 2 является поиск стабилизирующих обратных связей v\(r¡) и 1)2(77), которые связаны соотношением (13). Поиск таких стабилизирующих управлений из-за соотношений (13) является достаточно сложной задачей. В разделе 2.6 показано, что для ее решения можно воспользоваться линеаризованными уравнениями подсистемы, отвечающей за нулевую динамику. В качестве примера рассмотрена задача стабилизации верхнего неустойчивого положения равновесия перевернутого маятника, установленного на тележке. В этом примере управлением является сила /, прикладываемая к тележке. Одновременно с положением маятника стабилизируется и положение тележки в точке х — 0, х = 0. Приведены результаты численного моделирования.

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

В разделе 2.8 рассмотрены задачи построения минимально фазовых систем и стабилизации в случае р — г > 2. В случаях, когда подсистема, определяющая нулевую динамику, имеет вид г) — q{z\,77) или т) = q(zi,z2,r]), получены необходимые и достаточные условия существования таких виртуальных выходов, имеющих в положении равновесия относительную степень р — г, с которыми система будет минимально фазовой.

Установлены условия, при выполнении которых существует управление, глобально стабилизирующее положение равновесия.

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

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

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

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

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

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

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

771

¿ = Л(®) + ^Д-(аг)ы,-, (15)

«=1

где X Е К", и = (и!,...,ит)т е кт, А{х) = (а1(х),..., ап(х)У, Л(0) = 0, В(х) = {В1(х),...,Вт(х)), В,(х) = (Ь](х),...,Щ(х))Т, 3 -\,гп, гangB(0) = т, т > 2, а^х), Ъ)(х) е С°°(П), П — открытое множество, содержащее положение равновесия х = 0, и векторную функцию ф{х) = {ф1{х),...,фт{х)У, где ф{{х) е С°°(П), <М0) = 0, г = 1, т в качестве т-мерного виртуального выхода аффинной системы (15). _

Предположим, что существуют такие числа р-[ > 1, г — 1, т, что выполнены следующие два условия:

1) при к < р,- — 1 функции Ьв;Ь\фх(х), 1 < з <тп, равны нулю в некоторой окрестности точки х — 0;

2) матрица

( ЬВ1ЬГ%(х) ... Ьв^Г'ф^х) \

АР(х) = ..................(16)

\ЬВ1Ь^-1фт(х) ... ЬВтЬ^фт(х)}

невырождена в точке х = 0. В этом случае кортеж р = (рь . ■ - ,рт) называют (А. Ыс1оп) векторной относительной степенью аффинной системы (15) с векторным виртуальным выходом у = ф{х) в точке х = 0.

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

Для любого векторного виртуального выхода векторная относительная степень в точке х — 0 или не определена, или равна Р1 +. • - +рт — \р\, \р\ < п- Если существует виртуальный т-мерный выход ф(х), при котором относительная степень в точке х = 0 равна р = (рь..., рт), |р| < п, и распределение = зрап{£?1,..., Вт}, порожденное векторными полями В^ ] = 1 , тп, системы (15), инво-лютивно, то в окрестности точки х — 0 существует такая замена переменных

¿ = 1 < г < то, 77 = Ф(х), (17)

где ? = (г!,..., 1 < г < т, ц = {т,-■ ■ ,Лп-\р\У, =

= (ф((х),£Аф{(х),ЬР1~1ф1{х)У, Фг'(0) = 0, Ф(0) = 0, после выполнения которой аффинная система (15) с векторным виртуальным выходом у = ф(х) будет записана в нормальной форме

_ ГУ ^ «У^* _ мк

— 22 I • • • 1 грк~1 — I _

¿1к = /к{г, Т}) + Ег" 1 9ф, п)щ, к = 1,771,

/¿(0,0) = 0, г = 17т, д(0,0) = 0, г = (г1*, ггТ,..., гтТ)7, а матрица 0)),,^!^ невырождена. Системе (18) соответствует система

77 = 9(0,77), (19)

которую называют нулевой динамикой. Если ее положение равновесия т) = О асимптотически устойчиво, то аффинную систему (15) с векторным выходом у = ф(х) называют минимально фазовой (в точке х = 0).

Если для аффинной системы (15) найден такой векторный виртуальный выход у = ф{х), ф{0) = 0, при котором система имеет относительную степень р = (рх,..., рт) в положении равновесия х = О и она минимально фазовая в этой точке, то управление

и = А~\х)

( ^ \

— ^ С\ьЪкАф\{х)

к=0

Рт-1

~ЬР/фт{х) - £ СткЬкАфт{х) к=0

(20)

локально стабилизирует положение равновесия х = 0 этой системы при соответствующем выборе постоянных коэффициентов c¡;-.

Далее в разделе приведены с необходимыми уточнениями результаты5, полученные Панфиловым Д.Ю. для аффинных систем с векторным управлением, для которых фиксирован виртуальный выход ф с векторной относительной степенью р = (1,..., 1) в точке х = 0. Они обобщают на указанный случай результаты, полученные во второй главе для аффинных систем со скалярным выходом при р — 1.

В разделе 3.4 результаты теорем 2 и 3 обобщаются на векторный случай. Для аффинной системы (15) фиксируем некоторый векторный виртуальный выход ф(х), для которого векторная относительная степень в точке х = 0 равна р — (2,...,2), где \р\ = 2т, т.е. рг = 2, г = 1,ш. Пусть распределение G — spari{£?i,..., Вт} ин-волютивно. Тогда в окрестности точки х = 0 существуют новые переменные, в которых система (15) запишется в виде нормальной формы

fk(z,v) + Y?=i9h(z,v)uí, к = 1,т,

V = q(z,ri), (21)

5Панфилов Д.Ю. Построение минимально фазовых систем и задача стабилизации. // Автоматика и телемеханика. 2004. № 10. С. 25-39.

где г = (*}, г2, 4, г2,..., д(0,0) = 0, / = (Л...../т)т,

/(0,0) = 0, сМ5о(0,0))^0.

Пусть г1 = (^,...,2^, г2 = ..., г2т)т, к = (щ, ... ,ит)т. Тогда система (21) запишется в виде

г1 = г2, г2 = /(г1, г2,17) + д(г\ г2, г))и,

1) = ф1,га,17), (22)

У = 21-

Ф

Теорема 5. Пусть система (15) с виртуальным выходом ф,

= 0, имеет в точке х = 0 векторную относительную степень

1=0

р — (2,..., 2), а нулевая динамика асимптотически устойчива. Ес-

дф

ли в переменных (г, п) нормальной формы (22) с^ ——т ф 0,

¿721 2=0,71=0

то существуют функции г»1^), у2(т}), г>'(0) = 0, г = 1,2, стабилизирующее положение равновесия г] = 0 системы

г, = Я(У\У2^) (23)

6.уг(г])

с управлениями и1, г?2, причем

«14

= (24)

Здесь у\т,) = («!(»?),..., уШГ, «'(»,) = ■ • •,

Теорема 6. Пусть управления г;1 = и1(т?), V2 = у2(т]) стабилизируют положение равновесия г) = 0 системы (23) и удовлетворяет условию (24). Если система (22) с виртуальным выходом ф(г,т]) = г1 — г;1 (г?) имеет векторную относительную степень (2,..., 2) в точке (г, 77) = 0, то нулевая динамика, соответствующая виртуальному выходу ф, асимптотически устойчива в точке т? = 0.

В разделе 3.5 рассмотрен случай, когда нормальная форма имеет вид

¿1 = 22, ¿2 = /(г1,72, Т)) + д(г1, г2, г))и,

77 = Аг) + Вхгх + В2г2, (25)

У = г1,

где г1, г2 е К"1, г) € К', I = п - 2т, А — матрица типа I х I, В\, В% — матрицы типа I х т, одно из возможных решений задачи стабилизации можно получить методом виртуальных выходов с использованием линейной обратной связи.

Теорема 7. Пусть система (25) с выходом у имеет в точке (г, 7}) = (0,0) относительную степень р — (2,... ,2) и существует матрица К, такая, что матрица Е + КВ^ невырождена, а управления

— —Кт}

V2 = {Е + КВ2)-1К{В1К - А)7? (26)

стабилизируют положение равновесия г) = 0 системы

Г1 = Ат] + Вху1 + В2ь2. (27)

Тогда виртуальный выход ф = г1 + Кц имеет векторную относительную степень р = (2,... ,2), а система нулевой динамики, соответствующая этому выходу, асимптотически устойчива.

В разделе 3.6 показано, что линеаризацию системы, отвечающей за нулевую динамику, можно использовать для нахождения виртуальных выходов с асимптотически устойчивой нулевой динамикой для системы (22).

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

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

В разделе 3.8 проведено обобщение результатов, полученных в разделе 3.4, на случай, когда для аффинной системы (15) заданы 771 виртуальных выходов г = 1 ,тп, Н(0) = 0, ш > 2, таких,

что для системы в некоторой окрестности точки х = 0 определена векторная относительная степень р — (1,. „, 1,2, ■ , 2), I < т.

I 171—1

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

Раздел 4.1 является вводным. В нем отмечается, что для нестационарных аффинных систем теория нормальной формы до настоящего времени отсутствует.

В разделе 4.2 для гладкой нестационарной аффинной системы со скалярным управлением

х = А{х,Ь) + В(х,Ь)и, хеМ", и 6 Ж1,

£(*,<) = (61(1,0,...А(з.<))т. __^ ;

£Ч(®,*)Д(®>*) е с°°(]йв х [0, +оо)), г = 1,71

приведены основные сведения о преобразовании к квазиканоническому виду6 в окрестности точки (х°,¿о).

В разделе 4.3 на основе теории квазиканонического вида разрабатывается теория нормальной формы нестационарной системы.

Пусть для системы (28) задан выход у == ф(х,1), где ф — достаточно гладкая функция, определенная в некоторой окрестности точки (х0,^).

Определение 1. Число р будем называть относительной степенью выхода у = ф(х, ¿) нестационарной аффинной системы (28) в точке (х°,г0), если 1) £в£аФ(х>£) = 0 в окрестности точки (х 2)1в1рА~1ф(х°,1о)^0.

Относительная степень в точке (х°, ¿о) может быть неопределена, если такого р < п не существует.

Определение 2. Систему

¿1 = г2,..., ¿„-1 = г„, ¿р = /(г, т], £) + ф, г], г)и,

77 = ф,77,г), (29)

У = 21

будем называть нормальной формой нестационарной аффинной системы (28) с выходом у = ф{х, £) в точке (ж0, ¿о), если

бКрищенко А.П. Преобразование нелинейных систем и стабилизация программных движений // Труды МВТУ им. Н.Э. Баумана. 1988. № 512. С. 69-87.

1) в точке (а;0, ¿о) определена относительная степень р выхода;

2) соотношения

= Ц[1ф(х,г), г = 1, р, щ = Г)к{х, 1), к = 1,71-/9, * = < (30)

задают в окрестности точки (а;0, ¿о) расширенного пространства состояний невырожденную сохраняющую время замену переменных (г, ту) = Ф(я, ¿), / = преобразующую систему (28) к виду (29).

Определения 1 и 2 обобщают соответствующие понятия, известные для стационарных систем.

Существенным отличием в нестационарном случае является существование нормальной формы в некоторой окрестности точки (а;0, ¿о) расширенного пространства состояний, что приводит к локальности по времени и препятствует использованию нормальной формы в нестационарном случае для решения задачи стабилизации. Поэтому в нестационарном случае введем следующие понятия.

Определение 3. Если относительная степень выхода у = ф(х, ¿) системы (28) определена и постоянна во всех точках множества {(ж, £)| х — х°,Ь £ [0, +оо)}, будем говорить, что в точке х° определена его равномерная (по относительная степень. Если относительная степень р, равномерная по определена и постоянна во всех точках из П С К", то будем говорить, что выход системы (28) имеет равномерную относительную степень р в

Определение 4. Систему (29) будем называть равномерно определенной нормальной формой нестационарной аффинной системы (28) с выходом у = ф(х, f) в окрестности точки х°, если:

1) в некоторой окрестности О (я0) С Кп точки ж0 этот выход имеет равномерную относительную степень р\

2) соотношения (30) задают невырожденную сохраняющую время замену переменных (л,77,= ¿) = (Ф(2,г), £) в области и расширенного пространства состояний, содержащей множество О(я0) х [0,+оо), которая преобразует систему (28) к виду (29);

3) Ф(х°,4) = (г0,77°) при í > 0;

4) Ф(0(з;0) X [0, +оо)) 2 0(2°, V0) * [0, +оо), где 0{г°,г)°) — некоторая окрестность точки (г°, 77°) в пространстве состояний системы (29).

Достаточные условия существования равномерно определенной нормальной формы задает следующая теорема.

Теорема 8. Пусть 1) для системы (28) с выходом у = ф(х, 4) в некоторой окрестности 0(х°) точки ж0 определена равномерная относительная степень р; 2) область определения II С Мп+1 системы (28) содержит множество 0(х°) х [0, +оо); 3) непрерывное отображение (г, 7),4) = Ф(х,4) (30), где Ф(х,4) = (Ф(я,4),4), задает при 4 > 0 невырожденную сохраняющую время замену переменных, преобразующую в области 11 систему (28) к виду (29); 4) Ф(ж°, 4) = (г°, т]°, 4) при всех 4 > 0.

Если отображение Ф-1(2,77,4) является равномерно (по 4) непрерывным в точке (.г0, гр), то (29) — равномерно определенная нормальная форма в окрестности точки х° .

В разделе 4.4 введено понятие равномерно минимально фазовой нестационарой системы.

Пусть х° — положение равновесия системы (28) и А(х°, 4) = 0, В(х0,£) ф 0 при 4 > 0. Далее будем полагать, что в окрестности положения равновесия х° системы (28) существует равномерно определенная нормальная форма (29), причем Ф(а:0,4) = (0,0,4) при 4 > 0. Тогда в (29) при 4 > 0 /(0,0,4) = 0, 9(0,0,4) = 0. Именно такие нормальные формы будем рассматривать в дальнейшем.

Определение 5. Систему уравнений г] — q(0,т],t) будем называть системой нулевой динамики (нулевой динамикой) равномерно определенной нормальной формы (29).

Определение 6. Если точка покоя Т] = 0 системы нулевой динамики равномерно асимптотически устойчива, то нестационарную систему (29) с выходом у = будем называть равномерно минимально фазовой. Если точка покоя г/ — 0 экспоненциально устойчива, то систему (29) с выходом у = г\ будем называть экспоненциально минимально фазовой.

В разделе 4.5 решена задача стабилизации положения равновесия нестационарной минимально фазовой системы. Установлены достаточные условия, при выполнении которых нулевое положение равновесия системы (29), замкнутой управлением

и = ~ (/(г, г;, 4) + /д(г, 77,4), (31)

где коэффициенты 1 — 0, р — 1 таковы, что корни многочлена Ар + Хл=о ^ имеют отрицательные действительные части, равномерно асимптотически устойчиво. Также установлены достаточные

условия, при которых положение равновесия замкнутой системы локально экспоненциально устойчиво и экспоненциально устойчиво в цепом.

В разделе 4.6 исследуется равномерная асимптотическая устойчивость в разных переменных. Поскольку для построения равномерно стабилизирующего управления для системы (28) используется приведение к равномерно определенной нормальной форме вида (29) и именно в переменных этой нормальной формы обеспечивается равномерная стабилизация положения равновесия, то возникает вопрос о равномерной асимптотической устойчивости положения равновесия = 0 замкнутой исходной системы.

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

Теорема 9. Пусть

1) гладкая система

è = r(s,t), (32)

где г(0, t) = 0 при t > 0, определена в области U С Rn+1 расширенного пространства состояний, причем U 2 О(0) х [0,+оо), где 0(0) — окрестность положения равновесия s = 0 в пространстве состояний;

2) F : U —> F(U) — обратимая замена переменных, сохраняющая время, где_ F(s, t) = (F(s,t),t)T, s = F(s,t), F(0,t) = 0 при t > 0, s 6 R", a F_1(s,i) = (F-1 (s, t),t) обратная к F замена переменных;

3) система (32) в новых переменных имеет вид

i = p(s,t), (33)

p(0,i) = 0 при t > 0, определена в области F{U), причем F{U) Э Oi(O) х [0, +оо), где Oi(O) — некоторая окрестность точки s = 0;

4) положение равновесия s = 0 системы (33) равномерно асимптотически устойчиво.

Если отображение F(s,t) непрерывно в окрестности О точки s = = 0 равномерно по t, a F-1(s, t) липшицево в окрестности Oi точки s = 0 равномерно по t, то положение равновесия s = 0 системы (32) равномерно асимптотически устойчиво.

Следствие 1. Пусть система (29) — равномерно минимально фазовая, управление (31) — равномерно стабилизирующее положение равновесия (z,%/) = (0,0), а замена переменных (30), приводящая систему (28) с выходом у = ф(х) к равномерно определенной в

окрестности положения равновесия х° нормальной форме (29), удовлетворяет условиям теоремы 9.

Если система (28), замкнутая управлением (31), записанным в переменных х и имеющем вид

и система (29), замкнутая управлением (31), удовлетворяют условиям теоремы 9, то управление (34) есть решение задачи равномерной стабилизации положения равновесия х° для системы (28).

Если система (29) не является равномерно минимально фазовой, то проблема равномерной стабилизации положения равновесия остается открытой, поскольку управление вида (31) может не быть стабилизирующим для нулевого положения равновесия системы (29).

В разделе 4.7 метод виртуальных выходов построения стабилизирующей обратной связи, разработанный для стационарных аффинных систем, обобщается на нестационарные системы, для которых виртуальный выход имеет в окрестности положения равновесия х° равномерную относительную степень р = 1, а система (28) преобразуется к равномерно определенной нормальной форме

у = г, [ '

где f(0,0,t) = 0, д(0,0, ¿) = 0 при ^ > 0, причем система (35) не является равномерно минимально фазовой.

Теорема 10. Пусть для виртуального выхода у = гд[г,г},{) системы (35) в окрестности точки (г, т]) = (0,0) определена равномерная относительная степень р = 1 и система (35) с этим выходом 'заменой переменных

5 = 0(г, т), £), г) = т), ¿ = * (36)

преобразуется к равномерно определенной нормальной форме с равномерно асимптотически устойчивой нулевой динамикой. Тогда существует такая функция что точка покоя г/ = 0 нелинейной системы

п = 9Ь>,Г), <) (37)

с управлением V равномерно стабилизируется гладкой обратной связью V = ь{т},{), в(0,4) = 0, 4 > 0.

Теорема 11. Пусть обратная связь V = у(г],Ь), г/(0,4) = 0, равномерно стабилизирует точку покоя г) = 0 системы (37).

Если система (35) с виртуальным выходом т9(;г,т7,4) = г — ь{г), ¿) имеет равномерно определенную относительную степень р = 1 в окрестности точки (г, 7]) = (0,0) и сохраняющей время заменой переменных

г = = 1 (38)

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

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

Если обратная связь стабилизирующая положение по-

коя т; = 0 системы (37), локально липшицева равномерно по 4, а область определения С/ системы (35) включает в себя множество 0(0,0) х [0,+оо), где 0(0,0) — окрестность точки (г,т?) — (0,0), то содержащиеся в определении 4 требования к замене переменных (38) в теореме 11 можно опустить.

В разделе 4.8 рассматривается случай, когда найдется такой виртуальный выход ф{х,£), что для него в точке х° определена равномерная относительная степень р = 2, а аффинная система (28) приводится невырожденной сохраняющей время заменой переменных Ф(£,4) = (г,71), 4 = 4, где Ф(х°,4) = (0,0), 4 > 0, в точке х° к равномерно определенной нормальной форме

¿1 = г2, ¿2 = /(*, V, *) + 9{г, »7,4)«, ,зд,

fl = q{z,7},t),

где г = е К2, V = Ы, •- • ,»Ь-а)т £ ®п~2, 5(0,0,4) ф 0, * -

= ф{х,г), г2 = ЬАф{х,Ь), т) = ф,4).

Теорема 12. Пусть виртуальный выход у = систе-

мы (39) имеет в точке (г, т}) = (0,0) равномерную относительную степень 2,19(0,0,4) = 0, 4 > 0, и система (39) с этим выходом невырожденной сохраняющей время заменой переменных

II = 1?(г,?7,4), г2 =1?х(2,77,4), Щ = п, 4 = 4, (40)

где

, ай

= -Г7 „п. аг (39)

преобразуется к равномерно определенной нормальной форме с равномерно асимптотически устойчивой нулевой динамикой.

Тогда существуют функции VI(ту, £), 1)2(77, ^(О, = г>2(0, = О, равномерно стабилизирующие положение равновесия т] = 0 системы

Г/ = <?(«!, и2) 7], «) (41)

с управлениями «1, «2, причем

<1г>1 (?7, г)

<1*

= (42)

Теорема 13. Пусть управления г>1 = ^1(77,г>2 = Уг(т],£), «1(0, = 0, г>2(0, ¿) = 0, равномерно стабилизируют положение равновесия 77 = 0 системы (41) и удовлетворяют условию (42). Если система (39) с виртуальным выходом — — 1)1(77,£) име-

ет равномерно определенную относительную степень р = 2 в точке {г, 7/) = 0 и соотношения

21 = 0(2,77,^ = 21 - «1(17, <),

22 = Л

77 = 77, * = *

= 22 - %(77, г2,77,¿) - г;|((77, (43)

(39)

задают невырожденную сохраняющую время замену переменных, приводящую систему (39) с выходом "д к равномерно определенной нормальной форме, то нулевая динамика этой нормальной формы равномерно асимптотически устойчива.

В разделе 4.9 приведен пример решения задачи стабилизации положения равновесия нестационарной системы с выходом, для которого в Е3 определена равномерная относительная степень р = 2.

В разделе 4.10 рассмотрен специальный случай, когда в равномерно определенной нестационарной нормальной форме аффинной системы функция д(г, 77, ¿) не зависит от г2, т.е. д(г, 7], Ь) — р(г1,т], 4), и получены теоремы, обобщающие на нестационарный случай теорему 4.

В разделе 4.11 рассмотрены нестационарные аффинные системы с векторным управлением. Для векторного случая вводится понятие равномерно определенной векторной относительной степени и равномерно определенной нормальной формы. Аналогично скалярному случаю определяется равномерная минимально фазовая система. На векторный случай обобщаются установленные для скалярного нестационарного случая условия равномерной асимптотической устойчивости замкнутой системы.

В разделе 4.12 исследован случай однородной векторной относительной степени, когда = 1. На этот случай обобщаются теоремы 10 и 11, а также другие результаты, полученные для скалярного нестационарного случая при р = 1.

В разделе 4.13 исследован случай однородной векторной относительной степени, когда рг- = 2, а в разделе 4.14 — случай неоднородной векторной относительной степени, когда для системы в некоторой окрестности точки х° определена равномерная векторная относительная степень р = (1,. „ , 1,2,. „, 2), I < т.

I 771—I

На нестационарный векторный случай обобщены теоремы 12,13, а также другие аналогичные результаты, доказанные для стационарного случая.

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

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

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

управления, равномерно стабилизирующего положение равновесия, можно применить результаты, полученные в четвертой главе.

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

В разделах 5.4 и 5.5 рассмотрены примеры стабилизации заданных программных движений системы второго порядка типа Лотки-Вольтерра, описывающей гипотетическую химическую реакцию с управлением в одном уравнении. Эти примеры иллюстрируют случай р — 1. Приведены результаты численного моделирования.

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

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

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

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

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

ошибки7, работающего глобально.

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

В разделе 6.2 приведены основные известные результаты, касающиеся справедливости принципа разделения задач наблюдения и управления для задачи локальной стабилизации, стабилизации в заданной области и глобальной стабилизации. Как правило, доказательства справедливости принципа разделения опираются на конкретный вид наблюдателя (наблюдатель с высоким коэффициентом усиления8, наблюдатель Арсака-Кокотовича9) для аффинной системы, а доказательство справедливости глобального принципа разделения10 при достаточно общих предположениях относительно свойств наблюдателя использует ряд предположений о свойствах аффинной системы, проверка которых достаточно трудна.

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

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

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

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

'Кршценко А.П., Ткачев С.Б. Нелинейные к(х)-двойственные системы // Автоматика и телемеханика. 1995. № 2. С. 21-34.

sGauthier J.P., Kupka I. Observability and observers for nonlinear systems // SIAM J. Control and Optimization. 1994. V. 32, № 4. P. 975-994.

9Arcak M., Kokotovic P.V. Observer-based control of systems with slope-restricted nonlinearities // IEEE TVans. on Autom. Control. 2001. V. 46, № 7. P. 1146-1150.

'"Голубев A.E. Глобальная стабилизация нелинейных динамических систем при экспоненциальной оценке вектора состояния // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2004. № 2. С. 38-60.

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

В разделе П1 обосновывается актуальность задачи реализации заданного программного движения для робототехнической системы на колесной платформе.

В разделе П2 выводятся уравнения движения четырехколесного мобильного робота с автомобильной компоновкой колес, где передние колеса являются управляющими, а задние — ведущими. Особенностью является использование модели качения колеса с деформируемой переферией, описывающей эффект поперечного псевдоскольжения (поперечного увода) колеса.

За основу взята "велосипедная модель", которую с учетом предположения о малости углов скольжения, угла поворота передних колес и с использованием гипотезы Рокара можно записать в виде

а с/«/ + Сгоу . с/ Р

р - ——--и + —щ--и2,

ту ту у

и 1Т и

ш - - ^с/а/ + -^стсиг + у-и2, 1р = ш,

х — усоз(0 + ф), у = узт{Р + ф).

Здесь т — масса робота, 3 — момент инерции робота вокруг вертикальной оси, проходящей через центр масс, и 1Г — расстояния от центра масс до оси переднего колеса и до оси заднего колеса соответственно, V — линейная скорость центра масс, ¿0 — угол бокового скольжения робота, ф — угол между осью О'х' системы координат, связанной с корпусом, и осью Ох неподвижной систем координат, и — угловая скорость вращения вокруг центра масс, с/ и Сг — коэффициенты, определяющие боковые силы, действующие на переднее и заднее колеса, а/ — угол, определяющий (совместно с углом поворота передних колес) угол скольжения передних колес, аТ — угол скольжения задних колес, управление щ — угол поворота передних колес, а щ — изменение величины скорости.

В разделе ПЗ исследуется возможность преобразования аффинной системы (44) к каноническому или квазиканоническому видам. По результатам исследования строится нормальная форма для выходов, имеющих в области определения системы относительную степень (2,2). В качестве выходов выбраны координаты центра масс робота в неподвижной системе координат.

(44)

В разделе П4 для заданного программного движения, порожденного заданным изменением выхода, на основе результатов пятой главы строится нестационарная нормальная форма системы в отклонениях от программного движения. Система нулевой динамики имеет вид

Ащ = -соУ*{г)Агц - соД??2, (4 )

Ат)2 = 71(^1 + 72(^2, 1 1

где v*(t) — программное изменение скорости, ji{t) = ci—cov*(t)S[t), 72(í) = -co^(í), ¿(í) = ~ aco> ci, C2 — положительные

константы, определяемые по параметрам робота.

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

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

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

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

В разделе П7 проведено сравнение велосипедной и четырехколесной моделей и указаны их особенности.

Основные результаты и выводы работы

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

1. Разработаны теоретические основы преобразования стационарных аффинных систем к нормальной форме с асимптотически устойчивой нулевой динамикой.

2. Создана теория нормальной формы нестационарных аффинных систем.

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

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

Проведенные исследования позволяют сделать следующие выводы:

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

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

Основные результаты диссертации опубликованы в работах

1. Голубев А.Е., Кавинов А.В., Ткачев С.Б. Стабилизация положения равновесия аффинной системы с использованием наблюдателя // Устойчивость и колебания нелинейных систем управления: Тез. докл. VI Межд. сем. М., 2000. С. 34.

2. Голубев А.Е., Крищенко А.П., Ткачев С.Б. Принцип разделения для аффинных систем // Дифференциальные уравнения. 2001. Т. 37, № 11. С. 1468-1475.

3. Алексеенков С. Г., Ткачев С. Б. Оценка концентрации продукта химической реакции с использованием наблюдателя // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2001. № 2. С. 93-104.

4. Голубев А.Е., Ткачев С.Б. Стабилизация класса нелинейных систем при неполном измерении состояния // Нелинейный динамический анализ: Тез. докл. II Межд. конгр. М., 2002. С. 110.

5. Alexseenkov S.G., Tkachev S.B. Analytical and numerical algorithms for output control of chemical reactors //Process Control'02: Proc. of XIV Int. Scient.-Tech. Conf. Pardubice, 2002. CD-ROM.

6. Панфилов Д.Ю., Ткачев С.Б. Реализация программного движения аффинной системы по части переменных // Устойчивость и колебания нелинейных систем управления: Тез. докл. Межд. сем. им. Е.С. Пятницкого. М., 2002. С. 148-149.

7. Golubev А.Е., Krishchenko А.P., Tkachev S.B. Separation principle for a class of nonlinear systems // Preprints of 15-th IFAC World Congress. Barcelona, 2002. CD-ROM.

8. Крищенко А.П., Панфилов Д.Ю., Ткачев С.Б. Построение минимально фазовых аффинных систем// Дифференциальные уравнения. 2002. Т. 38, № 11. С. 1483-1489.

9. Panfilov D. U., Tkachev S. В. Tracking of reference trajectory for wheeled mobile robot // Process Control 03: Proc. of XV Int. Conf. Strebsko Pleso, 2003. CD-ROM.

10. Tkachev S. В., Alexeenkov S. G. Numerical algorithms for nonlinear observer-based control // Physics and Control: Proc. of Int. Conf. Saint-Petersburg, 2003. P. 1278-1283.

11. Крищенко А.П., Панфилов Д.Ю., Ткачев С.Б. Глобальная стабилизация аффинных систем с помощью виртуальных выходов // Дифференциальные уравнения. 2003. Т. 39, № 11. С. 1503-1510.

12. Output maps with associated asymptotically stable zero dynamics / A.P. Krishchenko, D.U. Panfilov, K.E. Starkov, S.B. Tkachev // Nonlinear Control Systems'04: Proc. of VIIFAC Symp. Stuttgart, 2004. V. 1. P. 329-334.

13. Голубев A.E., Крищенко А.П., Ткачев С.Б. Стабилизация нелинейных динамических систем с использованием оценки состояния системы асимптотическим наблюдателем (обзор) // Автоматика и телемеханика. 2005. Ns 7. С. 3-42.

14. Output tracking for a class of nonlinear nonminimum-phase systems using observer backstepping /А. Golubev, R. Johansson, A. Robertsson, S. Tkachev // Vestnik. J. Bauman Moscow State Technical University. Natural Science and Engineering. 2005. Special Issue. P. 63-80.

15. Tkachev S.B., Panfilov D.U. Multy-output maps with associated asymptotically stable zero dynamics // Physics and Control'05: Proc. of II Int. Conf. Saint-Petersburg, 2005. P. 898-903.

16. Ткачев С. Б. Стабилизация программных движений нелинейных систем с использованием виртуальных выходов // Системный анализ и информационные технологии (САИТ-2005): Труды I Межд. конф. М., 2005. Т. 1. С. 135-138.

17. Ткачев С.Б. Экспоненциальная стабилизация заданного изменения выхода аффинной системы // Устойчивость и колебания нелинейных систем управления: Тез. докл. IX Межд. сем. им. Е.С. Пятницкого. М., 2006. С. 251-253.

18. Крищенко А.П., Ткачев С.Б., Фетисов Д.А. Управление движением робота по лестнице // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2006. № 1. С. 38-64.

19. Ткачев С.Б. Стабилизация программного движения, соответствующего заданному изменению выхода // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2006. № 4. С. 43-60.

20. Ткачев С.Б. Стабилизация нестационарных аффинных систем с помощью виртуальных выходов // Дифференциальные уравнения. 2006. Т. 42, № 8. С. 1145.

21. Ткачев С.Б. Стабилизация программных движений методом виртуальных выходов // Дифференциальные уравнения. 2007. Т. 43, № 6. С. 753-759.

22. Krishchenko А.Р., Tkachev S.B. Virtual outputs with uniformly asymptotically stable zero dynamics and feedback design // Physics

and Contror07: Proc. of III Int. Conf. Potsdam, Germany, 2007. http://lib.physcon.ru/?item=1259

23. Ткачев С.Б. Метод виртуальных выходов стабилизации положения равновесия нестационарной системы // Системный анализ и информационные технологии (САИТ-2007): Труды II Межд. конф. М., 2007. Т. 1. С. 55-56.

24. Ткачев С.Б. Реализация программных траекторий виртуальных мобильных объектов // Системный анализ и информационные технологии (САИТ-2007): Труды II Межд. конф. М., 2007. Т. 1. С. 57-58.

25. Ткачев С.Б. Стабилизация нестационарных аффинных систем методом виртуальных выходов // Дифференциальные уравнения. 2007. Т. 43, N° 11. С. 1507-1517.

26. Ткачев С.Б. Реализация движения колесного робота по заданной траектории // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2008. № 2. С. 33-55.

27. Ткачев С.Б. Стабилизация движения судна на воздушной подушке методом виртуальных выходов // Устойчивость и колебания нелинейных систем управления: Тез. докл. X Межд. сем. им. Е.С. Пятницкого. М., 2008. С. 313-315.

28. Ткачев С.Б., Торгашев М.А. Управление виртуальным мобильным роботом // Устойчивость и колебания нелинейных систем управления: Тез. докл. X Межд. сем. им. Е.С. Пятницкого. М., 2008. С. 315-317.

29. Ткачев С.Б. Стабилизация систем с линейной нулевой динамикой методом виртуальных выходов // Дифференциальные уравнения и топология: Тез. докл. Межд. конф., поев. 100-летию со дня рожд. JI.C. Понтрягина. М., 2008. С. 405-406.

30. Ткачев С.Б. Метод виртуальных выходов в задачах стабилизации // Дифференциальные уравнения. 2008. Т. 44, № 8. С. 1147-1148.

31. Ткачев С.Б. Построение минимально фазовых нелинейных систем и стабилизация положения равновесия // Управление динамическими системами: Тез. докл. Межд. конф. М., 2009. С. 86.

32. Ткачев С.Б. Стабилизация нелинейных систем с векторным управлением методом виртуальных выходов // Математическая теория систем: Тез. докл. Межд. конф. М., 2009. С. 30-31.

Подписано к печати 26.02.10. Заказ № 98 Объем 2,0 печ.л. Тираж 100 экз. Типография МГТУ им. Н.Э. Баумана 105005, Москва, 2-я Бауманская ул., д.5 (499) 263-62-01

Оглавление автор диссертации — доктора физико-математических наук Ткачев, Сергей Борисович

ВВЕДЕНИЕ

1. ПРЕОБРАЗОВАНИЯ АФФИННЫХ СИСТЕМ И ЗАДАЧА СТАБИЛИЗАЦИИ.

1.1. Введение.

1.2. Квазиканонический вид и нормальная форма стационарной аффинной системы со скалярым управлением

1.3. Стабилизация положения равновесия минимально фазовой системы.

1.4. Стабилизация положения равновесия системы Лоренца 21 Выводы по главе

2. АФФИННЫЕ СИСТЕМЫ СО СКАЛЯРНЫМ УПРАВЛЕНИЕМ

2.1. Введение.

2.2. Построение минимально фазовых систем и задача стабилизации в случае р — 1.

2.3. Глобальная стабилизация

2.4. Линеаризация нулевой динамики.

2.5. Построение минимально фазовых систем и задача стабилизации в случае р = 2.

2.6. Использование линейного приближения нулевой динамики

2.7. Аффинные системы третьего порядка специального вида

2.8. Построение минимально фазовых систем и задача стабилизации в случае р — г.

Выводы по главе

3. АФФИННЫЕ СИСТЕМЫ С ВЕКТОРНЫМ УПРАВЛЕНИЕМ

3.1. Введение.

3.2. Преобразования и нормальная форма аффинных систем с векторными входом и выходом.

3.3. Стабилизация скоростей судна на воздушной подушке

3.3.1. Локальная стабилизация.

3.3.2. Глобальная стабилизация.

3.4. Случай однородной векторной степени (р{ — 2).

3.5. Случай линейной нулевой динамики.

3.6. Использование линеаризации нулевой динамики

3.7. Стабилизация вертолета в режиме висения.

3.8. Случай неоднородной векторной относительной степени 121 Выводы по главе

4. НЕСТАЦИОНАРНЫЕ АФФИННЫЕ СИСТЕМЫ.

4.1. Введение.

4.2. Квазиканонический вид нестационарной аффинной системы

4.3. Нормальная форма нестационарной системы

4.4. Минимально фазовые нестационарные системы.

4.5. Стабилизация положения равновесия нестационарной минимально фазовой системы.

4.6. Равномерная асимптотическая устойчивость в разных переменных.

4.7. Нестационарные системы: случай р = 1.

4.8. Нестационарные системы: случай р = 2.153'

4.9. Пример стабилизации положения равновесия.

4.10. Специальный случай при р = 2.

4.11. Нестационарные системы с векторным управлением

4.12. Случай однородной векторной относительной степени

Pi = 1).

4.13. Случай однородной векторной относительной степени

Pi = 2).

4.14. Случай неоднородной векторной относительной степени 176 Выводы по главе

5. СТАБИЛИЗАЦИЯ ПРОГРАММНОГО ДВИЖЕНИЯ МЕТОДОМ ВИРТУАЛЬНЫХ ВЫХОДОВ.

5.1. Введение.

5.2. Стабилизация программного движения методом виртуальных выходов.

5.3. Численное нахождение программного движения.

5.4. Пример остановки гипотетической химической реакции

5.5. Пример стабилизации программного движения гипотетической химической реакции.

5.6. Пример стабилизации программного движения системы при р — 2.

5.7. Специальный вид стационарной системы со скалярным управлением.

5.8. Системы с векторным выходом.

Выводы по главе 5.

6. ПРИНЦИП РАЗДЕЛЕНИЯ ДЛЯ АФФИННЫХ СИСТЕМ

6.1. Введение.

6.2. Принцип разделения

6.3. Принцип разделения для задачи глобальной стабилизации205 Выводы по главе

Введение 2010 год, диссертация по информатике, вычислительной технике и управлению, Ткачев, Сергей Борисович

П2. Модель движения мобильного робота.237

ПЗ. Преобразование системы к квазиканоническому виду . . 242/

П4. Построение и стабилизация программного движения . . 246

П5. Четырехколесная модель.250

П6. Исследование асимптотической устойчивости нулевой динамики.253

П7. Сравнение свойств моделей.256

Выводы по приложению.257

Введение

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

Среди систем специального вида выделены канонические и квазиканонические виды стационарных и нестационарных аффинных систем со скалярным и векторным управлением [1-10] (Жевнин A.A., Кри-щенко А.П., Brockett R.W., Hunt L.R., Su R., Meyer G., Jacubczyk В., Respondek W.). Для аффинных систем, преобразуемых к регулярному каноническому виду [1-6], решение задачи стабилизации положения равновесия известно и один из подходов заключается в преобразовании исходной системы в линейную управляемую систему с помощью нелинейной замены переменных и введения нового управления.

Известен подход к преобразованию нелинейной системы с управлением в линейную систему [11-14], основанный на расширении пространства состояний путем рассмотрения в качестве дополнительных переменных производных от управления и введении новых управлений (Aranda-Bricaire Е., Moog С. Н., Pomet J.-B., Bitauld L., Fliess M., Levine J., Четвериков В.Н.).

Условия приводимости аффинной системы к каноническому виду выполнены не всегда, и довольно часто система может быть преобразована только к квазиканоническому виду [4]. Отметим, что функцию, определяющую преобразование аффинной системы к квазиканоническому виду, часто удобно рассматривать как выход системы. Для стационарных аффинных систем с выходом введены нормальные формы [15-17] (Byrnes С., Isidori А.).

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

Для решения задачи стабилизации положения равновесия стационарной аффинной системы, преобразованной к квазиканоническому виду или нормальной форме, существенным является наличие свойства минимальной фазовости [15,16]. Для минимально фазовых систем известно решение задачи стабилизации положения равновесия статическими и динамическими обратными связями по состоянию [15-21].

В случае, если аффинная система не является минимально фазовой, проблема стабилизации ее положения равновесия оказалась достаточно сложной и подходы к ее решению известны в частных случаях [22-38,38-43]. Однако, несмотря на наличие различных подходов [22,26,29,31,33,36,38,39] (Allgower F., Tornambe А., Zou Q., Devasia S., Kravaris C., Fliess M., Sira-Ramirez H., Krstic M., Kanellakopoulos I., Kokotovic P.V., Kazantzis N. и др.), проблема разработки достаточно общих методов стабилизации неминимально фазовых аффинных систем остается актуальной.

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

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

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

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

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

1. Теоретические основы преобразования стационарных аффинных систем к нормальной форме с асимптотически устойчивой нулевой динамикой.

2. Теория нормальной формы нестационарных аффинных систем с выходом.

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

4. Обоснование принципа разделения задач наблюдения и стабилизации в целом для стационарных аффинных систем, допускающих построение наблюдателя состояния с линейной динамикой ошибки.

Результаты диссертации носят теоретический характер и являются развитием математической теории управления.

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

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

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

Апробация результатов работы. Результаты диссертационной работы докладывались на заседаниях Всероссийского научного семинара под рук. акад. C.B. Емельянова и акад. С.К. Коровина ( Москва, ВМК МГУ им. М.В. Ломоносова, 2006 и 2008 гг.), на VI международном семинаре "Устойчивость и колебания нелинейных систем управления" (2000, Москва, Россия), на втором международном конгрессе "Нелинейный динамический анализ" (2002, Москва, Россия), на XIV международной научно-технической конференции "Process Control'02", (2002, Kouti-nad-Desnoi, Чехия), на международном семинаре им. Е.С. Пятницкого "Устойчивость и колебания нелинейных систем управления" (2002, Москва, Россия), на XV всемирном конгрессе IFAC (2002, Барселона, Испания), на XV международной научно-технической конференции "Process Control 03" (2003, Strebsko Pleso, Словакия), на международной научно-технической конференции "Physics and Control'03" (2003, Санкт-Петербург, Россия), на VI симпозиуме IFAC "Nonlinear Control Systems'04" (2004, Штудгарт, Германия), на II международной конференции "Physics and Control'05" (2005, Санкт-Петербург, Россия), на I международной конференции "Системный анализ и информационные технологии (САИТ-2005)" (2005, Переяславль-Залеский, Россия), на IX международном семинаре им. Е.С.Пятницкого "Устойчивость и колебания нелинейных систем управления" (2006, Москва, Россия), на III международной конференции "Physics and Control'07" (2007, Потсдам, Германия), на II международной конференции "Системный анализ и информационные технологии (САИТ-2007)" (2007, Обнинск, Россия), на X международном семинаре им. Е.С. Пятницкого "Устойчивость и колебания нелинейных систем управления" (2008, Москва,

Россия), на международной конференции "Дифференциальные уравнения и топология", посвященной 100-летию со дня рождения Л.С. Понтрягина (2008, Москва, Россия), на международной конференции "Управление динамическими системами" (2009, Москва, Россия), на международной конференции "Математическая теория систем"(2009, ИПУ РАН, Москва, Россия).

Работа выполнена при поддержке грантов РФФИ № 02-01-00704, № 05-01-00840, № 06-07-89265, № 07-07-00223, № 08-01-00203, № 0907-00468, проекта УР.03.01.018 программы "Университеты России — фундаментальные исследования" Министерства образования РФ, проекта УР.03.01.141 раздела 1.2. программы "Университеты России" подпрограммы "Фундаментальные исследования", проекта 2.1.1.2381 аналитической ведомственной программы "Развитие научного потенциала высшей школы на 2006-2008 г.", проекта 2.1.1/227 аналитической ведомственной программы "Развитие научного потенциала высшей школы на 2009-2010 г." и проекта 1.13 программы ОИТВС РАН "Фундаментальные основы информационных технологий и вычислительных систем".

Публикации. Основные результаты диссертации опубликованы в 23 научных статьях [140,141,143,145-154,156-164,168], в том числе в 13 статьях [140,141,146,149,151,152,156-159,163,164,168], опубликованных в журналах из Перечня ведущих научных журналов и изданий ВАК, и 9 тезисах докладов [139,142,144,155,165-167,169,170].

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

Стуктура и объем работы. Диссертация состоит из введения, шести глав, выводов, списка литературы и одного приложения. Работа изложена на 258 страницах, содержит 34 иллюстрации. Библиография включает 170 наименования.

Заключение диссертация на тему "Стабилизация неминимально фазовых аффинных систем методом виртуальных выходов"

Основные результаты и выводы

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

1. Разработаны теоретические основы преобразования стационарных аффинных систем к нормальной форме с асимптотически устойчивой нулевой динамикой.

2. Создана теория нормальной формы нестационарных аффинных систем.

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

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

Проведенные исследования позволяют сделать следующие выводы.

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

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

Библиография Ткачев, Сергей Борисович, диссертация по теме Системный анализ, управление и обработка информации (по отраслям)

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

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

3. Крищенко А.П. Стабилизация программных движений нелинейных систем // Изв. АН СССР. Техническая кибернетика. 1985. № 6. С. 103-112.

4. Крищенко А.П. Преобразование нелинейных систем и стабилизация программных движений // Труды МВТУ им. Н.Э. Баумана. 1988. № 512. С. 69-87.

5. Крищенко А.П. Преобразование многомерных аффинных управляемых систем // Управляемые нелинейные системы. 1991. № 2. С. 5-14.

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

7. Brockett R.W. Feedback invariants for nonlinear systems // Preprints of VII World Congress IFAC. Oxford: Pergamon Press, 1978. V. 2. P. 1115-1120.

8. Su R. On the linear equivalents of nonlinear systems // Syst.& Cont. Letters. 1982. № 1. P. 48-52.

9. Hunt L.R., Su R., Meyer G. Design for multiinput nonlinear systems // Diff. Geometric Control Theory. Boston: BirkHauser, 1983. P. 2430.

10. Jacubczyk В., Respondek W. On linearization of control systems // Bui. L'acad Pol. Sciense. 1980. V. 28., № 9-10. P. 517-522.

11. Bitauld L., Fliess M., Levine J. A flatness based control synthesis of linear systems and application to windshield wipers // Proc. of the 4-th European Control Conf. Brussels, 1997. P. 29-34.

12. Четвериков B.H. Геометрическая интерпретация систем с управлением // Научный вестник МГТУ ГА. Математика. 1999. № 16. С. 69-75.

13. Четвериков В.Н. Разработка методов анализа и синтеза нелинейных динамических систем на основе дифференциально-геометрической теории бесконечномерных многообразий: Дисс. . докт. физ.-мат. наук. М., 2006. 161 с.

14. Byrnes С., Isidori A. Local stabilization of minimum phase nonlinear system // Syst. Contr. Lett. 1988. V. 11. P. 9-17.

15. Byrnes C., Isidori A. Asymptotic stabilization of minimum phase nonlinear systems // IEEE Trans. Automat. Contr. 1991. № 10. P. 1122-1137.

16. Isidori A. Nonlinear control systems. London: Springer-Verlag, 1995. 587 p.

17. Byrnes C., Isidori A. New results and examples in nonlinear feedback stabilization // Syst. Contr. Lett. 1989. V. 12. P. 437-442.

18. Isidori A., Moog C., De Luca A. A sufficient condition for full linearization via dynamic feedback // Proc. of the 25th IEEE Conf. Decision Contr. Athlanta, 1986. P. 203-208.

19. Teel A.R. Semi-global stabilization of minimum-phase nonlinear systems in special normal forms // Syst. Cont. Letters. 1992. № 3. P. 187-192.

20. Byrnes C., Isidori A., Willems J. Passivity, feedback equivalence and the global stabilization of minimum phase nonlinear systems // IEEE Trans. Automat. Contr. 1992. V. 37. P. 1004-1017.

21. Allgower F., Doyle III F.J. Approximate input-output linearization of nonlinear systems // Nonlinear model-based process control. Ed. by Barber R., Kravaric C. Dordrecht: Kluwer Academic Publishers, 1998. P. 235-274.

22. Tornambe A. Output feedback stabilization of a class of non-minimum phase nonlinear systems // Syst.& Cont. Letters. 1992. № 3. P. 193204.

23. Zou Q., Devasia S. Precision preview-based stable-inversion for nonlinear nonminimum-phase systems: The VTOL example // Automatica. 2007. № 1. P. 117-127.

24. Hauser J., Sastry S., Meyer G. Nonlinear control design for slightly non-minimum phase systems: application to V/STOL aircraft // Automatica. 1992. V. 28, № 4. P. 665-679.

25. Wright R. A., Kravaris C. Nonminimum-phase compensation for nonlinear processes // AIChE Journal. 1992. V. 38, № 1. P. 26-40.

26. Niemiec P. M., Kravaris C. Nonlinear model-state feedback control for nonminimum-phase processes // Automatica. 2003. V. 39, № 7. P. 1295-1302.

27. Kravaris C., Mousavere D. ISE-optimal nonminimum-phase compensation for nonlinear processes // Journal of Process Control. 2007. V. 17, № 5. P. 453-461.

28. Fliess M., Sira-Ramirez H., Marquez R. Regulation of nonminimum phase outputs: A flatness based approach // Perspectives in Control Theory and Applications: A Tribute to loan Dore Landau. London. : Springer-Verlag, 1998. P. 143-164.

29. Fliess M., Marquez R. Continuous-time linear predictive control and flatness: A module-theoretic setting with examples // Int. J. Control. 2000. № 7. P. 606-623.

30. Krstic M., Kanellakopoulos I., Kokotovic P.V. Nonlinear and adaptive control design. New York: John Wiley and Sons, 1995. 563 p.

31. Мирошник И.В., Никифоров В.О., Фрадков A.JI. Нелинейное и адаптивное управление сложными динамическими системами. СПб: Наука, 2000. 549 с.

32. Lee S. М., Jo Н., Seo J. Н. Feedforward Stabilization of nonlinear nonminimum phase system // Proc. of the 36-th Conference on Decision & Control. Phoenix, 1999. P. 1284-1289.

33. Chen X., Zhai G., Fukuda T. An approximate inverse system for nonminimum-phase systems and its application to disturbance observer // Systems & Control Letters. 2004. V. 52, № 3-4. P. 193207.

34. Lan W., Chen В. M. Explicit construction of i/"°°-control law for a class of nonminimum phase nonlinear systems // Automatica. 2008. V. 44, № 3. P. 738-744.

35. Lee C.-H. Stabilization of nonlinear nonminimum phase systems: adaptive parallel approach using recurrent fuzzy neural network // IEEE Trans, on systems, man and cybernetics (part B), 2004. V. 34, № 2. P. 1075-1088.

36. Aoyama A., Doyle F.J., Venkatasubramanian V. Control-affine neural network approach for nonminimum-phase nonlinear process control // Journal of Process Control. 1996. V. 6, № 1. P. 17-26.

37. Dubljevi S., Kazantzis N. A new Lyapunov design approach for nonlinear systems based on Zubov's method // Automatica. 2002. V. 38, № 11. P. 1999-2007.

38. Lee Y.I., Kouvaritakis B., Cannon M. Input-output feedback linearization for nonminimum phase nonlinear systems through periodic use of synthetic outputs // Systems & Control Letters. 2008. V. 57, № 8. P. 626-630.

39. Ghosh J., Paden B. Iterative learning control for nonlinear nonminimum phase plants // Journal of Dynamic Systems, Measurement and Control. 2001. V. 123, № 1. P. 21-30.

40. Cannon M., Bacic M., Kouvaritakis B. Dynamic non-minimum phase compensation for SISO nonlinear, affine in the input systems // Automatica. 2006. V. 42, № 11. P. 1969-1975.

41. Wu W. Stable inverse control for nonminimum-phase nonlinear processes // Journal of Process Control. 1999. V. 9, № 2. P. 171183.

42. Kantera J. M., Seidera W. D. Nonlinear feedback control of multivariable non-minimum-phase processes // Journal of Process Control. 2002. V. 12, № 6. P. 667-686.

43. Ilchmann A., Mueller M. Time-Varying Linear Systems: Relative Degree and Normal Form // IEEE Trans, on Automatic Control. 2007. V. 52, № 5. P. 840-851.

44. Sastry S. Nonlinear systems: analysis, stability and control. London: Springer-Verlag, 1999. 667 p.

45. Khalil H.K. Nonlinear systems. 3-d edition. Upper Saddle River: Prentice-Hall, 2002. 750 p.

46. Krener A., Isidori A. Nonlinear zero distributions // Proc. of the 19th IEEE Conf. Decision Contr. Athlanta, 1980. P. 665-668.

47. Byrnes C., Isidori A. A frequency domain philosofy for nonlinear system with application to stabilization and to adaptive control // Proc. of the 23rd IEEE Conf. Decision Contr. Las Vegas, 1985. P. 1031-1037.

48. Byrnes С., Isidori A. A syrvey of recent developments in nonlinear control theory // Proc. of thr I IFAC Symp. Robot Conf. Barselona, 1985. P. 287-291.

49. Isidori A., Moog C. On the nonlinear equivalent of the notion of transmission zeros // Modeling and Adaptive Control. New York, 1988. P. 203-208.

50. Ким Д.П. Теория автоматического управления. В 2-х томах. Многомерные, нелинейные и адаптивные системы. М.: ФИЗМАТЛИТ, 2004. Т.2. 464 с.

51. Khalil Н., Saberi A. Adaptive stabilization of a class of nonlinear systems using high gain feedback // IEEE Trans. Automat. Contr. 1987. V. AC-32. P. 1031-1035.

52. Isidori A., Sastry S. Adaptive control of linearizable systems // IEEE Trans. Automat. Contr. 1989. V. 34. P. 1123-1131.

53. Byrnes C., Isidori A. Output regulation of nonlinear system // IEEE Trans. Automat. Contr. 1990. V. 35. P. 131-140.

54. Красовский H.H. Некоторые задачи теории устойчивости движения. М.: Физматгиз, 1959. 211 с.

55. Ott Е., Grebogi С. Yorke J.A. Controlling chaos // Phys. Rev. Lett. 1990. V. 64. P. 1196-1199.

56. Hartley T.T., Mossayebi, F. A classical approach to controlling the Lorenz equations // Int. J. of Bifurcations and Chaos. 1992. V. 2. P. 881-887.

57. Vincent T.L., Yu L.J. Control of chaotic system // Dyn. Contr. 1991. V. 1. P. 35-52.

58. Baglio S., Fortuna L., Vinci, L. Chaos control by input-state linearization // Proc. 37th Midwest Symp. Circuits Systems. 1996. V. 2. P. 1389-1392.

59. Krishchenko A.P. Stabilization of equlibrium points of chaotic systems 11 Physics Letters A. 1995. V. 203. P. 350-356.

60. Yu, X. Controlling Lorenz chaos // Int. J. Syst. Sci. 1996. V. 27. P. 355-359.

61. Lenz H., Obradovic D. Robust control of the chaotic Lorenz system // Int. J. of Bifurcations and Chaos. 1997. V. 7. P. 2847-2854.

62. Zhang H., Qin H., Chen, G. Adaptive control of chaotic systems with uncertainties // Int. J. of Bifurcations and Chaos. 1998. V. 8. P. 20412046.

63. Joo J.M., Park J.B. Control of the differentially flat Lorenz systems // Int. J. of Bifurcations and Chaos. 2001. V. 11. P. 1989-1996.

64. Gao F., Liu W.Q., Sreeram V., Teo K.L. Feedback control of chaos for Lorenz system // Proc. 3rd Asian Control Conf. Shanghai, 2000. V. 1. P. 640-645.

65. Sprott, J.C. Some simple chaotic flows // Phys. Rev. E. 1994. V. 50. P. 647-650.

66. Fantoni I., Lozano R. Non-linear control for underactuated mechanical systems. London: Springer-Verlag, 2002. 295 p.

67. Панфилов Д.Ю. Построение минимально фазовых систем и задача стабилизации. // Автоматика и телемеханика. 2004. № 10. С. 2539.

68. John Т., Sastry S. Output Tracking Control Design of a Helicopter Model Based on Approximate Linearization // Proc. 37th IEEE Conf. Decision and Control. Tampla, 1998. P. 3635-3640.

69. Попов Е.П. Теория линейных систем автоматического регулирования и управления. М.: Наука, 1989. 304 с.

70. Гантмахер Ф.Р. Теория матриц. М.: Наука, 1988. 552 с.

71. Малкин И.Г. Теория устойчивости движения. 2-е изд., испр. М.: Наука, 1966. 530 с.

72. Hanh W. Stability of motion. New York: Springer-Verlag, 1967. 460 p.

73. Журавлев В.Ф. Основы теоретической механики. 2-е изд. М.: Изд-во Физ.-мат. лит., 2001. 320 с.

74. Hirschorn R.M. Invertibility of nonlinear control systems // SIAM J. Contr. Optimiz. 1979. № 2. P. 289-297.

75. Devasia S., Chen D., Paden B. Nonlinear inversion-based output tracking // IEEE Tranc. Automat. Contr. 1996. V. 41. P. 930-942.

76. Martin P., Devasia S., Paden B. A different look at output tracking: control of a VTOL aircraft // Automatica. 1996. V. 32, № 1. P. 101107.

77. Понтрягин JI.С. Обыкновенные дифференциальные уравнения. М.: Наука, 1970. 332 с.

78. Демидович Б.П. Лекции по математической теории устойчивости. М.: Наука, 1967. 472 с.

79. Krener A.J., Isidori A. Linearization by output injection and nonlinear observers // Systems & Control Letters. 1983. № 3. P. 4752.

80. Krener A.J., Respondek W. Nonlinear observers with linearizable error dynamics // SIAM J. Control and Optimization. 1985. V. 23, № 2. P. 197-216.

81. Xia X., Gao W. Nonlinear observer design by observer canonical forms // Int. J. Control. 1988. V. 47, № 4. P. 1081-1100.

82. Xia X., Gao W. Nonlinear observer design by observer error linearization // SIAM J. Control and Optimization. 1989. V. 27, № 1. P. 199-216.

83. Thau F.E. Observing the state of non-linear dynamic systems // Int. J. Control. 1973. № 17. P. 471-479.

84. Raghavan S., Hedrick J.K. Observer design for a class of nonlinear systems // Int. J. Control. 1994. V. 59, № 2. P. 515-528.

85. Rajamani R. Observers for Lipschitz nonlinear systems // IEEE Trans, on Autom. Control. 1998. V. 43, № 3. P. 397-401.

86. Starkov K.E. On the Thau observer's construction for nonlinear systems with a time-varying linearization // Proc. IASTED International Conf. MIC'2002. Innsbruck, 2002. P. 392-395.

87. Gauthier J.P., Hammouri H., Othman S. A simple observer for nonlinear systems. Applications to bioreactors // IEEE Trans, on Autom. Control. 1992. V. 37, № 6. P. 875-880.

88. Gauthier J.P., Kupka I. Observability and observers for nonlinear systems // SIAM J. Control and Optimization. 1994. V. 32, № 4. P. 975-994.

89. Gauthier J.P., Kupka I. Deterministic observation theory and applications. Cambridge: University Press, 2001. 226p.

90. Arcak M., Kokotovic P.V. Observer-based control of systems with slope-restricted nonlinearities // Proc. Amer. Control Conf. Arlington, 2001. P. 384-389.

91. Arcak M., Kokotovic P.V. Nonlinear observers: a circle criterion design and robustness analysis // Automatica. 2001. V. 37. P. 19231930.

92. Tsinias J. Observer design for nonlinear systems // Systems and Control Letters. 1989. № 13. P. 135-142.

93. Tsinias J. Further results on the observer design problem // Systems and Control Letters. 1990. № 14. P. 411-418.

94. Shim H., Seo J.H. Passivity framework for nonlinear state observer // Proc. Amer. Control Conf. Chicago, 2000. P. 699-705.

95. Shim H., Seo J. H. Recursive observer design beyond the uniform observability // Proc. 39-th IEEE Conf. on Decision and Control. Sydney, 2000. CD-ROM.

96. Кригценко А.П., Ткачев С.Б. Нелинейные k(х)-двойственные системы // Автоматика и телемеханика. 1995. № 2. С. 21-34.

97. Крищенко А.П., Ткачев С.Б. Нелинейные к(х)-двойственные системы и синтез наблюдателей // Дифференциальные уравнения. 1999. Т. 35, № 5. С. 648-663.

98. Машиностроение. Энциклопедия / Ред. совет: К. В. Фролов (пред.) и др. М.: Машиностроение, 2000. Т. 1-4. Автоматическое управление. Теория. / Е. А. Федосов, А. А. Красовский, Е. П. Попов и др. Под общ. ред. Е.А. Федосова. 688 с.

99. Vidyasagar М. On the stabilization of nonlinear systems using state detection // IEEE Trans, on Autom. Control. 1980. V. 25. P. 504509.

100. Tsinias J. A generalization of Vidyasagar's theorem on stabilizability using state detection // Systems & Control Letters. 1991. № 17. P. 3742.

101. Freeman R. Global internal stabilizability does not imply global external stabilizability for small sensor disturbances // IEEE Trans, on Autom. Control. 1995. V. 40, № 12. P. 2119-2122.

102. Mazenc F., Praly L., Dayawansa W.P. Global stabilization by output feedback: examples and counterexamples // Systems and Control Letters. 1994. № 23. P. 119-125.

103. Freeman R., Kokotovic P.V. Robust nonlinear control design. Statespace and Lyapunov techniques. Boston: Birkhauser, 1996. 257 p.

104. Tornambe A. Output feedback stabilization of a class of non-minimum phase nonlinear systems // Systems and Control Letters. 1992. № 19. P. 193-204.

105. Esfandiari F., Khalil H.K. Output feedback stabilization of fully linearizable systems // Int. J. Control. 1992. V. 56. P. 1007-1037.

106. Khalil H.K., Esfandiari F. Semiglobal stabilization of a class of nonlinear systems using output feedback // IEEE Trans, on Autom. Control. 1993. V. 38, № 9. P. 1412-1415.

107. Teel A., Praly L. Global stabilizability and observability imply semiglobal stabilizability by output feedback // Systems & Control Letters. 1994. № 22. P. 313-325.

108. Teel A., Praly L. Tools for semiglobal stabilization by partial state and output feedback // SIAM J. Control and Optimization. 1995. V. 33, № 5. P. 1443-1488.

109. Lin W. Input saturation and global stabilization of nonlinear systems via state and output feedback // IEEE Trans, on Autom. Control. 1995. V. 40. P. 776-782.

110. Lin Z., Saberi A. Robust semi-global stabilization of minimumphase input-output linearizable systems via partial state and output feedback // IEEE Trans, on Autom. Control. 1995. V. 40, № 6. P. 1029-1041.

111. Jouan P., Gauthier J.P. Finite singularities of nonlinear systems, output stabilization, observability and observers //J. Dynamical and Control Systems. 1996. V. 2, № 2. P. 255-288.

112. Battilotti S. Semiglobal stabilization of uncertain block-feedforward systems via measurement feedback // Proc. 4th IFAC Nonlinear Control Systems Design Symposium. Enschede, 1998. P. 342-347.

113. Battilotti S. A general theorem on the semiglobal stabilization of uncertain nonlinear systems via measurement feedback // Proc. 4th IFAC Nonlinear Control Systems Design Symposium. Enschede, 1998. P. 848-853.

114. Isidori A. Semiglobal practical stabilization of uncertain nonminimum-phase nonlinear systems via output feedback // Proc. 4th IFAC Nonlinear Control Systems Design Symposium. Enschede, 1998. P. 643-648.

115. Atassi A.N., Khalil H.K. A separation principle for the control of a class of nonlinear systems // Proc. 37th IEEE Conf. on Decision and Control. Tampa, 1998. P. 855-860.

116. Atassi A.N., Khalil H.K. A separation principle for the stabilization of a class of nonlinear systems // IEEE Trans, on Autom. Control. 1999. V. 44, № 9. P. 1672-1687.

117. Besancon G., Hammouri H. Some remarks on dynamic output feedback control of non-uniformly observable systems // Proc. 39th IEEE Conf. on Decision and Control. Sydney, 2000. CD-ROM.

118. Isidori A. A tool for semiglobal stabilization of uncertain nonminimum-phase nonlinear systems via output feedback // IEEE Trans, on Autom. Control. 2000. V. 45, № 10. P. 1817-1827.

119. Isidori A., Teel A., Praly L. A note on the problem of semiglobal practical stabilization of uncertain nonlinear systems via dynamic output feedback // Systems and Control Letters. 2000. № 39. P. 165171.

120. Besancon G., Hammouri H. A semi-global output feedback stabilization scheme for a class of non uniformly observable systems // Prepr. 15th IFAC World Congress. Barcelona, 2002. CD-ROM.

121. Tsinias J. Sontag's 'input to state stability condition' and global stabilization using state detection // Systems and Control Letters. 1993. № 20. P. 219-226.

122. Arcak M., Kokotovic P.V. Observer based control of systems with slope - restricted nonlinearities // IEEE Trans, on Autom. Control. 2001. V. 46, № 7. P. 1146-1150.

123. Tsinias J. A theorem 011 global stabilization of nonlinear systems by linear feedback // Systems and Control Letters. 1991. № 17. P. 357362.

124. Lin W. Bounded smooth state feedback and a global separation principle for non-affine nonlinear systems // Systems and Control Letters. 1995. № 26. P. 41-53.

125. Battilotti S. Global output regulation and disturbance attenuation with global stability via measurement feedback for a class of nonlinear systems // IEEE Trans, on Autom. Control. 1996. V. 41, № 3. P. 315327.

126. Loria A., Panteley E. A separation principle for a class of Euler-Lagrange systems // In: New Directions in Nonlinear Observer Design. London: Springer-Verlag, 1999. 320 p.

127. Arcak M., Kokotovic P.V. Observer-based stabilization of systems with monotonic nonlinearities // Asian J. Control. 1999. V. 1. P. 4248.

128. Besancon G., Battilotti S., Lanari L. A new separation result for Euler-Lagrange-like systems // Prepr. 15th IFAC World Congress. Barcelona, 2002. CD-ROM.

129. Arcak M. A global separation theorem for a new class of nonlinear observers // Proc. 41st IEEE Conf. on Decision and Control. Las Vegas, 2002. P. 676-681.

130. Голубев A.E. Глобальная стабилизация нелинейных динамических систем при экспоненциальной оценке вектора состояния // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2004. № 2. С. 38-60.

131. Уонэм М. Линейные многомерные системы управления: Геометрический подход. М.: Наука, 1980. 376 с.

132. Nijmeijer Н., Schaft A. Van der. Nonlinear dynamical control systems. New-York: Springer, 1990. 467 p.

133. A. Stotsky, X. Hu, M. Egerstedt. Sliding mode control of a car like mobile robot using single track dynamic model // Proc. of the lAth Word Congress of the IFAC. Beijing, 1999. V. B. P. 119-124.

134. Бурдаков С.Ф., Мирошник И.В., Стельмаков Р.Э. Системы управления движением колесных роботов. СПб.: Наука, 2001. 227 с.

135. Крищенко А.П., Клинковский М.Г. Преобразование аффинных систем с управлением и задача стабилизации //Дифференциальные уравнения. 1992. Т. 28. С. 1945-1952.

136. Андриевский Б.Р., Фрадков A.JI. Избранные главы теории автоматического управления. СПб.: Наука, 1999. 494 с.

137. Меркин Д.Р. Введение в теорию устойчивости движения. М.: Наука, 1987. 304 с.

138. Голубев А.Е., Кавинов A.B., Ткачев С.Б. Стабилизация положения равновесия аффинной системы с использованием наблюдателя // Устойчивость и колебания нелинейных систем управления: Тез. докл. VI Межд. сем. М., 2000. С. 34.

139. Голубев А.Е., Крищенко А.П., Ткачев С.Б. Принцип разделения для аффинных систем // Дифференциальные уравнения. 2001. Т. 37, № 11. С. 1468-1475.

140. Алексеенков С. Г., Ткачев С. Б. Оценка концентрации продукта химической реакции с использованием наблюдателя // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2001. № 2. С. 93-104.

141. Голубев А.Е., Ткачев С.Б. Стабилизация класса нелинейных систем при неполном измерении состояния // Нелинейный динамический анализ: Тез. докл. II Межд. конгр. М., 2002. С. 110.

142. Alexseenkov S.G., Tkachev S.B. Analytical and numerical algorithms for output control of chemical reactors //Process Control'02: Proc. of XIV Int. Scient.-Tech. Conf. Pardubice, 2002. CD-ROM.

143. Панфилов Д.Ю., Ткачев С.Б. Реализация программного движения аффинной системы по части переменных // Устойчивость и колебания нелинейных систем управления: Тез. докл. Межд. сем. им. Е.С. Пятницкого. М., 2002. С. 148-149.

144. Golubev А.Е., Krishchenko А.P., Tkachev S.B. Separation principle for a class of nonlinear systems // Preprints of 15-th IFAC World Congress. Barcelona, 2002. CD-ROM.

145. Крищенко А.П., Панфилов Д.Ю., Ткачев С.Б. Построение минимально фазовых аффинных систем // Дифференциальные уравнения. 2002. Т. 38, № 11. С. 1483-1489.

146. Panfilov D. U., Tkachev S. В. Tracking of reference trajectory for wheeled mobile robot // Process Control 03: Proc. of XV Int. Conf. Strebsko Pleso, 2003. CD-ROM.

147. Tkachev S. В., Alexeenkov S. G. Numerical algorithms for nonlinear observer-based control // Physics and Control: Proc. of Int. Conf. Saint-Petersburg, 2003. P. 1278-1283.

148. Крищенко А.П., Панфилов Д.Ю., Ткачев С.Б. Глобальная стабилизация аффинных систем с помощью виртуальных выходов // Дифференциальные уравнения. 2003. Т. 39, № 11. С. 1503-1510.

149. Output maps with associated asymptotically stable zero dynamics / A.P. Krishchenko, D.U. Panfilov, K.E. Starkov, S.B. Tkachev // Nonlinear Control Systems'04: Proc. of VI IFAC Symp. Stuttgart, 2004. V. 1. P. 329-334.

150. Голубев A.E., Крищенко А.П., Ткачев С.Б. Стабилизация нелинейных динамических систем с использованием оценки состояния системы асимптотическим наблюдателем (обзор) // Автоматика и телемеханика. 2005. № 7. С. 3-42.

151. Tkachev S.B., Panfilov D.U. Multy-output maps with associated asymptotically stable zero dynamics // Physics and Control'05: Proc. of II Int. Conf. Saint-Petersburg, 2005. P. 898-903.

152. Ткачев С. Б. Стабилизация программных движений нелинейных систем с использованием виртуальных выходов // Системный анализ и информационные технологии (САИТ-2005): Труды I Межд. конф. М., 2005. Т. 1. С. 135-138.

153. Ткачев С.Б. Экспоненциальная стабилизация заданного изменения выхода аффинной системы // Устойчивость и колебания нелинейных систем управления: Тез. докл. IX Межд. сем. им. Е.С. Пятницкого. М., 2006. С. 251-253.

154. Крищенко А.П., Ткачев С.В., Фетисов Д.А. Управление движением робота по лестнице // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2006. № 1. С. 38-64.

155. Ткачев С.Б. Стабилизация программного движения, соответствующего заданному изменению выхода // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2006. № 4. С. 43-60.

156. Ткачев С.Б. Стабилизация нестационарных аффинных систем с помощью виртуальных выходов // Дифференциальные уравнения. 2006. Т. 42, № 8. С. 1145.

157. Ткачев С.Б. Стабилизация программных движений методом виртуальных выходов / / Дифференциальные уравнения. 2007. Т. 43, № 6. С. 753-759.

158. Krishchenko A.P., Tkachev S.B. Virtual outputs with uniformly asymptotically stable zero dynamics and feedback design // Physics and Control'07: Proc. of III Int. Conf. Potsdam, Germany, 2007. http: //lib.physcon.ru/?item=1259

159. Ткачев С.Б. Метод виртуальных выходов стабилизации положения равновесия нестационарной системы // Системный анализ и информационные технологии (САИТ-2007): Труды II Межд. конф. М., 2007. Т. 1. С. 55-56.

160. Ткачев С.Б. Реализация программных траекторий виртуальных мобильных объектов // Системный анализ и информационные технологии (САИТ-2007): Труды II Межд. конф. М., 2007. Т. 1. С. 57-58.

161. Ткачев С.Б. Стабилизация нестационарных аффинных систем методом виртуальных выходов // Дифференциальные уравнения. 2007. Т. 43, № 11. С. 1507-1517.

162. Ткачев С.Б. Реализация движения колесного робота по заданной траектории // Вестник МГТУ им. Н.Э. Баумана. Естественные науки. 2008. № 2. С. 33 — 55.

163. Ткачев С.Б. Стабилизация движения судна на воздушной подушке методом виртуальных выходов // Устойчивость и колебания нелинейных систем управления: Тез. докл. X Межд. сем. им. Е.С. Пятницкого. М., 2008. С. 313-315.

164. Ткачев С.Б., Торгашев М.А. Управление виртуальным мобильным роботом // Устойчивость и колебания нелинейных систем управления: Тез. докл. X Межд. сем. им. Е.С. Пятницкого. М., 2008. С. 315-317.

165. Ткачев С.Б. Стабилизация систем с линейной нулевой динамикой методом виртуальных выходов // Дифференциальные уравнения и топология: Тез. докл. Межд. конф., поев. 100-летию со дня рожд. Л.С. Понтрягина. М., 2008. С. 405-406.

166. Ткачев С.Б. Метод виртуальных выходов в задачах стабилизации // Дифференциальные уравнения. 2008. Т. 44, № 8. С. 1147-1148.

167. Ткачев С.Б. Построение минимально фазовых нелинейных систем и стабилизация положения равновесия // Управление динамическими системами: Тез. докл. Межд. конф. М., 2009. С. 86.

168. Ткачев С.Б. Стабилизация нелинейных систем с векторным управлением методом виртуальных выходов // Математическая теория систем: Тез. докл. Межд. конф. М., 2009. С. 30-31.