AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Warning

This publication doesn't include Faculty of Medicine. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BENEŠ Nikola BRIM Luboš KADLECAJ Jakub PASTVA Samuel ŠAFRÁNEK David
Year of publication	2020
Type	Article in Proceedings
Conference	Computer Aided Verification. CAV 2020
MU Faculty or unit	Faculty of Informatics
Citation
Web	https://doi.org/10.1007/978-3-030-53288-8_28
Doi	http://dx.doi.org/10.1007/978-3-030-53288-8_28
Keywords	Boolean networks; Attractors; Bifurcation analysis
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.
Related projects:	Diskrétní bifurkační analýza reaktivních systémů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX