Access the full text.
Sign up today, get DeepDyve free for 14 days.
C Belta, L Habets (2006)
Controlling a class of nonlinear systems on rectanglesIEEE Trans Autom Control, 51
P Billingsley (2008)
Probability and Measure
C Baier, B Haverkort, H Hermanns, J Katoen (2003)
Model-checking algorithms for continuous-time Markov chainsIEEE Trans Softw Eng, 29
R Courant, F John (2012)
Introduction to Calculus and Analysis
G Batt, B Yordanov, R Weiss, C Belta (2007)
Robustness analysis and tuning of synthetic gene networksBioinformatics, 23
F Dannenberg, M Kwiatkowska, C Thachuk, A Turberfield (2014)
DNA walker circuits: computational potential, design, and verificationNat. Comput., 14
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.
Acta Informatica – Springer Journals
Published: Mar 28, 2016
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.