AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

• 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
• web: https://doi.org/10.1007/978-3-030-53288-8_28
• Doi: https://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