Other formats:
BibTeX
LaTeX
RIS
@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.
|
