zbMATH — the first resource for mathematics

High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. (English) Zbl 1412.92115
Abate, Alessandro (ed.) et al., Hybrid systems biology. Fourth international workshop, HSB 2015, Madrid, Spain, September 4–5, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9271, 58-74 (2015).
Summary: 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.
For the entire collection see [Zbl 1408.92003].

92C42 Systems biology, networks
92-04 Software, source code, etc. for problems pertaining to biology
37M20 Computational methods for bifurcation problems in dynamical systems
68W15 Distributed algorithms
Full Text: DOI