Одновременная стабилизация - теория построения универсального регулятора для семейства динамических объектов тема автореферата и диссертации по математике, 01.01.02 ВАК РФ

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

Московский государственный университет имени М.В. Ломоносова факультет Вычислительной математики и кибернетики

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

005"°А

ФУРСОВ Андрей Серафимович

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

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

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

0 4 0КТ2012

Москва - 2012

005052781

Работа выполнена на кафедре нелинейных динамических систем и процессов управления Факультета ВМК МГУ имени М.В.Ломоносова.

Научный консультант: доктор технических наук,

академик РАН, профессор Емельянов C.B.

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

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

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

Ведущая организация: Институт системного анализа РАН

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

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

Автореферат разослан «_»_2012 г.

Ученый секретарь диссертационного совета,

профессор, доктор физико-математических наук '^-^K-^fЗахаров Е.В.

Елкин В. И.

Крищенко А.П.

Потапов М.М.

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

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

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

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

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

х = /(х,и), /(0,0) = О, 1'€Г, может быть качественно сформулирована одним из следующих способов:

1Для определенности рассматривается стабилизация в нуле пространства состояний, т.е. при х — 0.

1) найти статическую обратную связь по состоянию

и = д(х),

при которой замкнутая система

х = /(х,д(х))

асимптотически устойчива в нуле;

2) найти динамическую обратную связь по состоянию

при которой решение х — 0, л = 0 замкнутой системы

{х = /{х,д{х,г)),

¿ = д(х, г)

является асимптотически устойчивым.

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

х = /(х,и), /(о,о) = о, ¡геи", у = Цх), Л(0)=0

заключается в том, чтобы построить: 1) статический регулятор по выходу

« = 9(у),

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

х = /{х,д{к{х))) 4

или

2) динамический регулятор по выходу

г = я{у,г), и = 9(У>г),

обеспечивающий асимптотическую устойчивость решения х = 0, г — 0 замкнутой системы

х = /(х,д(к(х),г)), г — <7(Л(я). г).

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

Так, в случае стабилизации по выходу линейного стационарного объекта

х = Ах + Ви, х £ Е", ие Кг, у = Сх, у <= М9

линейным же (динамическим) регулятором, требуется указать обратную связь вида

и = -Юг - Му, г = Нг + (3у, ге Ит, при которой замкнутая система

х = (А - ВМС)х - ВОг, х = ЦСх + #2

экспоненциально устойчива.

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

Объекту

(x = Ax + bu, х б К", ueR, у = сх, ye R ставится в соответствие скалярная передаточная функция

W(s) = c(sl - А)~\

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

где тип — степени полиномов Pm(s) и a„(s) соответственно:

п> т.

Требуется найти такую передаточную функцию регулятора

щ - ф)

с полиномами p(s) и g(s), при которой устойчивы все следующие дробно-рациональные функции

W _ ßq R _ ар

1 + WR~ aq + ßp' 1 + WR~aq + ßp'

(2)

WR ßp 1 _ ад J

1 + WR~ aq + ßp' 1 + WR~aq + ßp

(напомним, что устойчивость какой-либо дробно-рациональной функции

o(s)

означает устойчивость ее знаменателя и deg o(s) ^ deq 6(s)). Устойчивость указанных дробно-рациональных функций влечет так называемую внутреннюю стабилизацию динамического объекта, которая обеспечивает

— физическую реализуемость регулятора R(s), т.е. выполнение условия

deg q[s) ^ deg p(s); 6

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

— грубость замкнутой системы по отношению к малым вариациям параметров регулятора и объекта.

Если же при стабилизации объекта И^э) ограничиться только требованием устойчивости полинома

Ф) = а(8М®) + /3

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

Теперь отметим, что всякий регулятор стабилизирует некоторое семейство объектов. Например, если регулятор с фиксированными параметрами

и = -Бг - Му, г = Нг + С}у

стабилизирует номинальный объект

х - А0х + Вой, У = С0х,

то он также стабилизирует (в силу непрерывной зависимости решений системы дифференциальных уравнений от ее параметров) и любой объект из окрестности (может быть достаточно малой) точки

{А0, Д),С0}.

Такой регулятор можно назвать универсальным (для объектов из указанной окрестности). В классической теории управления универсальность регу-

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

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

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

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

Задачи адаптивной стабилизации возникают в случаях, когда необходи-

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

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

В современной теории управления сформировались методы, позволяющие синтезировать универсальные стабилизаторы для параметрических семейств объектов, допускающих изменения неизвестного параметра в ограниченных или даже бесконечных пределах. К ним, в первую очередь, относятся: методы глубокой обратной связи или больших коэффициентов усиления; адаптивного управления; активного поиска; универсальные регуляторы Нуссбаума; методы теории систем переменной структуры и др. Общая особенность классов стабилизируемых подобными регуляторами объектов — постоянство их порядка и/или относительного порядка.

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

M. Athans в 1979 г. А в 1982 г. R. Saeks и J. Murray ввели для нее термин одновременная стабилизация (simultaneously stabilization).

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

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

WM-Щ.....тМ-Щ, (3)

Qi(s) ak{s)

где Pi(s) = £>ni-i,iSni_1 Н-----Н b0-i, Oj(s) = sn' + ani_i,iSn<_1 +----b o0,i, причем

все полиномы /3j(s), Qi(s) взаимно просты.

Спрашивается, существует ли универсальный линейный стационарный регулятор

внутренне стабилизирующий все объекты (3). Решение задачи стабилизации в указанной постановке носит название полиномиального подхода.

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

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

х = AiX + biU,

