AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant cha...

Descripción completa

Detalles Bibliográficos
Autores principales: Beneš, Nikola, Brim, Luboš, Kadlecaj, Jakub, Pastva, Samuel, Šafránek, David
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363220/
http://dx.doi.org/10.1007/978-3-030-53288-8_28
_version_ 1783559625826631680
author Beneš, Nikola
Brim, Luboš
Kadlecaj, Jakub
Pastva, Samuel
Šafránek, David
author_facet Beneš, Nikola
Brim, Luboš
Kadlecaj, Jakub
Pastva, Samuel
Šafránek, David
author_sort Beneš, Nikola
collection PubMed
description Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a bifurcation. We present a tool for analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a parallel semi-symbolic algorithm.
format Online
Article
Text
id pubmed-7363220
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73632202020-07-16 AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks Beneš, Nikola Brim, Luboš Kadlecaj, Jakub Pastva, Samuel Šafránek, David Computer Aided Verification Article Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a bifurcation. We present a tool for analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a parallel semi-symbolic algorithm. 2020-06-13 /pmc/articles/PMC7363220/ http://dx.doi.org/10.1007/978-3-030-53288-8_28 Text en © The Author(s) 2020 Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
spellingShingle Article
Beneš, Nikola
Brim, Luboš
Kadlecaj, Jakub
Pastva, Samuel
Šafránek, David
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
title AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
title_full AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
title_fullStr AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
title_full_unstemmed AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
title_short AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
title_sort aeon: attractor bifurcation analysis of parametrised boolean networks
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363220/
http://dx.doi.org/10.1007/978-3-030-53288-8_28
work_keys_str_mv AT benesnikola aeonattractorbifurcationanalysisofparametrisedbooleannetworks
AT brimlubos aeonattractorbifurcationanalysisofparametrisedbooleannetworks
AT kadlecajjakub aeonattractorbifurcationanalysisofparametrisedbooleannetworks
AT pastvasamuel aeonattractorbifurcationanalysisofparametrisedbooleannetworks
AT safranekdavid aeonattractorbifurcationanalysisofparametrisedbooleannetworks

Ejemplares similares