Simplified Computational Design of Digital Synthetic Gene Circuits

One ultimate goal for synthetic biology is the complete computer-aided design of novel gene circuits. Here, we show how concepts and algorithms from electrical engineering can be exploited to set up a framework for the computational, automatic design of gene Boolean gates and devices. As in electrical engineering, the modular design of digital synthetic gene circuits can be automated via the Karnaugh map algorithm. However, differently from electronics, the circuit scheme corresponding to a Boolean formula is not unique since the wiring between gates can be established by transcription factors or small RNAs. In particular, we discuss a new, simplified version of our previous algorithm that is better tailored to wet-lab circuit implementation.

[1]  P. Silver,et al.  A tunable zinc finger-based framework for Boolean logic computation in mammalian cells , 2012, Nucleic acids research.

[2]  D. Endy.  Foundations for engineering biology , 2005, Nature.

[3]  Sri R. Paladugu,et al.  In silico evolution of functional modules in biochemical networks. , 2006, Systems biology.

[4]  M. Win,et al.  Higher-Order Cellular Information Processing with Synthetic RNA Devices , 2008, Science.

[5]  M. Karnaugh.  The map method for synthesis of combinational logic circuits , 1953, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[6]  Ernst Dieter Gilles,et al.  ProMoT: modular modeling for systems biology , 2009, Bioinform..

[7]  U. Alon.  Network motifs: theory and experimental approaches , 2007, Nature Reviews Genetics.

[8]  Rafael Silva-Rocha,et al.  Mining logic gates in prokaryotic transcriptional regulation networks , 2008, FEBS letters.

[9]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

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

[11]  Madhukar S. Dasika,et al.  OptCircuit: An optimization based method for computational design of genetic circuits , 2008, BMC Systems Biology.

[12]  V. Hakim,et al.  Design of genetic networks with specified functions by evolution in silico. , 2004, Proceedings of the National Academy of Sciences of the United States of America.

[13]  Jörg Stelling,et al.  Synthetic gene network computational design , 2009, 2009 IEEE International Symposium on Circuits and Systems.

[14]  Eckart Zitzler,et al.  Design of a biological half adder , 2007 .

[15]  J. Stelling,et al.  Modular analysis of biological networks. , 2012, Advances in experimental medicine and biology.

[16]  R. Weiss,et al.  A universal RNAi-based logic evaluator that operates in mammalian cells , 2007, Nature Biotechnology.

[17]  Andreas Kremling,et al.  Modular Modeling of Cellular Systems with ProMoT/Diva , 2003, Bioinform..

[18]  A. Bogdanove,et al.  TAL Effectors: Customizable Proteins for DNA Targeting , 2011, Science.

[19]  Alfonso Jaramillo,et al.  Genetdes: automatic design of transcriptional networks , 2007, Bioinform..

[20]  Hernan G. Garcia,et al.  Transcriptional Regulation by the Numbers 2: Applications , 2004, q-bio/0412011.

[21]  Adam P Arkin,et al.  Versatile RNA-sensing transcriptional regulators for engineering genetic networks , 2011, Proceedings of the National Academy of Sciences.

[22]  Priscilla E. M. Purnick,et al.  The second wave of synthetic biology: from modules to systems , 2009, Nature Reviews Molecular Cell Biology.

[23]  Jörg Stelling,et al.  Computational design of synthetic gene circuits with composable parts , 2008, Bioinform..

[24]  Y. Benenson.  Biomolecular computing systems: principles, progress and potential , 2012, Nature Reviews Genetics.

[25]  Javier Macía,et al.  Distributed biological computation with multicellular engineered networks , 2011, Nature.

[26]  Jörg Stelling,et al.  Automatic Design of Digital Synthetic Gene Circuits , 2011, PLoS Comput. Biol..

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

[28]  Fabian Rudolf,et al.  Synthetic biosensing systems. , 2011, The international journal of biochemistry & cell biology.