Зачем необходимы треугольные нормы и конормы? Как их использовать? Имеется ввиду, на практике. |
Алгоритмы нечеткого контроля и управления
Многошаговые процессы принятия решений
Для простоты будем полагать, что управляемая система
является инвариантной
по времени детерминированной системой с конечным числом состояний.
Именно каждое состояние
, в котором система
находится в момент
времени
,
, принадлежит заданному
конечному множеству
возможных состояний
; при этом
входной
сигнал в момент времени
является элементом множества
.
Динамика системы во времени описывается уравнением состояния
![x_{t+1} = f(x_{t}, u_{t}),\quad t=0,1,2,\ldots](/sites/default/files/tex_cache/96907516d3cbaf690fe88346bd10793b.png)
![f](/sites/default/files/tex_cache/8fa14cdd754f91cc6554c9e71929cce7.png)
![X\times
U](/sites/default/files/tex_cache/c5492e0c9e8898dc8771cea6aa7c9b57.png)
![X](/sites/default/files/tex_cache/02129bb861061d1a052c592e2dc6b383.png)
![f(x_{t} , u_{t} )](/sites/default/files/tex_cache/8ebd4b78ef3fb7acfb50a525ea9a619d.png)
![x_{t}](/sites/default/files/tex_cache/8ac66afa5dc4aefbf764ad6d9acc8d35.png)
![u_{t}](/sites/default/files/tex_cache/df457f856d7015efacbc7c8534486217.png)
![x_{0}](/sites/default/files/tex_cache/0b21a666a81629962ade8afd967826ed.png)
![N](/sites/default/files/tex_cache/8d9c307cb7f3c4a32822a51922d1ceaa.png)
Предполагается, что в каждый момент времени на входную
переменную
наложено нечеткое ограничение
, являющееся нечетким
множеством в
с функцией
принадлежности
. Кроме того, считается, что цель —
нечеткое множество
в
, определяемое функцией
принадлежности
. Задача заключается в нахождении
максимизирующего решения.
Можно записать решение как нечеткое множество в в виде
![D = C_0 \cap C_1 \cap \ldots \cap C_{N - 1} \cap \bar
G_N ,](/sites/default/files/tex_cache/d795440f3f00499952cd3644437f9fcd.png)
![G_{N}](/sites/default/files/tex_cache/ee53fc31de9bf613b4459bd3b90d2134.png)
![U\times \ldots
U](/sites/default/files/tex_cache/4ab53e618d9343e4600d9475172ac01f.png)
![G_{N}](/sites/default/files/tex_cache/ee53fc31de9bf613b4459bd3b90d2134.png)
![X](/sites/default/files/tex_cache/02129bb861061d1a052c592e2dc6b383.png)
![\mu _D (u_0 ,\ldots,u_{N - 1} ) = \mu _0 (u_0 ) \wedge
\ldots \wedge
\mu _{N - 1} (u_{N - 1} ) \wedge \mu _{G_N } (x_N ),](/sites/default/files/tex_cache/d5741af4d66e9ac0a57d7253de8c3ea8.png)
где может быть выражено как функция от
и
путем последовательного применения уравнения
.
Для многошаговых процессов целесообразно представить решение в виде:
![u_t = \pi _t (x_t ),\quad t = 0,1,\ldots,N - 1,](/sites/default/files/tex_cache/d5a3766bd3233ec2f837c59c4989e680.png)
![\pi_{t}](/sites/default/files/tex_cache/620bba764a67108610f99b224d484fa6.png)
![u_{t}](/sites/default/files/tex_cache/df457f856d7015efacbc7c8534486217.png)
![x_{t}](/sites/default/files/tex_cache/8ac66afa5dc4aefbf764ad6d9acc8d35.png)
Таким образом, задача сводится к нахождению оптимальных стратегий и соответствующей
последовательности входных воздействий
,
максимизирующих
. Для решения применяется метод
динамического программирования:
![\begin{gathered}
\mu _D (u_0^M ,...,u_{N - 1}^M ) = \\
= \mathop {\max }\limits_{u_0 ,\ldots,u_{N - 2} } \;\mathop {\max }
\limits_{u_{N - 1} } \;(\mu _0 (u_0 ) \wedge \ldots
\wedge \mu _{N - 1} (u_{N - 1} ) \wedge \mu _{G_N } (f(x_{N - 1} ,
u_{N - 1} ))) = \\
= \mathop {\max }\limits_{u_0 ,\ldots,u_{N - 2} } \;(\mu _0 (u_0 )
\wedge \ldots \wedge \mu _{N - 2} (u_{N - 2} ) \wedge \mu _{G_{N - 1} }
(x_{N - 1} )), \\
\end{gathered}](/sites/default/files/tex_cache/a58c8b2a7370e0cbe8fd69d80a42c3d2.png)
![\(\mu _{G_{N - 1} } (x_{N - 1} ) = \mathop {\max }\limits_{u_{N - 1} } (\mu
_{N - 1} (u_{N - 1} ) \wedge \mu _{G_n } (f(x_{N - 1} ,u_{N - 1} )))\)](/sites/default/files/tex_cache/a2eb24e31822286a36dcb34bb5e687eb.png)
![t =
N-1](/sites/default/files/tex_cache/50123eed1a06fc36645c0078e24e25ba.png)
![G_{N}](/sites/default/files/tex_cache/ee53fc31de9bf613b4459bd3b90d2134.png)
![t = N](/sites/default/files/tex_cache/1757ab34348efc674dd7da83bdec5fce.png)
Повторяя процесс обратных итераций, получаем систему рекуррентных уравнений
![\mu _{G_{N - v} } (x_{N - v} ) = \mathop {\max
}\limits_{u_{N - v} } \;(\mu _{N - v} (u_{N - v} ) \wedge \mu _{G_{N - v + 1}
} (x_{N - v + 1} )),](/sites/default/files/tex_cache/9ff06c3c6a9d22fabd115368a7e78866.png)
![\(x_{N - v + 1} = f(x_{N - v} ,u_{N - v} ),\quad v = 1,\ldots,N\)](/sites/default/files/tex_cache/06998cb060548448fbf07ebb58e85c1e.png)
![\(u_{N - v}\)](/sites/default/files/tex_cache/e48f9d0486bbc724d745ce99b466189d.png)
![\(u_{N - v}^M\)](/sites/default/files/tex_cache/e218b45abda2add340621798e50d6177.png)
![\(x_{N - v} ,\quad v = 1,\ldots,N\)](/sites/default/files/tex_cache/24dda22573dccf6b3ec798d94b27aab7.png)
В качестве простого примера рассмотрим систему с тремя
состояниями ,
и
и двумя входными
сигналами
и
. Пусть
и нечеткая цель в момент
времени
определяется функцией принадлежности, принимающей
значения
![\mu _{G_1 } (\sigma _1 ) = 0,3;\quad \mu _{G_2 } (\sigma _2
) = 1;\quad \mu _{G_3 } (\sigma _3 ) = 0,8.](/sites/default/files/tex_cache/833ba0d7d78b7b1ec10bc563107573fa.png)
Пусть далее, нечеткие ограничения в моменты и
задаются функциями
![\begin{gathered}
\mu _0 (\alpha _1 ) = 0,7;\quad \mu _0 (\alpha _2 ) = 1; \\
\mu _1 (\alpha _1 ) = 1;\;\quad \;\mu _1 (\alpha _2 ) = 0,6. \\
\end{gathered}](/sites/default/files/tex_cache/ec2abf742e9d7284a235656e14bd20fe.png)
Допустим, что таблица изменения состояний, задающая функцию ,
имеет следующий вид:
Находим функцию принадлежности нечеткой цели в момент :
![\[
\mu _{G_1 } (\sigma _1 ) = 0,6;\quad \mu _{G_2 } (\sigma _2 ) = 0,8;\quad \mu
_{G_3 } (\sigma _3 ) = 0,6.](/sites/default/files/tex_cache/3ff0daaf809cd6c7aeec989e895b847d.png)
Соответствующее максимизирующее решение имеет вид:
![\pi _1 (\sigma _1 ) = \alpha _2 ;\quad \pi _1 (\sigma _2 )
= \alpha _1 ;\quad \pi _1 (\sigma _3 ) = \alpha _2 .](/sites/default/files/tex_cache/1ef6fa3133bbf55f76d2ed300bfb15bb.png)
Аналогично, для имеем
![\begin{gathered}
\mu _{G_1 } (\sigma _1 ) = 0,8;\quad \mu _{G_2 } (\sigma _2 ) = 0,6;\quad \mu
_{G_3 } (\sigma _3 ) =
0,6,
\\
\pi _0 (\sigma _1 ) = \alpha _2 ;\quad \pi _0 (\sigma _2 ) = \alpha _1 \vee
\alpha _2 ;\quad \pi _0 (\sigma _3 ) = \alpha _1 \vee \alpha _2 .
\end{gathered}](/sites/default/files/tex_cache/db92e5c536b7ce43fc8395ef3334bdd0.png)
Итак, если начальное состояние в момент времени есть
, то максимизирующим
решением будет
, причем соответствующее значение функции
принадлежности
равно 0,8.