A Framework for Genetic Logic Synthesis

Proceedings of the IEEE

Volumn 103, Issue 11, 2015, Pages 2196-2207

  Vaidyanathan, Prashant ^a   Der, Bryan S ^b   Bhatia, Swapnil ^a   Roehner, Nicholas ^a   Silva, Ryan ^a   Voigt, Christopher A ^b   Densmore, Douglas ^a  

^a Boston University   (United States)

^b Massachusetts Institute of Technology   (United States)

Author keywords

Boolean; digital; genetic; logic; synthesis; synthetic biology; transcription

Indexed keywords

CODES (SYMBOLS); DECISION MAKING; LOGIC CIRCUITS; LOGIC DEVICES; LOGIC SYNTHESIS; SYNTHESIS (CHEMICAL); SYNTHETIC BIOLOGY; TRANSCRIPTION;

AUTOMATION TOOLS; BOOLEAN; DIGITAL; DIGITAL ELECTRONIC CIRCUITS; GENETIC; LOGIC; NEW APPROACHES; PROBLEM FORMULATION;

COMPUTER CIRCUITS;

EID: 84946499560     PISSN: 00189219     EISSN: 15582256     Source Type: Journal    
DOI: 10.1109/JPROC.2015.2443832     Document Type: Article

References (57)

