logo móvil
Contáctanos

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

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro