Timed modelling of gene networks with arbitrarily precise expression discretization

S. Van Goethem, J. M. Jacquet, L. Brim, D. Šafránek

Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs


In this paper, a novel approach to discrete modeling of gene regulatory networks is presented. The approach is based on timed automata and is new in: (i) reflecting discrete abstraction of gene expression with arbitrary granularity, (ii) combining boolean logic with approximation of Hill kinetics. This is achieved by introducing delays that change dynamically with respect to current activity levels of regulating genes. The approach is implemented in UPPAAL and evaluated on benchmark models and on a biological case study.

langue originaleAnglais
Pages (de - à)67-81
Nombre de pages15
journalElectronic Notes in Theoretical Computer Science
Les DOIs
Etat de la publicationPublié - 11 mars 2013

Empreinte digitale

Examiner les sujets de recherche de « Timed modelling of gene networks with arbitrarily precise expression discretization ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation