Invariance Kernel of Biological Regulatory Networks

The analysis of biological regulatory network leads to compute the set of the possible behaviors of the biological components. These behaviors are seen as trajectories, some of which are cyclic, and we are specifically interested in these cycles since they stand for stability. The set of cycles is given by the so-called invariance kernel of a biological regulatory network. This article presents a method for deriving symbolic formulae for the length, volume and diameter of a cylindrical invariance kernel. These formulae are expressed in terms of delay parameters expressions and give the existence of an invariance kernel and a hint of the number of cyclic trajectories. We use PolyLib library for the operations on the polyhedra. The method is explained by using the example of the bacterium Pseudomonas aeruginosa.

[1]  Amir Pnueli,et al.  Timing analysis of asynchronous circuits using timed automata , 1995, CHARME.

[2]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[3]  Doran Wilde,et al.  A LIBRARY FOR DOING POLYHEDRAL OPERATIONS , 2000 .

[4]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[5]  Oded Maler,et al.  On Timed Models of Gene Networks , 2007, FORMATS.

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

[7]  Didier Lime,et al.  Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays , 2007, Complexus.

[8]  Adrien Richard,et al.  Analysing formal models of genetic regulatory networks with delays , 2008, Int. J. Bioinform. Res. Appl..

[9]  Vincent Loechner,et al.  Parameterized Polyhedra and Their Vertices , 1997, International Journal of Parallel Programming.

[10]  Sergio Yovine,et al.  Towards Computing Phase Portraits of Polygonal Differential Inclusions , 2002, HSCC.

[11]  Bill Broyles.  Notes , 1907, The Classical Review.

[12]  René Thomas.  Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[13]  Franck Delaplace,et al.  Semantics of Biological Regulatory Networks , 2007, Electron. Notes Theor. Comput. Sci..

[14]  Vincent Loechner.  PolyLib: A Library for Manipulating Parameterized Polyhedra , 1999 .

[15]  Gilles Bernot,et al.  Discrete Delay Model for the Mammalian Circadian Clock , 2007, Complexus.

[16]  Alexander Bockmayr,et al.  Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks , 2006, CMSB.