Skip to Main content Skip to Navigation
Conference papers

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

Vincent Picard 1, * Anne Siegel 1 Jérémie Bourdon 2
* Corresponding author
1 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : Designing probabilistic reaction models and determining their stochastic kinetic parameters are major issues in systems biology. In order to assist in the construction of reaction network models, we introduce a logic that allows one to express asymp-totic properties about the steady-state stochastic dynamics of a reaction network. Basically, the formulas can express properties on expectancies, variances and co-variances. If a formula encoding for experimental observations on the system is not sat-isfiable then the reaction network model can be rejected. We demonstrate that deciding the satisfi-ability 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-01196598
Contributor : Anne Siegel <>
Submitted on : Thursday, September 10, 2015 - 10:39:07 AM
Last modification on : Friday, July 10, 2020 - 4:03:01 PM
Long-term archiving on: : Monday, December 28, 2015 - 11:43:18 PM

File

ijcai15_picard_et_al.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01196598, version 1

Citation

Vincent Picard, Anne Siegel, Jérémie Bourdon. A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks. IJCAI workshop BAI: Bioinformatics and Artificial Intelligence, 2015, Buenos Aeres, Argentina. ⟨hal-01196598⟩

Share

Metrics

Record views

541

Files downloads

242