Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica Difusa
Lógica Difusa
HISTORIA
El padre del trmino DIFUSO" fue Lofti Asier
Zadeh cuando en 1965 public "Fuzzy
Sets" (Conjuntos Difusos).
Las tesis que propone surgen del estudio de
pensadores de distintas disciplinas que
como l, tenan una visin de los
problemas diferente de la lgica
tradicional, las cuales influyeron para
que Zadeh publicase el ensayo "Fuzzy
Sets" en la revista "Information and
Control" y tres aos despus en 1968,
"Fuzzy Algorithm".
Al comienzo las ideas publicadas por Zadeh no fueron seguidas por la comunidad
cientfica del momento, pero con el tiempo comenz a tener seguidores lo que
produjo que sus teoras fuesen ampliadas y se asentaran sus conocimientos.
La intencin de Zadeh era la creacin de un formalismo para manejar de forma ms
eficiente la imprecisin del razonamiento humano.
Es en 1971, cuando realiza la publicacin de "Quantitative Fuzzy Semantics" en donde
aparecen los elementos formales que dan lugar a la metodologa de la Lgica
Borrosa y de sus aplicaciones tal y como se conocen en la actualidad.
A partir de 1973, con la teora bsica de los controladores borrosos de Zadeh, otros
investigadores comenzaron a aplicar la Lgica Borrosa a diversos procesos.
FUZZY BOOK
En 1974 Assilian y Mamdani en el Reino Unido desarrollaron el primer controlador
difuso diseado para la mquina de vapor. La implantacin real de un
controlador de este tipo no fue realizada hasta 1980 por F.L. Smidth & Co. en
una planta cementera en Dinamarca.
En 1987 Hitachi usa un controlador fuzzy para el control del tren de Sendai, el cual
usa uno de los sistemas ms novedosos creados por el hombre. Desde entonces,
el controlador ha realizado su trabajo correctamente con la consiguiente
satisfaccin por parte de los usuarios de dicho tren.
Es tambin en este ao cuando la empresa Omron desarrolla los primeros
controladores difusos comerciales y es que 1987 es considerado como el "fuzzy
boom" debido a la gran cantidad de productos basados en Lgica Borrosa que se
comercializan.
En 1993, Fuji aplica la Lgica Borrosa para el control de inyeccin qumica en plantas
depuradoras de agua por primera vez en Japn.
SIGNIFICANCIA VS PRECISIN
Nuestro conocimiento se agrupa en trminos sin fronteras bien definidas como
podra ser un nmero concreto. Estas etiquetas lingsticas pueden generar
informacin mucho ms til para nuestro provecho
http://blogueiros.axena.org/2009/11/12/logica-difusa-ciencia-e-internet-i/
Lgica Clsica
Estatura 1.80
Estatura < 1.80
Lgica difusa
Grados de
pertenencia
Lgico?
Lgica Clsica
1,81 Alto
1,79 No Alto
Lgica Borrosa
1,81 0,85 Alto
1,79 0,80 Alto
LGICA CLSICA
Dados A = [-1,2] y el predicado ntido P = "mayor de 0.9", su funcin de pertenencia
ser:
LGICA DIFUSA
El predicado P = "joven",
FUNCIONES DE PERTENENCIA
FUNCIONES DE PERTENENCIA
INTERSECCIN
UNIN
NOT O COMPLEMENTO
VARIABLE LINGSTICA
Como son las etiquetas en
un conjunto borroso?
Tambin puede
ser numrica
Mucho
Poco
Positivo
Negativo
La sopa esta caliente
La sopa esta a 50 C
Variable Lingstica
-> Temperatura -> A
Conjunto de Trminos -> T(A) -> muy fra, fra, normal, alta, muy alta.
Universo de discurso -> 0 K hasta infinito -> Rango prctico
PARTICIONES BORROSAS
Particin: Uno de los subconjuntos
que pueden formarse con los
elementos de la variable lingstica.
Estatura
Bajo
Medio
Alto
RAZONAMIENTO DIFUSO
El razonamiento difuso esta basado en la regla de inferencia Modus
Ponens Generalizado (del latn modo que afirma) es una regla de
inferencia simple que esta definido como:
Premisa 1: x es A
Premisa 2: SI x es A, ENTONCES y es B
Consecuente: y es B
Compuesto por:
Conjuntos Difusos
Conjuntos Difusos
Transformacin
REGLAS BORROSAS
Combinan los conjuntos borrosos de
entrada, llamados antecedentes y les
asocia un conjunto borroso de salida,
llamado consecuente.
En Control
Si el error es pequeo-positivo y
la derivada del error es negativo pequeo
Entonces la accin es positiva pequea
Accin de control
Abrir mas la vlvula
E=Ref-H
Ref
H
Error
Permiten expresar el
conocimiento disponible entre
antecedentes y consecuentes
Mamdani
Sugeno
SISTEMAS DIFUSOS
FUZZIFICADOR
La entrada de un sistema de lgica difusa normalmente es un valor
numrico proveniente, por ejemplo, de un sensor; para que este valor
pueda ser procesado por el sistema difuso se hace necesario convertirlo
a un "lenguaje" que el mecanismos de inferencia pueda procesar.
Toma
los
valores
numricos
provenientes del exterior y los
convierte en valores "difusos" que
pueden ser procesados por el
mecanismo de inferencia.
EJEMPLO
Ejemplo:
Sensor: LM35
Valor Numrico -> 1 voltio
Sensibilidad
del sensor?
Lenguaje?
Como es la Temperatura?
Fuzzificador
REGLAS MAMDANI
En un sistema difuso tipo Mamdani tanto el
antecedente como el consecuente de las reglas
estn dados por expresiones lingsticas.
Si la entrada es alta entonces la salida es baja
Antecedente
Consecuente
INFERENCIA MAMDANI
DEFUZZIFICADOR
La salida que genera el mecanismo de inferencia
es una salida difusa, lo cual significa que no
puede ser interpretada por un elemento
externo que solo manipule informacin
numrica.
()
()
EJEMPLO PRACTICO
Realizar un control de temperatura de un invernadero!
Se controla cerrando y abriendo una vlvula que permite
el paso de aire caliente, manteniendo una
temperatura aproximada de 23 C.
EJEMPLO PRACTICO
La forma de los intervalos se elige tomando en cuenta la experiencia del
operador del invernadero.
EJEMPLO PRACTICO
Se puede observar que para una medicin de temperatura, por
ejemplo 29 C. Lo que puede interpretarse como: 29 C es una
temperatura mucho ms que tibia o 29 C es prcticamente caliente.
EJEMPLO PRACTICO
A partir de la informacin se desea tomar la decisin de abrir o cerrar la
vlvula que permitir el paso del aire caliente para controlar la temperatura
y mantener el invernadero siempre a 23 C, a este paso en lgica difusa se
le llama inferencia.
EJEMPLO PRACTICO
El operador del invernadero hace esta misma funcin siguiendo su lgica y
experiencia. Por ejemplo, l sabe que para una temperatura de 10 C es
necesario abrir partes la vlvula y para una temperatura de 40 C hay
que cerrar totalmente la vlvula.
EJEMPLO PRACTICO
A partir de las funciones de membresa de entrada y de salida se aplica la
siguiente metodologa:
1. Proceso de inferencia. Para cada grado de pertenencia asociados a la
medicin de temperatura se generan conclusiones. Por ejemplo, para los
grados de pertenencia asociados a la medicin de 29 C se debe concluir la
accin que se realizar. Para el caso se cortara la funcin de membresa de
salida, de tal forma que los valores mayores al grado de pertenencia
asociado desaparezcan.
EJEMPLO PRACTICO
2. Se genera la conclusin final combinando las conclusiones difusas.
EJEMPLO PRACTICO
Finalmente la conclusin final se defuzzyfica, es decir, se lleva nuevamente al
mundo real, esta informacin indica cunto se debe abrir la vlvula.
Mtodo de centroide, que consiste en
calcular el promedio ponderado de la salida.
Para el caso se obtiene 0.346 es decir la
vlvula se abrir 34,6 por ciento,
INFERENCIA SUGENO
CONTROL DIFUSO
Un controlador Difuso es por naturaleza no lineal y existen diversos tipos,
en general se define un conjunto de estructuras bsicas cuyo
comportamiento se aproxima a los controladores clsicos del tipo
Proporcional (P), Integral (I) o Derivativo (D). Donde estas
denominaciones dependen del procesamiento que se realice sobre la
seal de error antes de entrar al sistema de inferencia difuso.
CONTROL P DIFUSO
CONTROL PD DIFUSO
CONTROLADOR PI DIFUSO
PID DIFUSO
EJEMPLO
Control de nivel
Vamos a controlar el nivel de
un liquido en un tanque usando
un controlador difuso, en
donde las variables de entrada
del controlador corresponden al
error en el nivel y a la derivada
del nivel.
Como variable de salida
consideraremos
la
accin
incremental sobre la apertura
de la vlvula.
CONJUNTOS DIFUSOS
BASE DE REGLAS
ANLISIS DE DESEMPEO
EJEMPLO PRACTICO
El problema de control del invernadero se define mediante el siguiente
diagrama a bloques:
Donde:
EJEMPLO PRACTICO
La entrada del controlador PD Difuso es el error y la variacin del error, ya que con
ellos se puede determinar el comportamiento del sistema. El error y la variacin
del error en el caso del invernadero tomarn valores de 20 a 20Vcd.
EJEMPLO PRACTICO
Las funciones de perteneca para E(t) y dE(t) se definen como:
EJEMPLO PRACTICO
La salida del control difuso que controlar la vlvula de paso del aire caliente,
tiene la funcin de membresa:
EJEMPLO PRACTICO
Para cuestiones de simulacin del controlador la planta se define como un
sistema de primer orden:
EJEMPLO PRACTICO
EJEMPLO PRACTICO
EJEMPLO PRACTICO
Se analizar el caso ms sencillo donde ki1 y ki2 son cero y la salida u(t) es
nicamente una constante, cuyos valores se elegirn de acuerdo a la
experiencia del experto en el proceso.
EJEMPLO PRACTICO
CONCLUSIONES
No cabe duda que el control difuso es una herramienta muy sencilla de aplicar y
disear para todo tipo de procesos, sin embargo se encontraron importantes
deficiencias como lo son:
La dependencia en la experiencia del experto en el proceso, para un correcto
funcionamiento del controlador.
Una vez obtenida la simulacin del sistema no es fcil determinar que cambios
se necesitan hacer en las funciones de membresa, reglas difusas, mtodos de
inferencia y defuzzyficacin para poder obtener un resultado de salida deseado.
Esto se complica an ms por la no linealidad del controlador difuso.
La dificultad de garantizar la estabilidad del sistema para cualquier referencia
dada, dado que el controlador es no lineal.
MATLAB
Para utilizar el Toolbox de lgica difusa de MATLAB, teclee en la ventana de
comandos Fuzzy. A continuacin se abrir el Editos FIS donde se
implementarn las funciones de membresa tanto de entrada (temperatura)
como de salida (vlvula).
MATLAB
El editor FIS tiene tambin la opcin para elegir el mtodo de defuzzyficacin que se
desea utilizar. Dando doble-click en la funcin de membresa de entrada y de
salida se pueden generar las funciones de membresa tanto de temperatura
como de la vlvula.
MATLAB
En el Editor FIS dando doble clic en la seccin Mamdani se introducen las reglas
del controlador y finalmente en Ver-Reglas se puede ver la salida defuzzyficada
a la vlvula para diversas entradas de temperatura.