AEON: Attractor Bifurcation Analysis of Parametrised Boolean
Networks

D 2020

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA, David ŠAFRÁNEK et. al.

Basic information

Original name

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Authors

BENEŠ, Nikola (203 Czech Republic, belonging to the institution), Luboš BRIM (203 Czech Republic, belonging to the institution), Jakub KADLECAJ (703 Slovakia), Samuel PASTVA (703 Slovakia, guarantor, belonging to the institution) and David ŠAFRÁNEK (203 Czech Republic, belonging to the institution)

Edition

LNCS 12224. Cham, Computer Aided Verification. CAV 2020, p. 569-581, 13 pp. 2020

Publisher

Springer, Cham

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

References:

URL

Impact factor

Impact factor: 0.402 in 2005

RIV identification code

RIV/00216224:14330/20:00114294

Organization unit

Faculty of Informatics

ISBN

978-3-030-53287-1

ISSN

DOI

http://dx.doi.org/10.1007/978-3-030-53288-8_28

UT WoS

000695276000028

Keywords in English

Boolean networks; Attractors; Bifurcation analysis

Abstract

V originále

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.

Links

GA18-00178S, research and development project

Name: Diskrétní bifurkační analýza reaktivních systémů

Investor: Czech Science Foundation

MUNI/A/1050/2019, interní kód MU

Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX (Acronym: SV-FI MAV IX)

Investor: Masaryk University, Category A

Citovat

BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA and David ŠAFRÁNEK. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification. CAV 2020. LNCS 12224. Cham: Springer, Cham, 2020, p. 569-581. ISBN 978-3-030-53287-1. Available from: https://dx.doi.org/10.1007/978-3-030-53288-8_28.

@inproceedings{1676301,
   author = {Beneš, Nikola and Brim, Luboš and Kadlecaj, Jakub and Pastva, Samuel and Šafránek, David},
   address = {Cham},
   booktitle = {Computer Aided Verification. CAV 2020},
   doi = {http://dx.doi.org/10.1007/978-3-030-53288-8_28},
   edition = {LNCS 12224},
   editor = {Shuvendu K. Lahiri and Chao Wang},
   keywords = {Boolean networks; Attractors; Bifurcation analysis},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Cham},
   isbn = {978-3-030-53287-1},
   pages = {569-581},
   publisher = {Springer, Cham},
   title = {AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks},
   url = {https://doi.org/10.1007/978-3-030-53288-8_28},
   year = {2020}
}

TY  - JOUR
ID  - 1676301
AU  - Beneš, Nikola - Brim, Luboš - Kadlecaj, Jakub - Pastva, Samuel - Šafránek, David
PY  - 2020
TI  - AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
PB  - Springer, Cham
CY  - Cham
SN  - 9783030532871
KW  - Boolean networks
KW  - Attractors
KW  - Bifurcation analysis
UR  - https://doi.org/10.1007/978-3-030-53288-8_28
N2  - 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.
ER  -

BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA and David ŠAFRÁNEK. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In Shuvendu K. Lahiri and Chao Wang. \textit{Computer Aided Verification. CAV 2020}. LNCS 12224. Cham: Springer, Cham, 2020, p.~569-581. ISBN~978-3-030-53287-1. Available from: https://dx.doi.org/10.1007/978-3-030-53288-8\_{}28.

Detailed Information on Publication Record