ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
Semestre
2010/2
2009/2 2010/2
Conjuntos clasicos
1
2
3
4
5
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
As:
1 B
2 B
3 B
4 B
5 B
2010/2
2009/2
CONJUNTOS Clasicos
0, a x A.
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
CONJUNTOS CLASICOS
A
1
Grfica de A(x)
3 4 5 6 7 .
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
R
2010/2
2009/2
CONJUNTOS DIFUSOS
Conjuntos difusos
La pertenencia de los elementos al conjunto puede ser gradual, lo
cual se expresa mediante la funcin de pertenencia, que en este
caso puede tomar valores dentro del intervalo [0,1]
Ejemplo:
Sea el conjunto universal X ={ 1, 2, 3, 4, 5, 6, 7, 8, 9}. Sea el
conjunto A = {el nmero apropiado de cursos que un estudiante
debe tomar en el primer semestre de Ingeniera Fisica}
A, lo podramos definir considerando sus elementos junto con sus
valores de pertenencia:
A ={ (1, 0.1), (2,0.3), (3,0.4), (4,0.6), (5,1), (6,0.9), (7,0.6), (8,0.3)
(9, 0.1) }
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
CONJUNTOS DIFUSOS
Conjunto clsico
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
Conjunto Difuso
UNIVERSIDAD EAFIT
2010/2
2009/2
CONJUNTOS DIFUSOS
Funcin de pertenencia
A(u)
1
0.6
u1
u2
UNIVERSIDAD EAFIT
2010/2
2009/2
CONJUNTOS DIFUSOS
Ejemplo
Sea B= El conjunto de nmeros enteros cercanos a 9
B = 0.1/6 + 0.5/7 + 0.8/8 + 1/9 + 0.8/10 + 0.5/11 + 0.1/12
1
0.8
0.5
0.1
1
5 6 7 8 9 10 11 12
UNIVERSIDAD EAFIT
8
2010/2
2009/2
CONJUNTOS DIFUSOS
Tipo Z
UNIVERSIDAD EAFIT
9
2010/2
2009/2
CONJUNTOS DIFUSOS
Core(A) = { x / A(x) = 1}
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
CONJUNTOS DIFUSOS
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
Operador
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
AB = BA, AB = BA
Asociativa
(AB) C = A(B C)
(AB) C = A(B C)
Distributiva
A(BC) = (AB) (A C)
A (BC) = (AB) (AC)
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
AA=
AA= X
A B = A B
AB= AB
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
A(x) = 1 - A(x)
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
3.
4.
S(a, b) = S(b, a)
conmutativa
S(a, S(b, c)) = S(S(a,b), c) asociativa.
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
a, si b = 0.
S(a, b) =
b, si a = 0.
1, si a, b > 0.
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
3.
4.
T(a, b) = T(b, a)
conmutativa
T(a, T(b, c)) = T(T(a,b), c) asociativa.
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
Producto drstico:
T(a, b) =
a, si b = 1.
b, si a = 1.
0, si a, b < 1.
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
Operador
Unin:
AB AB (u) = max(A (u), B (u))
Interseccin: AB AB (u) = min(A (u), B (u))
complemento: A A (u) = 1 - A (u)
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
AA
AA X
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
VARIABLES LINGSTICAS
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
VARIABLES LINGSTICAS
bajo
medio
alto
muy alto
10 20 30 50
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
60
UNIVERSIDAD EAFIT
2010/2
2009/2
VARIABLES LINGSTICAS
UNIVERSIDAD EAFIT
2010/2
2009/2
VARIABLES LINGSTICAS
UNIVERSIDAD EAFIT
2010/2
2009/2
RELACIONES
Relacin Difusa
R = (a,3),(b,2),(c,1)}
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
R
0.9
B
1
1 2
0.8
R = 0.9/(a,3),1/(b,2),0.8/(c,1)}
UNIVERSIDAD EAFIT
2010/2
2009/2
LGICA CLSICA
Debido a la existencia del isomorfismo entre la lgica, la teora de
conjuntos y la lgica booleana, algunas equivalencias matemticas
simples seran:
teora de conjuntos
()
lgica
lgica
~ [p (~ q)]
lgica boleana
x
+
teora de conjuntos
pq
=r
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
LGICA CLSICA
teora de conjuntos
p q (x, y) =1 p q (x,y)
=1 - min(p(x), 1- q(y))
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
LGICA CLSICA
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
SISTEMAS DIFUSOS
Y= f(x)
Sistema Difuso
xUn
Reglas
Defuzificador
Fuzificador
Mecanismo
inferencia
salida
Vector de entrada
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
FUZIFICADOR
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
BASE DE REGLAS
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
Implicaciones:
- Si Nivel es bajo y Esta bajando entonces el flujo de entrada debe ser MuyAlto
- Si Nivel es alto y Esta bajando entonces el flujo de entrada debe ser Bajo
- Si Nivel es bajo y Esta subiendo entonces el flujo de entrada debe ser Alto
- Si Nivel es alto y Esta subiendo entonces el flujo de entrada debe ser MuyBajo
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
Maquina de Inferencia
Premisa 1: Si X es A, entonces Y es B
Premisa 2: X es A*
___________________________________
Conclusin: Y es B*
A, A*, B, B* : Conjuntos difusos en los conjuntos U, U*, V, V*
Muchas funciones difusas de implicacin:
La implicacin Mamdani obtenida cuando el operador interseccin es
usado en la conjuncin difusa.
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
LGICA DIFUSA
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
DEFUZIFICACION
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
DEFUZIFICACION
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2
ControlEmbebidos
e Instrumentacin Electrnica
Sistemas
UNIVERSIDAD EAFIT
2010/2
2009/2