A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Precise Parameter Synthesis for Stochastic Biochemical Systems
[chapter]
2014
Lecture Notes in Computer Science
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
doi:10.1007/978-3-319-12982-2_7
fatcat:xjdrq4ibszb6vdhkhinrn4iutu