Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
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 intersecti...
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
Springer Verlag
2016
|