Data driven verification of synthetic gene networks

Date

2014-03-10

Author

Aydın Göl, Ebru
Densmore, Douglas
Belta, Calin

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

8
views

0
downloads

Cite This

Automatic design of synthetic gene networks with specific functions is an emerging field in synthetic biology. Quantitative evaluation of gene network designs is a missing feature of the existing automatic design tools. In this work, we address this issue and present a framework to probabilistically analyze the dynamic behavior of a gene network against specifications given in a rich and high level language. Given a gene network built from primitive DNA parts, and given experimental data for the parts, the tool proposed here allows for the automatic construction of a stochastic model of the gene network and in silico probabilistic verification against a rich specification.

Subject Keywords

Proteins, Regulators, Radio frequency, Trajectory, Degradation, Probabilistic logic, Model checking

URI

https://hdl.handle.net/11511/48417

Collections

Department of Computer Engineering, Conference / Seminar