A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation

Abstract

In the last decades, logical or discrete models have emerged as a successful paradigm for capturing and predicting the behaviors of systems of molecular interactions. Intuitively, they consist in sampling the abundance of each kind of biochemical entity within finite sets of intervals and deriving transitions accordingly. On one hand, formallyproven sound derivation from more precise descriptions (such as from reaction networks) may include many fictitious behaviors. On the other hand, direct modeling usually favors dominant interactions with no guarantee on the behaviors that are neglected. In this paper, we formalize a sound coarse-graining approach for stochastic reaction networks. Its originality relies on two main ingredients. Firstly, we abstract values by intervals that overlap in order to introduce a minimal effort for the system to go back to the previous interval, hence limiting fictitious oscillations in the coarse-grained models. Secondly, we compute for pairs of transitions (in the coarse-grained model) bounds on the probabilities on which one will occur first. We illustrate our ideas on two case studies and demonstrate how techniques from Abstract Interpretation can be used to design more precise discretization methods, while providing a framework to further investigate the underlying structure of logical and discrete models.
Fichier principal
Vignette du fichier
paper_7087.pdf (736.37 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03886237 , version 1 (06-12-2022)

Identifiers

  • HAL Id : hal-03886237 , version 1

Cite

Jérôme Feret, Albin Salazar. A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation. VMCAI 2023 - 24th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2023, Boston, United States. ⟨hal-03886237⟩
62 View
127 Download

Share

Gmail Mastodon Facebook X LinkedIn More