Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Abstract modelling of tethered DNA circuits

Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, and Andrew Phillips

Abstract

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.

Details

Publication typeArticle
Published inInternational Conference on DNA Computing and Molecular Programming
PublisherSpringer
> Publications > Abstract modelling of tethered DNA circuits