Directed acyclic graph-based technology mapping of genetic circuit models

ACS Synthetic Biology

Volumn 3, Issue 8, 2014, Pages 543-555

  Roehner, Nicholas ^a   Myers, Chris J ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

genetic design automation; iBioSim; part selection; SBML; SBOL; technology mapping

Indexed keywords

ARTICLE; AUTOMATION; DIRECTED ACYCLIC GRAPH; GENE FUNCTION; GENE LIBRARY; GENE MAPPING; GENE STRUCTURE; GENETIC ALGORITHM; GENETIC CIRCUIT MODEL; GENETIC DESIGN AUTOMATION; GENETIC ENGINEERING; GENETIC MODEL; MOLECULAR ELECTRONICS; PRIORITY JOURNAL; ALGORITHM; BIOLOGICAL MODEL; COMPUTER GRAPHICS; PROCEDURES; SYNTHETIC BIOLOGY;

ALGORITHMS; COMPUTER GRAPHICS; GENE LIBRARY; MODELS, GENETIC; SYNTHETIC BIOLOGY;

EID: 84906270297     PISSN: None     EISSN: 21615063     Source Type: Journal    
DOI: 10.1021/sb400135t     Document Type: Article

References (39)

1. Endy, D. (2005) Foundations for engineering biology Nature 438, 449-453
2. Arkin, A. (2008) Setting the standard in synthetic biology Nat. Biotechnol. 26, 771-774
3. Cooling, M. T., Rouilly, V., Misirli, G., Lawson, J., Yu, T., Hallinan, J., and Wipat, A. (2010) Standard Virtual Biological Parts: A repository of modular modeling components for synthetic biology Bioinformatics 26, 925-931
4. Misirli, G., Halliman, J. S., Yu, T., Lawson, J. R., Wimalaratne, S. M., Cooling, M. T., and Wipat, A. (2011) Model annotation for synthetic biology: Automating model to nucleotide sequence conversion Bioinformatics 27, 973-979
5. Roehner, N. and Myers, C. J. (2013) A methodology to annotate systems biology markup language models with the synthetic biology open language ACS Synth. Biol. 10.1021/sb400066m
6. Keutzer, K. (1987) DAGON: Technology binding and local optimization by DAG matching Proceedings of the 24th ACM/IEEE Design Automation Conference 341-347
7. Myers, C. J., Barker, N., Jones, K., Kuwahara, H., Madsen, C., and Nguyen, N.-P. D. (2009) iBioSim: A tool for the analysis and design of genetic circuits Bioinformatics 25, 2848-2849
8. Madsen, C., Myers, C., Patterson, T., Roehner, N., Stevens, J., and Winstead, C. (2012) Design and test of genetic circuits using iBioSim IEEE Design Test 29, 32-39
9. Buchler, N. E., Gerland, U., and Hwa, T. (2003) On schemes of combinatorial transcription logic Proc. Natl. Acad. Sci. U.S.A. 100, 5136-5141
10. Wang, B., Kitney, R. I., Joly, N., and Buck, M. (2013) Engineering modular and orthogonal genetic logic gates for robust digital-like synthetic biology Nat. Commun. 2, 508
11. Tamsir, A., Tabor, J. J., and Voigt, C. A. (2011) Robust multicellular computing using genetically encoded NOR gates and chemical 'wires' Nature 469, 212-215
12. Guet, C. C., Elowitz, M. B., Hsing, W., and Leibler, S. (2002) Combinatorial synthesis of genetic networks Science 296, 1466-1470
13. Chaouiya, C. (2008) Qualitative modeling of biological regulatory networks combining a logical multi-valued formalism and Petri nets 9th International Workshop on Discrete Event Systems (WODES) 263-268
14. Batt, G., Ropers, D., Jong, H., Geiselmann, J., Page, M., and Schneider, D. (2005) Qualitative analysis and verification of hybrid models of genetic regulatory networks: nutritional stress response in Escherichia coli. In Hybrid Systems: Computation and Control (Morari, M. and Thiele, L., Ed.), pp 134-150, Springer, Berlin Heidelberg.
15. Fromentin, J., Eveillard, D., and Roux, O. (2010) Hybrid modeling of biological networks: Mixing temporal and qualitative biological properties BMC Syst. Biol. 4, 79
16. Clewley, R. (2012) Hybrid models and biological model reduction with PyDSTool PLoS Comput. Biol. 10.1038/msb4100173
17. Anderson, J. C., Voigt, C. A., and Arkin, A. P. (2007) Environmental signal integration by a modular AND gate Mol. Syst. Biol. 10.1038/msb4100173
18. Tabor, J. J., Salis, H. M., Simpson, Z. B., Chevalier, A. A., Levskaya, A., Marcotte, E. M., Voigt, C. A., and Ellington, A. (2009) A synthetic genetic edge detection program Cell 137, 1272-81
19. Salis, H., Tamsir, A., and Voigt, C. (2009) Engineering bacterial signals and sensors Contrib. Microbiol. 16, 194-225
20. Moon, T. S., Clarke, E. J., Groban, E. S., Tamsir, A., Clark, R. M., Eames, M., Kortemme, T., and Voigt, C. A. (2011) Construction of a genetic multiplexer to toggle between chemosensory pathways in Escherichia coli J. Mol. Biol. 406, 215-227
21. Pasotti, L., Quattrocelli, M., Galli, D., Angelis, M. G. D., and Magni, P. (2011) Multiplexing and demultiplexing logic functions for computing signal processing tasks in synthetic biology Biotechnol. J. 6, 784-795
22. Daniel, R., Rubens, J. R., Sarpeshkar, R., and Lu, T. K. (2013) Synthetic analog computation in living cells Nature 497:7451, 619-623
23. Ro, D.-K., Paradise, E. M., Ouellet, M., Fisher, K. J., Newman, K. L., Ndungu, J. M., Ho, K. A., Eachus, R. A., Ham, T. S., Kirby, J., Chang, M. C. Y., Withers, S. T., Shiba, Y., Sarpong, R., and Keasling, J. D. (2006) Production of the antimalarial drug percursor artemisinic acid in engineered yeast Nature 440, 940-943
24. Atsumi, S. and Liao, J. C. (2008) Metabolic engineering for advanced biofuels production from Escherichia coli Curr. Opin. Biotechnol. 19, 414-419
25. Pedersen, M. and Phillips, A. (2009) Towards programming languages for genetic engineering of living cells J. R. Soc. Interface 6, S437-S450
26. Yaman, F., Bhatia, S., Adler, A., Densmore, D., and Beal, J. (2012) Automated selection of synthetic biology parts for genetic regulatory networks ACS Synth. Biol. 1, 332-344
27. Yordanov, B., Appleton, E., Ganguly, R., Gol, E. A., Carr, S. B., Bhatia, S., Haddock, T., Belta, C., and Densmore, D. (2012) Experimentally driven verification of synthetic biological circuits Design, Automation, and Test in Europe Conference and Exhibition (DATE) 236-241
28. Huynh, L., Tsoukalas, A., Koppe, M., and Tagkopoulos, I. (2013) SBROME: A scalable optimization and module matching framework for automated biosystems design ACS Synth. Biol. 2, 1073-1089
29. Hucka, M. 2003, The Systems Biology Markup Language (SBML): A medium for representation and exchange of biochemical network models Bioinformatics 19, 524-531
30. Galdzicki, M. (2012) Synthetic Biology Open Language (SBOL) Version 1.1.0. BBF RFC 87; http://hdl.handle.net/1721.1/73909.
31. Galdzicki, M. (2013) SBOL: A community standard for communicating designs in synthetic biology Figshare 10.6084/m9.figshare.762451
32. Chandran, D., Bergmann, F. T., and Sauro, H. M. (2009) TinkerCell: Modular CAD tool for synthetic biology J. Biol. Eng. 3, 19
33. Czar, M. J., Cai, Y. Z., and Peccoud, J. (2009) Writing DNA with GenoCAD™ Nucleic Acids Res. 37, W40-W47
34. Densmore, D., Van Devender, A., Johnson, M., and Sritanyaratana, N. (2009) A platform-based design environment for synthetic biological systems. The Fifth Richard Tapia Celebration of Diversity in Computing Conference: Intellect, Initiatives, Insight, and Innovations, New York, pp 24-29.
35. Chen, J., Densmore, D., Ham, T. S., Keasling, J. D., and Hillson, N. J. (2012) DeviceEditor visual biological CAD canvas J. Biol. Eng. 6, 1
36. Quinn, J., Beal, J., Bhatia, S., Cai, P., Chen, J., Clancy, K., Hillson, N. J., Galdzicki, M., Maheshwari, A., Umesh, P., Pocock, M., Rodriguez, C., Stan, G.-B., and Endy, D. (2013) Synthetic Biology Open Language Visual (SBOL Visual), Version 1.0.0. BBF RFC 93; http://hdl.handle.net/1721.1/78249.
37. Berners-Lee, T., Fielding, R., and Masinter, L. (2005) Uniform Resource Identifier (URI): Generic Syntax, IETF RFC 3986; The Internet Society; http://tools.ietf.org/html/rfc3986.
38. iGEM Registry. (2003); http://parts.igem.org (accessed 08/24/13).
39. Aho, A. V. and Corasick, M. J. (1975) Efficient string matching: an aid to bibliographic search Commun. ACM 18, 333-340