Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/31238
Título: | Introducing fuzzy reactive graphs: a simple application on biology |
Autor: | Santiago, Regivan Martins, Manuel A. Figueiredo, Daniel |
Palavras-chave: | Fuzzy switch graphs Fuzzy reactive graphs Bisimulation Fuzzy graphs Fuzzy systems Reactive systems Biological systems Synthetic biology |
Data: | Mai-2021 |
Editora: | Springer |
Resumo: | In this paper, we propose a generalization for fuzzy graphs in order to model reactive systems with fuzziness. As we will show, the resulting fuzzy structure, called fuzzy reactive graphs (FRG), is able to model dynamical aspects of some entities which generally appear in: biology, computer science and some other fields. The dynamical aspect is captured by a transition function which updates the values of the graph after an edge has been crossed. The update process takes into account aggregation functions. The paper proposes a notion for bisimulation for such graphs and briefly shows how modal logic can be used to verify properties of systems modeled with FSGs. The paper closes with a toy example in the field of Biology. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/31238 |
DOI: | 10.1007/s00500-020-05353-1 |
ISSN: | 1432-7643 |
Aparece nas coleções: | CIDMA - Artigos AGG - Artigos DMat - Artigos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2021 Santiago2021_Article_IntroducingFuzzyReactiveGraphs.pdf | 1.47 MB | Adobe PDF |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.