DNA walker circuits: computational potential, design, and verification

Natural Computing

Volumn 14, Issue 2, 2015, Pages 195-211

  Dannenberg, Frits ^a   Kwiatkowska, Marta ^a   Thachuk, Chris ^a   Turberfield, Andrew J ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Boolean circuits; Computer aided design (CAD); DNA computing; DNA walkers; Probabilistic model checking

Indexed keywords

DNA; FUNCTION EVALUATION; MODEL CHECKING; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

BOOLEAN CIRCUIT; CHEMICAL AND BIOLOGICALS; DISCRETE STOCHASTIC MODELS; DNA STRAND DISPLACEMENTS; DNA-COMPUTING; HYBRIDIZATION REACTIONS; NON-TRIVIAL FUNCTION; PROBABILISTIC MODEL CHECKING;

COMPUTER AIDED DESIGN;

ACCURACY; ANALYTICAL ERROR; ARTICLE; BIOSENSOR; COMPUTER AIDED DESIGN; COMPUTER INTERFACE; COMPUTER SYSTEM; DNA WALKER CIRCUIT; EXPERIMENTAL STUDY; INFORMATION SCIENCE; MATHEMATICAL COMPUTING; NANOTECHNOLOGY; PROBABILITY; RELIABILITY; STOCHASTIC MODEL; VALIDATION PROCESS;

EID: 84929952150     PISSN: 15677818     EISSN: 15729796     Source Type: Journal    
DOI: 10.1007/s11047-014-9426-9     Document Type: Article

References (27)

1. Aziz A, Sanwa K, Singhal V, Brayton R (2006) Verifying continuous time markov chains. Springer, Heidelberg, pp 269–276
2. Baier C, Haverkort B, Hermanns H, Katoen J (2003) Model-checking algorithms for continuous-time markov chains. IEEE Trans Softw Eng 29:524–541
3. Bath J, Green SJ, Allen KE, Turberfield AJ (2009) Mechanism for a directional, processive, and reversible dna motor. Small 5:1513–1516
4. Bath J, Green SJ, Turberfield AJ (2005) A free-running DNA motor powered by a nicking enzyme. Angewandte Chem 44:4358–4361
5. Bryant RE (1992) Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput Surv 24:293–318
6. Cha TG, Pan J, Chen H, Salgado J, Li X, Mao C, Choi JH (2014) A synthetic DNA motor that transports nanoparticles along carbon nanotubes. Nat nanotechnol 9:39–43
7. Chandran H, Gopalkrishnan N, Phillips A, Reif J (2011) Localized hybridization circuits. DNA Comput Mol Program 6937:64–83
8. Dannenberg F, Hahn EM, Kwiatkowska M (2013) Computing cumulative rewards using fast adaptive uniformisation. In: Proceedings of the 11th conference on computational methods in systems biology (CMSB’13)
9. Green S, Bath J, Turberfield A (2008) Coordinated chemomechanical cycles: a mechanism for autonomous molecular motion. Phys Rev Lett 101:238101
10. Hérault T, Lassaigne R, Magniette F, Peyronnet S (2004) Approximate probabilistic model checking. In: Steffen B, Levi G. (eds.) VMCAI. Lecture Notes in Computer Science, vol 2937. Springer, Heidelberg, pp 73–84
11. Kary RM (1972) Reducibility among combinatorial problems. Springer, Tbilisi
12. Kwiatkowska M, Norman G, Parker D (2007) Stochastic model checking. In: Bernardo M, Hillston J. (eds.) Formal methods for the design of Computer, Communication and Software Systems: Performance Evaluation (SFM’07). LNCS (Tutorial Volume), vol 4486. Springer, Berlin, pp 220–270
13. Kwiatkowska M, Norman G, Parker D (2010) Symbolic systems biology. Probabilistic model checking for systems biology. Jones and Bartlett, Sudbury, pp 31–59
14. Kwiatkowska M, Norman G, Parker D (2011) PRISM 4.0: Verification of probabilistic real-time systems. Compu Aided Verif 6806:585–591
15. Muscat RA, Bath J, Turberfield AJ (2011) A programmable molecular robot. Nano Letters 11:982–987
16. Muscat RA, Bath J, Turberfield AJ (2012) Small molecule signals that direct the route of a molecular cargo. Small 8:3593–3597
17. Omabegho T, Sha R, Seeman NC (2009) A bipedal DNA Brownian motor with coordinated legs. Science 324:67–71
18. Qian L, Soloveichik D, Winfree E (2010) Efficient Turing-universal computation with DNA polymers. DNA Comput Mol Program 6518:123–140
19. Qian L, Winfree E (2011) Scaling up digital circuit computation with DNA strand displacement cascades. Science 332:1196–1201
20. Seelig G, Soloveichik D, Zhang D, Winfree E (2006) Enzyme-free nucleic acid logic circuits. Science 314:1585–1588
21. Semenov O, Olah MJ, Stefanovic D (2011) Mechanism of diffusive transport in molecular spider models. Phys Rev E 83:021117
22. von Neumann J (1956) Probabilistic logics and synthesis of reliable organisms from unreliable components. In: Shannon C, McCarthy J (eds) Automata studies. Princeton University Press, Princeton, pp 43–98
23. Wagner K (1937) Über eine Eigenschaft der ebenen Komplexe. Mathematische Annalen 114:570–590
24. Wickham SFJ, Bath J, Katsuda Y, Endo M, Hidaka K, Sugiyama H, Turberfield AJ (2012) A DNA-based molecular motor that can navigate a network of tracks. Nat Nanotechnol 7:169–173
25. Wickham SFJ, Endo M, Katsuda Y, Hidaka K, Bath J, Sugiyama H, Turberfield AJ (2011) Direct observation of stepwise movement of a synthetic molecular transporter. Nat Nanotechnol 6:166–169
26. Yin P, Yan H, Daniell XG, Turberfield AJ, Reif JH (2004) A unidirectional DNA walker that moves autonomously along a track. Angewandte Chem Int Ed 43:4906–4911
27. Zhang DY, Winfree E (2009) Control of DNA strand displacement kinetics using toehold exchange. J Am Chem Soc 131:17303–17314