Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Precise parameter synthesis for stochastic biochemical systems

Precise parameter synthesis for stochastic biochemical systems We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised or minimised. Our method is based on extending CSL model checking and standard uniformisation to parametric models, in order to compute safe bounds on the satisfaction probability of the property. We develop synthesis algorithms that yield answers that are precise to within an arbitrarily small tolerance value. The algorithms combine the computation of probability bounds with the refinement and sampling of the parameter space. Our methods are precise and efficient, and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for three biologically motivated case studies: infection control for a SIR epidemic model; reliability analysis of molecular computation by a DNA walker; and bistability in the gene regulation of the mammalian cell cycle. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Acta Informatica Springer Journals

Precise parameter synthesis for stochastic biochemical systems

Loading next page...
 
/lp/springer_journal/precise-parameter-synthesis-for-stochastic-biochemical-systems-Jd6I3TLqXH

References (6)

Publisher
Springer Journals
Copyright
Copyright © 2016 by Springer-Verlag Berlin Heidelberg
Subject
Computer Science; Logics and Meanings of Programs; Computer Systems Organization and Communication Networks; Software Engineering/Programming and Operating Systems; Data Structures, Cryptology and Information Theory; Theory of Computation; Information Systems and Communication Service
ISSN
0001-5903
eISSN
1432-0525
DOI
10.1007/s00236-016-0265-2
Publisher site
See Article on Publisher Site

Abstract

We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised or minimised. Our method is based on extending CSL model checking and standard uniformisation to parametric models, in order to compute safe bounds on the satisfaction probability of the property. We develop synthesis algorithms that yield answers that are precise to within an arbitrarily small tolerance value. The algorithms combine the computation of probability bounds with the refinement and sampling of the parameter space. Our methods are precise and efficient, and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for three biologically motivated case studies: infection control for a SIR epidemic model; reliability analysis of molecular computation by a DNA walker; and bistability in the gene regulation of the mammalian cell cycle.

Journal

Acta InformaticaSpringer Journals

Published: Mar 28, 2016

There are no references for this article.