A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

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. 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.
Fichier principal
Vignette du fichier
ijcai15_picard_et_al.pdf (201.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01196598 , version 1 (10-09-2015)

Identifiants

  • HAL Id : hal-01196598 , version 1

Citer

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⟩
259 Consultations
126 Téléchargements

Partager

Gmail Facebook X LinkedIn More