AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
| Authors | |
|---|---|
| Year of publication | 2020 |
| Type | Article in Proceedings |
| Conference | Computer Aided Verification. CAV 2020 |
| MU Faculty or unit | |
| 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: |