AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

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

• Diskrétní bifurkační analýza reaktivních systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX