Conference item icon

Conference item

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation

Abstract:

We study time-bounded probabilistic reachability for Chemical Reaction Networks (CRNs) using the Linear Noise Approximation (LNA). The LNA approximates the discrete stochastic semantics of a CRN in terms of a continuous space Gaussian process. We consider reachability regions expressed as intersections of finitely many linear inequalities over the species of a CRN. This restriction allows us to derive an abstraction of the original Gaussian process as a time-inhomogeneous discrete-time Markov...

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

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-43425-4_5

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Royal Society More from this funder
Publisher:
Springer Verlag Publisher's website
Journal:
QEST ,6: 13th International Conference on Quantitative Evaluation of SysTems Journal website
Volume:
9826
Pages:
72-88
Host title:
QEST 16: 13th International Conference on Quantitative Evaluation of SysTems
Publication date:
2016-08-03
Acceptance date:
2016-06-04
DOI:
ISSN:
0302-9743
Source identifiers:
626773
ISBN:
9783319434247
Pubs id:
pubs:626773
UUID:
uuid:423c0f20-f90d-4928-9a0a-ce634dfab714
Local pid:
pubs:626773
Deposit date:
2016-06-08

Terms of use


Views and Downloads






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

TO TOP