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.
|