Los autómatas borrosos como coálgebras
Autores: Liu, Ai; Wang, Shun; Barbosa, Luis Soares; Sun, Meng
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
Los autómatas borrosos como coálgebras
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Método coalgebraico
álgebra de procesos
Control difuso
Autómatas difusos
Estructura monádica
Combinadores
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 26
Citaciones: Sin citaciones
El método coalgebraico es de gran importancia para la investigación en álgebra de procesos, lógica modal, diseño orientado a objetos e ingeniería de software basada en componentes. En los últimos años, el control difuso se ha utilizado ampliamente en muchos campos, como el reconocimiento de escritura y el control de robots o aires acondicionados. Es entonces un tema interesante analizar el comportamiento de autómatas difusos desde un punto de vista coalgebraico. Este artículo modela diferentes tipos de autómatas difusos como coalgebras con una estructura monádica que captura el comportamiento difuso. Basándonos en los modelos coalgebraicos, podemos definir una noción de lenguaje difuso y considerar varias versiones de bisimulación para autómatas difusos. Se define un grupo de combinadores para componer autómatas difusos de dos ramas: transición de estado y función de salida. Un estudio de caso ilustra los modelos coalgebraicos propuestos y su composición.
Descripción
El método coalgebraico es de gran importancia para la investigación en álgebra de procesos, lógica modal, diseño orientado a objetos e ingeniería de software basada en componentes. En los últimos años, el control difuso se ha utilizado ampliamente en muchos campos, como el reconocimiento de escritura y el control de robots o aires acondicionados. Es entonces un tema interesante analizar el comportamiento de autómatas difusos desde un punto de vista coalgebraico. Este artículo modela diferentes tipos de autómatas difusos como coalgebras con una estructura monádica que captura el comportamiento difuso. Basándonos en los modelos coalgebraicos, podemos definir una noción de lenguaje difuso y considerar varias versiones de bisimulación para autómatas difusos. Se define un grupo de combinadores para componer autómatas difusos de dos ramas: transición de estado y función de salida. Un estudio de caso ilustra los modelos coalgebraicos propuestos y su composición.