[CDKP14] Milan Ceska, Frits Dannenberg, Marta Kwiatkowska and Nicola Paoletti. Precise Parameter Synthesis for Stochastic Biochemical Systems. In Proc. 12th International Conference on Computational Methods in Systems Biology (CMSB'14), volume 8859 of LNCS/LNBI, pages 86-98, Springer. November 2014. [pdf] [bib] [Proposes parameter synthesis techniques for CSL properties on stochastic biochemical networks, to implemented in PRISM.]
Downloads:  pdf pdf (1.1 MB)  bib bib
Notes: See [CDKP14b] for an extended version. The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]
Abstract. We consider the problem of synthesising rate parameters for stochastic biochemical networks so that a given CSL time-bounded property is guaranteed to hold, or, in the case of quantitative properties, the probability of satisfying the property is maximised/minimised. We develop algorithms based on the computation of lower and upper bounds of the probability, in conjunction with refinement and sampling, which yield answers that are precise to within an arbitrarily small tolerance value. Our methods are efficient and improve on existing approximate techniques that employ discretisation and refinement. We evaluate the usefulness of the methods by synthesising rates for two biologically motivated case studies, including the reliability analysis of a DNA walker.