Влацкая И.В.
Оренбургский государственный университет Е-mail: [email protected]
МОДЕЛИРОВАНИЕ ПОВЕДЕНИЯ НЕЧЕТКИХ КОНТРОЛЛЕРОВ В СИСТЕМАХ С ИЗВЕСТНОЙ СТРУКТУРОЙ
В статье рассматривается работа нечетких контроллеров Такаги-Сугено и Мамдани для автоматического управления объектами с известной структурой, компьютерное моделирование их работы, а также сравнение с работой с четкими контроллерами.
Ключевые слова: управление, компьютерное моделирование, контроллер, нечеткие множества.
Автоматические контроллеры применяются для управления технологическими объектами и являются составной частью в автоматизированных системах управления. Управление контроллера реализуется в виде достаточно простой модели типа «входы-выход», то есть математическая модель контроллера может быть представлена в виде функции, заданной аналитически или иным способом. Например, в данном исследовании были применены нечеткие базы знаний. В свою очередь функция, представленная контроллером, строится в ходе решения задачи оптимального управления технологическим объектом. Таким образом, функция контроллера может быть обозначена как](¥(ы@-д I),т,а)), где (ы@- д ^ - управление на предыдущем шаге, т - вектор неизвестных случайных возмущений, а - вектор известных параметров и для ее построения необходимо знать поведение объекта, которое описывается некоторой функцией ¥(ы9т,а) (рис. 1).
В зависимости от типа объекта управления, необходима разработка различных методов определения функций. Если структура объекта известна, то мы сможем построить на основе этой структуры математическое выражение для функции, если эта информация неизвестна, то структуру функции следует определять исходя из известной внешней информации об объекте. Фактически, эти методы отражают два подхода к анализу поведения объекта: подходы на основе модели «белого» и «черного» ящиков.
При использовании модели «черного» ящика нам неизвестен механизм формирования функции, и возможно использование только ретроспективной инфор-
мации о поведении объекта, однако здесь возможно применение достаточно большого числа методов, позволяющих адекватно оценить функции. В этом случае следует использовать методы математического моделирования. В первую очередь это модели регрессионного анализа, нейро-сетевые модели.
Рассмотрим задачу оптимального управления, которая заключается в поддержании некоторого параметра системы на заданном уровне [1]. Объект управления можно представить в виде, указанном на рис. 2.
Меняя управление и от 0 до 1 можно менять скорость увеличения параметра х от 0 до к. Траектория такой системы будет задаваться диффе-
Рисунок І. Общая схема управления
Рисунок 2. Пример объекта управления с известной структурой
йх
ренциальным уравнением: — _ и1с - у. X в данном случае следует рассматривать как показатель состояния системы.
Условие Коши зададим как х(0)=0. Функционал качества в запишем в виде: т
\2
| (х(1)- g)2 & ^ ШІП
(1)
0
Принцип максимума Понтрягина неприменим к данной задаче управления, так как оптимального управления при достижении х уровня § не существует (бесконечное количество переключений управления). Однако правила работы системы управления можно сформулировать на основании экспертных данных. Четкие правила, для работы контроллера выглядят следующим образом:
1.Если х<§ то и=1
2. Если х=§ то и=у/к
3.Если х>§ то и=0
Однако данные правила не учитывают дискретизации времени в системах реального времени. Измерение параметров производится с определенным интервалом, и за этот
интервал объект управления может ...........
превысить требуемый уровень § И правило 2 не сработает. Как следствие этого может возникнуть режим скачкообразного изменения параметра х, когда регулярно пропускается правило 2.
Для устранения этих недостатков без усложнения системы управления можно применить нечеткие контроллеры. Правила нечеткого контроллера Суге-но [2, 3]:
1. Если х=«меньше §» то и=1
2. Если х=«§» то и=у/к
3. Если х=«больше §» то и=0.
Правила нечеткого контроллера Мамдани [2, 3]:
1.Если х=«меньше §» то и=«около 1»
2. Если х=«§» то и=«около у/к»
3. Если х=«больше §» то и=«около 0».
Введение нечеткого управления обусловлено тем, что четкое управление не учитывает сложные нелинейности, погрешность замера параметров и временные запаздывания реальных объектов. Учет этих параметров в четком управлении требует существенного усложнения алгоритма управления, в то время как нечеткие алгоритмы легко справляются с этой задачей без усложнения алгоритма управления.
На рисунке 3 изображены графики, изображающие динамику изменения параметра х (х по оси ординат, на оси абсцисс - время).
Результаты моделирования показали, что значение минимизируемого функционала качества для нечеткого контроллера Сугено меньше чем для четкого контроллера (рис. 4). Что объясняется более гладким управлением контроллера Сугено.
662,275000000123 65(1,675000000001 675,287946600089
150 200 250 300 350 400 450 500
Рисунок 3. Основное окно программного средства
Четкий контроллер (1)
10,12 10,1 10,08 10,06 10,04 10,02 10 9,98 9,96 9,94 9,92 9,9 9,88
244 245 246
:
Нечеткий контроллер Сугено (2)
Рисунок 4. Поведение системы в случае четкого и нечеткого управления
Наихудший результат наблюдается для работы контроллера Мамдани, что можно объяснить, сравнив нечеткий вывод Сугено и Мамдани.
Нечеткая база знаний Сугено [2] задается в виде набора правил вида:
m n
Rr : ЕсЛи I = arr ) т0 u = b0r +X brrX i= 1 i = 1
где m - количество правил, r = 1,2,...,m;
al/ - нечеткий терм с функцией принадлежности i, применяемый для лингвистической оценки переменной Xr в правиле г (г = 1,2,...,m; i = 1,2,...,n), b0r - действительные числа в заключении г-го правила (г = 1,2,..., m; q = 0,1,..., n). Выходное значение базы данных Сугено является ни чем иным как взвешенной суммой линейных функций. Таким образом, с помощью алгоритма нечеткого вывода Сугено можно удобно задавать функцию контроллера, если управление четко определено.
Нечеткая база знаний Мамдани [2] задается в виде:
m
Rr : Если I (Xr = air) то u = bj i=1
где m - количество правил, r = 1,2,...,m;
ai,r - нечеткий терм с функцией принадлежности iir, применяемый для лингвистической оценки переменной Xi в правиле г (r = 1,2,...,m; i = 1,2,...,n), bj - нечеткий терм с функцией принадлежности п, применяемый для лингвистической оценки переменной и в правиле j (j = 1,2,..., k;k <= n).
Выходное значение базы данных Сугено является некоторым нечетким множеством. Для определения четкого значения выхода алгоритма Мамдани необходима дефаззификация. Этот алгоритм удобен, если в системе управления невозможно точно позиционировать значение параметра управления. Так как модель не предусматривала случайных возмущений управления u, то следовательно более худший результат контроллера Мамдани вполне обоснован.
При моделировании процесса управления с допущением, что управление u содержит случайные возмущения показало, что нечеткий контроллер Мамдани дает наилучший результат.
В разработанном программном средстве функционирование алгоритмов нечеткого вы-
вода реализовано в виде нейро-нечетких сетей, с архитектурой изоморфной нечетким базам знаний. Структура нейро-нечеткой сети Сугено для моделируемого контроллера имеет вид, представленный на рисунке 5.
Слои выполняют следующие функции: первый слой - термы входных переменных; второй слой - антецеденты (посылки) нечетких правил; третий слой - нормализация степеней выполнения правил; четвертый слой - заключения правил; пятый слой - агрегирование результата, полученного по различным правилам.
В силу специфичности алгоритма, функционирование нечеткого вывода Мамдани не удалось осуществить в виде функционирования нейросети.
Для улучшения работы контроллеров использовалось обучение функций принадлежности, исходя из критерия оптимальности (1).
Данное исследование может быть продолжено для систем типа «черный ящик», когда структура объекта управления неизвестна, и имеется лишь информация о его поведении в прошлом. В этом случае для аппроксимации функции Г(ыуаут) можно использовать нейро-нечеткую сеть с общей структурой, указанной на рисунке 9 [2, 4].
Структура и параметры сети (в том числе и связи между посылками и правилами) настраиваются в ходе обучения сети по реальным данным. Для оценки коэффициентов линейных функций может быть применен итерационный МНК. Также если использовать в качестве функций принадлежности гладкие функции, то настройка коэффициентов этих функций может быть осуществлена с помощью градиентных методов, в частности метода обратного распространения ошибки [2].
Рисунок 5. общий вид нейро-нечеткой сети со структурой изоморфной базе данных Сугено
Основываясь на полученных результатах можно сделать выводы. Использование нечеткого управления рекомендуется:
1) для сложных процессов, когда не существует достаточно простой математической модели;
2) для нелинейных процессов высоких порядков;
3) если должна производиться обработка
(лингвистически сформулированных) экспертных знаний.
Использование нечеткого управления не рекомендуется, если:
1) приемлемый результат может быть получен с помощью общей теории управления;
2) уже существует формализованная и адекватная математическая модель проблема не разрешима.
24.11.2010 г.
Работа выполнена по результатам НИР ФЦП Проект №2376
Список использованной литературы:
1. Алтунин, А.Е. Модели и методы принятия решений в нечетких условиях. http://sky.kuban.ru/Phys-Math/Fuzzy/Book1-Fuzzy/tnm/cont.htm
2. Штовба, С.Д. Введение в теорию нечетких множеств и нечеткую логику. http://grsu.grodno.by/matlab/fuzzylogic/book1/ index.asp.htm
3. Батыршин, ИЗ. Основные операции нечеткой логики и их обобщения. -Казань: Отечество, 2001
4. Круглов, В.В. Искусственные нейронные сети. Теория и практика. - М.: Радио и связь, 2000.
Сведения об авторе: Влацкая Ирина Валерьевна, заведующая кафедрой математического обеспчения информационных систем Оренбургского государственного университета,
кандидат технических наук, доцент 460018 г. Оренбург пр-т Победы, 13, е-mail: [email protected], тел.: (3532) 203704, 561623
UDC 681.5.03 Vlatskaya I.V.
MODELING OF FUZZY CONTROLLER BEHAVIOR IN THE SYSTEM WITH KNOWN STRUCTURE
The article reviews the performance of Takagi-Sugeno and Mamdani fuzzy controllers for automatic management of objects with a known structure, computer modeling of their work, as well as comparison with the work, with clear controllers
Keywords: management, computer modeling, controller, fuzzy sets.