Abstract Modelling of Tethered DNA Circuits

Autor:	Kathryn E. Gray, Rasmus Lerchedahl Petersen, Matthew R. Lakin, Andrew Phillips
Rok vydání:	2014
Předmět:	chemistry.chemical_compound Traverse chemistry Computer science Distributed computing Encoding (memory) Formal language SIGNAL (programming language) A-DNA Low copy number DNA Electronic circuit
Zdroj:	Lecture Notes in Computer Science ISBN: 9783319112947 DNA
Popis:	Sequence-specific DNA interactions are a powerful means of programming nanoscale locomotion. These systems typically use a DNA track that is tethered to a surface, and molecular interactions enable a signal or cargo to traverse this track. Such low copy number systems are highly amenable to mechanized analyses such as probabilistic model checking, which requires a formal encoding. In this paper we present the first general encoding of tethered DNA species into a formal language, which allows the interactions between tethered species to be derived automatically using standard reaction rules. We apply this encoding to a previously published tethered DNA circuit architecture based on hairpin assembly reactions. This work enables automated analysis of large-scale tethered DNA circuits and, potentially, synthesis of optimized track layouts to implement specific logic functions.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3fb58a4a1091219ae217e4b34c07ec3f https://doi.org/10.1007/978-3-319-11295-4_9 Zobrazit plný text záznamu