Journal article icon

Journal article

Precise parameter synthesis for stochastic biochemical systems

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 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 ...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Dannenberg, F More by this author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
European Research Council More from this funder
Publisher:
Springer Publisher's website
Journal:
Acta Informatica Journal website
Publication date:
2016-03-05
ISSN:
1432-0525
URN:
uuid:48f7c952-54d6-4354-a648-8caee8a01399
Source identifiers:
612802
Local pid:
pubs:612802

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP