Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Açık Bilim Politikası
Açık Bilim Politikası
Frequently Asked Questions
Frequently Asked Questions
Browse
Browse
By Issue Date
By Issue Date
Authors
Authors
Titles
Titles
Subjects
Subjects
Communities & Collections
Communities & Collections
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
3
views
0
downloads
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
DOI
https://doi.org/10.1109/cdc.2013.6760513
Collections
Department of Computer Engineering, Conference / Seminar