ČEŠKA, Milan, Frits DANNENBERG, Marta KWIATKOWSKA and Nicola PAOLETTI. Precise Parameter Synthesis for Stochastic Biochemical Systems. In Computational Methods in Systems Biology. Switzerland: Springer International Publishing, 2014, p. 86-98. ISBN 978-3-319-12981-5. Available from: https://dx.doi.org/10.1007/978-3-319-12982-2_7.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Precise Parameter Synthesis for Stochastic Biochemical Systems
Authors ČEŠKA, Milan (203 Czech Republic, guarantor, belonging to the institution), Frits DANNENBERG (528 Netherlands), Marta KWIATKOWSKA (826 United Kingdom of Great Britain and Northern Ireland) and Nicola PAOLETTI (380 Italy).
Edition Switzerland, Computational Methods in Systems Biology, p. 86-98, 13 pp. 2014.
Publisher Springer International Publishing
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Switzerland
Confidentiality degree is not subject to a state or trade secret
Publication form printed version "print"
Impact factor Impact factor: 0.402 in 2005
RIV identification code RIV/00216224:14330/14:00077017
Organization unit Faculty of Informatics
ISBN 978-3-319-12981-5
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-319-12982-2_7
Keywords in English stochastic biochemical systems; parameter synthesis; continuous time Markov chains; model-checking
Tags firank_B
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2015 06:02.
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/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.
PrintDisplayed: 26/4/2024 22:40