автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.01, диссертация на тему:Анализ устойчивости и циклического поведения нелинейных управляемых систем
Автореферат диссертации по теме "Анализ устойчивости и циклического поведения нелинейных управляемых систем"
Мулкиджан Алексей Сергеевич
АНАЛИЗ УСТОЙЧИВОСТИ И ЦИКЛИЧЕСКОГО ПОВЕДЕНИЯ НЕЛИНЕЙНЫХ УПРАВЛЯЕМЫХ СИСТЕМ
Специальность 05.13.01 - Системный анализ, управление и обработка информации (промышленность)
1 5 Ш р
Автореферат
диссертации на соискание ученой степени кандидата технических наук
Москва-2012
005013970
Работа выполнена в ФГБОУ ВПО «Московский государственный университет путей сообщения» (МИИТ)
Научный руководитель: доктор физико-математических наук,
профессор О.В. Дружинина
Официальные оппоненты: доктор физико-математических наук,
профессор Е.А. Гребеников
кандидат технических наук, доцент Е.Г. Андрианова
Ведущая организация: ФГБОУ ВПО «Московский государственный
технический университет гражданской авиации» (МГТУ ГА)
Защита диссертации состоится « 29 » MAjUTbiL 2012 г. в {_£_ часов на заседании совета по защите докторских к кандидатских диссертаций Д 002.017.03 при Вычислительном центре им. A.A. Дородницына РАН по адресу: 119333, г. Москва, ул. Вавилова, д. 40.
С диссертацией можно ознакомиться в библиотеке ВЦ РАН.
Автореферат разослан «_»_2012 г.
Ученый секретарь
совета по защите докторских
и кандидатских диссертаций Д 002.017.03
кандидат физико-математических наук A.B. Мухин
Общая характеристика работы
Актуальность темы. Развитие методов системного анализа управляемых процессов обусловлено как обширным кругом прикладных задач, так и интенсивным внедрением компьютерной техники. В условиях значительного усложнения структуры проектируемых промышленных систем и управляемых технических процессов перед фундаментальной наукой ставится проблема системного анализа сложных управляемых динамических систем, позволяющего находить условия безопасного их функционирования с учетом влияния параметров системы на ее устойчивость.
Во многих задачах технического характера структура управляемых динамических систем и их параметры известны с некоторой погрешностью, и к числу необходимых требований, предъявляемых к управляемым системам, относится их устойчивость (в том или ином смысле) по отношению к структурным и внешним возмущениям. К таким задачам относятся задачи проектирования и отработки сложных технических систем, например, роботов-манипуляторов и летательных аппаратов.
Для решения задач стабилизации сложных управляемых динамических систем используют упрощение (преобразование) их структурных схем. Наиболее распространенными упрощениями являются декомпозиция, децентрализация и агрегирование. Известно, что подбором обратных связей сложную управляемую динамическую систему можно представить в виде отдельных подсистем. В приложениях встречаются управляемые динамические системы, которые расчленяются на локализованные подсистемы, обладающие определенной степенью автономности в том смысле, что управление может осуществляться на уровне подсистем (на локальном уровне) и на уровне исходной системы (на глобальном уровне). К таким системам относятся математические динамические модели объединенных энергосистем, манипуляци-онных управляемых динамических систем и других систем.
Для анализа динамических процессов управления техническими системами эффективным является использование теоретического аппарата теории устойчивости и качественной теории динамических систем. Методы, разработанные в трудах A.M. Ляпунова, Н.Е. Жуковского, Н.Г. Четаева, И.Г. Малкина, H.H. Красовского, Е.А. Барбашина, В.И. Зубова, A.A. Шестакова и других ученых, позволяют исследовать устойчивость состояний равновесия и предельных циклов в динамических управляемых системах.
Важным методом исследования устойчивости неавтономных управляемых динамических систем является метод предельных уравнений в сочетании с методом функций Ляпунова. Метод предельных уравнений дает возможность использовать для анализа изучаемой системы свойства ее предель-
ной системы и исследовать предельную систему с помощью приемов топологической динамики. Предельные свойства динамических систем изучались, начиная с работ A.M. Ляпунова, А. Пуанкаре, в работах Дж. Селла, 3. Артштейна, Дж. Като, A.C. Андреева, A.A. Мартынкжа, A.A. Шестакова, И.Г. Башмакова, A.M. Матвиенко и других ученых.
Метод предельных уравнений в сочетании с методом функций Ляпунова применяется также для решения задач оптимальной стабилизации управляемых динамических систем. Способы оптимальной стабилизации управляемых систем различных типов разработаны в трудах H.H. Красовского, В.В. Румянцева, A.C. Андреева, В.Н. Щенникова и других ученых. В настоящее время исследования по оптимальной стабилизации направлены на обобщения имеющихся результатов при ослаблении условий, налагаемых на оптимальную функцию Ляпунова. Кроме того, актуальными являются вопросы оптимальной стабилизации многосвязных управляемых систем, используемых в различных областях техники.
Важное значение в задачах анализа динамических систем имеют вопросы существования предельных циклов и автоколебаний. Для двумерной динамической системы циклическое поведение решений рассматривалось, начиная с работ А. Пуанкаре, A.M. Ляпунова, И. Бендиксона, Г. Дюлака, в многочисленных работах отечественных и зарубежных исследователей. В многомерном случае для решения задачи нахождения условий наличия или отсутствия автоколебаний не существует общего метода, хотя ряд частных случаев изучен достаточно детально. Изучение циклического поведения динамических систем представляет интерес в задачах управления техническими процессами и промышленными предприятиями.
Объектом исследования являются нелинейные управляемые динамические системы, моделирующие поведение сложных технических систем и описываемые многомерными дифференциальными уравнениями.
Целью работы является построение алгоритмов стабилизации и разработка теоретических основ методики управления и анализа устойчивости сложных технических систем, включая манипуляционные робототехнические системы, а также анализ циклического поведения и выяснение условий возникновения предельных циклов в динамических системах.
Методы исследования. В диссертации использованы методы системного анализа, теории управления, качественной теории дифференциальных уравнений, теории устойчивости динамических систем.
Научная новизна. В диссертационной работе получены новые, а также обобщены, дополнены и уточнены известные результаты в теории управления и устойчивости управляемых динамических процессов. Получены условия асимптотической устойчивости экспоненциального и неэкспоненциального типов для состояний равновесия нелинейной автономной динамической
системы, и на основе этих условий предложены алгоритмы анализа устойчивости. Дано развитие комбинированного (на основе сочетания свойств функций Ляпунова и предельных уравнений) метода анализа устойчивости управляемых систем. Предложены алгоритмы оптимальной стабилизации нелинейной управляемой системы. Дано применение алгоритма оптимальной стабилизации к изучению поведения робототехнических систем. Для динамической модели робота-манипулятора на уровне подсистем синтезировано стабилизирующее управление и на уровне исходной системы синтезировано оптимальное управление. Получены новые условия наличия предельных циклов в нелинейных динамических системах.
Практическая значимость. Полученные в диссертации результаты могут найти применение в задачах исследования устойчивости манипуляци-онных робототехнических и ракетно-космических систем управления, в задачах стабилизации программного движения, в задачах качественного исследования динамики промышленных систем, а также при проектировании, совершенствовании и отработке сложных технических систем, например, ракетно-космических и летательных аппаратов и т.д.
Ряд результатов диссертации получен в рамках работы по гранту РФФИ (проект № 10-08-00826-а) и в рамках госбюджетной научно-исследовательской работы Российской открытой академии транспорта Московского государственного университета путей сообщения (МИИТ).
Достоверность и обоснованность. Достоверность результатов, сформулированных в диссертации, обеспечивается корректностью принятых допущений и строгостью аналитических и качественных методов. Все утверждения диссертации обоснованы, приведены полные обоснования выводов.
Личный вклад автора в проведенное исследование. Представленные на защиту результаты диссертации получены автором самостоятельно. Результаты, опубликованные совместно с другими авторами, принадлежат соавторам в равных долях. Результаты других авторов, которые использованы при изложении, содержат ссылки на соответствующие источники.
Апробация работы. Результаты работы докладывались и обсуждались на XX межвузовской студенческой конференции «Актуальные проблемы естествознания» Российского государственного открытого технического университета путей сообщения (Москва, 2008 г.); на Всероссийской конференции по проблемам математики, информатики, физики и химии Российского университета дружбы народов (Москва, 2008-2010 гг.); на XXI Международной студенческой конференции «Актуальные проблемы естествознания. Фундаментальная наука и транспорт» Московского государственного университета путей сообщения (МИИТ) (Москва, 2009); конференции «Управление в технических системах УТС-2010» (Санкт-Петербург, ОАО «Концерн
«ЦНИИ «Электроприбор», 2010 г.); Всероссийской конференции с международным участием «Информационно-телекоммуникационные технологии и математическое моделирование высокотехнологичных систем» Российского университета дружбы народов (Москва, 2011); III Международной научной конференции «Фундаментальные проблемы системной безопасности и устойчивости», посвященной 50-летию полета первого в мире космонавта Ю.А. Гагарина (ЗАТО ГО «Звездный городок», 2011 г.).
Публикации. По теме диссертации опубликовано 8 работ общим объемом 1,8 пл., в том числе 5 работ в журналах и изданиях из перечня, рекомендованного ВАК РФ, объемом 1,3 пл., 3 публикации в сборниках научных трудов и в сборниках тезисов и трудов конференций.
Структура и объем работы. Диссертация содержит 130 страниц текста и состоит из введения, четырех глав, заключения, списка литературы, включающего 164 наименования работ отечественных и зарубежных авторов. Работа содержит 3 рисунка. При ссылках на формулы, не входящие в текущий раздел, даются указания на соответствующие главы и разделы.
Краткое содержание работы
Введение содержит обоснование актуальности темы. Дан обзор результатов исследований по теме диссертации, сформулирована цель исследования, охарактеризованы методы исследования, научная новизна и практическая значимость, приведены основные результаты работы. Кроме того, во введении проведен обзорно-сравнительный анализ и дано описание некоторых моделей технических систем, исследование которых можно осуществить разработанными в диссертации методами. В частности, рассмотрена модель функционирования робота-манипулятора, содержащего п звеньев, связанных вращательными либо поступательными сочленениями. Динамическая модель и схема манипуляционного механизма представлена в соответствии с описанием М. Вукобратовича. Описан подход к решению задачи управления, базирующийся на применении децентрализованного управления, когда происходит разделение робототехнической системы на несколько независимых подсистем более низкого порядка, которыми можно управлять в отдельности.
В первой главе «Анализ устойчивости и стабилизация управляемых динамических систем на основе сочетания функций Ляпунова и предельных уравнений» рассмотрены вопросы устойчивости и стабилизации управляемых динамических систем на основе сочетания функций Ляпунова и предельных уравнений.
Согласно основным теоремам метода предельных уравнений, динамической системе вида х = /(/д), (1,х) е Я+ х Я", ставится в соответствие сис-
тема вида х = g(t,x), (t,x) eR+ xR", называемая предельной, и целью является по качественным свойствам предельной системы получить заключение о качественных свойствах исходной системы.
Рассмотрена динамическая система, описываемая уравнением вида
* = /(/,*), /eC(R+ хW,R"), (1)
правая часть f(t,x) которого удовлетворяет условиям существования и единственности решения, проходящего через точку (f 0, х0) и определенного в целом; в (1) через W обозначено открытое множество в R". Наряду с системой (1) рассмотрена система
i = g(t.x), (2)
где gen(f), n(/)::={gsC(Ä+x^)Ä"):3{tn}ci?+, т„^со, {fzJ->g
в компактно открытой топологии}. Система (2) является предельной в смысле Селла для системы (1). Для решения системы (1) даны условия равномерной асимптотической устойчивости с помощью свойств системы (2), обобщающие условия Дж. Селла и A.A. Шестакова. Изучен вопрос сходимости решений уравнения (1) к множеству Е = {х.и'(х) = 0} при ос, где
D*V(t,x)<w(x)S0, V - обобщенная функция Ляпунова, w - непрерывная функция. Получены условия равномерной асимптотической устойчивости неэкспоненциального и экспоненциального типов состояний равновесия системы (1).
Далее в первой главе рассмотрена управляемая система, описываемая системой дифференциальных уравнений
x=g(t,x,u), £(7,0,0) = 0, х = (х[,х2,...х^), u = {ui,ui,..Mf), (3)
правая часть которой g(t,x,u) для класса и = {u(l, х): u(t, 0) = 0} управляющих воздействий u(t,x), непрерывных в области К = J х М (У=[0,+оо], М = {|М|<Я}), удовлетворяет в А" условиям существования и единственности решений.
В качестве критерия качества управления рассмотрено условие минимума интеграла
оо
1= \W{t,x[t],u[t])dt, W > О (4)
'о
среди всех u(t, x)eU. Решение задачи об оптимальной стабилизации состоит в нахождении управляющего воздействия u = u°(t,x)eU, обеспечивающего асимптотическую устойчивость невозмущенного движения х = 0 системы (3), такого, что для любого другого управления и = u{t, х)е U выполняется неравенство
I = ]w(t, x\tl m°m)dt <]w[t, x*[t], «*[/])dt
to to
приг0£0; x°[î0] = j:*[î0] = x0; xQe.M0; M0cM.
Предполагается, что правая часть g°(t,x) = g(t,x,u"(t,x)) системы (3) для некоторой функции и = u°(t,x)eU удовлетворяет условиям прекомпакт-ности. Наряду с системой уравнений
* = *"[',*] ' (5)
рассматривается семейство предельных систем {х = G(t,x)}.
Аналогично функции W[t, х] = W(t, х, u°(t, х)), соответствующей системе (3), сопоставляется семейство предельных к ней функций {А.(/, х)}.
Для решения задачи оптимальной стабилизации используется функция Красовского-Беллмана вида
B[V, t,x,u] = ^- + (V V)TF(t, х, и) + W(t, х, и), dt
Согласно этапам алгоритма оптимальной стабилизации, для того чтобы управляющее воздействие u = u°(t,x) решало задачу об оптимальной стабилизации, необходимо: 1) проверить наличие функции V(t,x)eC](E), функций Хана A,, h2, таких что /»,([|;c|)<F(/, х)</г2фф; 2) для функции Красовского-Беллмана проверить выполнение свойств: B\V,t, х,ы°(/, х)] = 0 для управляющего воздействия ua{t,x) и B[V{t, х), t, х, и' (t, х)] > 0 для любого другого u = u(t,x)eU ; 3) хотя бы для одной предельной пары (G0, Х0) к (g0,WQ) установить, что множество {Я0(г, х)} не содержит решений системы х = G0(t, х), кроме х = 0.
Далее рассмотрен случай, когда для системы (3) существует неотрицательная функция V(t,x), такая, что V(t,0) = 0, с производной в силу (3) V(l, х) < -S(t, х) < 0, и когда в системе (3) приложены дополнительные управляющие силы
g,(t,x,u) = A(t,x)u, иг=(и,,и2.....иг), (6)
где m{t,x) - (рхг)-матрица. Критерием оптимальности рассматриваемой управляемой системы
x = g{t,x) + gx(t,x,u) (7)
является функционал (4) с подынтегральной функцией
W(t, х, и) = a(f, х) + uTR(t, х) и, (8)
где a(t,x) - функция, которую необходимо определить, а R(t,x) -определенно-положительная (гхг)-матрица.
Минимум выражения В[У, I, х, и], составленного для системы (7) с заданной функцией У= У(1, х) и критерием качества (4) и (8), доставляется управляющим воздействием
и = и°(1,х) = ~Я-\их)Ат(1,х)^У{их), (9)
при этом функция а.и,х) определяется из соотношения В[У, х, и°(/, *)] =0.
Условия оптимальности функции Ляпунова формулируются следующим образом: если функция У=У(/,х) определенно-положительна и существует хотя бы одна предельная к (g(t,x) + g¡[t,x],W[t,x]) пара (й, X), такая, что множество {А.(/, лс) = 0} не содержит решений системы х = С{г,х), кроме х = 0, то функция У= У(1, х) будет оптимальной функцией Ляпунова для системы (7) с критерием качества
/= \(8 + -фУ)т А1С1АтЧУ + итКи)с11 (10)
, 4
и оптимальным воздействием (9). С помощью (6)—(10) в первой главе разработан алгоритм оптимальной стабилизации нелинейной управляемой системы.
Таким образом, в первой главе на основе учета свойств изучаемых систем и соответствующих предельных систем даны условия равномерной асимптотической устойчивости. Рассмотрен важный для технических приложений вопрос о стабилизации управляемых систем с применением функций Ляпунова и предельных уравнений. Исследование обобщает и алгоритмизирует известные результаты при ослаблении ограничений, накладываемых на оптимальную функцию Ляпунова. Предложены алгоритмы оптимальной стабилизации, которые могут служить основой методики анализа устойчивости сложных технических систем и могут найти применение в задачах проектирования таких технических объектов, как летательные аппараты, роботы-манипуляторы, подвижной состав автомобильного и железнодорожного транспорта и др.
Во второй главе «Алгоритмы оптимальной стабилизации управляемых систем» рассмотрены вопросы оптимальной стабилизации нелинейных многосвязных управляемых систем и разработаны алгоритмы оптимальной стабилизации указанных систем. В главе сформулированы условия оптимальной стабилизации нелинейной управляемой системы общего вида и построен применительно к указанной системе алгоритм оптимальной стабилизации. Далее в главе изучена нелинейная многосвязная управляемая динамическая система вида
где xs е R"', us e Rr' - управляющие воздействия. Векторные функции fs{t,xs\ Fs(t,x) и матрицы Bs(t,xs) размерности nsxrs заданы в области
Q = {f,x:i><0, И<А> 0<A = const}. (12)
Для многосвязной системы (11) предполагается, что
x = {xJ,...,xTJ, Г®...Фй"'=Г, Ф,(/,0,0)=0,
Rn Ф...Ф = Rr, s = lq, и выполнены условия существования и единственности решения. Кроме того, принято, что для систем
^- = fs{t,xs),s = ü, (13)
dt
в области (12) существуют непрерывно дифференцируемые функции Ляпунова vs(t,xs), s = l,q, удовлетворяющие теореме Ляпунова о равномерной асимптотической устойчивости. Управляющее воздействие, по аналогии со стабилизацией в критических случаях, представлено в виде и (t,x)=u4t,x )+ugiob(t,x),
S ^ ' S ^ S'
где «'oc(i,xJ - управляющее воздействие на уровне подсистем, а u*iab(t,x) -
управляющее воздействие на уровне исходной системы. Для системы первого приближения (13) по отношению к системе (11) существует функция Ляпунова v(t,x)= ^vs(t,xs), где - определенно-положительные функ-
.5=1
ции Ляпунова для отдельных подсистем, допускающие бесконечно малый высший предел, полные производные по времени которых вдоль решений соответствующих подсистем (13) суть определенно-отрицательные функции. При данных предположениях оптимальная стабилизация применительно к системе (11) осуществляется на основе подхода, разработанного в трудах H.H. Красовского и В.В. Румянцева для нелинейных управляемых систем.
С целью решения задачи оптимальной стабилизации на основе функции Ляпунова v(t,x)= ^vs{t,xs) введена функция Красовского-Беллмана
s=l
вида
я Гл. (. - ^
\т
SL dt
<{fs(t,xs)+Fs{t,x)+Bs(t,xs)us + «srßs(.0«)
+ 4>(t,x), (14)
)
где (/, ) = С01
с \
ох. дх„ \ 1 ч,)
, Р5 ) - определенно-положительные сим-
где функции ( /, х5 ) =
метричные матрицы. При оптимальном управлении и оптимальной функции Ляпунова имеем = 0, а при всех других управлениях имеем
В[у°;1,х,и]> 0. Оптимальное управление следует искать из системы
^=в. *=Ц?,
8и1 2
откуда
и.°('.*,) = В,(их,\ * =
Введена функция
.5=1
Ил,
являются определенно-отрицательными. Если
(13)
функция определенно-положительная, то функционал качества управ-
ления примет вид
•4"°)= {(¿(-»".О, )»? -(ё^г,(/,дс))+
/о 4=1
Рассмотрен пример применения метода оптимальной стабилизации для системы вида:
+ +х3+2хи, ^ = + +х\ (15)
Л I 1г) 1 1 1 Л I /V 2 2 к
где *,(/„) = х10, х2(10) = х20, (0 = 1. Для подсистем
системы (15) функции Ляпунова выбраны в виде V;) = ^х?, у2(х2) = ^х%.
Для исходной системы (15) оптимальная функция Ляпунова имеет вид у°(х) = v1(дr1)+ р2(х2). Функция Красовского-Беллмана записана в виде
В^,х1,х1,и] = ~\\ + + + х* +х\ + 2ххи + и1 +Ч/(д;1,х2).
Получено, что и0 =-х1г а Ч/(/,х1,а2)=(2 + -!г 11 -ь ~ -х*-х\. Функ-
V Р) I Л
ция Ч^,*! ,х2 ) при произвольных />/0 >1, Х| и х2 является знакопеременной, а в области 9 = {/0,дг,,х2:/>> 1,<0,1; 5 = 1,2} функция будет определенно-положительной.
Алгоритм оптимальной стабилизации применительно к многосвязным управляемым системам вида (11) состоит из следующих шагов.
Шаг 1. Определить структуру вектора дополнительных сил. В системе (11) это вектор ДЛ.(г,хх)и5 ($ = 1, (¡). При решении конкретной задачи оптимальной стабилизации вектор дополнительных сил может уточняться. Для каждой подсистемы
да
известна непрерывно дифференцируемая функция Ляпунова х„), которая является определенно-положительной, допускающей бесконечно малый высший предел, полная производная которой по времени есть либо определенно отрицательна, либо знакопостоянна, либо равна нулю.
Шаг 2. Выбрать функцию Ляпунова для исходной системы (11) в виде
ч
¿=1
Шаг 3. Выписать функцию Красовского-Беллмана вида (14). При оптимальном управлении и оптимальной функции Ляпунова получим В х,и°] = 0, а при всех других управлениях имеем В [К0; х,и]>0.
Шаг 4. Исходя из свойств функции Красовского-Беллмана, составить систему
дВ
ди.
= 0, л =
и, =«,((,*)
для нахождения оптимального управления и°((, хг), л = 1, <7.
Шаг 5. Подставить оптимальное управление 5 = 1, ^г,
в функцию Красовского-Беллмана и найти функцию Ч1^, х). Если х) окажется определенно-положительной, то задача оптимальной стабилизации
для системы (11) решена. В противном случае задача не имеет решения. Это означает, что вектор дополнительных сил следует уточнить.
Таким образом, во второй главе рассмотрены условия оптимальной стабилизации нелинейных многосвязных управляемых систем, задаваемых многомерными дифференциальными уравнениями. Многосвязные управляемые системы имеют важное прикладное значение в задачах проектирования, отработки и совершенствования сложных технических систем, в частности, манипуляционных робототехнических систем и летательных аппаратов. С прикладной точки зрения представляют значительный интерес построенные во второй главе алгоритмы стабилизации движения системы дополнительными силами при условии минимизации функционала, характеризующего качество управления. При этом функционал качества управления найден не только исходя из технической потребности, но и возможности решения задачи оптимальной стабилизации в замкнутом и достаточно простом виде.
В третьей главе «Анализ циклического поведения нелинейных динамических систем» рассмотрены вопросы существования и устойчивости предельных циклов нелинейных динамических систем и проанализированы условия возникновения предельных циклов. В главе установлены условия наличия и устойчивости предельных циклов нелинейных динамических систем, описываемых многомерными дифференциальными уравнениями в пространстве R". Полученные результаты базируются на ослаблении требований об асимптотической устойчивости по Ляпунову и замене этого требования менее жестким требованием о строгой орбитальной устойчивости, использующим репараметризацию движения по траектории. Для периодических траекторий использовано понятие асимптотической фазы.
Рассмотрена динамическая система, описываемая нелинейным многомерным дифференциальным уравнением
x = g(x), xeGcR". (16)
Предполагается, что уравнение (16) определяет в пространстве R" динамическую систему, определяемую отображением
Ф,: G ->■ G, Gcff", <р,(х)::= ср(/, х), teR ::= (-^о, +ао), где а) ф(0,х)=х, xeG; б) (p(l+s,х) = <р(/, <p(s, *)), t,seR, xeG; в) отображение (/, р) —» ср(/, р) непрерывно по (/, р). Отдельно рассматриваются случай произвольной конечномерной динамической системы (16) и случай двумерной динамической системы (16), т.е. случаи «> 2 и « = 2. По-
ложительное предельное множество (л:) точки х определяется равенством Ь+ (*) = {уеЯп :3{(„+оо, ф(/в,*)у), Л+ [0,+«)).
Для системы (16) в третьей главе установлены условия существования фазовопритягивающих предельных циклов. Для случая п = 2 установлено, что для того чтобы положительно компактная незамкнутая траектория непрерывной динамической системы (16) была строго орбитально устойчива, необходимо и достаточно, чтобы ее положительное предельное множество было притягивающим предельным циклом.
Для многомерных систем вида (16) изучены также свойства предельных движений строго орбитально устойчивых траекторий. Показано, что предельные движения строго орбитально устойчивых траекторий, являющихся почти периодическими, также обладают свойствами строгой орбитальной устойчивости и почти периодичности.
В четвертой главе «Оптимальная стабилизация программного движения манипуляционной управляемой системы» даны приложения разработанного во второй главе алгоритма оптимальной стабилизации к анализу поведения манипуляционной робототехнической системы. Рассмотрена описанная во введении диссертации модель функционирования робота-манипулятора, содержащего п звеньев, связанных поступательными либо вращательными сочленениями. В манипуляционную систему Б входит механическая часть 5"" и система приводов Л'. Изучаемая система представлена в виде совокупности отдельных подсистем, связанных между собой. Предполагается, что ни одна из компонент вектора фазового состояния какой-либо подсистемы не выступает одновременно компонентой вектора фазового состояния любой другой подсистемы, т.е. подсистемы не перекрываются.
На первом этапе синтезируется программное управление и°(0> на втором - управление Ди(<), стабилизирующее программный режим манипуляционной системы. Управление выбрано в виде и(1) = и0 (I) + Аи(1). Программный режим, отвечающий и°(/)> обозначается через х°(0 = х0(<,х0(0)), где х0(0,х0(0)) = х0(0), (еГсй+.
Синтез управления в главе осуществлен с помощью динамической модели, описывающей отклонения состояния системы 5 от номинальной траектории х° (?). Такая модель определяется следующим образом:
5:Ах = А\&х,()+В°(6х,1)Щ1,Аи), (17)
Ддг(О) :.•= дг(0) - ,х<0) (0),
где AxeR^ - вектор отклонений состояния системы от номинальной траектории, т.е. Ax(t) ::= х(г) -x°(i), AueR" - вектор отклонения управления от программного входного сигнала, т.е. Лм(0:^и(О-и<0)(О> А13 (Ах, 0 ::= А{х) - А(х° (/)) + [В(х) - В(х° (/))]и° (0, В\Ах, /): Я" х It -функциональная матрица размерности №</и, определяемая как 2?0 (Ах, t) ::= Я(*) -В(Ах + x°(t)). Нелинейность N{t,Au) является нелинейностью типа амплитудного насыщения. Задача стабилизации сведена к задаче синтеза управления Au(t), обеспечивающего асимптотическую устойчивость положения равновесия системы (17).
Для динамической модели манипуляционной робототехнической системы на локальном уровне стабилизирующее управление и1ос моделируется так, чтобы подсистемы были асимптотически устойчивыми. Согласно теореме обращения для системы первого приближения существует функция Ляпунова, удовлетворяющая теореме Ляпунова об асимптотической устойчивости. В частности, этой функцией Ляпунова может служить функция, являющаяся суммой функций Ляпунова для подсистем. Взаимосвязи исходной системы, куда входит и глобальное управление wgIob, трактуются как дополнительные силы. При этом подынтегральная функция функционала и оптимальное управление на глобальном уровне определяются так, чтобы известная функция Ляпунова для системы первого приближения была оптимальной функцией Ляпунова на глобальном уровне.
Разработанный алгоритм оптимальной стабилизации многосвязных систем позволяет осуществить оптимальную стабилизацию (в отличие от применявшейся ранее субоптимальной стабилизации) конкретных классов манипуляционных робототехнических систем.
В главе осуществлен синтез управления для манипулятора с помощью децентрализованного управления на базе декомпозиции исходной системы. Синтезировано управление на локальном уровне и выяснено, какой вид должна иметь подынтегральная функция в критерии качества с учетом того, что соответствующие подсистемы асимптотически устойчивы. Рассмотрен иллюстрирующий пример.
Полученные условия устойчивости и построенные алгоритмы оптимальной стабилизации могут служить теоретической основой методики анализа устойчивости и оптимальной стабилизации при проектировании и совершенствовании управляемых технических систем.
В заключении диссертации сформулированы основные результаты, выносимые на защиту:
1. Получены условия асимптотической устойчивости и разработаны алгоритмы оптимальной стабилизации нелинейных управляемых систем. Развит комбинированный метод исследования устойчивости и стабилизации нелинейных управляемых динамических систем, базирующийся на сочетании свойств функций Ляпунова и предельных уравнений.
2. Дана модификация метода оптимальной стабилизации для случая многосвязных управляемых систем. Построен алгоритм оптимальной стабилизации многосвязной системы управления. Разработаны теоретические основы методики анализа устойчивости и оптимальной стабилизации в моделях, описывающих функционирование манипуляционных робототехнических систем.
3. Дано применение модифицированного метода оптимальной стабилизации многосвязных систем к синтезу управления манипуляционной системой, для которой выяснен вид подынтегральной функции в критерии качества с учетом того, что соответствующие подсистемы асимптотически устойчивы.
4. Получены условия наличия предельных циклов в нелинейных динамических системах общего вида. Установлен необходимый и достаточный признак существования притягивающего предельного цикла для двумерной автономной динамической системы.
Основные результаты диссертации опубликованы в следующих работах:
а) публикации в рецензируемых журналах и изданиях
1. МулкиджанA.C. О циклических свойствах траекторий нелинейных динамических систем // Труды Института системного анализа Российской академии наук. Динамика неоднородных систем. 2010. Т. 53(3). С. 154-158.
2. Мулкиджан A.C. Применение моделей с флуктуациями при разработке методов и технологий управления промышленными предприятиями //Наукоемкиетехнологии. 2010. Т. И. №2. С. 53-58.
3. Шестаков A.A., Мулкиджан A.C. Исследование устойчивости и стабилизация нелинейных управляемых систем на основе функций Ляпунова и предельных уравнений // Труды Института системного анализа Российской академии наук. Динамика неоднородных систем. 2010. Т. 53(3). С. 88-98.
4. Щенникова Е.В., Дружинина О.В., Мулкиджан A.C. Об оптимальной стабилизации многосвязных управляемых систем // Труды Института системного анализа Российской академии наук. Динамика неоднородных систем. 2010. Т. 53(3). С. 99-102.
5. Леонов А.Г., Мулкиджан A.C. Анализ устойчивости управляемых систем на основе обобщенных уравнений в вариациях // Труды Института системного анализа Российской академии наук. Динамика неоднородных систем. 2010. Т. 53(3). С. 69-74.
б) прочие публикации в научных периодических гаданиях и в трудах научных конференций
6. КлимачковаТ.С., Мулкиджан A.C. Об управлении технической устойчивостью и стабилизация динамических систем на конечном интервале времени // Фундаментальные проблемы системной безопасности: Сб. статей. Вып. 2 / Вычислительный центр им. A.A. Дородницына РАН. М.: Вузовская книга, 2009. С. 264-268.
7. Мулкиджан A.C., Дружинина О.В. Устойчивость динамических моделей промышленных и технических процессов управления // Материалы конференции «Управление в технических системах» (УТС-2010). СПб.: ОАО "Концерн "ЦНИИ "Электроприбор". 2010. С. 171-174.
8. Мулкиджан A.C. Исследование математических моделей, описывающих циклические процессы промышленного производства // Тезисы докладов Всероссийской конференции с международным участием «Информационно-телекоммуникационные технологии и математическое моделирование высокотехнологичных систем» М.: Российский университет дружбы народов, 2011.С. 268-270.
МУЛКИДЖАН Алексей Сергеевич
АНАЛИЗ УСТОЙЧИВОСТИ И ЦИКЛИЧЕСКОГО ПОВЕДЕНИЯ НЕЛИНЕЙНЫХ УПРАВЛЯЕМЫХ СИСТЕМ
05.13.01 - Системный анализ, управление и обработка информации (промышленность)
Тип. зак. 106 Тираж 100 экз. Подписано в печать 21.02.12 Гарнитура Times Офсет Усл. печ. л. 1,0_Формат 6Qx90|/i6
Издательский цаггр РОАТ 125993, Москва, Часовая ул., 22/2
Участок оперативной печати РОАТ 125993, Москва, Часовая ул., 22/2
Текст работы Мулкиджан, Алексей Сергеевич, диссертация по теме Системный анализ, управление и обработка информации (по отраслям)
61 12-5/1772
УДК 519.6, 517.9
Мулкиджан Алексей Сергеевич
АНАЛИЗ УСТОЙЧИВОСТИ И ЦИКЛИЧЕСКОГО ПОВЕДЕНИЯ НЕЛИНЕЙНЫХ УПРАВЛЯЕМЫХ СИСТЕМ
Специальность 05.13.01 - Системный анализ, управление и обработка информации (промышленность)
Диссертация на соискание ученой степени кандидата технических наук
Научный руководитель: доктор физико-математических наук, профессор О.В. Дружинина
Москва-2012
ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ..............................................................................................................4
Глава 1. АНАЛИЗ УСТОЙЧИВОСТИ И СТАБИЛИЗАЦИЯ УПРАВЛЯЕМЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ СОЧЕТАНИЯ ФУНКЦИЙ ЛЯПУНОВА И ПРЕДЕЛЬНЫХ УРАВНЕНИЙ...........................37
§1. Устойчивость и инвариантность динамических систем.............................37
§2. Развитие комбинированного метода исследования устойчивости............41
§3. Алгоритмы стабилизации на основе функций Ляпунова и предельных
уравнений...............................................................................................................46
Выводы по главе 1.................................................................................................56
Глава 2. АЛГОРИТМЫ ОПТИМАЛЬНОЙ СТАБИЛИЗАЦИИ УПРАВЛЯЕМЫХ СИСТЕМ................................................................................57
§1. Условия оптимальной стабилизации нелинейных управляемых систем.. 57 §2. Алгоритм оптимальной стабилизации нелинейных управляемых систем 61
§3. Условия оптимальной стабилизации многосвязных систем......................65
§4. Алгоритм оптимальной стабилизации многосвязных систем....................70
Выводы по главе 2.................................................................................................74
Глава 3. АНАЛИЗ ЦИКЛИЧЕСКОГО ПОВЕДЕНИЯ НЕЛИНЕЙНЫХ ДИНАМИЧЕСКИХ СИСТЕМ.............................................................................75
§ 1. Циклические свойства траекторий динамических систем в двумерном и
трехмерном случаях..............................................................................................75
§2. Условия существования предельных циклов...............................................80
§3. Циклические свойства и устойчивость траекторий автономных
многомерных динамических систем...................................................................90
Выводы по главе 3...............................................................................................100
Глава 4. ОПТИМАЛЬНАЯ СТАБИЛИЗАЦИЯ ПРОГРАММНОГО ДВИЖЕНИЯ МАНИПУЛЯЦИОННОЙ УПРАВЛЯЕМОЙ СИСТЕМЫ......101
§ 1. Основные обозначения................................................................................101
§ 2. Синтез управления манипуляционной системой......................................108
§ 3. Иллюстрирующий пример..........................................................................114
Выводы по главе 4...............................................................................................117
ЗАКЛЮЧЕНИЕ...................................................................................................118
ЛИТЕРАТУРА.....................................................................................................П9
ВВЕДЕНИЕ
Актуальность темы и обзор результатов, относящихся к теме диссертации. Развитие методов системного анализа управляемых процессов обусловлено как обширным кругом прикладных задач, так и интенсивным внедрением компьютерной техники. В условиях значительного усложнения структуры проектируемых промышленных систем и управляемых технических процессов перед фундаментальной наукой ставится проблема системного анализа сложных управляемых динамических систем, позволяющего находить условия безопасного их функционирования с учетом влияния параметров системы на ее устойчивость.
Во многих задачах технического характера структура управляемых динамических систем и их параметры известны с некоторой погрешностью, и к числу необходимых требований, предъявляемых к управляемым системам, относится их устойчивость (в том или ином смысле) по отношению к структурным и внешним возмущениям. К таким задачам относятся задачи проектирования и отработки сложных технических систем, например, роботов-манипуляторов и летательных аппаратов.
Для решения задач стабилизации сложных управляемых динамических систем используют упрощение (преобразование) их структурных схем. Наиболее распространенными упрощениями являются декомпозиция, децентрализация и агрегирование. Известно, что подбором обратных связей сложную управляемую динамическую систему можно представить в виде отдельных подсистем. В приложениях встречаются управляемые динамические системы, которые расчленяются на локализованные подсистемы, обладающие определенной степенью автономности в том смысле, что управление может осуществляться на уровне подсистем (на локальном уровне) и на уровне исходной системы (на глобальном уровне). К таким системам относятся математические динамические модели объединенных энергосистем, манипуляци-онных управляемых динамических систем и других систем.
При решении задач оптимальной стабилизации ключевую роль играют теоремы метода функций Ляпунова об устойчивости относительно всех и части фазовых переменных [11, 108]. На основе указанных теорем изучаемые задачи сводятся к определению вида подынтегральной функции в критерии качества, при этом управляющие воздействия выбираются таким образом, чтобы известная для системы без управления функция Ляпунова могла служить оптимальной функцией Ляпунова для той же системы, но при действии на нее дополнительных управляющих сил.
Для анализа динамических процессов управления техническими системами эффективным является использование теоретического аппарата теории устойчивости и качественной теории динамических систем. Методы, разработанные в трудах A.M. Ляпунова [75], Н.Е. Жуковского [46], Н.Г. Четаева [124-126], И.Г. Малкина [76-78], H.H. Красовского [59-61, 63], Е.А. Барбашина [16], В.И. Зубова [47-49], A.A. Шестакова [128-135] и других ученых, позволяют исследовать устойчивость состояний равновесия и предельных циклов в динамических управляемых системах.
Важным методом исследования устойчивости неавтономных управляемых динамических систем является метод предельных уравнений в сочетании с методом функций Ляпунова. Метод предельных уравнений дает возможность использовать для анализа изучаемой системы свойства ее предельной системы и исследовать предельную систему с помощью приемов топологической динамики. Предельные свойства динамических систем изучались, начиная с работ А.М. Ляпунова [75], А. Пуанкаре [102,103], в работах Дж. Селла [158, 159], 3. Артпггейна [143], Дж. Като [156], A.C. Андреева [5, 6, 8-9],
A.A. Мартынюка [80-82], A.A. Шестакова [128-135], И.Г. Башмакова [17], А.М. Матвиенко [83] и других ученых.
Метод предельных уравнений в сочетании с методом функций Ляпунова применяется также для решения задач оптимальной стабилизации управляемых динамических систем. Способы оптимальной стабилизации управляемых систем различных типов разработаны в трудах
Н.Н. Красовского [62], В.В. Румянцева [107-111], А.С. Андреева [7], О.В. Дружининой и Е.В. Щенниковой [40] и других ученых. В настоящее время исследования по оптимальной стабилизации направлены на обобщения имеющихся результатов при ослаблении условий, налагаемых на оптимальную функцию Ляпунова. Кроме того, актуальными являются вопросы оптимальной стабилизации многосвязных управляемых систем, используемых в различных областях техники.
Практические задачи, связанные с необходимостью оценки движения на конечном промежутке времени, повлекли многочисленные обобщения и стимулировали развитие понятия устойчивости, учитывающее те или иные специфические особенности процесса функционирования систем. Одной из разновидностей такого рода устойчивости является понятие технической устойчивости.
Известно большое число различных определений понятия технической устойчивости, однако при всем их разнообразии указанные определения имеют одни и те же предпосылки. А именно, в каждой постановке задачи о технической устойчивости: ^рассматривается дифференциальное уравнение х = g(x) или х = g(t, х), где хе Rn, t е R+; 2) вводится некоторое множество MQ(i) с Rn начальных возмущений x.o=x.(tQ), i = 1,2,...,п, и рассматриваются траектории, исходящие из точек xQ е M(j (iQ); 3) задается определенный интервал Г значений времени t; 4) вводится некоторое множество М (t) допустимых значений возмущений x(t) на Т.
Понятие технической устойчивости принимает конкретное содержание в зависимости от выбора множеств MQ{t), M^t) на Т и этот выбор имеет
существенное значение в отличие от постановки задачи об устойчивости по Ляпунову.
Начиная с работ Н.Г. Четаева [124-126] и Н.Д. Моисеева [87], вопросы технической устойчивости и задачи стабилизации до технической устойчивости различных типов управляемых систем рассматривались в работах
К.А.Карачарова и А.Н. Пилютика [51], Г.В.Каменкова [50], А.А. Мартынюка [80-82], К.А. Абгаряна [1], Н.Ф. Кириченко [54-55], Л. Вейса и Е. Инфанте [164] и других ученых. Несмотря на значительность результатов, достигнутых к настоящему времени, круг проблем в этой области далеко не исчерпан. В задачах технической устойчивости выбор вида областей допустимых состояний имеет существенное значение, в отличие от постановки задачи устойчивости в смысле Ляпунова, когда вопрос устойчивости или неустойчивости не зависит от выбора вида областей допустимых состояний. Система, обладающая технической устойчивостью, например, относительно области в форме и-мерного параллелепипеда может оказаться неустойчивой относительно области предельных отклонений в форме шара и наоборот. Поэтому в вопросах технической устойчивости, стабилизации и оптимальной стабилизации актуальна разработка различных критериев и условий, решающих один и тот же вопрос относительно разных форм областей допустимых состояний. Актуальность перечисленных проблем еще более возрастает в связи с необходимостью получения конструктивных результа-
о
тов. Под конструктивностью понимается совокупность условии, проверку которых можно выполнить с помощью конечного числа операций.
Изучение технической устойчивости систем и управления технической устойчивостью оказывается плодотворным в системном анализе динамических процессов, когда другие понятия устойчивости не соответствуют постановке задачи системного анализа. Как известно, в ряде случаев не представляется возможным рассматривать движение на бесконечных промежутках времени или особенности структуры фазовых множеств требуют использования понятия технической устойчивости относительно совокупности параметров, возникающих в прикладной задаче.
Важное значение в задачах анализа динамических систем имеют вопросы существования предельных циклов и автоколебаний. Предельным циклом называется замкнутая траектория в фазовом пространстве автономной системы обыкновенных дифференциальных уравнений, которая является
а - или со -предельным множеством хотя бы для одной другой траектории этой системы. Автоколебания - незатухающие колебания в нелинейной динамической системе, амплитуда и частота которых в течение длительного промежутка времени могут оставаться постоянными, не зависят в широких пределах от начальных условий и определяются свойствами самой системы. Термин «автоколебания» был введен А.А.Андроновым [11, 12]. Динамические системы, которые могут совершать автоколебания, называются автоколебательными системами. К таковым относятся часы, генераторы электрических колебаний, электрический звонок, духовые и смычковые музыкальные инструменты и т.п. При определенных условиях автоколебания могут возникать и в динамических системах, нормальным состоянием работы которых является отсутствие автоколебаний. Простую автоколебательную систему можно представить состоящей из постоянного источника энергии, устройства, регулирующего поступление энергии в колебательную систему, и колебательной системы. Существенным является наличие обратной связи: регулирующее устройство, с одной стороны, управляет движением колебательной системы, а с другой - управление работой регулирующего устройства осуществляется движением колебательной системы. С теоретической точки зрения автономные автоколебательные системы с одной степенью свободы можно определить как такие системы, уравнения движения которых, характеризуются наличием на фазовой плоскости одного или нескольких предельных циклов. Важным характерным свойством автоколебаний является независимость их амплитуды в широких пределах от начальных условий, т.е. существование одной или нескольких областей начальных условий таких, что любым начальным условиям, принадлежащим какой-либо из этих областей, будет соответствовать одна и та же амплитуда автоколебаний.
Для двумерной динамической системы циклическое поведение решений рассматривалось, начиная с работ А. Пуанкаре [102, 103], А.М. Ляпунова [75], И. Бендиксона [144], Г. Дюлака [41], в многочисленных работах отечественных и зарубежных исследователей. В многомерном случае
для решения задачи нахождения условий наличия или отсутствия автоколебаний не существует общего метода, хотя ряд частных случаев изучен достаточно детально [36, 39, 141, 146, 152, 160-163]. Изучение циклического поведения динамических систем представляет интерес в задачах управления техническими процессами и промышленными предприятиями [127, 141, 153].
Объектом исследования являются нелинейные управляемые динамические системы, моделирующие поведение сложных технических систем и описываемые многомерными дифференциальными уравнениями.
Целью работы является разработка теоретических основ методики управления и анализа устойчивости и построение алгоритмов стабилизации сложных технических систем, включая манипуляционные робототехнические системы, а также анализ циклического поведения и выяснение условий возникновения предельных циклов в динамических системах.
Методы исследования. В диссертации использованы методы системного анализа, теории управления, качественной теории дифференциальных уравнений, теории устойчивости динамических систем.
Научная новизна. В диссертационной работе получены новые, а также обобщены, дополнены и уточнены известные результаты в теории управления и устойчивости управляемых динамических процессов. Получены условия асимптотической устойчивости экспоненциального и неэкспоненциального типов для состояний равновесия нелинейной автономной динамической системы, и на основе этих условий предложены алгоритмы анализа устойчивости. Дано развитие комбинированного (на основе сочетания свойств функций Ляпунова и предельных уравнений) метода анализа устойчивости управляемых систем. Предложены алгоритмы оптимальной стабилизации нелинейной управляемой системы. Дано применение алгоритма оптимальной стабилизации к изучению поведения робототехнических систем. Для динамической модели робота-манипулятора на уровне подсистем синтезировано стабилизирующее управление и на уровне исходной системы синтезировано оп-
тималыюе управление. Получены новые условия наличия предельных циклов в нелинейных динамических системах.
Практическая значимость. Полученные в диссертации результаты могут найти применение в задачах исследования устойчивости манипуляцион-ных робототехнических и ракетно-космических систем управления, в задачах стабилизации программного движения, в задачах качественного исследования динамики промышленных систем, а также при проектировании, совершенствовании и отработке сложных технических систем, например, ракетно-космических и летательных аппаратов и т.д.
Ряд результатов диссертации получен в рамках работы по гранту РФФИ (проект № 10-08-00826-а) и в рамках госбюджетной научно-исследовательской работы Российской открытой академии транспорта Московского государственного университета путей сообщения (МИИТ).
Достоверность и обоснованность. Достоверность результатов, сформулированных в диссертации, обеспечивается корректностью принятых допущений и строгостью аналитических и качественных методов. Все утверждения диссертации обоснованы, приведены полные обоснования выводов.
Личный вклад автора в проведенное исследование. Представленные на защиту результаты диссертации получены автором самостоятельно. Результаты, опубликованные совместно с другими авторами, принадлежат соавторам в равных долях. Результаты других авторов, которые использованы при изложении, содержат ссылки на соответствующие источники.
Апробация работы. Результаты работы докладывались и обсуждались на XX межвузовской студенческой конференции «Актуальные проблемы естествознания» Российского государственного открытого технического университета путей сообщения (Москва, 2008 г.); на Всероссийской конференции по проблемам математики, информатики, физики и химии Российского университета дружбы народов (Москва, 2008-2010 гг.); на XXI Международной студенческой конференции «Актуальные проблемы естествознания. Фундаментальная наука и транспорт» Московского государственного уни-
верситета путей сообщения (МИИТ) (Москва, 2009); конференции «Управление в технических системах УТС-2010» (Санкт-Петербург, ОАО «Концерн «ЦНИИ «Электроприбор», 2010 г.); Всероссийской конференции с международным участием «Информ�
-
Похожие работы
- Анализ устойчивости и циклического поведения нелинейных управляемых систем
- Параметрические колебания дискретных автоматических систем с циклически изменяющимся периодом квантования
- Качественный анализ и оценки решений нелинейных систем в критических случаях
- Анализ устойчивости и синтез стабилизирующих управлений для нелинейных разностных систем
- Управление нелинейными динамическими системами и анализ их устойчивости
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность