Álgebra de la dinámica de una clase de sistemas discretos

Gisella Mantilla-Morales, Bladismir Ruiz-Leal, Guelvis Mata-Díaz

Resumen


Esta investigación trata el problema de extensión de la teoría de autómatas finitos convencionales, para el estudio de su dinámica. Para ello se plantea un enfoque algebraico centrado en los conceptos de semianillos, K-subconjuntos racio-nales, K-+-álgebras y K-S-autómatas. Se demuestra en este contexto el Teorema de Kleene como argumento fundamen-tal para obtener que la dinámica de un K-S-autómata es la solución de un sistema de ecuaciones lineales de lenguajes.

Recibido: 03 de junio de 2024

Aceptado: 02 de octubre de 2024


Palabras clave


álgebra; sistemas; autómatas; lenguajes; ecuaciones

Texto completo:

PDF

Referencias


Branicky, M., (1995). «Studies in hibrid systems: Modeling, analysis and control». En: PhD thesis, Massachusetts inst technol. Cambridge, Dept. Elec. Fng. And computer Sci.

Caspi, P., (1991). «Model of Discrete event systems in computer science». En: Proc. ECC 91. European control conference, Grenoble. France.

Eilemberg, S., (1974) «Automata, languages and Machines». En: Academic Press, New York Vol. A.

Mata, G., (2017). «Supervisory control application to solving optimal control problems for discrete event systems». En: Revista Ingeniería UC Vol.24 núm.1, pp. 81-90.

Mata, G., (2018) et al. «A planning algorithm in a class of discrete event systems». En: DYNA 85(206), pp. 283-293.




Creative Commons License
Todos los documentos publicados en esta revista se distribuyen bajo una
Licencia Creative Commons Atribución -No Comercial- Compartir Igual 4.0 Internacional.
Por lo que el envío, procesamiento y publicación de artículos en la revista es totalmente gratuito.