Beruflich Dokumente
Kultur Dokumente
Palabras clave: CBR, Control, Lógica Booleana, Lógica difusa, Sistema térmico.
Key words: CBR, Control, Boolean logic, Fuzzy logic, Thermal system..
Resumen
tiendo del controlador Booleano realizado ante-
Este trabajo propone el análisis y diseño de riormente. Las supercies de control obtenidas
un controlador difuso de temperatura usando con y sin simplicación de términos evidencian
el concresor basado en relaciones Booleanas las características que tiene la metodología pro-
(CBR). En la primera parte, se presenta el dis- puesta. Adicionalmente se analizan los efectos
eño del controlador Booleano. Posteriormente, que tienen las simplicaciones realizadas en las
se efectúa el diseño del controlador difuso par- reglas de control.
* * *
Algebra a
b b
a °°
Conjuntos Lógica
Booleana ¾a,b,c [ 0 ,1 ] (3)
ab ba °
Pertenencia Veracidad Valor
a
1 a °
°
a0 a ¿°
Pertenece () Verdad (V) 1
La implementación de sistemas de inferencia ba- Es importante tener presente que para conjuntos
sados en relaciones Booleanas, parte del esque- difusos, se tienen las propiedades mostradas en
ma para la formulación de controladores de tipo la Ec. (6).
Booleano. Desde el punto de vista de lógica, el a a d1
controlador basado en lógica Booleana, se puede (6)
a
a t 0
considerar como un sistema de inferencia, con re-
glas de la forma: 2.1 Sistemas de inferencia difusa basa-
dos en relaciones Booleanas
Si, ( Aˆ1 Aˆ 2 ... Aˆ p ), Entonces, Yk (1)
Para un sistema de w funciones de activación,
Donde,
p conjuntos, q posibles implicaciones, siendo
Ym la m -ésima salida de activación y Âkj la j
° A p , si, Aˆ p 1, -ésima función de pertenencia de la k -ésima im-
Aˆ p ® (2)
°̄ A p , si, Aˆ p 0. plicación, el proceso de inferencia de Ym , consi-
derando conjuntos booleanos o difusos, se puede
Con la nalidad de mejorar el desempeño del expresar como se muestra en la Ec. (7):
controlador Booleano se cambian los conjuntos q p
Booleanos por difusos, de tal forma que se pue- Ym = Aˆ k
j (7)
dan tener transiciones suaves y monótonas entre k | f k ,m =1 j =1
diseño y simulación de un controlador difuso de temperatura empleando el concresor basado en relaciones booleanas 31
HELBERT EDUARDO ESPITIA C. / JOSÉ JAIRO SORIANO MENDEZ
con-ciencias
Tanto para conjuntos Booleanos como difusos w
como:
w donde yv esta dado por la Ec. (10). El término de
y = ¦Ym vm
m
(9) salida virtual fue concebido bajo una correspon-
m =1 dencia física real en aplicaciones de control, para
la salida total del sistema de inferencia. A manera
donde vm corresponde al m -ésimo actuador vir-
de ilustración del concepto de salida virtual, se
tual, entonces la m -ésima salida virtual es:
puede observar la acción que tiene una válvula de
yv = Ym vm (10) 3cc para el llenado de un tanque; en este caso el
m
ujo permitido por la válvula se puede considerar
2.2 Salida virtual como el aporte que darían tres válvulas virtuales
(que tienen una existencia aparente y no real) de
En el diseño de automatismos, la salida se puede diferente diámetro que dan lugar a los actuadores
considerar como el consecuente de una función virtuales:
Booleana de las entradas que corresponden a los
antecedentes. El sistema de inferencia difusa ba- . 5cc
Flujo pequeño: v1 = 0
sado en relaciones Booleanas toma este esquema,
el cual es el mismo en lógica difusa, sin embargo . 0cc
Flujo mediano: v2 = 1
la salida desde el punto de vista de automatismos
se considera como la acción total que se tiene . 5cc
Flujo grande: v3 = 1
por parte de los actuadores que están afectando
el sistema. En el caso donde solo se dispone de 3. Simplificación de reglas de inferencia
un elemento de acción, este se puede considerar
como la suma de varios actuadores los cuales se La síntesis de automatismos aplicando álgebra de
denominan virtuales y que a su vez tienen asocia- Boole permite tener implementación de sistemas
da una salida virtual. más simples, al respecto, se han realizado estu-
dios sobre esta característica para la optimización
Dependiendo de los conjuntos empleados y de las de sistemas de inferencia difusa [5]. Por otro lado
acciones a realizar en las regiones de operación, en [16] se propone un método para la simplica-
es posible tener un solapamiento de las acciones, ción de reglas de inferencia, en sistemas de lógica
por lo cual, la salida total puede ser mayor que las difusa tipo Mamdani .
acciones virtuales parciales.
A continuación se analizan las características im-
En esta propuesta los actuadores virtuales son portantes de la síntesis Booleana aplicada a con-
constantes y en un esquema tradicional de lógica juntos difusos, las restricciones matemáticas y los
difusa tipo Mamdani se pueden considerar como criterios de implementación prácticos de los sis-
conjuntos singleton (univaluados) en el universo temas de lógica difusa basados en el CBR siendo
de discurso de salida. Dependiendo el caso, los una de las características interesantes la capacidad
actuadores virtuales pueden ser positivos o nega- de realizar simplicación de sentencias mediante
tivos y sus valores también pueden ser denidos herramientas de lógica Booleana como son los
según la aplicación. mapas de Karnaugh.
Para el sistema de inferencia, la salida correspon- Con la nalidad de tener una simplicación de
de a la suma de las respectivas salidas virtuales: términos se puede plantear un conjunto de restric-
diseño y simulación de un controlador difuso de temperatura empleando el concresor basado en relaciones booleanas 33
HELBERT EDUARDO ESPITIA C. / JOSÉ JAIRO SORIANO MENDEZ
con-ciencias
En este caso, la intersección de los n términos
formados por la unión de una variable y su com-
plemento generan la unión de 2 n intersecciones
producidas al aplicar la propiedad distributiva de
la intersección Booleana sobre la unión Booleana,
siendo las variables simplicadas las presentes en
el anterior proceso. La respectiva restricción que
se genera para esta simplicación es:
YB [( A1 A1 ) ( A2 A2 ) ( An An )]
(19)
diseño y simulación de un controlador difuso de temperatura empleando el concresor basado en relaciones booleanas 35
HELBERT EDUARDO ESPITIA C. / JOSÉ JAIRO SORIANO MENDEZ
con-ciencias
Los valores de los actuadores virtuales son; Tabla 4: Tablade verdad para el control de tempera-
vPg = 500W y vPg=1500W. tura.
• ie p = P p (ie)
• ien = P n (ie)
YPg = e p ie p (27)
diseño y simulación de un controlador difuso de temperatura empleando el concresor basado en relaciones booleanas 37
HELBERT EDUARDO ESPITIA C. / JOSÉ JAIRO SORIANO MENDEZ
con-ciencias
P p ( e) d P n (e ) P n ( e )
P p (ie) d P n (ie) P n (ie)
P n (ie) d P p (ie) P p (ie) (36)
Índice /Control a b
Referencias
[1] R. Babuska, Fuzzy Modeling for Control. [8] H. Espitia, Aplicación del concresor basa-
Boston: Kluwer Academia Publishers, 1998. do en relaciones Booleanas para sistemas
de lógica difusa tipo dos, Tesis de Maes-
[2] G. Klir, B. Yuan, Fuzzy Sets and Fuzzy Lo- tria Universidad Distrital Francisco José de
gic. New Jersey: Prentice Hall, 1995. Caldas, 2009.
[3] E. Dougherty, C. Giardina, Mathematical
[9] T. Acevedo, C. Martínez, J. Díaz, “Diseño
methods for articial intelligence and auto-
nomous systems. Prentice-Hall, 1988. de un Controlador Logico Difuso Para Sis-
tema De Calefaccion”, Revista Colombia-
[4] K. Ogata, Dinámica de Sistemas. Prentice- na de Tecnologías de Avanzada, vol. 2, no.
Hall Hisp, 1987. 10, 10 pp. 53 - 58 2007.
[5] R. Rovatti, R. Guerrieri, G. Baccarani, “An [10] Z. Gao, T. Trautzsch, “A Stable Self-Tuning
Enhanced Two-Level Boolean Synthesis Fuzzy Logic Control System for Industrial
Methodology for Fuzzy Rules Minimiza- Temperature Regulation”, IEEE Transac-
tion”. IEEE Transactions On Fuzzy Sys- tions on Industry Applications, vol. 38, no.
tems, vol. 3, no. 3, pp. 288 - 299, 1995. 2, pp. 414 - 424, 2002.
[6] A. Ballén, C. Rodriguez, Diseño e imple-
[11] G. Kumar, S. Chandra, B. Surekha, “A Ge-
mentación de un controlador difuso au-
netic Based Neuro-Fuzzy Controller for
tosintonizado sobre microcontroladores,
Thermal Processes”, Journal of Computer
aplicado al control del péndulo invertido.
Science & Technology JCS&T, vol. 5, no.
Tesis de pregrado, Ingeniería Electrónica,
Universidad Distrital Francisco José De 1, pp. 37 - 43, 2005.
Caldas, 2003.
[12] X. Jinqiang, F. Ziping, “A Novel Self-adap-
[7] J. Soriano, O. González, F. Munar, A. Ra- tive Fuzzy-PID Controller for Temperature
mos, “Propuesta de concresor basado en re- Control in Variable Refrigerant Volume
laciones Booleanas”, Revista de Ingeniería, (VRV) Air Conditioning Systems”, Advan-
Universidad Distrital Francisco José de ces in Intelligent Systems Research ISKE,
Caldas, vol. 6, no. 1, pp 42-50, 2001. 2007.
diseño y simulación de un controlador difuso de temperatura empleando el concresor basado en relaciones booleanas 39
HELBERT EDUARDO ESPITIA C. / JOSÉ JAIRO SORIANO MENDEZ
con-ciencias
[13] M. Frank, R. Herbit, “Model based desing [16] A. Gersnoviez, I. Baturone, F. Moreno,
of a fuzzy temperature control for a steam “Extracción de Bases de Reglas Simples
generator”, EUROSIMS-95, pp. 1137 - y Lingüísticamente Interpretables”, XIII
1142, 1995. Congreso Español de Tecnologías y Lógica
Fuzzy: ESTYLF, pp. 111-116, 2006.
[14] C. Peña, Coevolucionary Fuzzy Modeling.
Springer-Verlag Berlin Heidelberg, 2004. [17] B. Davey, H. Priestley, Introduction to
Lattices and Order. Cambridge University
[15] R. Dubisch, Lattices to Logic. Blaisdell Press, 2002.
Publishing Company, 1964.
40 Tecnura Vol.
Vol.16
16 No.32
No. 32 Abril
pp.- 29 - 40de 2012
Junio Abril - Junio de 2012