Fuzzy automata as coalgebras

Detalhes bibliográficos
Autor(a) principal: Liu, Ai
Data de Publicação: 2021
Outros Autores: Wang, Shun, Barbosa, L. S., Sun, Meng
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/72468
Resumo: The coalgebraic method is of great significance to research in process algebra, modal logic, object-oriented design and component-based software engineering. In recent years, fuzzy control has been widely used in many fields, such as handwriting recognition and the control of robots or air conditioners. It is then an interesting topic to analyze the behavior of fuzzy automata from a coalgebraic point of view. This paper models different types of fuzzy automata as coalgebras with a monad structure capturing fuzzy behavior. Based on the coalgebraic models, we can define a notion of fuzzy language and consider several versions of bisimulation for fuzzy automata. A group of combinators is defined to compose fuzzy automata of two branches: state transition and output function. A case study illustrates the coalgebraic models proposed and their composition.
id RCAP_3e2d77fa7623741bc25397b2052b1803
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/72468
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Fuzzy automata as coalgebrasFuzzy automataCoalgebraFuzzy languageBisimulationCompositionScience & TechnologyThe coalgebraic method is of great significance to research in process algebra, modal logic, object-oriented design and component-based software engineering. In recent years, fuzzy control has been widely used in many fields, such as handwriting recognition and the control of robots or air conditioners. It is then an interesting topic to analyze the behavior of fuzzy automata from a coalgebraic point of view. This paper models different types of fuzzy automata as coalgebras with a monad structure capturing fuzzy behavior. Based on the coalgebraic models, we can define a notion of fuzzy language and consider several versions of bisimulation for fuzzy automata. A group of combinators is defined to compose fuzzy automata of two branches: state transition and output function. A case study illustrates the coalgebraic models proposed and their composition.This work has been supported by the Guangdong Science and Technology Department (Grant No. 2018B010107004) and the National Natural Science Foundation of China under grant No. 61772038, 61532019 and 61272160. L.S.B. was supported by the ERDF—European Regional Development Fund through the Operational Programme for Competitiveness and InternationalisationCOMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT, within project KLEE - POCI-01-0145-FEDER-030947.Multidisciplinary Digital Publishing Institute (MDPI)Universidade do MinhoLiu, AiWang, ShunBarbosa, L. S.Sun, Meng2021-01-292021-01-29T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/72468engLiu, A.; Wang, S.; Barbosa, L.S.; Sun, M. Fuzzy Automata as Coalgebras. Mathematics 2021, 9, 272. https://doi.org/10.3390/math90302722227-739010.3390/math9030272https://www.mdpi.com/2227-7390/9/3/272info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T11:54:05Zoai:repositorium.sdum.uminho.pt:1822/72468Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T18:43:32.166686Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Fuzzy automata as coalgebras
title Fuzzy automata as coalgebras
spellingShingle Fuzzy automata as coalgebras
Liu, Ai
Fuzzy automata
Coalgebra
Fuzzy language
Bisimulation
Composition
Science & Technology
title_short Fuzzy automata as coalgebras
title_full Fuzzy automata as coalgebras
title_fullStr Fuzzy automata as coalgebras
title_full_unstemmed Fuzzy automata as coalgebras
title_sort Fuzzy automata as coalgebras
author Liu, Ai
author_facet Liu, Ai
Wang, Shun
Barbosa, L. S.
Sun, Meng
author_role author
author2 Wang, Shun
Barbosa, L. S.
Sun, Meng
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Liu, Ai
Wang, Shun
Barbosa, L. S.
Sun, Meng
dc.subject.por.fl_str_mv Fuzzy automata
Coalgebra
Fuzzy language
Bisimulation
Composition
Science & Technology
topic Fuzzy automata
Coalgebra
Fuzzy language
Bisimulation
Composition
Science & Technology
description The coalgebraic method is of great significance to research in process algebra, modal logic, object-oriented design and component-based software engineering. In recent years, fuzzy control has been widely used in many fields, such as handwriting recognition and the control of robots or air conditioners. It is then an interesting topic to analyze the behavior of fuzzy automata from a coalgebraic point of view. This paper models different types of fuzzy automata as coalgebras with a monad structure capturing fuzzy behavior. Based on the coalgebraic models, we can define a notion of fuzzy language and consider several versions of bisimulation for fuzzy automata. A group of combinators is defined to compose fuzzy automata of two branches: state transition and output function. A case study illustrates the coalgebraic models proposed and their composition.
publishDate 2021
dc.date.none.fl_str_mv 2021-01-29
2021-01-29T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/72468
url http://hdl.handle.net/1822/72468
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Liu, A.; Wang, S.; Barbosa, L.S.; Sun, M. Fuzzy Automata as Coalgebras. Mathematics 2021, 9, 272. https://doi.org/10.3390/math9030272
2227-7390
10.3390/math9030272
https://www.mdpi.com/2227-7390/9/3/272
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Multidisciplinary Digital Publishing Institute (MDPI)
publisher.none.fl_str_mv Multidisciplinary Digital Publishing Institute (MDPI)
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132182599434240

Registros relacionados