Robustness analysis and tuning of synthetic gene networks

被引:92
作者
Batt, Gregory [1 ]
Yordanov, Boyan
Weiss, Ron
Belta, Calin
机构
[1] Boston Univ, Ctr Informat & Syst Engn Biodynam, Boston, MA 02215 USA
[2] Boston Univ, Dept Biomed Engn, Boston, MA 02215 USA
[3] Princeton Univ, Dept Elect Engn & Mol Biol, Princeton, NJ 08544 USA
基金
美国国家科学基金会;
关键词
D O I
10.1093/bioinformatics/btm362
中图分类号
Q5 [生物化学];
学科分类号
071010 ; 081704 ;
摘要
Motivation: The goal of synthetic biology is to design and construct biological systems that present a desired behavior. The construction of synthetic gene networks implementing simple functions has demonstrated the feasibility of this approach. However, the design of these networks is difficult, notably because existing techniques and tools are not adapted to deal with uncertainties on molecular concentrations and parameter values. Results: We propose an approach for the analysis of a class of uncertain piecewise-multiaffine differential equation models. This modeling framework is well adapted to the experimental data currently available. Moreover, these models present interesting mathematical properties that allow the development of efficient algorithms for solving robustness analyses and tuning problems. These algorithms are implemented in the tool RoVerGeNe, and their practical applicability and biological relevance are demonstrated on the analysis of the tuning of a synthetic transcriptional cascade built in Escherichia coli.
引用
收藏
页码:2415 / 2422
页数:8
相关论文
共 32 条
[1]   Discrete abstractions of hybrid systems [J].
Alur, R ;
Henzinger, TA ;
Lafferriere, G ;
Pappas, GJ .
PROCEEDINGS OF THE IEEE, 2000, 88 (07) :971-984
[2]   Synthetic biology: new engineering rules for an emerging discipline [J].
Andrianantoandro, Ernesto ;
Basu, Subhayu ;
Karig, David K. ;
Weiss, Ron .
MOLECULAR SYSTEMS BIOLOGY, 2006, 2 (1) :2006.0028
[3]   Model building and model checking for biochemical processes [J].
Antoniotti, M ;
Policriti, A ;
Ugel, N ;
Mishra, B .
CELL BIOCHEMISTRY AND BIOPHYSICS, 2003, 38 (03) :271-286
[4]   Spatiotemporal control of gene expression with pulse-generating networks [J].
Basu, S ;
Mehreja, R ;
Thiberge, S ;
Chen, MT ;
Weiss, R .
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2004, 101 (17) :6355-6360
[5]   Validation of qualitative models of genetic regulatory networks by model checking:: analysis of the nutritional stress response in Escherichia coli [J].
Batt, G ;
Ropers, D ;
de Jong, H ;
Geiselmann, J ;
Mateescu, R ;
Page, M ;
Schneider, D .
BIOINFORMATICS, 2005, 21 :I19-I28
[6]  
Batt G, 2007, LECT NOTES COMPUT SC, V4424, P323
[7]  
Batt G, 2007, LECT NOTES COMPUT SC, V4416, P61
[8]  
BELTA C, 2002, IEEE C DEC CONTR CDC
[9]   Controlling a class of nonlinear systems on rectangles [J].
Belta, Calin ;
Habets, Luc C. G. J. M. .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (11) :1749-1759
[10]   Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic [J].
Bernot, G ;
Comet, JP ;
Richard, A ;
Guespin, J .
JOURNAL OF THEORETICAL BIOLOGY, 2004, 229 (03) :339-347