Л;€1Г(ХП\ х,Ьиа£М.п\ и,у£Ш, (5)

У = скх,

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

Г г = Их + ту,

< Я 6 г, /11 € г, к2 € К,

[ и = к + /ад,

который стабилизирует все объекты указанного семейства (5).2

Заметим, что в приведенных постановках задачи одновременной стабилизации объекты (3) или (5) являются строго физически реализуемыми, однако это требование можно ослабить и заменить на условие обычной физической реализуемости, что в случае полиномиального подхода предполагает выполнение неравенств с^а(й) ^ а в случае матричного подхода объекты задаются уравнениями

Лг е К"'*71', х, ь{,ае Е"% и, у, <к е к. (6)

у - + йщ,

При одновременной стабилизации по состоянию к линейных стационарных управляемых объектов одинаковых порядков, задаваемых уравнениями

X = А1х + ЬгЧ, А1 е Кпх", х, Ьг е К", и € К, (7)

требуется построить универсальный линейный стационарный регулятор

и = вх, в 6 М"

стабилизирующий все объекты семейства (7), т.е. обеспечивающий устойчивость всех матриц

А{ = Аг + Ьв. г = 1,..., к.

21 Аналогичным образом ставятся задачи одновременной стабилизации для объектов дискретного времени

' х1+1 = Ах' + Ьи\

В какой-то степени задачи одновременной стабилизации семейства объектов близки к задачам теории робастной стабилизации, в рамках которой разрабатываются методы стабилизации объектов с параметрической неопределенностью, при этом параметры, как правило, меняются в некоторой области, заданной известными ограничениями. Важное отличие между задачами робастной стабилизации и одновременной стабилизации семейства объектов состоит в следующем. Во-первых, известные методы робастной стабилизация применяются к бесконечным семействам объектов одного и того же динамического порядка и одинаковой структуры, в то время как методы одновременной стабилизации семейств ориентированы на конечное число стабилизируемых объектов с, вообще говоря, различными динамическими порядками; во-вторых, в отличие от теории робастной стабилизации, объекты которой параметризованы неопределенными параметрами специальным образом и в этом смысле должны лежать "близко" к номинальному, для одновременной стабилизации семейств такое ограничение на класс объектов в явном виде отсутствует. Принципиальное отличие задачи одновременной стабилизации от задач робастной стабилизации можно продемонстрировать с помощью примера, приведенного в монографии У.В1опс1е1 (1995 г.) а именно, известно, что если для континуального семейства Р = {АИ/(в) : Л 6 [0; 1]}, где \¥($) строго правильная передаточная функция порядка п, существует универсальный стабилизатор, то его порядок строго меньше 3п — 1; с другой стороны как доказал В.СЬозЬ в 1986 г., для конечного семейства Р' — {АИ^й) : А = 0, 1} не существует оценки сверху порядка универсального регулятора (в случае его существования) для этого семейства, зависящей только от п.

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

ных неравенств в рамках матричного подхода.

Как известно, для стабилизации одного объекта решение задачи всегда существует, более того, можно описать все стабилизующие регуляторы с помощью параметризации Уои1а.

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

Но уже в случае одновременной стабилизации трех объектов общее решение проблемы отсутствует. Более того, известны результаты о так называемой рациональной неразрешимости задачи одновременной стабилизации к > 3 объектов. В1опс1е1 в 1994 году установил следующий факт: невозможно построить алгоритм, который позволял бы за конечное число шагов ответить на вопрос об одновременной стабилизации трех и более объектов, используя только коэффициенты их передаточных функций, арифметические операции (сложение, вычитание, умножение, деление), логические операции ("и", "или") и системы равенств или неравенств. Поэтому в виду сложности решения проблемы одновременной стабилизации в общем случае, в современных исследованиях по указанной тематике предлагается использовать следующие подходы:

— сужение классов объектов, для которых устанавливаются необходимые и достаточные условия одновременной стабилизации;

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

— расширение классов объектов, для которых устанавливаются достаточные условия одновременной стабилизации;

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

Важно отметить, что в общем случае все известные критерии одновременной стабилизации трех и более объектов (Vidyasagar, Viswanadham, Ghosh, Blondel, Gevers, Mortini, Rupp и другие) либо носят неконструктивный характер и, фактически, сводят одну нерешенную задачу к другой, либо применимы к достаточно узким классам стабилизируемых объектов. Другими словами, в настоящее время нет алгоритмов, позволяюгцих в общем случае однозначно ответить на вопрос о существовании одновременно стабилизирующего регулятора для к > 3 объектов. В то же время многие известные необходимые условия одновременной стабилизации (Ghosh, Wei, Blondel, Gevers, Mortini, Rupp и другие), как правило, носят конструктивный характер, т.е. допускают численную реализацию и применимы к широким классам объектов. Известные в настоящее время достаточные условия (Maeda, Vidyasagar, Alos, Emre, Kwakernaak, Wei, Debowsky, Kurilowicz, Blondel, Campion, Gevers и другие) также, в основном, носят конструктивный характер, но применимы к узким классам объектов.

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

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

В рамках поставленной задачи предполагается рассмотреть две проблемы:

1) проблему разработки новых подходов к решению задачи одновременной стабилизации линейных динамических объектов, позволяющих получать конструктивные условия существования одновременно стабилизирующего регулятора для конечного семейства динамических объектов (скалярных, векторных, стационарных и нестационарных);

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

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

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

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

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

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

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

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

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

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

6. Разработан новый метод исследования одновременной стабилизируемо-сти семейств векторных объектов, основанный на топологическом подходе.

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

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

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

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

Апробация работы. Основные результаты работы и отдельные её части докладывались: на научных семинарах кафедры нелинейных динамических систем и процессов управления факультета Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова; на научном семинаре "Нелинейная динамика: качественный анализ и управление" под руковод-

ством академиков РАН C.B. Емельянова и С.К. Коровина; на Первой Международной конференции "Системный анализ и информационные технологии" САИТ-2005 (12-16 сентября 2005 г., г. Переелавль); на Второй Международной конференции "Системный анализ и информационные технологии" САИТ-2007 (10-14 сентября 2007 г. Обнинск, Россия); на семинарах в университете Лафборо (Великобритания) 2007 г.; на Третьей Международной конференции "Системный анализ и информационные технологии" САИТ-2009 (Россия); на XI Международной конференции «Устойчивость и колебания нелинейных систем управления» (ИПУ РАН), 2010; на Научной конференции "Ломоносовские чтения" в Московском государственном университете имени М.В.Ломоносова, Москва, 2011 г.

Публикации. Основные результаты диссертации опубликованы в 24 работах, из них 22 работы - в ведущих математических журналах (Доклады РАН, Дифференциальные уравнения, Автоматика и телемеханика) и рецензируемых сборниках. Список основных публикаций помещен в конце автореферата.

Лично автором получены следующие результаты:

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

2. Методы одновременной стабилизации линейных стационарных объектов различных порядков универсальным регулятором заданной структуры.

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

4. Методы одновременной стабилизации линейных стационарных объектов универсальным цифровым регулятором.

5. Топологические методы одновременной стабилизации линейных динамических объектов.

6. Методы одновременной стабилизации линейных векторных объектов на основе разработанного топологического подхода.

7. Методы одновременной стабилизации линейных нестационарных динамических объектов.

8. Методы одновременной стабилизации регулятором переменной структуры.

9. Метод построения универсальных стабилизаторов по состоянию для линейных объектов различных порядков.

Структура и объем диссертации. Диссертация содержит 284 страницы текста, состоит из введения, 5 глав и 2 приложений. Главы разбиты на параграфы, параграфы на пункты. Нумерация утверждений, теорем, лемм, замечаний, примеров и формул — двойная, сквозная по каждой главе. В конце приведена библиография из 93 наименований, вначале в алфавитном порядке перечислены работы на кириллице, затем в алфавитном порядке - работы на латинице.

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

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

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

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

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

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

— метод факторизации, основная идея которого состоит в представлении передаточных функций линейных объектов в виде отношения устойчивых дробно-рациональных функций, называемых дробными факторизация-ми; данный метод позволяет получать условия одновременной стабилизации в форме алгебраических уравнений;

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

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

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

— по степени конструктивности;

— по применимости к различным классам объектов;

— по используемым классам стабилизаторов.

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

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

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

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

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

Рассматриваются к линейных объектов различных порядков щ

= = (2.1)

Где = &тг(-1,г5Гг'~1 + ■ ' • + £>(),*> = ^ + гв"'-1 Ч-----1"а0,г ~ ВЗаиМНО

простые полиномы.

Ставится задача о существовании регулятора заданной структуры

= Щ = ^+Р1^ + ...+Р13 + р0

К ' в + <?/_15п + ... + 9:5 + д0

одновременно внутренне стабилизирующего объекты (2.1). Как показано в Главе 1, сформулированная задача, фактически, сводится к вопросу о существовании таких полиномов р(в) и д(в) соответствующих степеней, чтобы все

полиномы

= + г = 1,2,..., к

были бы устойчивыми.

Для каждого г = 1,...,к отождествим полином

1/ц[а) = <^0,< + 4>ч* + • • • + 1 + эщ+1

(2.3)

с вектором щ = (<р0,1, • ■ ■, <Лц+(-и)Т £ К"1*. Тогда для каждого объекта семейства (2.1) по коэффициентам соответствующей передаточной функции можно однозначно построить матрицу Ф, 6 £("*+') *(2г+1) и столбец V» € такие, что выполняются равенства

где V = (д0, • • ■, ®-ьРо> • • • .Р«)Т ~ вектор параметров регулятора (2.2).

В силу необходимого условия устойчивости полиномов вектор параметров V универсального стабилизатора (2.2) принадлежит (в случае существования) множеству решений системы линейных неравенств

Таким образом, совместность системы (2.5) является необходимым условием одновременной стабилизации семейства объектов (2.1). На основе этих выводов, в п. 2.1.3 сформулировано ранговое необходимое условие одновременной стабилизации объектов (2.1) регулятором заданной структуры (2.2).

Полученное необходимое условие дает возможность построить множество V — множество решений системы (2.5), в котором содержатся (в случае существования) параметры стабилизирующего универсального регулятора (2.2). При этом возможны две принципиально различные ситуации:

— множество V ограничено;

— множество V не ограничено.

= Ф& + { = !,..., к,

(2.4)

= Ф4г/ + ^ > 0, { — 1,... ,к.

(2.5)

Для первого случая (V — ограничено) в диссертации (Глава 3) предложен метод непосредственного поиска вектора стабилизирующих параметров универсального регулятора. Указанный метод основан на интервальных вычислениях.

Второй случай (V — не ограничено) более сложен и для его решения предложен подход, предполагающий локализацию области поиска стабилизирующих параметров. Обозначим Ф = (Ф^,..., Ф^ )т, ф — (ф{,..., ф]. )т. Тогда систему линейных неравенств (2.5) можно переписать в виде

Фг/ + ф > 0. (2.6)

Вектор (г>о, ■. ■, г>„-1)т назовем ^-устойчивым, если устойчив полином — ь0 + «15 + ... + и„_1вп-1.

Наряду с системой (2.6) рассмотрим ассоциированную с ней однородную систему линейных неравенств

Фг; > 0, (2.7)

для которой поставим задачу (РЭ) поиска такого решения V, для которого все векторы (г = 1,... ,к) являются (¿-устойчивыми. Из утверждений, доказанных в п. 2.1.2 следует, что если задача (РБ) имеет хотя бы одно решение, то она имеет решение в любой окрестности нуля.

В п. 2.1.4 приведено достаточное условие одновременной стабилизации объектов (2.1) регулятором заданной структуры (2.2). Следующая теорема устанавливает достаточное условие одновременной стабилизации объектов (2.1) регулятором /-го порядка (2.2).

Теорема 2.1. Пусть для объектов (2.1) существует вектор параметров у = (до, • • ■ 191-1 >Ро> • • •,Р() — решение задачи (РБ). Тогда объекты (2.1) одновременно стабилизируемы некоторым регулятором порядка I.

Вектор параметров у = (до,... • • ->Р;)Т. удовлетворяющий тео-

реме 2.1, назовем ш-стабилизирующим (соответствующие параметры - ш-стабилизирующими).

В п. 2.1.5. вводится понятие ^-стабилизирующего регулятора. Регулятор (2.2) будем называть и-стабилизирующим, если вектор его параметров и = (до, • • •, 41-1,Рй, • • • ,й)Т — ^-стабилизирующий.

Теорема 2.1, фактически, является достаточным условием существования (¿-стабилизирующего регулятора для семейства объектов (2.1).

В п. 2.1.6, на основе теоремы 2.1, приводится алгоритм построения универсального стабилизирующего регулятора для объектов (2.1).

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

В п. 2.2.3 и 2.2.4 на основе методов, разработанных в параграфе 2.1 предложены проверяемые численно необходимые условия одновременной а-стабилизации, а также достаточное условие одновременной а-стабилизации линейных динамических объектов регулятором заданного порядка.

В п. 2.2.5 и 2.2.6 введено понятие {а. ^-стабилизирующего регулятора, который является аналогом ^-стабилизирующего регулятора, описанного в параграфе 2.1. С использованием сформулированного в теореме 2.18 свойства (а, ^-стабилизирующего регулятора приведен алгоритм поиска такого регулятора для объектов (2.1).

В п. 2.2.7 приведен критерий существования (а, ¿^-стабилизирующего регулятора (теорема 2.20), полученный для частного случая — одновременной а-стабилизации линейных объектов 2-го порядка регулятором 1-го порядка.

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

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

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

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

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

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

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

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

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

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

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

В параграфах 4.1-4.3 для семейства линейных стационарных объектов приводится достаточное условие существования общего стабилизатора, полученное на основе разработанного топологического метода и указаны кон-

структивные подходы к построению алгоритма проверки этого условия.

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

{х = AiX + Ди

, * = 1,...,А, (4.1)

у = С&

где I еКп- вектор состояния каждого объекта, и € Кт, у € К5 — вход и выход объекта соответственно. Таким образом, все объекты из семейства (4.1) имеют одну и ту же размерность (порядок). При этом постоянные матрицы А{ 6 К"*", В{ 6 Епхт и С{ 6 Н"хп - свои для каждого объекта.

Под задачей построения стабилизатора для объекта из семейства (4.1) понимаем задачу синтеза динамической системы

Г г = Нх + Ру

Я: { (4.2)

\и = Яг + Ву,

где 2 6 Е' — фазовый вектор стабилизатора, Н б К'х!, Р 6 6 <5 € Е"1*', И 6 Ктх? — постоянные матрицы, задающие стабилизатор, которые выбираются из условия асимптотической устойчивости замкнутого объекта (4.1)-(4.2):

д.*,: м

Пусть для каждого г-го объекта семейства (4.1) построен свой стабилизатор типа (4.2):

{ ¿ = Щг + Ъу

I , » = 1 (4.4)

[ и = <5,-г + Diy

Как было отмечено выше, для каждого из объектов (4.1) такой стабилизатор существует. Рассмотрим параметрическое семейство Ы1 динамических

объектов вида (4.2), являющихся линейными комбинациями стабилизаторов из семейства (4.4), т.е. матрицы объектов этого семейства представляются в виде

к к Я(А) = £Л,Я4, Р( АН^АЛ

(4.5)

1=1 1=1

где А* € М, г = 1.....к, А = (Аь..., А*).

Будем обозначать элементы семейства ЬЯ через Д(А), поскольку каждый из них определяется набором А = (Аь • • •, Общий стабилизатор для семейства (4.1) будем искать как элемент множества ЬЯ. Заметим, что наборы

Ла = (1,0,...,0), Ая = (0,1,0.....0), ..., А, = (0,0,..., 1) (4.6)

определяют стабилизаторы для 1-го, 2-го,..., к-го объекта из семейства (4.1).

Достаточные условия существования общего стабилизатора дает следующая теорема.

Теорема 4.1. Пусть задано семейство (4.1) линейных векторных стационарных динамических объектов Е; (г = 1,..., к) одинакового порядка и для каждого объекта построен свой стабилизатор Щ = Я(А;) вида (4.4) (здесь А; — единичные векторы (4.6)).

Пусть, кроме этого, для каждого подмножества индексов I С {1,..., к] и любых щ > 0 {г € I) таких, что

£ щ = 1, ш

регулятор является стабилизирующим хотя бы для одного из

ш

объектов подсемейства семейства (4.1), определяемого набором индексов I.

Тогда в ЬЯ существует единый стабилизирующий регулятор для семейства объектов (4.1).

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

1) стабилизируемость каждого объекта семейства с возможностью построения стабилизирующего регулятора;

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

В параграфах 4.4—4.6 для линейных нестационарных объектов вводится понятие робастной стабилизации и рассматривается задача об одновременной робастной стабилизации таких объектов. На основе топологического метода получено достаточное условие одновременной робастной стабилизации конечного семейства линейных нестационарных объектов.

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

Íx-Ai(t)x + В^и

(4.7)

у = С*(г)х, 1 = 1,...,*:,

где хе!"- вектор состояния г-й системы, и 6 М1, у 6 К1 — вход и выход системы соответственно. Предполагается, что все системы семейства (4.7) имеют одну и ту же размерность пространства состояний п. А,- (<), В; (4) и С{ (^ — заданные ограниченные матрицы соответствующих размерностей €

Кпх", € Н"*1, С¿(<) 6 К1*"), при этом матрицы таковы, что реше-

ния уравнений (4.7) существуют на промежутке времени [0, +оо) при всех начальных значениях хо € К" и всех допустимых управлениях (например, и (4) € С [0, +оо)). Кроме того, считаем, что точка х = 0 является изолированным положением равновесия для каждой из систем семейства (4.7).

Под задачей робастной стабилизации г-го объекта из семейства (4.7) будем понимать построение стабилизатора по выходу, т.е. линейной динамиче-

ской системы вида

( z = H(t)z + P(t)y

< (4.8)

( u = Q(t)z + D(t)y,

где г ЕЁ1 — фазовый вектор стабилизатора, P(t) ,Н (t) ,Q(t) и D (t) — матрицы соответствующих размерностей, задающие стабилизатор. Эти матрицы выбираются из условия отрицательности верхнего особого показателя для г-й системы (4.7), замкнутой обратной связью (4.8), т.е. из условия отрицательности особого показателя замкнутой системы

х\ = + Bi(t)Q(t)\ ix

z) \ P(t)Ci(t) H{t) ) \z

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

П?= Ш J_ln||Xi(i,e)||,

<-s-»oo,s-*oo t — S

где Xi(t,s) — матрица Коши системы (4.9).

Под задачей одновременной робастной стабилизации семейства линейных объектов (4.7) понимается построение единого регулятора вида (4.8), робастно стабилизирующего все объекты (4.7).

Заметим, что отрицательность особого показателя не только обеспечивает экспоненциальную устойчивость системы (4.9), но и гарантирует сохранение свойства асимптотической устойчивости системы при произвольных достаточно малых вариациях параметров, а это, в свою очередь, является одним из необходимых условий применимости разработанного в параграфах 4.1-4.3 топологического метода для решения задачи об одновременной стабилизации линейных нестационарных объектов.

Вопрос о существовании робастно стабилизирующего регулятора для одного нестационарного объекта решается следующим образом. Говорят, что

объект Е; равномерно дифференциально наблюдаем, если

гапк N (£) = п, ¿>0,

где

& (О

N(t) =

Ях (¿) = с (г), (0 = (0 а + д, (0.

ЗЛО

(г = 1,2,...,п- 1). Аналогично, объект Е,- равномерно дифференциально управляем, если

*(<)= [я(«),...,ад]. = Рц.1® = А(!)П®-Ню

(* = 1.....п-1).

Следующая теорема устанавливает достаточное условие робастной стаби-лизируемости линейного нестационарного объекта.

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

такой, что каждая замкнутая система (Еимеет заданный особый показатель.

гапк К (¿) = п, 0,

где

(4.10)

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

параметрическое семейство динамических систем ЬН (всевозможные линейные комбинации указанных стабилизаторов):

(4.11)

« = <?*(*)* + Г^Юу, где

(О = £ ЪЪ (г), Рх{г) = £ («),

¿=1 ¿=1

»=1 »=1 А4еМ, г = 1,...д-, А = (Ль ..., А/г).

Будем искать общий стабилизатор среди систем из семейства (4.11). Обозначим элемент семейства ЬК через К (А). Следующая теорема устанавливает достаточное условие одновременной робастной стабилизации для семейства динамических объектов (4.7).

Теорема 4.3. Пусть задано семейство (4.7) линейных скалярных нестационарных объектов (г = 1,..., к) одинакового порядка п, все объекты равномерно дифференциально управляемы и наблюдаемы. Пусть для каждого объекта построен свой робастно стабилизирующий регулятор Щ = Д(А;) вида (4.10) (здесь \ — единичные векторы с единицей на г-м месте).

Пусть, кроме этого, для каждого подмножества индексов I С {1,..., и любых рч > 0 (г £ I) таких, что

£ т = 1.

¿6/

регулятор Д^рД^ является робастно стабилизирующим хотя бы для ш

одного из объектов подсемейства семейства {£,}, определяемого набором индексов I.

Тогда в Ы1 существует единый стабилизирующий регулятор для семейства объектов (4.7).

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

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

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

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

Рассматриваются к динамических объектов одинаковых порядков вида

х = А,х + Ыи, з = к, (5.1)

где Aj е Епхп, Ь* € Епх1, х е Е", и € К, таких, что пары управ-

ляемы. Спрашивается, существует ли единый регулятор в форме разрывной

обратной связи по состоянию

{и+(х), если а(х) > О,

(5.2)

и (х), если а(х) < О

(а(х) = сх, с 6 М1хп, и+(х-), и~(х) — подлежащие выбору непрерывные функции), который

1) создает в замкнутых системах

х = А^ + Ыи(х), з = 1,...к (5.3)

скользящие режимы на поверхности а{х) = 0;

2) обеспечивает асимптотическую устойчивость скользящих режимов систем (5.3) на поверхности а{х) = 0.

Прежде, чем сформулировать основное условие существования универсального стабилизатора, введем ряд обозначений. Определим полиномы /3*(з;с)\

с) = с • мЩвЯ - АЦЫ = (сь ...;Сп)

у/Цз)/

здесь (/^(я) — полиномы степени не выше п - 1, т.е.

с) = сМ{з) + ... + СпЖз) = $'(с) + 0{(с)з + ... + РЫФ"-1, (5.4)

где /3/(с) — линейные функционалы, зависящие от вектора с.

Введем в рассмотрение линейные операторы : Е" -> К", ставящие в соответствие вектору с вектор коэффициентов = {/330,Р{,.. .,$„-1) полинома с). Матрица указанного оператора будет зависеть от коэффициентов

матриц А] и векторов У :

/сЛ

= ф м^)

\0LxJ

Рассмотрим теперь матрицу Ф вида

ф =

УЧ

являющуюся матрицей оператора Ф : Ш" —> К71*, преобразующего вектор с в вектор, компоненты которого — коэффициенты полиномов Р,{з\с), з = 1 т.е.

Д!-1

А*

О

= ф

Xе"/

Рассмотрим систему линейных неравенств

Ф

/сЛ

\Сп)

> 0.

(5.5)

Решение с0 = (с°,...,с°) системы (5.5) назовем устойчивым, если будут устойчивыми все полиномы с0), у = 1,...,к. Обозначим строки сА^ через т.е.

сА1 = ц1 = • ■ •, ¿4), 3 = 1, • • •, к.

35

Разработанный в главе 5 подход позволяет сформулировать следующее конструктивное достаточное условие одновременной стабилизации конечного семейства объектов (5.1) регулятором переменной структуры.

Теорема 5.1. Пусть вектор с — {с\,..., сп_!, 1) является устойчивым решением системы (5.5). Тогда регулятор

71-1

и = - к^х^па - кпа -ysgncr, ¿=1

где сг = сх, а коэффициенты 7 удовлетворяют неравенствам 7>0,

кг > тах;=1,...Л ||/4 - /4с*|^|, ?' = 1,... ,п - 1,

является одновременно стабилизирующим для объектов (5.1).

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

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

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

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

Рассматривается к динамических объектов различных порядков со скалярным входом

х> =Ajxj + Ь>и, j = \,...,к, (5.6)

где Aj £ У £ и € К, = (xh,.. .,xin.) е R"', ч< ... < гп.,

{¿ь • • •, inj} С {1,..., гг}, где п = тах{гП1,..., i„k}. Обозначим упорядоченный набор индексов {4,...,inj} через а множество {1,...,п} через Г. Обозначим через вектор из К", все компоненты которого с индексами из множества Г \ Г,- равны нулю.

Требуется найти единый регулятор в форме обратной связи по состоянию и = и(х), и(0) = 0, х S R", стабилизирующий все эти объекты, т.е. обеспечивающий глобальную асимптотическую устойчивость нулевого решения всех замкнутых систем

xj = AjX* + Vu(xj), j = l,...,k. (5.7)

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

xj £ Ajxi + VUj(xj), j = l,...,k,

где доопределение множеств Ujfö) в точках разрыва управления u(£J) осуществляется в смысле А.Ф. Филиппова или методом эквивалентного управления. При этом асимптотическая устойчивость нулевого решения дифференциальных включений понимается в смысле А.Ф. Филиппова.

Пусть Äj (j = 1 , ...,fc) — матрицы размера n — |Г|. Обозначим через Äj = (Aj, Äj, Tj) матрицу порядка n, у которой на пересечении строк и столбцов с номерами ii,...,inj € Г,- расположена матрица Aj, на пересечении строк и столбцов с номерами из множества Г\Г;' — матрица Äj порядка п — а на остальных местах — нули. Аналогично, через Ь3' = обозначим

вектор-столбец из R", у которого в элементах с индексами ii,...,inj расположен столбец У, а на остальных — нули. Учитывая введенные обозначения, систему

X = ÄjX + У и можно считать расширением системы

xj = AjXj + Ыи

путем добавления независимой подсистемы размерности п— |Г;-|.

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

Теорема 5.2. Пусть для некоторого набора устойчивых матриц Ä\,...,A*k регулятор и{х) (и £ С(Ж")) является универсальным стабилизатором для семейства объектов порядка п

x = ÄjX + Vu, Äj = (Aj,Ä'jSj), j = 1.....k. (5.8)

Тогда он одновременно стабилизирует семейство линейных объектов (5.6).

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

{и+(а;),если <т(х) > О,

(5.9)

и (х), если сг(х) < О, 38

где а(х) = сх — поверхность разрыва, с е Е1хп, и (х) — непрерывные

однородные степени а функции (и+(тх) = таи+(х), и~(тх) = тпаи~(х), а > 0).

Теорема 5.3. Пусть для некоторого набора устойчивых матриц А\,...,А*к регулятор переменной структуры (5.9) является универсальным стабилизатором для семейства объектов (5.8) порядка п. Тогда он одновременно стабилизирует семейство линейных объектов (5.6).

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

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

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

1. Краев A.B., Фурсов A.C. Нижние и верхние оценки радиусов неустойчивости семейств полиномов с фиксированным подмножеством коэффициентов // Дифференц. уравнения, 2005, Т. 41, N И. С. 1510-1516.

2. Кудрицкий A.B., Носов А.П., Фурсов A.C. Существование устойчивых решений линейных систем // Дифференц. уравнения, 2006, Т. 42, N 8. С. 1144-1145.

3. Кудрицкий A.B., Фурсов A.C. Об одновременной стабилизации линейных объектов второго порядка // Дифференц. уравнения, 2007, Т. 43, N 8. С. 1144.

4. Кудрицкий A.B., Фурсов A.C. О множестве одновременно стабилизируемых линейных объектов заданным регулятором // Дифференц. уравнения,

2007, Т. 43, N 8. С. 1149.

5. Носов А.П., Фурсов A.C. О стабилизации линейных объектов при ограничениях на структуру и параметры регулятора // Дифференц. уравнения,

2008, Т. 44, N 2. С. 280-281.

6. Кудрицкий A.B., Носов А.П., Фурсов A.C. Алгоритмы построения регуляторов, одновременно стабилизирующих линейные объекты второго порядка // Дифференц. уравнения, 2008, Т. 44, N 5. С. 619-625.

7. Носов А.П., Фурсов A.C. Одновременная стабилизация линейных объектов регулятором низкого порядка // Нелинейная динамика и управление: Сборник статей. Вып. 6 / Под ред. С.В.Емельянова, С.К.Коровина. - М.: ФИЗМАТЛИТ, 2008, с. 65-70.

8. Коровин С.К., Кудрицкий A.B., Фурсов A.C. Об одновременной стабилизации линейных объектов произвольных порядков регулятором заданной структуры // Докл. АН, 2008, Т. 423, N 2. С. 173-177.

9. Кудрицкий A.B., Фурсов A.C. Одновременная стабилизация линейных объектов произвольных порядков регулятором заданной структуры // Диф-

ференц. уравнения, 2008, Т. 44, N 8. С. 1149.

10. Кудрицкий A.B., Носов А.П., Фурсов A.C. Оценка множества регуляторов заданного порядка, одновременно стабилизирующих линейные объекты // Дифференц. уравнения, 2008, Т. 44, N 8. С. 1150.

И. Кудрицкий A.B., Носов А.П., Фурсов A.C. К вопросу об одновременной стабилиза-ции интервальных семейств линейных объектов // Дифференц. уравнения, 2009, Т. 45, N 2. С. 287-288.

12. Коровин С.К., Кудрицкий A.B., Фурсов A.C. О некоторых подходах к одновременной стабилизации линейных объектов регулятором заданной структуры // Дифференц. уравнения, 2009, Т. 45, N 4. С. 597-608.

13. Коровин С.К., Кудрицкий A.B., Фурсов A.C. К вопросу об одновременной а-стабилизации линейных объектов // Дифференц. уравнения, 2009, Т. 45, N 5. С. 698-705.

14. Кудрицкий A.B., Носов А.П., Фурсов A.C. Одновременная сильная стабилизация линейных объектов произвольных порядков регулятором заданной структуры // Дифференц. уравнения, 2009, Т. 45, N 8. С. 1214-1216.

15. Коровин С.К., Кудрицкий A.B., Фурсов A.C. Конструктивный алгоритм поиска регулятора, одновременно стабилизирующего семейство объектов // Нелинейная динамика и управление: Сборник статей. Вып. 7 / Под ред. С.В.Емельянова, С.К.Коровина. - М.: ФИЗМАТЛИТ, 2010, с. 5-16.

16. Фурсов A.C. Сравнительный анализ различных постановок задачи стабилизации линейных объектов // Дифференц. уравнения, 2010, Т. 46, N 8. С. 1212-1213.

17. Фурсов A.C. Методы одновременной стабилизации: условия существования и алгоритмы построения универсального регулятора для семейства динамических объектов //Дифференц. уравнения, 2010, Т. 46, N 8. С. 1213-1215.

18. Коровин С.К., Фомичев В.В., Фурсов A.C. К вопросу об одновременной стабилизации динамических векторных объектов // Дифференц. уравнения,

2011, T. 47, N 2. С. 301-302.

19. Бобылева О.Н., Носов А.П., Фомичев В.В., Фурсов A.C. Алгоритм проверки одного достаточного условия одновременной стабилизации семейства динамических объектов // Дифференц. уравнения, 2011, Т. 47, N 2. С. 302-304.

20. Емельянов C.B., Фомичев В.В., Фурсов A.C. Об одновременной стабилизации по состоянию одного класса линейных динамических объектов // Дифференц. уравнения, 2011, Т. 47, N 7. С. 972-977.

21. Бобылева О.Н., Фомичев В.В., Фурсов A.C. Об одном достаточном условии существования общего стабилизатора для семейства динамических систем // Дифференц. уравнения, 2011, Т. 47, N 8. С. 1077-1083.

22. Коровин С.К., Миняев С.И., Фурсов A.C. Подход к одновременной стабилизации линейных динамических объектов с запаздыванием // Дифференц. уравнения, 2011, Т. 47, N 11. С. 1592-1598.

23. Коровин С.К., Фурсов A.C. Одновременная стабилизация: синтез универсального регулятора // Автоматика и телемеханика, 2011, № 9, с. 61-73.

24. Коровин С.К., Ильин A.B., Фомичев В.В., Фурсов A.C. Топологический подход к задаче существования общего стабилизатора для семейства динамических систем // Докл. АН, 2011, Т. 441, N 6. С. 737-742.

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

Подписано в печать 07.09.2012 г. Формат 60x90 1/16. Усл.печл. 2,0. Тираж 100 экз. Заказ 334.

Издательство ООО "МАКС Пресс" Лицензия ИД N 00510 от 01.12.99 г. 119992, ГСП-2, Москва, Ленинские горы, МГУ им. М.В. Ломоносова, 2-й учебный корпус, 527 к. Тел. 939-3890. Тел./факс 939-3891.

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

Введение

Глава 1. Классификация и анализ современных методов одновременной стабилизации линейных объектов.

1.1. Постановка задачи стабилизации линейных объектов.

1.2. Полиномиальный подход к проблеме одновременной стабилизации семейства объектов.

1.3. Матричный подход к проблеме одновременной стабилизации семейства объектов

Глава 2. Параметрические методы в задаче об одновременной стабилизации

2.1. Универсальный стабилизатор заданной структуры для конечного семейства линейных объектов

2.2. Одновременная стабилизация с заданной степенью устойчивости

2.3. Одновременная стабилизация объектов цифровым регулятором

2.4. Некоторые аспекты задачи одновременной стабилизации

Глава 3. Вычислительные аспекты построения универсального стабилизатора.

3.1. Некоторые вспомогательные понятия и утверждения

3.2. Общая схема алгоритма поиска универсального стабилизатора

3.3. Применение методов интервального анализа для построения алгоритма поиска а;-стабилизирующих параметров

3.4. Выбор начальных условий алгоритма поиска ^-стабилизирующих параметров.

3.5. Построение регулятора, одновременно стабилизирующего конечное семейство объектов

Глава 4. Топологические методы в задаче об одновременной стабилизации

4.1. Постановка задачи об одновременной стабилизации для линейных векторных стационарных объектов.

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

4.3. Алгоритм проверки существования универсального стабилизатора для семейства линейных векторных стационарных объектов

4.4. Постановка задачи об одновременной стабилизации для линейных нестационарных объектов.

4.5. Робастная стабилизация линейных нестационарных объектов

4.6. Условие существования общего стабилизатора для семейства линейных нестационарных объектов.

Глава 5. Одновременная стабилизация разрывным регулятором

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

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

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

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

 
Введение диссертация по математике, на тему "Одновременная стабилизация - теория построения универсального регулятора для семейства динамических объектов"

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

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

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

В общей постановке задача стабилизации1 по состоянию динамического конечномерного объекта, заданного системой обыкновенных дифференциальных уравнений х = /(х,и), /(0,0) = 0, хеш71, может быть качественно сформулирована одним из следующих способов:

Для определенности рассматривается стабилизация в нуле пространства состояний, т.е. при х = 0.

1) найти статическую обратную связь по состоянию и = д(х), при которой замкнутая система = 1{х,д{х)) асимптотически устойчива в нуле;

2) найти динамическую обратную связь по состоянию = (/(ж, г), и = д(х,г), при которой решение х = 0, 2 = 0 замкнутой системы - я(х, г) является асимптотически устойчивым.

Аналогично, задача стабилизации с использованием обратной связи по выходу для объекта х = /(х,и), /(0,0) = 0, хеШп, у = к(х), /г(0) = 0 заключается в том, чтобы построить: 1) статический регулятор по выходу и = 9 (у), обеспечивающий асимптотическую устойчивость нулевого решения замкнутой системы х = /{х,д(Ь,(х:))) 6 или

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

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

Так, в случае стабилизации по выходу линейного стационарного объекта х = Ах + Ви, хеГ, и Е Мг, у = Сх, уеШ линейным же (динамическим) регулятором, требуется указать обратную связь вида и = -Бг - Му, ¿ = Нг + С^у, г Е Мте, при которой замкнутая система х = {А - ВМС)х - ВВх, ¿ = С}Сх + Нг экспоненциально устойчива.

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

Объекту х = Ах + Ьи, х Е Мп, и Е М, у = сх, у Е Е ставится в соответствие скалярная передаточная функция являющаяся дробно-рациональной функцией комплексной переменной в, т.е.

Иф) = (1) где т и п — степени полиномов (Зт(з) и аф) соответственно:

П > 772.

Требуется найти такую передаточную функцию регулятора л(5) = Ф) с полиномами и при которой устойчивы все следующие дробно-рациональные функции /Зд И, ар

1 + \¥Я ~ ад + /Зр' 1 + ~ ад +/У

2)

ЖД /Зр 1 ад ад^Рр' 1 + \¥11~ад + 13р напомним, что устойчивость какой-либо дробно-рациональной функции ф) означает устойчивость ее знаменателя и с^ а(з) ^ deq ф)). Устойчивость указанных дробно-рациональных функций влечет так называемую внутреннюю стабилизацию динамического объекта, которая обеспечивает физическую реализуемость регулятора /ф), т.е. выполнение условия ф) ^ 8 правильность передаточной функции (степень числителя не превосходит степени знаменателя) замкнутой системы; грубость замкнутой системы по отношению к малым вариациям параметров регулятора и объекта.

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

Теперь отметим, что всякий регулятор стабилизирует некоторое семейство объектов. Например, если регулятор с фиксированными параметрами и = -Иг - Му, г = Нг + <3у стабилизирует номинальный объект х = А$х + У = С0х, то он также стабилизирует (в силу непрерывной зависимости решений системы дифференциальных уравнений от ее параметров) и любой объект из окрестности (может быть достаточно малой) точки

Л0. Во, Со}.

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

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

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

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

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

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

В современной теории управления сформировались методы, позволяющие синтезировать универсальные стабилизаторы для параметрических семейств объектов, допускающих изменения неизвестного параметра в ограниченных или даже бесконечных пределах. К ним, в первую очередь, относятся: методы глубокой обратной связи или больших коэффициентов усиления; адаптивного управления; активного поиска; универсальные регуляторы Нуссбаума; методы теории систем переменной структуры и др. Общая особенность классов стабилизируемых подобными регуляторами объектов — постоянство их порядка и/или относительного порядка.

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

M. Athans в 1979 г. А в 1982 г. R. Saeks и J. Murray ввели для нее термин одновременная стабилизация (simultaneously stabilizatioin).

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

Таким образом общепризнано, что для линейных скалярных и стационарных объектов, описываемых передаточными функциями вида (1), постановка задачи одновременной стабилизации формулируется следующим образом. Рассматривается к линейных стационарных объектов различных порядков ггг, г = 1,., к, с передаточными функциями w ( \ и/ г \ {Г)Л ai(s) ak(s) где fii(s) = 6Пг 1,г5Пг1 Н-----Ь &о,г5 at^s) = sUl + ащ-^¿s"*-1 Н-----Ь а0,г, причем все полиномы az(s) взаимно просты.

Спрашивается, существует ли универсальный линейный стационарный регулятор ж,) = §у (4) внутренне стабилизирующий все объекты (3). Решение задачи стабилизации в указанной постановке носит название полиномиального подхода.

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

При одновременной стабилизации по выходу к линейных стационарных скалярных объектов, задаваемых уравнениями х = Агх + Ьги,

Аг в Rn'xn% X, Ьг, a Е Шп\ U,ye R, (5)

У = CiX, и находящихся в общем положении (управляемых и наблюдаемых), требуется построить универсальный линейный регулятор, задаваемый уравнениями

2 = Их + гу,

ЙЕ1М, гМ бЕг, г, ¡12 ЕМ, и = К\х + Н2у, который стабилизирует все объекты указанного семейства (5).2

Заметим, что в приведенных постановках задачи одновременной стабилизации объекты (3) или (5) являются строго физически реализуемыми, однако это требование можно ослабить и заменить на условие обычной физической реализуемости, что в случае полиномиального подхода предполагает выполнение неравенств с^а(5) ^ с^/?(5), а в случае матричного подхода объекты задаются уравнениями х = Агх + Ьги, у = сгх + с1ги,

При одновременной стабилизации по состоянию к линейных стационарных управляемых объектов одинаковых порядков, задаваемых уравнениями

X = Агх + Ьги, Аг е мпхп, X. Ьг е Мп, и € К. (7) требуется построить универсальный линейный стационарный регулятор и = вх, в еШп стабилизирующий все объекты семейства (7), т.е. обеспечивающий устойчивость всех матриц

Аг = Аг + Ьг0, г = 1,к.

21 Аналогичным образом ставяхся задачи одновременной стабилизации для объектов дискретного времени ж<+1 = Ах1 + Ьи\ ;у' = сх1

В какой-то степени задачи одновременной стабилизации семейства объектов близки к задачам теории робастной стабилизации, в рамках которой разрабатываются методы стабилизации объектов с параметрической неопределенностью, при этом параметры, как правило, меняются в некоторой области, заданной известными ограничениями. Важное отличие между задачами робастной стабилизации и одновременной стабилизации семейства объектов состоит в следующем. Во-первых, известные методы робастной стабилизация применяются к бесконечным семействам объектов одного и того же динамического порядка и одинаковой структуры, в то время как методы одновременной стабилизации семейств ориентированы на конечное число стабилизируемых объектов с, вообще говоря, различными динамическими порядками; во-вторых, в отличие от теории робастной стабилизации, объекты которой параметризованы неопределенными параметрами специальным образом и в этом смысле должны лежать "близко" к номинальному, для одновременной стабилизации семейств такое ограничение на класс объектов в явном виде отсутствует. Принципиальное отличие задачи одновременной стабилизации от задач робастной стабилизации можно продемонстрировать с помощью примера, приведенного в монографии V.Blondel (1995 г.) а именно, известно, что если для континуального семейства Р = {AW(s) : Л е [0; 1]}, где VK(s) строго правильная передаточная функция порядка п, существует универсальный стабилизатор, то его порядок строго меньше Зп — 1; с другой стороны как доказал B.Ghosh в 1986 г., для конечного семейства Р' = (AW(s) : А = 0, -, 1} не существует оценки сверху порядка универсального регулятора (в случае его существования) для этого семейства, зависящей только от п.

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

Как известно, для стабилизации одного объекта решение задачи всегда существует, более того, можно описать все стабилизующие регуляторы с помощью параметризации Уои1а.

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

Но уже в случае одновременной стабилизации трех объектов общее решение проблемы отсутствует. Более того, известны результаты о так называемой рациональной неразрешимости задачи одновременной стабилизации к ^ 3 объектов. В1опс1е1 в 1994 году установил следующий факт: невозможно построить алгоритм, который позволял бы за конечное число шагов ответить на вопрос об одновременной стабилизации трех и более объектов, используя только коэффициенты их передаточных функций, арифметические операции (сложение, вычитание, умножение, деление), логические операции ("и", "или") и системы равенств или неравенств. Поэтому в виду сложности решения проблемы одновременной стабилизации в общем случае, в современных исследованиях по указанной тематике предлагается использовать следующие подходы: сужение классов объектов, для которых устанавливаются необходимые и достаточные условия одновременной стабилизации; получение общих необходимых условий одновременной стабилизации; расширение классов объектов, для которых устанавливаются достаточные условия одновременной стабилизации; ограничение класса регуляторов, среди которых устанавливается существование одновременно стабилизирующего регулятора.

Важно отметить, что в общем случае все известные критерии одновременной стабилизации трех и более объектов (Vidyasagar, Viswanadham, Ghosh, Blondel, Gevers, Mortini, Rupp и другие) либо носят неконструктивный характер и, фактически, сводят одну нерешенную задачу к другой, либо применимы к достаточно узким классам стабилизируемых объектов. Другими словами, в настоящее время нет алгоритмов, позволяющих в общем случае однозначно ответить на вопрос о существовании одновременно стабилизирующего регулятора для к ^ 3 объектов. В то же время многие известные необходимые условия одновременной стабилизации (Ghosh, Wei, Blondel, Gevers, Mortini, Rupp и другие), как правило, носят конструктивный характер, т.е. допускают численную реализацию и применимы к широким классам объектов. Известные в настоящее время достаточные условия (Maeda, Vidyasagar, Alos, Emre, Kwakernaak, Wei, Debowsky, Kurilowicz, Blondel, Campion, Gevers и другие) также, в основном, носят конструктивный характер, но применимы к узким классам объектов.

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

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

В рамках поставленной задачи предполагается рассмотреть две проблемы:

1) проблему разработки новых подходов к решению задачи одновременной стабилизации линейных динамических объектов, позволяющих получать конструктивные условия существования одновременно стабилизирующего регулятора для конечного семейства динамических объектов (скалярных, векторных, стационарных и нестационарных);

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

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

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

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

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

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

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

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

6. Разработан новый метод исследования одновременной стабилизируемо-сти семейств векторных объектов, основанный на топологическом подходе.

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

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

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

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

Апробация работы. Основные результаты работы и отдельные её части докладывались: на научных семинарах кафедры нелинейных динамических систем и процессов управления факультета Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова; на научном семинаре "Нелинейная динамика: качественный анализ и управление" под руководством академиков РАН С.В. Емельянова и С.К. Коровина; на Первой Международной конференции "Системный анализ и информационные технологии" САИТ-2005 (12-16 сентября 2005 г., г. Переславль); на Второй Международной конференции "Системный анализ и информационные технологии"

САИТ-2007 (10-14 сентября 2007 г. Обнинск, Россия); на семинарах в университете Лафборо (Великобритания) 2007 г.; на Третьей Международной конференции "Системный анализ и информационные технологии" САИТ-2009 (Россия); на XI Международной конференции «Устойчивость и колебания нелинейных систем управления» (ИПУ РАН), 2010; на Научной конференции "Ломоносовские чтения" в Московском государственном университете имени М.В.Ломоносова, Москва, 2011 г.

Публикации. Основные результаты диссертации опубликованы в 24 работах, из них 22 работы - в ведущих математических журналах (Доклады РАН, Дифференциальные уравнения, Автоматика и телемеханика) и рецензируемых сборниках. Список основных публикаций помещен в конце автореферата.

Лично автором получены следующие результаты:

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

2. Методы одновременной стабилизации линейных стационарных объектов различных порядков универсальным регулятором заданной структуры.

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

4. Методы одновременной стабилизации линейных стационарных объектов универсальным цифровым регулятором.

5. Топологические методы одновременной стабилизации линейных динамических объектов.

6. Методы одновременной стабилизации линейных векторных объектов на основе разработанного топологического подхода.

7. Методы одновременной стабилизации линейных нестационарных динамических объектов.

8. Методы одновременной стабилизации регулятором переменной структуры.

9. Метод построения универсальных стабилизаторов по состоянию для линейных объектов различных порядков.

Структура и объем диссертации. Диссертация содержит 284 страницы текста, состоит из введения, 5 глав и 2 приложений. Главы разбиты на параграфы, параграфы на пункты. Нумерация утверждений, теорем, лемм, замечаний, примеров и формул — двойная, сквозная по каждой главе. В конце приведена библиография из 93 наименований, вначале в алфавитном порядке перечислены работы на кириллице, затем в алфавитном порядке - работы на латинице.

 
Заключение диссертации по теме "Дифференциальные уравнения"

5.4.3. Выводы

Доказанная в параграфе 5.4. теорема 5.9 позволяет применять методы построения универсальных регуляторов переменной структуры и для линейных стационарных объектов различных порядков и представляет, таким образом, достаточное условие одновременной стабилизируемости линейных объектов различных порядков. А теоремы 5.10 и 5.11 предоставляют возможности по применению уже известных методов одновременной стабилизации по состоянию (методов квадратичной стабилизации, сверхстабилизации) к стабилизации по состоянию конечных семейств объектов различных порядков.

 
Список источников диссертации и автореферата по математике, доктора физико-математических наук, Фурсов, Андрей Серафимович, Москва

1. Андреев Ю.Н. Управление конечномерными линейными объектами. Наука, 1976.

2. Баландин Д.В., Коган М.М. Синтез законов управления на основе линейных матричных неравенств. М.: ФИЗМАТЛИТ. 2007.

3. Бобылева О.Н., Носов А.П., Фомичев В.В., Фурсов A.C. Алгоритм проверки одного достаточного условия одновременной стабилизации семейства динамических объ-ектов // Дифференц. уравнения, 2011, Т. 47, N 2. С. 302-304.

4. Бобылева О.Н., Фомичев В.В., Фурсов A.C. Об одном достаточном условии существования общего стабилизатора для семейства динамических систем // Дифференц. уравнения, 2011, Т. 47, N 8. С. 1077-1083.

5. Былов Б.Ф., Виноград Р.Э., Гробман Д.М., Немыцкий В.В. Теория показателей Ляпунова и е приложения к вопросам устойчивости. М.: Наука. 1966.

6. Воронов A.A. Устойчивость, управляемость, наблюдаемость. М.: Наука, 1979.

7. Далецкий Ю.Л., Крейн М.Г. Устойчивость решений дифференциальных уравнений в банаховом пространстве. М.: Наука, 1970.

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

9. Емельянов C.B. Системы автоматического управления с переменной структурой. М.: Наука, 1967.

10. Емельянов C.B. Системы автоматического управления переменной структуры: синтез скалярных и векторных систем по состоянию и по выходу / Нелинейная динамика и управление: Сб. статей. Вып. 5. Под ред. С.В.Емельянова, С.К.Коровина. М.: ФИЗМАТЛИТ, 2006.

11. Емельянов C.B., Коровин С.К. // Сборник Мат. моделирование: Проблемы и результаты. Москва. Наука. Физматлит. 2003. С. 12-35.

12. Емельянов C.B., Коровин С.К. Новые типы обратной связи: Управление при неопределенности. М.: Наука. Физматлит, 1997.

13. Емельянов C.B., Фомичев В.В., Фурсов A.C. Об одновременной стабилизации по со-стоянию одного класса линейных динамических объектов // Дифференц. уравнения, 2011, Т. 47, N 7. С. 972-977.

14. Ильин A.B., Коровин С.К., Фомичев В.В. Синтез минимальных линейных стабилизаторов // Дифференц. уравнения. 2009. т. 45. № 5. С. 675-685.

15. Ильин A.B., Коровин С.К., Фомичев В.В. Методы робастного обращения динамических систем. М.: ФИЗМАТЛИТ, 2009.

16. Жолен Л., Кифер М., Дидри О., Вальтер Э. Прикладной интервальный анализ. М.: Ижевск: Институт компьютерных исследований, 2007. 468 с.

17. Капалин И.В., Фомичев В.В. Минимальная стабилизация векторных (MISO и SISO) систем // Дифференц. уравнения, 2011, Т. 47, N 11. С. 1573-1582.

18. Ким Д.П. Теория автоматического управления. Т. 1,2. М.: ФИЗ-МАТЛИТ, 2004.

19. Коровин С.К., Ильин A.B., Фомичев В.В. Об одной канонической форме векторных управляемых систем. // ДАН. Теория управления, 2007. Т.414. № 3. С. 320-324.

20. Коровин С.К., Фомичев В.В. Наблюдатели состояния для линейных систем с неопределенностью. М.: ФИЗМАТЛИТ, 2007.

21. Коровин С.К., Кудрицкий A.B., Фурсов A.C. Об одновременной стабилизации линейных объектов произвольных порядков регулятором заданной структуры // Докл. АН, 2008, Т. 423, N 2. С. 173-177.

22. Коровин С.К., Кудрицкий A.B., Фурсов A.C. О некоторых подходах к одновременной стабилизации линейных объектов регулятором заданной структуры // Дифференц. уравнения, 2009, Т. 45, N 4. С. 597-608.

23. Коровин С.К., Кудрицкий A.B., Фурсов A.C. К вопросу об одновременной а-стабилизации линейных объектов // Дифференц. уравнения, 2009, Т. 45, N 5. С. 698-705.

24. Коровин С.К., Фомичев В.В., Фурсов A.C. К вопросу об одновременной стабилиза-ции динамических векторных объектов // Дифференц. уравнения, 2011, Т. 47, N 2. С. 301-302.

25. Коровин С.К., Миняев С.И., Фурсов A.C. Подход к одновременной стабилизации линейных динамических объектов с запаздыванием // Дифференц. уравнения, 2011, Т. 47, N 11. С. 1592-1598.

26. Коровин С.К., Фурсов A.C. Одновременная стабилизация: синтез универсального регулятора // Автоматика и телемеханика, 2011, № 9, с. 61-73.

27. Коровин С.К., Ильин A.B., Фомичев В.В., Фурсов A.C. Топологический подход к задаче существования общего стабилизатора для семейства динамических систем // Докл. АН, 2011, Т. 441, N 6. С. 737-742.

28. Краев A.B., Фурсов A.C. Нижние и верхние оценки радиусов неустойчивости семейств полиномов с фиксированным подмножеством коэффициентов // Дифференц. уравнения, 2005, Т. 41, N 11. С. 1510-1516.

29. Кудрицкий A.B., Носов А.П., Фурсов A.C. Существование устойчивых решений ли-нейных систем // Дифференц. уравнения, 2006, Т. 42, N 8. С. 1144-1145.

30. Кудрицкий A.B., Фурсов A.C. Об одновременной стабилизациилинейных объектов второго порядка // Дифференц. уравнения, 2007, Т. 43, N 8. С. 1144.

31. Кудрицкий A.B., Фурсов A.C. О множестве одновременно стабилизируемых линейных объектов заданным регулятором // Дифференц. уравнения, 2007, Т. 43, N 8. С. 1149.

32. Кудрицкий A.B., Носов А.П., Фурсов A.C. Алгоритмы построения регуляторов, одновременно стабилизирующих линейные объекты второго порядка // Дифференц. уравнения, 2008, Т. 44, N 5. С. 619-625.

33. Кудрицкий A.B., Фурсов A.C. Одновременная стабилизация линейных объектов произвольных порядков регулятором заданной структуры // Дифференц. уравнения, 2008, Т. 44, N 8. С. 1149.

34. Кудрицкий A.B., Носов А.П., Фурсов A.C. Оценка множества регуляторов заданного порядка, одновременно стабилизирующих линейные объекты // Дифференц. уравнения, 2008, Т. 44, N 8. С. 1150.

35. Кудрицкий A.B., Носов А.П., Фурсов A.C. К вопросу об одновременной стабилизации интервальных семейств линейных объектов // Дифференц. уравнения, 2009, Т. 45, N 2. С. 287-288.

36. Кудрицкий A.B., Носов А.П., Фурсов A.C. Одновременная сильная стабилизация ли-нейных объектов произвольных порядков регулятором заданной структуры // Дифференц. уравнения, 2009, Т. 45, N 8. С. 1214-1216.

37. Куратовский К. Топология. Т.1 —М.: Мир, 1966.

38. Ляпунов A.M. Общая задача об устойчивости движения. Л.-М.: ОНТИ, 1935.

39. Мельников О.В., Ремесленников В.Н., Романьков В.А. и др. Общая алгебра. М.: Наука. 1990.

40. Носов А.П., Фомичев В.В., Фурсов A.C. О стабилизации семейства динамических систем.// Дифференц. уравнения. 2005. Т. 41. № 8. 1141-1142.

41. Носов А.П., Фурсов A.C. О стабилизации линейных объектов при ограничениях на структуру и параметры регулятора // Дифференц. уравнения, 2008, Т. 44, N 2. С. 280-281.

42. Носов А.П., Фурсов A.C. Одновременная стабилизация линейных объектов регулятором низкого порядка / / Нелинейная динамика и управление: Сборник статей. Вып. 6 / Под ред. С.В.Емельянова, С.К.Коровина. М.: ФИЗМАТЛИТ, 2008, с. 65-70.

43. Поляк Б.Т., Щербаков П.С. Робастная устойчивость и управление. М.: Наука, 2002.

44. Поляков К.Ю. Основы теории цифровых систем управления: учеб. пособие. СПбГМТУ, 2002.

45. Постников M.M. Устойчивые полиномы. M.: Наука, 1981.

46. Резван В. Абсолютная устойчивость автоматических систем с запаздыванием. М.: Наука, 1983.

47. Соколов В.Ф. Стабилизация линейных непрерывных систем. Сыктывкар: СыктГУ. 2001.

48. Солодовников А.С. Системы линейных неравенств.—М.: Наука, 1977. 116 с.

49. Филиппов А.Ф. Дифференциальные уравнения с разрывной правой частью. М.: Наука, 1985.

50. Фурсов А.С. Сравнительный анализ различных постановок задачи стабилизации линейных объектов // Дифференц. уравнения, 2010, Т. 46, N 8. С. 1212-1213.

51. Фурсов А.С. Методы одновременной стабилизации: условия существования и алго-ритмы построения универсального регулятора для семейства динамических объектов // Дифференц. уравнения, 2010, Т. 46, N 8. С. 1213-1215.

52. Черников С.Н. Линейные неравенства. М.: Наука, 1968.

53. Anderson В., Bose N., Jury Е. Output feedback stabilization and related problems solutions via décision methods // IEEE Trans. Automat. Control, vol. 20, pp 387-388, 1975.

54. Atiyah M., MacDonald I. Commutative Algebra. Addison-Wesley. 1969.

55. Barmish B., Wei K. Simultaneous stabilizability of single input-single output systems // Proc. 7th International Symp. on Math. Theory of Netw. and Syst., Stockholm, Sweden. 1985.

56. Birdwell J., Castanon D., Athans M. On reliable control systems designs with and without feedback reconfiguration //In Proc. IEEE

57. Blondel V. Simultaneous stabilization of linear systems. SpringerVerlag. 1994. Conf. on Dec. and Control. P. 419-426. San Diego. CA. 1979.

58. Blondel V., Gevers M., Mortini R., Rupp R. Simultaneous stabilization of three or more plants: conditions on the positive real axis do not suffice // Technical Report 91.78, Univ. Catholique de Louvain, Belgium. P. 1-33. 1991.

59. Blondel V., Campion G., Gevers M. A sufficient condition for simultaneous stabilization // IEEE Trans. Auto. Control, AC-38(8):1264-1266, 1993.

60. Blondel V., Gevers M., Mortini R., Rupp R. Simultaneous stabilization of three or more plants: conditions on the real axis do not suffice // SIAM J. Control and Optimiz. 1993.

61. Bonjorno J.J., Youla D.C. On the design of single-loop single-input-output feedback control systems in the complex frequency domain // IEEE Trans. Autom. Control. 1977. V.22. N 3. P. 416-423.

62. Van Bredemann M. Feedback controller design for simultaneous stabilization.—Dissertation. Albuquerque, New Mexico 87131: University of New Mexico. 1995. 224 p.

63. Brockett R. Some geometric questions in the theory of linear systems // IEEE Trans. Automat. Control. V. 21. P. 449-45. 1976.

64. Chapellat H., Bhattacharyya S. Simultaneous strong stabilization // Technical Report TCSP 88-011, Texas A&M. P. 1-10.1988.

65. Chen T., Francis B. Optimal sample-data control systems. 1994.

66. Cohn P. Algebra. John Wiley. Vol. I, II. 1974.

67. Debowski A., Kurylowicz A. Simultaneous stabilization of linear single-input single-output plants // Int. Jour. Control, 44(5):1257-1264. 1986.

68. Emre E. Simultaneous stabilization with fixed closed-loop characteristic polynomial // IEEE Trans, on Auto. Control, AC-28(1): 103-104, January 1983.

69. Gahinet P., Nemirovski A., Laub A.J., Chitali M. LMI Control Toolbox. For use with Matlab. User's Guide.-Natick, MA: The Math Works, Inc., 1995.

70. Ghosh B. Trancendental and interpolation methods in simultaneous stabilizatiton and simultaneous partial placement problems // SIAM J. Control and Optimiz. Vol. 24. P. 1091-1109. 1986.

71. Ghosh B. Simultaneous partial pole placement: a new approach to multimode system design // IEEE Trans. Automat. Control. Vol. 31. P. 440-443. 1986.

72. Jacobson N. Lecture in abstract algebra. Van Nostrand. New York. 1953.

73. Kimura H. Pole assignment by gain output feedback // IEEE Transactions on Automatic Control. 1975. V. 8. P. 509-516.

74. Kwakernaak H. A condition for robust stability // Systems and Control Letters, 2(1): 1-5, July 1982.

75. Kwakernaak H. A condition for robust stabilizability // Systems Control Let. V. 2. P. 1005-1013. 1985.

76. Kwakernaak H. Minimal frequency domain performance and robustness optimization of linear feedback systems // IEEE Trans. Automat. Control. V. 30. P. 994-1004. 1985.

77. Lang S. Structure algebriques. InterEditions. Paris. 1967.

78. Maeda H., Vidyasagar M. Some results on simultaneous stabilization // Systems and Control Letters, 5(3):205-208, 1984.

79. O'Reilly J. Observes for linear systems. London: Academic Press, 1983.

80. Pernebo L. Algebraic control theory for multivariable systems // PhD Thesis. Lund Institute of Technology. Sweden. 1978.

81. Saberi A. Simultaneous stabilization with almost disturbance decoupling uniform rank system // Automatica, 23(5):653-656. 1987.

82. Saeks R., Murray J. Fractional representations, algebraic geometry and the simultaneous stabilization problem // IEEE Trans. Auto, and Control. AC-27. P. 895-903. 1982.

83. Toker O., Ozcaldiran K. Strong stabilization of siso systems using singular compensators // Department of E.E., Bogazici University, P.K. 2, Bebek-Instanbul, Turkey

84. Vidyasagar M., Viswanadham N. Algebraic design techniques for reliable stabilization // IEEE Trans, on Auto. Control. AC-27(5) P. 1085-1095. 1982.

85. Vidyasagar M. Control system synthesis: a factorization approach. Boston, MA: MIT Press. 1985.

86. Wei K. Stabilization of linear plant via a state compensator having no real unstable zeros // Systems and Control Letters, 15(3):259-264. 1990.

87. Wei K. The solution of a trancendental problem and its applications in simultaneous stabilization problems // Institute for Flight Systems Dynamics, German Aerospace Research Establishment (BLR), D-8031, Oberpfaffenhofen, F.R. Germany, January 1991.

88. Wei K., Barmish B. An iterative design procedure for simultaneous stabilization of MIMO systems // Automatica. V. 24. P. 643-652. 1988.

89. Yao Y., Schaefers, Darouach M. Simultaneous stabilization via functional observer and state feedback //In IFAC Symposium on Robust Design. P. 418-422, Rio de Janeiro, Brazil, 1994.

90. Youla D., Bongiorno J., Lu C. Single-loop feedback stabilization of linear multivariable plants // Automatica. V. 10. P. 159-173. 1974.

91. Youla D., Bongiorno J., Lu C. Interpolation with positive real functions. J.Franklin Inst., 284:77-108, 1987.