A Caltech Library Service

Automated sequence-level analysis of kinetics and thermodynamics for domain-level DNA strand-displacement systems

Berleant, Joseph and Berlind, Christopher and Badelt, Stefan and Dannenberg, Frits and Schaeffer, Joseph and Winfree, Erik (2018) Automated sequence-level analysis of kinetics and thermodynamics for domain-level DNA strand-displacement systems. Journal of the Royal Society Interface, 15 (149). Art. No. 20180107. ISSN 1742-5689. doi:10.1098/rsif.2018.0107.

[img] PDF - Published Version
Creative Commons Attribution.

[img] PDF - Supplemental Material
Creative Commons Attribution.


Use this Persistent URL to link to this item:


As an engineering material, DNA is well suited for the construction of biochemical circuits and systems, because it is simple enough that its interactions can be rationally designed using Watson–Crick base pairing rules, yet the design space is remarkably rich. When designing DNA systems, this simplicity permits using functional sections of each strand, called domains, without considering particular nucleotide sequences. However, the actual sequences used may have interactions not predicted at the domain-level abstraction, and new rigorous analysis techniques are needed to determine the extent to which the chosen sequences conform to the system’s domain-level description. We have developed a computational method for verifying sequence-level systems by identifying discrepancies between the domain-level and sequence-level behaviour. This method takes a DNA system, as specified using the domain-level tool Peppercorn, and analyses data from the stochastic sequence-level simulator Multistrand and sequence-level thermodynamic analysis tool NUPACK to estimate important aspects of the system, such as reaction rate constants and secondary structure formation. These techniques, implemented as the Python package KinDA, will allow researchers to predict the kinetic and thermodynamic behaviour of domain-level systems after sequence assignment, as well as to detect violations of the intended behaviour.

Item Type:Article
Related URLs:
URLURL TypeDescription
Berleant, Joseph0000-0001-5672-4292
Winfree, Erik0000-0002-5899-7523
Additional Information:© 2018 The Authors. Published by the Royal Society under the terms of the Creative Commons Attribution License, which permits unrestricted use, provided the original author and source are credited. Manuscript received 11/02/2018; Manuscript accepted 05/11/2018; Published online 19/12/2018; Published in print 12/2018. Data accessibility: This article has no additional data. Authors' contributions: J.B. helped design the analysis framework, helped create the Python implementation, performed data collection and data analysis, and wrote the manuscript; C.B. helped design the analysis framework and helped create the Python implementation; S.B. helped perform data collection and data analysis; F.D. assisted with the Multistrand back-end and rate formula derivations; J.S. helped design the analysis framework and gave guidance during its implementation; E.W. conceived of and designed the framework, helped with its implementation, and helped perform data collection and data analysis. All authors helped draft the manuscript and gave final approval for publication. We declare that we have no competing interests. This research was funded by NSF grant nos. CCF/HCC-1213127, CHE/CCF-1643606 and CCF-1317694 (the Expedition in Computing on ‘Molecular Programming Architectures, Abstractions, Algorithms, and Applications’) and by the Gordon and Betty Moore Foundation through grant no. GBMF2809 to the Caltech Programmable Molecular Technology Initiative. Funding for J.B. was in part provided by the NSF grant no. CCF-1564025 to Mark Bathe and by an NSF Graduate Research Fellowship. Funding for S.B. was in part provided by a postdoctoral fellowship from the Caltech Biology and Biological Engineering Division. The authors appreciate discussion and guidance from Niranjan Srinivas and Chris Thachuk.
Funding AgencyGrant Number
Gordon and Betty Moore FoundationGBMF2809
NSF Graduate Research FellowshipUNSPECIFIED
Caltech Division of Biology and Biological EngineeringUNSPECIFIED
Subject Keywords:DNA strand displacement, formal verification, nucleic acid secondary structure, kinetics, thermodynamics
Issue or Number:149
Record Number:CaltechAUTHORS:20190213-154533494
Persistent URL:
Official Citation:Berleant J, Berlind C, Badelt S, Dannenberg F, Schaeffer J, Winfree E. 2018 Automated sequence-level analysis of kinetics and thermodynamics for domain-level DNA strand-displacement systems. J. R. Soc. Interface 15: 20180107.
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:92906
Deposited By: Tony Diaz
Deposited On:14 Feb 2019 17:46
Last Modified:16 Nov 2021 16:54

Repository Staff Only: item control page