A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation

Conference item

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.

Authors: Cardelli, L; Kwiatkowska, M; Laurenti, L

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: Springer Verlag
• Host title: Lecture Notes in Computer Science
• Journal: Lecture Notes in Computer Science
• Volume: 9859
• Pages: 147-167
• Series: Computational Methods in Systems Biology
• Publication date: 2016-09-04
• DOI: 10.1007/978-3-319-45177-0_10
• ISSN: 1611-3349, 0302-9743
• ISBN: 9783319451763
• Keywords: FFR