Precise Parameter Synthesis for Stochastic Biochemical Systems ( Technical Report )
نویسندگان
چکیده
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 e cient 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.
منابع مشابه
Mapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)
CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...
متن کاملOn Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking
This report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the general definition of robustness introduced by Kitano to the class of stochastic systems modelled as continuous time Markov Chains in order to extensively analyse and compare robustness of biological models with uncerta...
متن کاملPRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
In this paper we present PRISM-PSY, a novel tool that performs precise GPU-accelerated parameter synthesis for continuous-time Markov chains and time-bounded temporal logic specifications. We redesign, in terms of matrix-vector operations, the recently formulated algorithms for precise parameter synthesis in order to enable effective dataparallel processing, which results in significant acceler...
متن کاملTechnical performance evaluation of ERP packages with two-stage DEA approach
Enterprise resources planning (ERP) systems attract many attentions from industry sector because of their ability to facilitate and integrate the enterprise operations. However, many expenses accompany the implementation of these systems and consecutive changes which doing a precise and comprehensive performance evaluation a necessary part of this process. These evaluations should consider oper...
متن کاملParameter estimation for stochastic models of biochemical reactions
Parameter estimation is very important for the analysis of models in systems biology. Computational modeling is a central approach in systems biology, for studying increasingly complex biochemical systems. Progress in experimental techniques, e.g. the possibility to measure small numbers of molecules in single cells [1], highlights the need for stochastic modeling approaches. Simulation methods...
متن کامل