Publication details

High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

Authors

BRIM Luboš DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

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

Faculty of Informatics

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: