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

Autor:	Lathrop, James I., Lutz, Jack H., Lutz, Robyn R., Potter, Hugh D., Riley, Matthew R.
Rok vydání:	2019
Předmět:	Computer Science - Emerging Technologies Quantitative Biology - Molecular Networks
Druh dokumentu:	Working Paper
Popis:	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. Comment: 30 pages, 3 figures
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1909.05390 Zobrazit plný text záznamu View this record from Arxiv