A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks.
J Comput Biol
; 24(8): 734-745, 2017 Aug.
Article
en En
| MEDLINE
| ID: mdl-28686462
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 observations 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.
Palabras clave
Texto completo:
1
Colección:
01-internacional
Base de datos:
MEDLINE
Asunto principal:
Algoritmos
/
Modelos Estadísticos
/
Biología de Sistemas
/
Redes y Vías Metabólicas
Tipo de estudio:
Prognostic_studies
/
Risk_factors_studies
Límite:
Humans
Idioma:
En
Revista:
J Comput Biol
Asunto de la revista:
BIOLOGIA MOLECULAR
/
INFORMATICA MEDICA
Año:
2017
Tipo del documento:
Article
País de afiliación:
Francia
Pais de publicación:
Estados Unidos