1. T. K. Lu, A. S. Khalil, and J. J. Collins, "Next-generation synthetic gene networks," Nat. Biotechnol., vol. 27, pp. 1139-1150, Dec. 2009.
2. P. E. Purnick and R. Weiss, "The second wave of synthetic biology: From modules to systems," Nat. Rev. Mol. Cell Biol., vol. 10, pp. 410-422, Jun. 2009.
3. A. A. Nielsen, T. H. Segall-Shapiro, and C. A. Voigt, "Advances in genetic circuit design:Novel biochemistries, deep partmining, precision gene expression," Curr. Opin. Chem. Biol., vol. 17, no. 6, pp. 878-892, 2013.
4. J. A. Brophy and C. A. Voigt, "Principles of genetic circuit design," Nat. Methods, vol. 11, no. 5, pp. 508-520, 2014.
5. M. Galdzicki et al., "The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology," Nat. Biotechnol., vol. 32, pp. 545-550, 2014.
6. N. Saeidi, M. Arshath, M. W. Chang, and C. L. Poh, "Characterization of a quorum sensing device for synthetic biology design: Experimental and modeling validation," Chem. Eng. Sci., vol. 103, pp. 91-99, 2013.
7. A. Tamsir, J. J. Tabor, and C. A. Voigt, "Robust multicellular computing using genetically encoded NOR gates and chemical 'wires'," Nature, vol. 469, pp. 212-215, Jan. 2011.
8. T. S. Moon, C. Lou, A. Tamsir, B. C. Stanton, and C. A. Voigt, "Genetic programs constructed from layered logic gates in single cells," Nature, vol. 491, pp. 249-253, Nov. 2012.
9. B. C. Stanton et al., "Genomic mining of prokaryotic repressors for orthogonal logic gates," Nat. Chem. Biol., vol. 10, pp. 99-105, Feb. 2014.
10. F. Yaman, S. Bhatia, A. Adler, D. Densmore, and J. Beal, "Automated selection of synthetic biology parts for genetic regulatory networks," ACS Synth. Biol., vol. 1, no. 8, pp. 332-344, 2012.
11. S. Cardinale and A. P. Arkin, "Contextualizing context for synthetic biology-identifying causes of failure of synthetic biological systems," Biotechnol. J., vol. 7, pp. 856-866, Jul. 2012.
12. C. Lou, B. Stanton, Y. J. Chen, B. Munsky, and C. A. Voigt, "Ribozyme-based insulator parts buffer synthetic circuits from genetic context," Nat. Biotechnol., vol. 30, pp. 1137-1142, Nov. 2012.
13. V. K. Mutalik et al., "Precise and reliable gene expression via standard transcription and translation initiation elements," Nat. Methods, vol. 10, no. 4, pp. 354-360, 2013.
14. A. I. Yao et al., "Promoter element arising from the fusion of standard biobrick parts," ACS Synth. etic Biol., vol. 2, no. 2, pp. 111-120, 2013.
15. D. Del Vecchio, A. J. Ninfa, and E. D. Sontag, "Modular cell biology: Retroactivity and insulation," Mol. Syst. Biol., vol. 4, p. 161, 2008.
16. S. Cardinale, M. P. Joachimiak, and A. P. Arkin, "Effects of genetic variation on the e. coli host-circuit interface," Cell Reports, vol. 4, no. 2, pp. 231-237, 2013.
17. A. P. Arkin, "A wise consistency: Engineering biology for conformity, reliability, predictability," Current Opin. Chem. Biol., vol. 17, no. 6, pp. 893-901, 2013.
18. L. S. Qi et al., "Repurposing crispr as an rna-guided platform for sequence-specific control of gene expression," Cell, vol. 152, no. 5, pp. 1173-1183, 2013.
19. D. Bikard et al., "Programmable repression and activation of bacterial gene expression using an engineered crispr-cas system," Nucleic Acids Res., vol. 41, no. 15, pp. 7429-7437, 2013.
20. A. A. Nielsen and C. A. Voigt, "Multi-input crispr/cas genetic circuits that interface host regulatory networks," Mol. Syst. Biol., vol. 10, no. 11, 2014.
21. J. J. Lohmueller, T. Z. Armel, and P. A. Silver, "A tunable zinc finger-based framework for boolean logic computation in mammalian cells," Nucleic Acids Res., vol. 40, no. 11, pp. 5180-5187, 2012.
22. F. Lienert et al., "Two-and three-input tale-based and logic computation in embryonic stem cells," Nucleic Acids Res., vol. 41, no. 21, pp. 9967-9975, 2013.
23. J. Chappell, M. K. Takahashi, and J. B. Lucks, "Creating small transcription activating rnas," Nat. Chem. Biol, 2015.
24. A. A. Green, P. A. Silver, J. J. Collins, and P. Yin, "Toehold switches: De-novo-designed regulators of gene expression," Cell, vol. 159, no. 4, pp. 925-939, 2014.
25. J. Beal, R. Weiss, F. Yaman, N. Davidsohn, and A. Adler, "A method for fast, high-precision characterization of synthetic biology devices," MIT, Cambridge, MA, USA, Tech. Rep. MIT-CSAIL-TR-2012-008, 2012.
26. J. R. Kelly et al., "Measuring the activity of biobrick promoters using an in vivo reference standard," J. Biol. Eng., vol. 3, no. 1, p. 4, 2009.
27. T. S. Gardner, C. R. Cantor, and J. J. Collins, "Construction of a genetic toggle switch in Escherichia coli," Nature, vol. 403, pp. 339-342, Jan. 2000.
28. A. E. Friedland et al., "Synthetic gene networks that count," Science, vol. 324, no. 5931, pp. 1199-1202, 2009.
29. R. Daniel, J. R. Rubens, R. Sarpeshkar, and T. K. Lu, "Synthetic analog computation in living cells," Nature, vol. 497, no. 7451, pp. 619-623, 2013.
30. R. Sarpeshkar, "Analog synthetic biology," Philos. T. R. Soc. A., vol. 372, no. 2012, p. 20130110, 2014.
31. R. E. Bryant, "Graph-based algorithms for boolean function manipulation," IEEE Trans. Comput., vol. C-35, no. 8, pp. 677-691, Aug. 1986.
32. IEEE Standard for Verilog Register Transfer Level Synthesis, IEEE Std 1364.1-2002, 2002.
33. P. P. Chu, RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, Scalability. New York, NY, USA: Wiley-IEEE Press, 2006.
34. K. H. Rosen, Discrete Mathematics and Its Applications. New York, NY, USA: WCB/McGraw-Hill, 1999.
35. J. C. Lagarias and A. Odlyzko, "Solving low-density subset sum problems," J. ACM, vol. 32, no. 1, pp. 229-246, 1985.
36. Y. Gendrault, M. Madec, C. Lallement, and J. Haiech, "Modeling biology with hdl languages: A first step toward a genetic design automation tool inspired from microelectronics," IEEE Trans. Bio-Med. Eng., vol. 61, no. 4, pp. 1231-1240, Apr. 2014.
37. M. Pedersen and A. Phillips, "Towards programming languages for genetic engineering of living cells," J. Roy. Soc. Interface, vol. 6, no. Suppl. 4, pp. S437-S450, 2009.
38. J. Beal, T. Lu, and R. Weiss, "Automatic compilation from high-level biologically-oriented programming language to genetic regulatory networks," PLoS ONE, vol. 6, 2011.
39. N. Roehner et al., "Proposed data model for the next version of the Synthetic Biology Open Language," ACS Synth. Biol., vol. 4, pp. 57-71, 2015.
40. M. Hucka et al., "The Systems Biology Markup Language (SBML): A medium for representation and exchange of biochemical network models," Bioinformatics, vol. 19, no. 4, pp. 524-531, 2003.
41. M. Ginkel, A. Kremling, T. Nutsch, R. Rehner, and E. D. Gilles, "Modular modeling of cellular systems with ProMoT/Diva," Bioinformatics, vol. 19, pp. 1169-1176, 2003.
42. M. Pedersen and G. D. Plotkin, "A language for biochemical systems: Design and formal specification," Proc. CMSB, pp. 77-145, 2010.
43. V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, "Rule-based modelling, symmetries, refinements," in Formal Methods in Systems Biology. Berlin, Germany: Springer-Verlag, 2008, pp. 103-122.
44. R. Brayton and A. Mishchenko, "Abc: An academic industrial-strength verification tool," Comput.-Aided Verification, LNCS Comput. Sci., pp. 24-40, 2010.
45. T. Miyamoto, S. Razavi, R. DeRose, and T. Inoue, "Synthesizing biomolecule-based boolean logic gates," ACS Synth. Biol., vol. 2, no. 2, pp. 72-82, 2012.
46. P. Siuti, J. Yazbek, and T. K. Lu, "Synthetic circuits integrating logic and memory in living cells," Nat. Biotechnol., vol. 31, pp. 448-452, May 2013.
47. D. L. Shis and M. R. Bennett, "Library of synthetic transcriptional and gates built with split t7 rna polymerase mutants," PNAS, vol. 110, no. 13, pp. 5028-5033, 2013.
48. J. Goler, "BioJADE: A design and simulation tools for synthetic biological systems," master's thesis, MIT, Cambridge, MA, USA, 2004.
49. G. Rodrigo and A. Jaramillo, "AutoBioCAD: Full biodesign automation of genetic circuits," ACS Synth. Biol., vol. 2, no. 5, pp. 230-236, 2013.
50. M. S. Daika and C. D. Maranas, "OptCircuit: An optimization based method for computational design of genetic circuits," BMC Syst. Biol., vol. 2, no. 24, 2008.
51. J. Beal et al., "An end-to-end workflow for engineering of biological networks from high-level specifications," ACS Synth. Biol., vol. 1, no. 8, pp. 317-331, 2012.
52. L. Huynh, J. Kececioglu, M. Koppe, and I. Tagkopoulos, "Automatic design of synthetic gene circuits through mixed integer non-linear programming," PloS ONE, vol. 7, no. 4, 2012.
53. L. Huynh, A. Tsoukalas, M. Koppe, and I. Tagkopoulos, "SBROME: A scalable optimization and module matching framework for automated biosystems design," ACS Synth. Biol., vol. 2, no. 5, pp. 1073-1089, 2013.
54. L. Huynh and I. Tagkopoulos, "Optimal part and module selection for synthetic gene circuit design automation," ACS Synth. Biol., vol. 3, no. 8, pp. 556-564, 2014.
55. N. Roehner and C. J. Myers, "Directed acyclic graph-based technology mapping of genetic circuit models," ACS Synth. Biol., vol. 3, no. 8, pp. 543-555, 2014.
56. M. A. Marchisio, "Parts & Pools: A framework for modular design of synthetic gene circuits," Front Bioeng. Biotechnol., vol. 2, no. 42, 2014.
57. S. M. Laursen, J. J. Boysen, and J. Madsen, "A top-down approach for genetic logic synthesi.," in Proc. IWBDA Con., Jun. 2014, vol. 1, pp. 62-63.