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

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.

[1]  Zbynek Prokop,et al.  Immobilized synthetic pathway for biodegradation of toxic recalcitrant pollutant 1,2,3-trichloropropane. , 2014, Environmental science & technology.

[2]  David Šafránek,et al.  Abstraction of biochemical reaction systems on polytopes , 2011 .

[3]  Alan Veliz-Cuba,et al.  On the Relationship of Steady States of Continuous and Discrete Models Arising from Biology , 2011, Bulletin of mathematical biology.

[4]  C. Belta,et al.  Model checking discrete-time Piecewise Affine systems: Application to gene networks , 2007, 2007 European Control Conference (ECC).

[5]  Alexander Bockmayr,et al.  Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks , 2012, IPCAT.

[6]  Calin Belta,et al.  Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.

[7]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[8]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[9]  Stefanie Widder,et al.  A generalized model of the repressilator , 2006, Journal of mathematical biology.

[10]  Rocco De Nicola,et al.  Three logics for branching bisimulation , 1995, JACM.

[11]  Susmit Jha,et al.  Adapting Biochemical Kripke Structures for Distributed Model Checking , 2006, Trans. Comp. Sys. Biology.

[12]  M. G. Müller,et al.  Kinetics and mechanism of electron transfer in intact photosystem II and in the isolated reaction center: pheophytin is the primary electron acceptor. , 2006, Proceedings of the National Academy of Sciences of the United States of America.

[13]  M. Elowitz,et al.  A synthetic oscillatory network of transcriptional regulators , 2000, Nature.

[14]  Jean-Luc Gouzé,et al.  Comparing Boolean and Piecewise Affine Differential Models for Genetic Networks , 2010, Acta biotheoretica.

[15]  M. Page,et al.  Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks , 2008, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[16]  Calin Belta,et al.  Model Checking Genetic Regulatory Networks with Parameter Uncertainty , 2007, HSCC.

[17]  L Glass,et al.  Counting and classifying attractors in high dimensional dynamical systems. , 1996, Journal of theoretical biology.

[18]  Lubos Brim,et al.  Parameter Synthesis by Parallel Coloured CTL Model Checking , 2015, CMSB.

[19]  Ezio Bartocci,et al.  From Cardiac Cells to Genetic Regulatory Networks , 2011, CAV.

[20]  El Houssine Snoussi.  Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach , 1989 .

[21]  François Rechenmann,et al.  Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks. , 2012, Methods in molecular biology.

[22]  Vadim S. Anishchenko,et al.  Deterministic Nonlinear Systems: A Short Course , 2014 .