A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
The Linear Noise Approximation (LNA) is a continuous approximation of the CME, which improves scalability and is accurate for those reactions satisfying the leap conditions. We formulate a novel stochastic hybrid approximation method for chemical reaction networks based on adaptive partitioning of the species and reactions according to leap conditions into two classes, one solved numerically via the CME and the other using the LNA. The leap criteria are more general than partitioning based on population thresholds, and the method can be combined with any numerical solution of the CME. We then use the hybrid model to derive a fast approximate model checking algorithm for Stochastic Evolution Logic (SEL). Experimental evaluation on several case studies demonstrates that the techniques are able to provide an accurate stochastic characterisation for a large class of systems, especially those presenting dynamical stiffness, resulting in significant improvement of computation time while still maintaining scalability.
- 3.Anderson, D.F., Kurtz, T.G.: Stochastic Analysis of Biochemical Systems. Springer, Heidelberg (2015)Google Scholar
- 4.Arkin, A., Ross, J., McAdams, H.H.: Stochastic kinetic analysis of developmental pathway bifurcation in phage \(\lambda \)-infected escherichia coli cells. Genetics 149(4), 1633–1648 (1998)Google Scholar
- 18.Henzinger, T.A., Mikeev, L., Mateescu, M., Wolf, V.: Hybrid numerical solution of the chemical master equation. In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology, pp. 55–65. ACM (2010)Google Scholar
- 20.Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking, pp. 220–270 (2007)Google Scholar
- 22.Mateescu, M., Wolf, V., Didier, F., Henzinger, T., et al.: Fast adaptive uniformisation of the chemical master equation. IET 4, 441–452 (2010)Google Scholar