МЕТОД ОБЩЕГО ПАРАМЕТРА В ЗАДАЧЕ СИНТЕЗА УПРАВЛЕНИЯ ОБЪЕКТАМИ, ФУНКЦИОНИРУЮЩИМИ В НЕЧЕТКОЙ СРЕДЕ
Н. Р. Юничева
Институт проблем информатики и управления Министерства образования и науки Республики Казахстан, 050010, Алма-Ата, Казахстан
УДК 519.712.1
Предложена процедура решения задачи параметрического синтеза управления, с помощью которой обеспечиваются необходимые динамические свойства в замкнутой системе управления. Процедура основана на использовании аппарата теории матричного и интервального анализа, а также метода общего параметра, созданного ранее для решения задачи идентификации параметров объекта. Сформулирована и доказана теорема, позволяющая решить поставленную задачу. На основе метода общего параметра разработан пошаговый вычислительный алгоритм решения задачи параметрического синтеза, позволяющий избежать вычислительных трудностей.
Ключевые слова: системы автоматического управления сложными объектами, нечеткая среда, метод общего параметра, задачи параметрического синтеза управления, методы локализации, нечеткие и интервальные методы.
The application of computer facilities and creation of automatic control systems of a various direction is necessary and urgent for development of every possible spheres of human activity at the present stage. In this connection the steady interest of the modern scientists to a problem of control of discrete objects functioning in conditions of parametrical uncertainty is shown. Almost in all cases the parametrical uncertainty is characterized by an inhering of real values of parameters of technical object to some intervals, which boundaries are a priori known. Their mathematical models can be presented by systems interval differential or difference equations with use of rules and designations of the interval analysis. Such object can be considered as family of objects, which is determined by an accessory of parameters of this object with the given interval. It means, that there is a task of management not by unique object, and whole family of objects. The device of the interval analysis is applied to the decision of tasks of the analysis of dynamic properties and synthesis of control of a similar class of objects. In considered operation on the basis of common parameter method with multiplicate parametrical adjustment and device of the interval analysis the task of parametrical synthesis of controlof the discrete interval-given object is solved.
Key words: The analysis and synthesis of automatic control systems, common parameter method for the parametrical synthesis task, methods of localization, fuzzy and interval methods.
Введение. Системы управления современными техническими объектами нередко характеризуются очень большим числом параметров и взаимосвязей, что не позволяет получить решение такой задачи аналитически или упростить ее для проведения экспериментов.
Также неоднократно отмечалось, что большая часть систем автоматического управления функционирует в условиях параметрической неопределенности. Однако многообразие указанных неопределенностей не позволяет создать единую теорию анализа и синтеза таких систем. О данных таких систем известно лишь то, что они принадлежат замкнутым конечным интервалам вещественной оси. Фактически рассматривается задача управления спектром траекторий в фазовом пространстве, когда весь спектр должен обладать требуемыми динамическими свойствами. Оказывается, многие сложные управляемые объекты
с интервальными неопределенностями можно достаточно точно описать указанным выше способом.
Разработка концепций и принципов построения систем управления сложными динамическими объектами, функционирующими в условиях неопределенности, актуальна на современном этапе развития теории автоматического управления.
С учетом особенностей работы алгоритмов реального времени в условиях неопределенности при изучении рассматриваемого класса систем наиболее актуальными и перспективными являются нечеткие методы [1, 2]. Представление ряда ограничений на параметры в виде нечетких или интервальных ограничений позволяет получать устойчивое решение в условиях погрешности информации и нечеткости производственных ограничений, т. е. в виде функций принадлежности.
Постановка задачи в нечеткой форме также значительно снижает возможность получения несовместимых решений при расчете систем. Появляется возможность формализации неточных знаний о предметной области, внесения в модель сведений о неполноте информации. Для выполнения операций с носителями нечетких множеств можно использовать алгебраические операции интервального анализа [3].
В настоящей работе с использованием метода общего параметра [4], созданного для решения задач идентификации, и аппарата нечетких методов (в том числе интервальных) решается задача параметрического синтеза управления дискретными объектами, функционирующими в нечетких условиях.
1. Постановка задачи. Рассмотрим семейство дискретных одномерных объектов управления, математическая модель которых в пространстве состояний представляется в виде системы интервальных разностных уравнений
Хп+\ = АХп + Вип,
где п = 0,1, 2,... — дискретное время; Хп € Ят — вектор состояний; ип € Я1 — скалярное управление; А € Мтт(1 (Я)) — вещественная интервальная матрица объекта управления размерности т х т, удовлетворяющая соотношению А = {[а^},%,] = 1,п} ; [а^] = [а^; ац], г,] = 1,т; В € Мт^(1 (Я)) — вещественный интервальный вектор объекта управления размерности т х 1, удовлетворяющий соотношению В = {[Ь^] ,] = 1,т} ; bj = ; Ь^],] = 1,т; Мт,т(1 (Я)), Мт> 1(1 (Я)) — соответственно множества матриц и векторов, элементами которых являются вещественные интервалы [а,а\ = {а € Я Л а < а < а} ; I(Я) — множества всех вещественных интервалов; а^,Ьj,а],Ьj — нижние и верхние граничные значения элементов матрицы А и вектора В.
Решением задачи параметрического синтеза является определение интервального вектора К € Мт, 1(1 (Я)) в уравнении обратных связей вида
ип = Кт Хп,
обеспечивающего необходимые динамические свойства в интервальной замкнутой системе управления вида
Хп+1 = DXn,
где О € Мт , т(1 (Я)) — интервальная матрица замкнутой системы управления: О = dij {г,] = 1,т} ; [¿^] = [¿^; ^], г,] = 1,т. При этом желаемый интервальный характеристический полином определяется следующим образом:
а(л) = (ле - б) = Лп + ¿±хп-1 + ¿2хп-2 +... + йп. (1)
Здесь = [в^; ], г,з = 1,п — интервальные коэффициенты характеристического полинома замкнутой системы управления.
Как известно, для точечной матрицы У А Е А и точечного вектора У В Е В вещественная передаточная функция объекта управления представляется в виде [5]
^(Л) = (XI - А)-1В
, айз(XI - А)В
- А)
где айз (XI - А) — присоединенная матрица; (XI - А) — характеристический полином объекта управления.
Вещественная передаточная функция замкнутой системы управления представляется в следующем виде:
айз(XI - А)В / Г Ктайз(XI - А)В|
Ш(Л) det(ЛI - А) / I1 det(ЛI - А) /
где Кт — неизвестный вектор настраиваемых параметров регулятора. Для (1) запишем естественное интервальное расширение [6]
{(XI - А)-1В = з^-АВ} ■
где det(ЛI - А) = 1(Л) = Лn + llЛn-1 + l2Лn-2 + ... + 1п — интервальный характеристический полином объекта управления.
В соответствии с определением 4 в [6] семейство передаточных функций интервальной замкнутой системы управления записывается в виде
айз(XI - А)В / Г К^ айз (XI - А)В | (2)
W(Л)= det(ЛI - А^Г ^^^ЛГ-АГ/ , (2)
где Кт Е I (Кп) — неизвестный интервальный вектор настраиваемых параметров, подлежащий определению.
Рассмотрим выражение в знаменателе (2)
-Ктайз(XI - А)В + det(ЛI - А),
являющееся характеристическим полиномом замкнутой системы управления, в котором присутствует неизвестный интервальный вектор настраиваемых параметров [К]. Приравнивая характеристический полином замкнутой системы управления к необходимому характеристическому полиному (1), получаем следующее выражение:
-Ктайз(XI - А)В + 1(Л) С в(Л). (3)
Приравнивая в правой и левой частях выражения (3) коэффициенты при одинаковых степенях Л, получаем систему алгебраических интервальных включений
р • к +1 с а, (4)
где Р — интервальная матрица, составленная из элементов матрицы А и вектора В; 1 — интервальный вектор, составленный из коэффициентов при соответствующей степени Л характеристического полинома объекта управления; а — интервальный вектор, составленный из коэффициентов при соответствующей степени Л необходимого характеристического полинома замкнутой системы управления. Преобразуем выражение (4) к виду
р • к с а е 1 с н,
где е — операция внутренней разности, которая понимается в следующем смысле:
ае 1 = [¿,Щ е [1,Ц = [2-1,2-Ц .
Таким образом, получена система линейных интервальных алгебраических включений
Р • К С Н. (5)
Как известно, существует четыре определения понятий решения интервальной системы алгебраических интервальных уравнений: объединенное множество решений, допустимое множество решений, управляемое множество решений, алгебраическое множество решений [7]. Однако наличие математических особенностей интервального пространства, являющегося нетривиальной алгебраической системой, приводит к экспоненциальному росту вычислительных трудностей при описании множеств решений интервальной системы линейных алгебраических уравнений. В общем случае задачи распознавания непустоты таких множеств являются NP-полными [8]. Из сказанного выше следует необходимость разработки новых алгоритмов, позволяющих избегать вычислительных трудностей.
В настоящее время существуют эффективные подходы для преодоления перечисленных вычислительных трудностей. К числу таких подходов относится метод общего параметра, развитый для решения задач идентификации.
Разработанные алгоритмы метода общего параметра для оценки области определения параметров объекта управления отличаются от известных тем, что по результатам эксперимента для известных алгоритмов вместо п параметров модели настраивается один общий параметр для всех параметров модели.
2. Решение задачи параметрического синтеза на основе метода общего параметра с мультипликативной параметрической настройкой. Как указано выше, решение поставленной задачи было сведено к разрешимости интервальной системы (5). Построение интервального вектора настраиваемых параметров, обеспечивающего выполнение условия (5), является решением линейной задачи о допусках. Известно, что для решения линейной задачи о допусках существует два подхода: центровой и алгебраический [9]. Суть центрового подхода заключается в определении некоторой точки, принадлежащей допустимому множеству решений. Принимая данную точку в качестве центра, можно построить интервальное решение. Также известно, что определение решения, обеспечивающего данное включение, является трудоемкой задачей.
В данной работе поставленная задача решается с использованием метода общего параметра, в котором, как известно, настройке подлежат не все параметры, а только один общий параметр. Это позволяет значительно сократить вычислительные затраты.
Искомый интервальный вектор настраиваемых параметров К представим в следующем виде:
и (t) = вкТх (t). (6)
Здесь в = в, в — мультипликативный общий интервальный настраиваемый параметр; К0 С Rn — точечный вектор настраиваемых параметров системы алгебраических уравнений вида mid PK0 = mid H.
Интервальная система алгебраических включений, к определению которой сводится решение задачи параметрического синтеза, представляется следующим образом:
РвКо С H, (7)
или в покомпонентной записи:
pijkoj \в_, в] С hi, i = 1
j=i
Решение (7) будем искать в классе допустимого множества решений [6]. Для решения поставленной задачи необходимо определить параметр в, обеспечивающий включение (7).
Теорема. Интервальный вектор K = вК0 обеспечивает включение вида РвК0 = H; если вектор К0 представляет собой решение системы уравнений mid[P]K0 = mid[H] и
п
удовлетворяет неравенству Y rad (pij) • k0j < rad hi; а общий настраиваемый параметр в
j=i
определяется из выражения
{п
rad hi - Yh rad Pij |k0j | —-j=-
n
Y, mid|pij |k0j| + rad pij |k0j|| j=i
Доказательство. Как известно, любое интервальное число можно представить, используя понятия радиуса и середины интервального числа [10]. Представим таким образом интервальный настраиваемый параметр в, считая mid в = 1:
в = mid в + rad в [-1; 1] = 1 + rad в [-1; 1].
Рассмотрим включение У] pij k0j С hi,i = 1,n. Правую часть этого включения
j=i
представим в соответствии с субдистрибутивным законом:
n
((mid pij + rad pij [-1; 1])(1 + rad в [ -1; 1])k03) С hi,
j=i
n
У^ mid pij k0j + mid pij rad в [-1; 1] k0j + rad pij [-1; 1] k0j+ j=i
+rad pij [-1; 1] rad в [-1; 1] k0j С mid hi + rad hi [-1; 1] ,
n
^mid pijkoj + (mid pjkoj + rad pjkoj)rad в [-1; 1] + j=i
+rad pjj [-1; 1] k0j — mid hi С rad h [-1; 1]. Учитывая, что mid pjk0j — mid hi = 0, получаем
n n
^(mid pij koj + rad pij koj )rad в [—1; 1] + ^rad pij koj [—1; 1] С rad hi [—1; 1] , j=i j=i
nn
—rad hi < ^^ (mid pijk0j + rad pijk0j)rad в [— 1; 1] + ^^ rad [pij] k0j [—1; 1] < rad hi j=i j=i
или
n n
У^ (mid Pij | koj | + rad p j) | koj | rad ß + ^ rad pij | ko j | < rad hj. j=i j=i
Отсюда следует искомое выражение для определения настраиваемого параметра
n
rad hj rad pij |koj | j=i
ß = min
Y, mid \pij \hoj\ + rad pij \ kQj||
3. Вычислительный алгоритм решения задачи параметрического синтеза с мультипликативным общим параметром. На основе полученных теоретических результатов разработан вычислительный алгоритм решения поставленной задачи параметрического синтеза:
Шаг 1. Ввод исходных данных А, В, Б.
Шаг 2. Получение характеристического полинома объекта управления.
Шаг 3. Получение необходимого характеристического полинома.
Шаг 4. Получение системы линейных интервальных алгебраических уравнений (7).
Шаг 5. Определение точечного вектора К0 для номинальной системы.
Шаг 6. Определение общего настраиваемого параметра в.
Шаг 7. Определение интервального вектора настраиваемых параметров Р.
Шаг 8. Проверка выполнения включения (7).
Заключение. Таким образом, применение метода общего параметра на основе центрового подхода к решению задачи параметрического синтеза управления, в отличие от алгебраического [6], позволяет избежать значительных вычислительных трудностей, вызванных наличием математических особенностей интервального пространства при описании множеств решений интервальной системы линейных алгебраических уравнений, и свести поставленную задачу к алгоритму, включающему восемь шагов. В случае высокой размерности матриц объекта управления предложенный алгоритм легко реализовать в среде Ма^аЬ. Кроме того, развит метод общего параметра для решения задачи параметрического синтеза для алгоритма с аддитивной параметрической настройкой.
n
Список литературы
1. ЯрушкинА Н. Г. Основы теории нечетких и гибридных систем: Учеб. пособие. М.: Финансы и статистика, 2004. 320 с.
2. Алтунин А. Е. Модели и алгоритмы принятия решений в нечетких условиях: Моногр. / А. Е. Ал-тунин, М. В. Семухин. Тюмень: Тюмен. гос. ун-т, 2000. 352 с.
3. Шокин Ю. И. Интервальный анализ. Новосибирск: Наука. Сиб. отд-ние, 1981. 107 с.
4. Ашимов А. А. Идентификация методом общего параметра: Справ. по теории автомат. управления / А. А. Ашимов, Д. Ж. Сыздыков. М.: Наука, 1987. С. 263-271.
5. Воронов А. А. Введение в динамику сложных управляемых систем. М.: Наука, 1985. 351 с.
6. Юничева Н. Р. Построение и исследование динамических систем управления линейными интерваль-но-заданными объектами на основе метода общего параметра. Алма-Ата: ТОО "Классика", 2002. 100 с.
7. Шарый С. П. Линейные статические системы с интервальной неопределенностью: эффективные алгоритмы для решения задач управления и стабилизации // Вычисл. технологии. 1995. Т. 4. С. 331-356.
8. Лакеев А. В., Носков С. И. Описание множества решений линейного уравнения с интервально-заданным оператором и правой частью // Докл. АН. 1993. Т. 330, № 4. С. 430-433.
9. Шарый С. П. Алгебраический подход к анализу линейных статических систем с интервальной неопределенностью // Актуальные проблемы информатики, прикладной математики и механики. Красноярск: ВЦ СО РАН, 1995. С. 331-356.
10. Довронец Б. С. Двусторонние численные методы / Б. С. Добронец, В. В. Шайдуров. Новосибирск: Наука. Сиб. отд-ние, 1990. 112 с.
Юничева Надия Рафкатовна — канд. техн. наук, ст. науч. сотр.
Института проблем информатики и управления Министерства образования и науки Республики Казахстан;
тел.: (727)27-24-617; e-mail: [email protected]
Дата поступления — 8.12.2009