Зачем необходимы треугольные нормы и конормы? Как их использовать? Имеется ввиду, на практике. |
Алгоритмы нечеткого контроля и управления
В общем случае динамику дискретных систем можно представить уравнением состояния:
![x_{k + 1} = F(x_k ,u_k )\quad k = 0,\ldots,N,\quad x_k
\in X,\quad u_k \in U,](/sites/default/files/tex_cache/056003679ba59b75e422d862ca3e8a0b.png)
![X](/sites/default/files/tex_cache/02129bb861061d1a052c592e2dc6b383.png)
![U](/sites/default/files/tex_cache/4c614360da93c0a041b22e537de151eb.png)
![F](/sites/default/files/tex_cache/800618943025315f869e4e1f09471012.png)
![F\colon X\times
U\to X](/sites/default/files/tex_cache/0ba9f9a0c122fb9b9f282d096915db32.png)
Эта система является детерминированной, если в любой момент времени
можно однозначно определить ее новое состояние для момента времени
по текущему состоянию l и управлению
.
Для стохастических систем переходная функция записывается в виде
![F\colon X\times U\to XP,](/sites/default/files/tex_cache/2d82fa3da18db34827debceb4eb23ab0.png)
![XP](/sites/default/files/tex_cache/9b57db6e9d84ba5f537ce97b13079736.png)
![X](/sites/default/files/tex_cache/02129bb861061d1a052c592e2dc6b383.png)
Не полностью определенные процессы можно моделировать с помощью аппарата нечетких множеств. Коэффициенты и некоторые величины могут быть заданы в виде функций принадлежности. Тогда динамика системы описывается нечетким отношением
![F\colon X\times U\times X\to [0,1],](/sites/default/files/tex_cache/a86c7606ae2b17e794968ab3b4fd0f28.png)
![X\times U\times X](/sites/default/files/tex_cache/d31cc70c0034bf2a63699765d4ff7def.png)
Величина рассматривается как
интенсивность перехода
или, точнее, как степень принадлежности элемента
образу
пары
при отображении
, т.е. основной характеристикой системы является
функция принадлежности
.
Используя понятие нечеткого отношения, можно ввести следующие пути
определения функции :
1. Когда отсутствует модель процесса и имеется лишь лингвистическое описание желаемого поведения системы вида "если давление газа очень большое, то значительно увеличить расход". Подобные выражения дают информацию о том, что должно произойти в системе при поступлении на ее вход управляющих воздействий в форме нечетких множеств, определенных на универсальных множествах "давление газа" и "расход". Тогда нечеткое условное высказывание есть нечеткое отношение, которое определяется как
![F(x,u) = \min (\mu (x),\lambda (x));\quad \mu\colon X \to
[0,1];\quad \lambda\colon X \to [0,1].](/sites/default/files/tex_cache/e96c3221aa08e988f0dcf861a610a29e.png)
Если будет являться нечеткой функцией, то состояние нечеткой
системы в момент
времени
есть условное по
и
нечеткое множество,
характеризуемое функцией принадлежности
.
2. Возможно использование имеющейся модели системы
для задания функции . Рассмотрим вначале случай свободной
динамики
системы и построим рекуррентную процедуру оценки состояния динамической
системы в нечетких условиях.
На практике ситуация усложняется частичным или полным отсутствием информации о статистических характеристиках шумов. Поэтому предлагается для решения задачи оценивания применять теорию нечетких множеств.
Рассмотрим нелинейную динамическую систему с дискретным временем:
![x_{k+1}=F_{k} (x_{k}, w-k),\quad k=1,2,\ldots,](/sites/default/files/tex_cache/aa967a24d91fa315781e851b0676f68f.png)
![z_{k} = H_{k} (x_{k} ,v_{k}).](/sites/default/files/tex_cache/deed6187744f0fa324711cdd91aa1851.png)
В этих уравнениях:
- индекс
соответствует
-му моменту времени;
-
,
— нелинейные функции соответствующих аргументов;
-
— состояние динамической системы,
-
— нечеткая помеха, заданная для каждого момента времени
-функцией принадлежности
;
-
— ошибка измерения с известной функцией принадлежности
.
Предполагается известной и функция принадлежности для начального
состояния .
В процессе функционирования системы в общем случае носитель начального нечеткого состояния расширяется. Чтобы уменьшить неопределенность ситуаций при принятии решений, необходимо использовать дополнительную информацию о замерах и исследованиях в системе.
Будем предполагать независимость ошибок измерения, помех и состояния в
смысле
определения независимости нечетких величин. При заданной условной функции
принадлежности состояния
и при
наличии
последовательности измерений
,
наилучшая четкая оценка состояния в момент времени
может быть
найдена из соотношения
![\mu (x_k^0 ) = \mathop {\max }\limits_{x_k } \;\mu (x_k
\;|\;\bar z_k ).](/sites/default/files/tex_cache/d0f52d2828f414ed3d93dc46e18de651.png)
При наличии известной условной функции принадлежности
оптимальная точечная оценка состояния системы в момент
может быть
определена аналогично:
![\mu (x_{k + 1}^0 ) = \mathop {\max }\limits_{x_{k + 1} }
\;\mu (x_{k + 1} \;|\;\bar z_k ).](/sites/default/files/tex_cache/9c93323a5b67ded30fff38754eca1f54.png)
Поскольку для реальных процессов функции
и
являются унимодальными, то процедура
нахождения максимума довольно проста. Чтобы оценить состояния,
выведем рекуррентную процедуру для функции
принадлежности
. На основании
определения условной функции принадлежности можно записать, что
![\mu (x_{k + 1} |\bar z_{k + 1} ) = \mu (x_{k + 1} ,\bar
z_{k + 1} ) =
\mu (x_{k + 1} ,\bar z_k ,z_{k + 1} ),](/sites/default/files/tex_cache/0dd48f60e42b2d1e518023ce22b5552b.png)
![\(\bar z_{k + 1}\)](/sites/default/files/tex_cache/c89ea7f0508bd962e2b428cb4feb98a8.png)
![\(\;\bar z_{k + 1} = \{ \bar z_k ,z_{k + 1} \}\)](/sites/default/files/tex_cache/fb59f34d9bcf83530393fe8680598fab.png)
Используя определение и уравнение
для ошибки измерения, получаем:
![\mu (x_{k + 1} ,\;\bar z_k ,\;z_{k + 1} ) = \mathop {\sup
}\limits_{v_{k - H} = H_{k - H}^{ - 1} (x_{k - H} ,z_{k - H} )} \;\mu (v_{k +
1} ,x_{k + 1} ,\bar z_k ).](/sites/default/files/tex_cache/7a425105ca48e9cce676aa575d1e86b8.png)
Окончательно рекуррентные соотношения для нахождения апостериорной
функции принадлежности для нечеткого состояния системы на любом шаге )
можно записать следующим образом:
![\left\{ \begin{gathered}
\mu (x_{k + 1} |\;\bar z_{k + 1} ) = \mu (x_{k + 1} |\;\bar z_k ) \wedge
\mathop {\sup }\limits_{v_{k - H} = H_{k - H}^{ - 1} (x_{k - H} ,z_{k - H} )}
\;\mu (v_{k + 1} ); \hfill \\
\mu (x_{k + 1} |\;\bar z_{k + 1} ) = \mathop {\max }\limits_{x_k } \left\{
{\mu (x_{k + 1} |\;\bar z_k ) \wedge \mathop {\sup }\limits_{w_k = F_{k -
H}^{ - 1} (x_{k - H} ,x_k )} \;\mu (w_k ,x_k ,\bar z_k )} \right\}. \hfill \\
\end{gathered} \right.](/sites/default/files/tex_cache/ccb0348013084ca3612d1d1010f44e48.png)
Рассмотрим теперь принципы управления нечеткой динамической системой
для функции . Допустим, что на управляющее воздействие
в каждый
момент времени
наложены нечеткие ограничения
,
характеризующиеся функцией принадлежности
, и также задано
начальное состояние
. Пусть
— нечеткая
цель, которую
необходимо достигнуть в момент времени
. Эта цель характеризуется
функцией принадлежности
.
Оптимальные четкие управляющие воздействия
могут быть определены следующим образом:
![\mu _D (u_0^0 ,\ldots,u_{N - 1}^0 ) =\!\!
\mathop {\max }\limits_{u_0 ,\ldots,u_{N - 2} } \left\{ {\mu _{C_0 } (u_0 )
{\wedge} \ldots {\wedge} \mu _{C_{N - 2} } (u_{N - 2} )
{\wedge} \mu _{G_{N - 1} } (x_{N - 1} )} \right\}.](/sites/default/files/tex_cache/9536f385265e507aa1d3f8d99016da63.png)
Функция может рассматриваться как функция
принадлежности для нечеткой цели в момент времени
,
индуцированной конечной целью
для момента
.
Зная текущее
нечеткое состояние
, нечеткое ограничение
и индуцированную нечеткую цель
,
на момент времени
можно найти эффективное четкое
управление
.