A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Computational Biology Année : 2017

A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks

Résumé

Designing probabilistic reaction models and determining their stochastic kinetic parameters are major issues in systems biology. To assist in the construction of reaction network models, we introduce a logic that allows one to express asymptotic properties about the steady-state stochastic dynamics of a reaction network. Basically, the formulas can express properties on expectancies, variances, and covariances. If a formula encoding for experimental observa- tions on the system is not satisfiable, then the reaction network model can be rejected. We demonstrate that deciding the satisfiability of a formula is NP-hard, but we provide a decision method based on solving systems of polynomial constraints. We illustrate our method on a toy example.

Dates et versions

hal-01552190 , version 1 (01-07-2017)

Identifiants

Citer

Vincent Picard, Anne Siegel, Jérémie Bourdon. A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks. Journal of Computational Biology, 2017, 24 (8), pp.1--12. ⟨10.1089/cmb.2017.0099⟩. ⟨hal-01552190⟩
459 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More