Sistemas p-fuzzy

3.36pt

1 / 35
 Sistemas p-fuzzy

Aplicacao do Teorema da Funcao implcita `a logica fuzzy.

Dr.Joao de Deus Mendes da Silva e Valdir Mendes da Silva

PPGMAT/UFMA

15 de marco de 2017

PPGMAT - UFMA

1 / 35
 Sistemas p-fuzzy

Sistemas p-fuzzy
Motivac
ao

2 / 35
 Sistemas p-fuzzy

Sistemas p-fuzzy
Motivac
ao

Modelos a partir dos sistemas de equac oes diferenciais.

Requer diversas informac
oes sobre o fenomeno.
Nem sempre sao precisas ou acessveis.
Com os sistemas p-fuzzy e possvel construir um modelo utilizando
apenas informacoes imprecisas.

2 / 35
 Sistemas p-fuzzy

Sistemas p-fuzyy

Definicao
Um sistema p-fuzzy em Rn e um sistema dinamico discreto,

xk+1 = F (xk )
x0 dado, e xk Rn

onde:
A funcao F (xk ) e dada por F (xk ) = xk + (xk );
A condicao inicial x0 Rn e conhecida;
(xk ) Rn e obtida atraves de um sistema baseado em regras fuzzy.

3 / 35
 Sistemas p-fuzzy

Sistema p-fuzzy
Ponto de equilbrio

Definicao
Dado um sistema p-fuzzy no Rn ,

xk+1 = F (xk )
x0 dado, e xk Rn

Dizemos que x e um ponto de equilbrio se F (x ) = x (x ) = 0.

4 / 35
 Sistemas p-fuzzy

Sistema p-fuzzy
Ponto de equilbrio

Definicao
Dado um sistema p-fuzzy no Rn ,

xk+1 = F (xk )
x0 dado, e xk Rn

Dizemos que x e um ponto de equilbrio se F (x ) = x (x ) = 0.

O estudo dos pontos de equilbrio nesse trabalho e feito para o caso real.

4 / 35
 Sistemas p-fuzzy

Sistema p-fuzzy
Conjunto vi
avel de equilbrio

Definicao
Consideremos {Ai }1i<k e suponhamos que para algum 1 i < k e
z1 , z2 supp(Ai Ai+1 ), temos (z1 ) (z2 ) < 0, entao o subconjunto
supp(Ai Ai+1 ) e chamado conjunto viavel de equilbrio do sistema
p-fuzzy.

5 / 35
 Sistemas p-fuzzy

Sistema p-fuzzy
Conjunto vi
avel de equilbrio

Definicao
Consideremos {Ai }1i<k e suponhamos que para algum 1 i < k e
z1 , z2 supp(Ai Ai+1 ), temos (z1 ) (z2 ) < 0, entao o subconjunto
supp(Ai Ai+1 ) e chamado conjunto viavel de equilbrio do sistema
p-fuzzy.

Figura: 1.Regiao de equilbrio para entradas triangulares

5 / 35
 Sistemas p-fuzzy

Sistema p-fuzzy
Conjunto vi
avel de equilbrio

Figura: 2.Regiao de equilbrio para entradas trapezoidais

6 / 35
 Sistemas p-fuzzy

Sistema p-fuzzy
Conjunto vi
avel de equilbrio

Figura: 2.Regiao de equilbrio para entradas trapezoidais

Afim de facilitar a notacao, r e s indicam as func

oes de pertinencias de
Ai e Ai+1 respectivamente;

6 / 35
 Sistemas p-fuzzy

Sistema p-fuzzy
Conjunto vi
avel de equilbrio

Figura: 2.Regiao de equilbrio para entradas trapezoidais

Afim de facilitar a notacao, r e s indicam as func

oes de pertinencias de
Ai e Ai+1 respectivamente;
z1 = minxsupp(Ai ) {r (x) = 1} e z2 = maxxsupp(Ai+1 ) {s(x) = 1}.

6 / 35
 Sistemas p-fuzzy

Defuzificacao da sada do sistema

Inferencia Mandani

Dados um sistema p-fuzzy com defuzificacao pelo metodo de Mamdani e

supp(A ) = [c1 , c2 ] a regiao viavel de equilbrio. Para cada x supp(A ),
x e a curva que limita a regiao R.

7 / 35
 Sistemas p-fuzzy

Defuzificacao da sada do sistema

Inferencia Mandani

Dados um sistema p-fuzzy com defuzificacao pelo metodo de Mamdani e

supp(A ) = [c1 , c2 ] a regiao viavel de equilbrio. Para cada x supp(A ),
x e a curva que limita a regiao R.

Figura: 3.Sada defuzificada

7 / 35
 Sistemas p-fuzzy

Defuzificacao da sada do sistema

Inferencia Mandani

Ao valor defuzificado de x e (x) e definimos por:

R g 1 (n) Ra R f 1 (m) R0
0 ntdt + g 1 (n) tg (t)dt + b tf (t)dt + f 1 (m) mtdt
(x) = Rn
1 (t)dt m f 1 (t)dt
R
0 g 0

8 / 35
 Sistemas p-fuzzy

Defuzificacao da sada do sistema

Inferencia Mandani

Ao valor defuzificado de x e (x) e definimos por:

R g 1 (n) Ra R f 1 (m) R0
0 ntdt + g 1 (n) tg (t)dt + b tf (t)dt + f 1 (m) mtdt
(x) = Rn
1 (t)dt m f 1 (t)dt
R
0 g 0

Figura: 4.Inferencia de Mandani de um sistema (r , s) (g , f )

8 / 35
 Sistemas p-fuzzy

Defuzificacao da sada do sistema

Inferencia Mandani

Reescrevendo a equacao de (x), temos:

9 / 35
 Sistemas p-fuzzy

Defuzificacao da sada do sistema

Inferencia Mandani

Reescrevendo a equacao de (x), temos:

h1 (n) + h2 (m)
(x) =
A(n, m)

onde,

9 / 35
 Sistemas p-fuzzy

Defuzificacao da sada do sistema

Inferencia Mandani

Reescrevendo a equacao de (x), temos:

h1 (n) + h2 (m)
(x) =
A(n, m)

onde,
Z g 1 (n) Z a
h1 (n) = ntdt + tg (t)dt;
0 g 1 (n)

9 / 35
 Sistemas p-fuzzy

Defuzificacao da sada do sistema

Inferencia Mandani

Reescrevendo a equacao de (x), temos:

h1 (n) + h2 (m)
(x) =
A(n, m)

onde,
Z g 1 (n) Z a
h1 (n) = ntdt + tg (t)dt;
0 g 1 (n)
Z f 1 (m) Z 0
h2 (m) = tf (t)dt + mtdt;
b f 1 (m)

9 / 35
 Sistemas p-fuzzy

Defuzificacao da sada do sistema

Inferencia Mandani

Reescrevendo a equacao de (x), temos:

h1 (n) + h2 (m)
(x) =
A(n, m)

onde,
Z g 1 (n) Z a
h1 (n) = ntdt + tg (t)dt;
0 g 1 (n)
Z f 1 (m) Z 0
h2 (m) = tf (t)dt + mtdt;
b f 1 (m)
Z n Z m
1
A(n, m) = g (t)dt f 1 (t)dt.
0 0

9 / 35
 Sistemas p-fuzzy

Resultados importantes
Lemas

Em todos os resultados a seguir as func

oes consideradas sao contnuas e as
demonstracoes estao em [1].

10 / 35
 Sistemas p-fuzzy

Resultados importantes
Lemas

Em todos os resultados a seguir as func

oes consideradas sao contnuas e as
demonstracoes estao em [1].

Lema 1
A funcao h1 e tal que:
1. e crescente;
Ra
2. h1 (0) = 0 e h1 (1) = 0 tg (t)dt;
 Ra 
3. Im(h1 ) = 0, 0 tg (t)dt ;
(g 1 (n))2
4. h10 (n) = 2 .

10 / 35
 Sistemas p-fuzzy

Resultados importantes
Lemas

Lema 2
A funcao h2 e tal que:
1. e decrescente;
R0
2. h2 (0) = 0 e h2 (1) = b tf (t)dt;
hR i
0
3. Im(h2 ) = b tf (t)dt, 0 ;
1 (m))2
4. h20 (m) = (f 2 .

11 / 35
 Sistemas p-fuzzy

Resultados importantes
Lemas

O lema seguinte e importante para localizacao do ponto de equilbrio.

12 / 35
 Sistemas p-fuzzy

Resultados importantes
Lemas

O lema seguinte e importante para localizacao do ponto de equilbrio.

Lema 3
Se g (t) > f (t), t [0, b] entao para m, n [0, 1] com m n tem-se,

h1 (n) + h2 (m)
(x) = > 0.
A(m, n)

12 / 35
 Sistemas p-fuzzy

Resultados importantes
Lemas

O lema seguinte e importante para localizacao do ponto de equilbrio.

Lema 3
Se g (t) > f (t), t [0, b] entao para m, n [0, 1] com m n tem-se,

h1 (n) + h2 (m)
(x) = > 0.
A(m, n)

Para o sistema p-fuzzy do tipo (r , s) (g , f ) com g (t) > f (t) o

ponto de equilbrio esta localizado no intervalo (z0 , c2 ].

12 / 35
 Sistemas p-fuzzy

Resultados importantes
Lemas

O lema seguinte e importante para localizacao do ponto de equilbrio.

Lema 3
Se g (t) > f (t), t [0, b] entao para m, n [0, 1] com m n tem-se,

h1 (n) + h2 (m)
(x) = > 0.
A(m, n)

Para o sistema p-fuzzy do tipo (r , s) (g , f ) com g (t) > f (t) o

ponto de equilbrio esta localizado no intervalo (z0 , c2 ].
Fazendo H(n, m) = h1 (n) + h2 (m) o lema esta garantindo H(n, m) > 0.

12 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de existencia.

Teorema 1.Exist
encia
Consideremos S um sistema p-fuzzy e A um conjunto viavel de equilbrio
de S do tipo (r , s) (g , f ). Entao, S possui ao menos um ponto de
equilbrio. Isto e, x A tal que (x ) = 0.

13 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de existencia.

Teorema 1.Exist
encia
Consideremos S um sistema p-fuzzy e A um conjunto viavel de equilbrio
de S do tipo (r , s) (g , f ). Entao, S possui ao menos um ponto de
equilbrio. Isto e, x A tal que (x ) = 0.

Demonstracao:
Consultar [1].

13 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema da Func
ao implcita

Teorema da Funcao implcita.

Dada a funcao f : U R de classe C k (k 1) no aberto U Rn+1 , seja
f
(x0 , y0 ) U tal que f (x0 , y0 ) = c e x (x0 , y0 ) 6= 0. Existem uma bola
n
B = B(x0 ; ) R e um intervalo J = (y0 , y0 + ) com as seguintes
propriedades:
f
1 B J U e x (x, y ) 6= 0 para todo (x, y ) B J;
2 Para todo x B existe um u
nico y = (x) J tal que f (x, (x)) = c.
A funcao : B J, assim definida, e de classe c k e suas derivadas parciais
em cada ponto x B sao dadas por
f
x (x, (x))
(x) = fi
xi y (x, (x))

14 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade.

Teorema 2. Unicidade
Seja S um sistema p-fuzzy (r , s) (g , f ) e supp(A ) 6= um conjunto
oes r , s, f , g C 1 , r , s sao monotonas
viavel de equilbrio de S. Se as func
por partes, f e g estritamente mon otonas, tais que:
i. g (t) > f (t), t (0, b);
0
g (q) p3
ii. f 0 (p)
< q3
, q Df , q Dg e f (p) > g (q);
 0
0
s (x)
iii. r 0 (x)
0, x (z0 , c2 ), r (x) 6= s(x).

nico ponto de equilbrio x em supp(A ) e

Entao S possui um u

x (z0 , c2 ].

15 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Inicialmente, observemos que dado x (z0 ; c2 ] (Figura abaixo), x
determina um u nico par (n, m) [0; 1]2 tal que n = r (x) e m = s(x).

16 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Inicialmente, observemos que dado x (z0 ; c2 ] (Figura abaixo), x
determina um u nico par (n, m) [0; 1]2 tal que n = r (x) e m = s(x).

Figura: 5.Inferencia de Mandani de um sistema

16 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Pela monotonicidade de r , temos que para cada n [0, r (z0 )) existe um
nico m [0, 1] tal que n = r (x) e m = s(x).
u

17 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Pela monotonicidade de r , temos que para cada n [0, r (z0 )) existe um
nico m [0, 1] tal que n = r (x) e m = s(x).
u
Isto e, para cada par (n, m) nestas condic
oes, determina um u
nico
x (z0 ; c2 ].

17 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Pela monotonicidade de r , temos que para cada n [0, r (z0 )) existe um
nico m [0, 1] tal que n = r (x) e m = s(x).
u
Isto e, para cada par (n, m) nestas condic
oes, determina um u nico
x (z0 ; c2 ].
Pelo Teorema 1 existe um ponto de equilbrio x [c1 , c2 ].

17 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Dado x [c1 , z0 ] m = s(x) n = r (x).

18 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Dado x [c1 , z0 ] m = s(x) n = r (x).
Entao pelo Lema 3 x / [c1 , z0 ] x (z0 , c2 ].
Assim existe um u nico (n , m ) com n [0, r (z0 )) tal que H(n , m ) = 0.

18 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Dado x [c1 , z0 ] m = s(x) n = r (x).
Entao pelo Lema 3 x / [c1 , z0 ] x (z0 , c2 ].
Assim existe um u nico (n , m ) com n [0, r (z0 )) tal que H(n , m ) = 0.
Como para cada n [0; r (z0 )), existe um u nico m [0; 1] tal que n = r (x)
e m = s(x),

18 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Dado x [c1 , z0 ] m = s(x) n = r (x).
Entao pelo Lema 3 x / [c1 , z0 ] x (z0 , c2 ].
Assim existe um u nico (n , m ) com n [0, r (z0 )) tal que H(n , m ) = 0.
Como para cada n [0; r (z0 )), existe um u nico m [0; 1] tal que n = r (x)
e m = s(x),
entao podemos definir uma funcao 2 : [0, r (z0 )) [0, 1] tal que
m = 2 (n).

18 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Temos que:

19 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Temos que:
2 e contnua, pois r e s sao contnuas e 2 (r (x)) = s(x).

19 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Temos que:
2 e contnua, pois r e s sao contnuas e 2 (r (x)) = s(x).
Utilizando a regra da cadeia, a derivada de 2 e dada por:

19 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Temos que:
2 e contnua, pois r e s sao contnuas e 2 (r (x)) = s(x).
Utilizando a regra da cadeia, a derivada de 2 e dada por:
 0 0
0 s 0 (x) 00 s (x)
2 (n) = 0 2 (n) = 0 0, n D2 . (1)
r (x) r (x)

19 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Temos que:
2 e contnua, pois r e s sao contnuas e 2 (r (x)) = s(x).
Utilizando a regra da cadeia, a derivada de 2 e dada por:
 0 0
0 s 0 (x) 00 s (x)
2 (n) = 0 2 (n) = 0 0, n D2 . (1)
r (x) r (x)

h1 e h2 sao crescentes pelos lemas 1 e 2, e pela condicao (i), segue que

(Figura 7.):
Z a Z 0
tg (t)dt > tf (t)dt h1 (1) > h2 (1).
0 b

19 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Pontos (n, m) tais que h1 (n) + h2 (m) = 0.

Figura: 6.Func
oes h1 e h2 .

20 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Pontos (n, m) tais que h1 (n) + h2 (m) = 0.

Figura: 6.Func
oes h1 e h2 .

21 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Pontos (n, m) tais que h1 (n) + h2 (m) = 0.

Figura: 6.Func
oes h1 e h2 .

22 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Pontos (n, m) tais que h1 (n) + h2 (m) = 0.

Figura: 6.Func
oes h1 e h2 .

23 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Pontos (n, m) tais que h1 (n) + h2 (m) = 0.

Figura: 6.Func
oes h1 e h2 .

24 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Entao, dado n [0, h11 (h2 (1))], existe um u
nico m [0, 1] tal que

h1 (n) = h2 (m) h1 (n) + h2 (m) = H(n, m) = 0.

25 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Entao, dado n [0, h11 (h2 (1))], existe um u
nico m [0, 1] tal que

h1 (n) = h2 (m) h1 (n) + h2 (m) = H(n, m) = 0.

Definindo a funcao injetiva , m = (n), tal que a imagem inversa de 0

por H e H 1 (0) = {(n, m); m = (n)} ou H(n, (n)) = 0.

25 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
(g 1 (n))2
Do (Lema 1) H
n = h10 (n) = 2 > 0.

26 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
(g 1 (n))2
Do (Lema 1) H
n = h10 (n) = 2 > 0.
(f 1 (m))2
Do (Lema 2) H
m = h20 (m) = 2 < 0.

26 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
(g 1 (n))2
Do (Lema 1) H
n = h10 (n) = 2 > 0.
(f 1 (m))2
Do (Lema 2) = H
m h20 (m) = < 0.
2
Assim pelo Teorema da Funcao Implcita, e k vezes diferenciavel e:

26 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
(g 1 (n))2
Do (Lema 1) H
n = h10 (n) = 2 > 0.
(f 1 (m))2
Do (Lema 2) = H
m h20 (m) = < 0.
2
Assim pelo Teorema da Funcao Implcita, e k vezes diferenciavel e:
H 2
h10 (n)
 1
g (n)
0 (n) = H
n
= = >0
m
h20 (m) f 1 (m)
,

26 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Portanto e:
Estritamente crescente;

27 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Portanto e:
Estritamente crescente;
Como H(0, 0) = 0 e H(h11 (h2 (1)), 1) = 0 D = [0, h11 (h2 (1))];

27 / 35
 Sistemas p-fuzzy

Resultados importantes
Teorema de unicidade

Demonstracao
Portanto e:
Estritamente crescente;
Como H(0, 0) = 0 e H(h11 (h2 (1)), 1) = 0 D = [0, h11 (h2 (1))];
Im = [0, 1].

27 / 35
 Sistemas p-fuzzy

Resultados importantes
Func
ao .

Figura: 7.Funcao .

28 / 35
 Sistemas p-fuzzy

Alguns experimentos
Resultados

Experimento que nao temos f (t) < g (t).

Consideremos um sistema p-fuzzy ilustrado abaixo:

Figura: 8.Possibilidade de mais de um ponto de equilbrio.

29 / 35
 Sistemas p-fuzzy

Alguns experimentos
Resultados

Experimento que nao temos f (t) < g (t).

Funcoes de sada:
g (t) = 0.5t + 1
e
1
+ 1, se 3 < t 3(m1 1)


3t



3(+m1 1)(m1 1)


3(m1 1) t + m1 + , se 3(m1 1) < t


3(m1 1)+2
f (t) =


1 1)(m1 1)
1
+ 1, se 3(+m




t 3(m1 1)+2
<t0

0, se contrario.

30 / 35
 Sistemas p-fuzzy

Alguns experimentos
Resultados

Experimento que nao temos f (t) < g (t).

Fazendo m1 = 0.1 e  = 0.1 o sistema possui tres pontos.

Figura: 9.Grafico de (x).

31 / 35
 Sistemas p-fuzzy

Alguns experimentos
Resultados

Experimento que nao temos f (t) < g (t).

Funcoes de sada:

f (t) = 0.29t 3 + 1.45t 2 + 2.07t + 1, se 3 t < 0

e
g (t) = 0.5t + 1, se0 t < 2.

Figura: 11.Func
oes de sada

32 / 35
 Sistemas p-fuzzy

Alguns experimentos
Resultados

Experimento que nao temos f (t) < g (t).

O sistema possui quatro pontos de equilbrio.

Figura: 12.Grafico de (x).

33 / 35
 Sistemas p-fuzzy

Obrigado!

34 / 35
 Sistemas p-fuzzy

Referencias Bibliograficas.
1.Silva,J.D.M.,Analise de estabilidade de sistemas dinamicos p-fuzzy
com aplicacoes em biomatematica. Tese de Doutorado,
IMECC-UNICAMP,Campinas,2005.
2.Joao de Deus M. Silva; LEITE,J.C.S.; BASSANEZI,R.C.;
CECCONELO,M.S. Stationary Points-I: One-Dimensional p-Fuzzy
Dynamical Systems.Journal of Applied
Mathematics,v.2013,p.1-11,2013.
3.Barros, L. C., Bassanezzi, R. C.: T
opicos de l
ogica fuzzy e
bio-matematica. Colecao IMECC -Textos Didaticos. v. 5,IMECC -
Unicamp, Campinas-SP, 2006.
4.Cecconelo, M. S.: Modelagem alternativa para dinamica
populacional: Sistemas Dinamicos Fuzzy.Dissertacao de Mestrado,
IMECC Unicamp, 2006.
5.Gomide, F. A. C., Gudwin, R. R.: Modelagem, Controle,Sistemas e
Logica Fuzzy. SBA Controle Automacao,v. 4, p. 97115, 1994 35 / 35