License: Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.DNA.2020.5
URN: urn:nbn:de:0030-drops-129583
URL: https://drops.dagstuhl.de/opus/volltexte/2020/12958/
Go to the corresponding LIPIcs Volume Portal


Lathrop, James I. ; Lutz, Jack H. ; Lutz, Robyn R. ; Potter, Hugh D. ; Riley, Matthew R.

Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks

pdf-format:
LIPIcs-DNA-2020-5.pdf (0.6 MB)


Abstract

We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. Moreover, the magnitudes of these thresholds can thwart attempts to use simulation, model checking, or approximation by differential equations to formally verify the behaviors of such systems at realistic populations. We show how formal theorem provers can successfully verify some such systems at populations where other verification methods fail.

BibTeX - Entry

@InProceedings{lathrop_et_al:LIPIcs:2020:12958,
  author =	{James I. Lathrop and Jack H. Lutz and Robyn R. Lutz and Hugh D. Potter and Matthew R. Riley},
  title =	{{Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks}},
  booktitle =	{26th International Conference on DNA Computing and Molecular Programming (DNA 26)},
  pages =	{5:1--5:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-163-4},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{174},
  editor =	{Cody Geary and Matthew J. Patitz},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/12958},
  URN =		{urn:nbn:de:0030-drops-129583},
  doi =		{10.4230/LIPIcs.DNA.2020.5},
  annote =	{Keywords: chemical reaction networks, molecular programming, phase transitions, population protocols, verification}
}

Keywords: chemical reaction networks, molecular programming, phase transitions, population protocols, verification
Collection: 26th International Conference on DNA Computing and Molecular Programming (DNA 26)
Issue Date: 2020
Date of publication: 04.09.2020


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI