AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BENEŠ Nikola BRIM Luboš KADLECAJ Jakub PASTVA Samuel ŠAFRÁNEK David

Rok publikování 2020
Druh Článek ve sborníku
Konference Computer Aided Verification. CAV 2020
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www https://doi.org/10.1007/978-3-030-53288-8_28
Doi http://dx.doi.org/10.1007/978-3-030-53288-8_28
Klíčová slova Boolean networks; Attractors; Bifurcation analysis
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.