High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
| Authors | |
|---|---|
| Year of publication | 2015 |
| Type | Article in Proceedings |
| Conference | Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers |
| MU Faculty or unit | |
| Citation | |
| Web | elektronická verze v nakladatelství Springer |
| Doi | http://dx.doi.org/10.1007/978-3-319-26916-0_4 |
| Field | Informatics |
| Keywords | bifurcation analysis; model checking; dynamical systems; formal methods |
| Description | Analysis of equilibria, their stability and instability, is an unavoidable ingredient of model analysis in systems biology. In particular, bifurcation analysis which focuses on behaviour of phase portraits under variations of parameters is of great importance. We propose a novel method for bifurcation analysis that employs coloured model checking to analyse phase portraits bifurcation in rectangular abstractions of piecewise-affine systems. The algorithm works on clusters of workstations and multi-core computers to allow scalability. We demonstrate the method on a repressilator genetic regulatory network. |
| Related projects: |