A mathematical framework for the control of piecewise-affine models of gene networks

This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where some input variables can affect the main terms of the equations, with a special focus on the case of affine dependence on inputs. Some generic control problems are proposed, which are qualitative, respecting the coarse-grained nature of piecewise-affine models. Piecewise constant feedback laws that solve these control problems are characterized in terms of affine inequalities, and can even be computed explicitly for a subclass of inputs. The latter is characterized by the condition that each state variable of the system is affected by at most one input variable. These general feedback laws are then applied to a two-dimensional example, consisting in two genes inhibiting each other. This example has been observed in real biological systems, and is known to present a bistable switch for some parameter values. Here, the parameters can be controlled, allowing to express feedback laws leading to various behaviours of this system, including bi-stability as well as situations involving a unique global equilibrium.

[1]  Giancarlo Ferrari-Trecate,et al.  Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks , 2006, HSCC.

[2]  E. Andrianantoandro,et al.  Synthetic biology: new engineering rules for an emerging discipline , 2006, Molecular systems biology.

[3]  M. Johansson,et al.  Piecewise Linear Control Systems , 2003 .

[4]  Panagiotis D. Christofides,et al.  Analysis of Mode Transitions in Biological Networks , 2005 .

[5]  Farren J. Isaacs,et al.  RNA synthetic biology , 2006, Nature Biotechnology.

[6]  D. Schneider,et al.  Qualitative simulation of the carbon starvation response in Escherichia coli. , 2006, Bio Systems.

[7]  Radu Mateescu,et al.  Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli , 2005, ISMB.

[8]  L. Glass,et al.  Symbolic dynamics and computation in model gene networks. , 2001, Chaos.

[9]  Etienne Farcot,et al.  Geometric properties of a class of piecewise affine biological network models , 2006, Journal of mathematical biology.

[10]  J. Collins,et al.  Programmable cells: interfacing natural and engineered gene networks. , 2004, Proceedings of the National Academy of Sciences of the United States of America.

[11]  L. Serrano,et al.  Engineering stability in gene networks by autoregulation , 2000, Nature.

[12]  L. Glass.  Combinatorial and topological methods in nonlinear chemical kinetics , 1975 .

[13]  Shuzhi Sam Ge,et al.  Analysis and synthesis of switched linear control systems , 2005, Autom..

[14]  Dominique Schneider,et al.  Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in , 2005, HSCC.

[15]  J. Gouzé,et al.  A class of piecewise linear differential equations arising in biological models , 2002 .

[16]  C. Belta,et al.  Constructing decidable hybrid systems with velocity bounds , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[17]  L. Glass,et al.  Inferring models of gene expression dynamics. , 2004, Journal of theoretical biology.

[18]  L.C.G.J.M. Habets,et al.  Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[19]  F R Adler,et al.  How to make a biological switch. , 2000, Journal of theoretical biology.

[20]  Farren J. Isaacs,et al.  Engineered riboregulators enable post-transcriptional control of gene expression , 2004, Nature Biotechnology.

[21]  J. Collins,et al.  Construction of a genetic toggle switch in Escherichia coli , 2000, Nature.

[22]  Jan H. van Schuppen,et al.  A control problem for affine dynamical systems on a full-dimensional polytope , 2004, Autom..

[23]  Jeff Hasty,et al.  Designer gene networks: Towards fundamental cellular control. , 2001, Chaos.

[24]  F. Allgöwer,et al.  Bistability Analyses of a Caspase Activation Model for Receptor-induced Apoptosis* , 2004, Journal of Biological Chemistry.

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

[26]  H. D. Jong,et al.  Qualitative simulation of the initiation of sporulation in Bacillus subtilis , 2004, Bulletin of mathematical biology.