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

Vincent Picard 1, * Anne Siegel 1 Jérémie Bourdon 2
* Auteur correspondant
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.
Type de document :
Communication dans un congrès
IJCAI workshop BAI: Bioinformatics and Artificial Intelligence, 2015, Buenos Aeres, Argentina. CEUR-WS, 2015, IJCAI-workshop BAI: Bioinformatics and Artificial Intelligence. 〈http://bioinfo.uqam.ca/IJCAI_BAI2015/index.php?action=home〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01196598
Contributeur : Anne Siegel <>
Soumis le : jeudi 10 septembre 2015 - 10:39:07
Dernière modification le : mardi 16 janvier 2018 - 15:54:19
Document(s) archivé(s) le : lundi 28 décembre 2015 - 23:43:18

Fichier

ijcai15_picard_et_al.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. CEUR-WS, 2015, IJCAI-workshop BAI: Bioinformatics and Artificial Intelligence. 〈http://bioinfo.uqam.ca/IJCAI_BAI2015/index.php?action=home〉. 〈hal-01196598〉

Partager

Métriques

Consultations de la notice

294

Téléchargements de fichiers

64