Informace o publikaci
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
| Autoři | |
|---|---|
| Rok publikování | 2020 |
| Druh | Článek ve sborníku |
| Konference | Computer Aided Verification. CAV 2020 |
| Fakulta / Pracoviště MU | |
| 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: |