Data-driven verification of synthetic gene networks

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2013, Pages 4074-4079

  Gol, Ebru Aydin ^a   Densmore, Douglas ^a   Belta, Calin ^a  

^a BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL LANGUAGES; SPECIFICATIONS; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; SYNTHETIC BIOLOGY;

AUTOMATIC CONSTRUCTION; AUTOMATIC DESIGN; AUTOMATIC DESIGN TOOLS; DYNAMIC BEHAVIORS; MISSING FEATURES; PROBABILISTIC VERIFICATION; QUANTITATIVE EVALUATION; SYNTHETIC GENE NETWORK;

GENES;

EID: 84902313321     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2013.6760513     Document Type: Conference Paper

References (18)

1. J. C. Anderson, E. J. Clarke, A. P. Arkin, and C. A. Voigt, "Environmentally Controlled Invasion of Cancer Cells by Engineered Bacteria, " Journal of Molecular Biology, vol. 355, no. 4, pp. 619-627, Jan. 2006.
2. J. R. Kirby, "Synthetic biology: Designer bacteria degrades toxin, " Nature Chemical Biology, vol. 6, no. 6, pp. 398-399, Jun. 2010.
3. S. Atsumi, T. Hanai, and J. C. Liao, "Non-fermentative pathways for synthesis of branched-chain higher alcohols as biofuels, " Nature, vol. 451, pp. 86-89, January 2008.
4. H. Salis, A. Tamsir, and C. Voigt, "Engineering bacterial signals and sensors, " Contrib Microbiol, vol. 16, pp. 194-225, 2009.
5. A. Prindle, P. Samayoa, I. Razinkov, T. Danino, L. S. Tsimring, and J. Hasty, "A sensing array of radically coupled genetic 'biopixels', " Nature, vol. 481, no. 7379, pp. 39-44, Jan 2012.
6. B. Xia, S. Bhatia, B. Bubenheim, M. Dadgar, D. Densmore, and J. Anderson, "Developer's and user's guide to clotho v2.0 a software platform for the creation of synthetic biological systems." Methods Enzymol, vol. 498, 2011.
7. L. Bilitchenko, A. Liu, S. Cheung, E. Weeding, B. Xia, M. Leguia, J. C. Anderson, and D. Densmore, "Eugene-A Domain Specific Language for Specifying and Constraining Synthetic Biological Parts, Devices, and Systems, " PLoS ONE, vol. 6, no. 4, p. e18882, 2011.
8. J. Beal, T. Lu, and R. Weiss, "Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks, " PLoS ONE, vol. 6, no. 8, p. e22490, Aug. 2011.
9. J. Beal, R. Weiss, D. Densmore, A. Adler, E. Appleton, J. Babb, S. Bhatia, N. Davidsohn, T. Haddock, J. Loyall, R. Schantz, V. Vasilev, and F. Yaman, "An end-to-end workflow for engineering of biological networks from high-level specifications, " ACS Synthetic Biology, vol. 1, no. 8, pp. 317-331, 2012.
10. B. Yordanov, E. Appleton, R. Ganguly, E. Gol, S. Carr, S. Bhatia, T. Haddock, C. Belta, and D. Densmore, "Experimentally driven verification of synthetic biological circuits, " in Design, Automation Test in Europe Conference Exhibition (DATE), 2012, pp. 236-241.
11. C. Baier, J.-P. Katoen, and K. G. Larsen, Principles of Model Checking. MIT Press, 2008.
12. M. Kwiatkowska, G. Norman, and D. Parker, "PRISM 4.0: Verification of probabilistic real-time systems, " in Proc. 23rd International Conference on Computer Aided Verification (CAV'11), ser. LNCS, G. Gopalakrishnan and S. Qadeer, Eds., vol. 6806. Springer, 2011, pp. 585-591.
13. A. Abate, J. Katoen, J. Lygeros, and M. Prandini, "Approximate model checking of stochastic hybrid systems, " European Journal of Control, vol. 16, no. 6, pp. 624-641, 2010.
14. H. L. S. Younes and D. J. Musliner, "Probabilistic plan verification through acceptance sampling, " in In AIPS Workshop on Planning via Model Checking. AAAI Press, 2002, pp. 81-88.
15. P. Zuliani, A. Platzer, and E. M. Clarke, "Bayesian statistical model checking with application to Simulink/Stateflow verification, " in HSCC, K. H. Johansson and W. Yi, Eds. ACM, 2010, pp. 243-252.
16. "BioNumbers-the database of key numbers in molecular and cell biology." Nucleic acids research, vol. 38, no. Database issue, pp. D750-D753, Jan. 2010.
17. E. Gasteiger, C. Hgland, A. Gattiker, S. Duvaud, M. R. Wilkins, R. D. Appel, and A. Bairoch, "Protein identification and analysis tools on the expasy server, " March 2005.
18. J. C. Wood, "Fundamental flow cytometer properties governing sensitivity and resolution." Cytometry, vol. 33, no. 2, pp. 260-266, 1998.