| BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ a David ŠAFRÁNEK. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. 2009, roč. 2009, č. 410, s. 3128-3148, 20 s. ISSN 0304-3975. |
Další formáty:
BibTeX
LaTeX
RIS
@article{824056,
author = {Barnat, Jiří and Brim, Luboš and Černá, Ivana and Dražan, Sven and Fabriková, Jana and Šafránek, David},
article_number = {410},
keywords = {Genetic regulatory network; Piecewise-linear approximation; Model checking},
language = {eng},
issn = {0304-3975},
journal = {Theoretical Computer Science},
title = {On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking},
url = {http://dx.doi.org/10.1016/j.tcs.2009.02.017},
volume = {2009},
year = {2009}
}
TY - JOUR
ID - 824056
AU - Barnat, Jiří - Brim, Luboš - Černá, Ivana - Dražan, Sven - Fabriková, Jana - Šafránek, David
PY - 2009
TI - On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
JF - Theoretical Computer Science
VL - 2009
IS - 410
SP - 3128-3148
EP - 3128-3148
SN - 03043975
KW - Genetic regulatory network
KW - Piecewise-linear approximation
KW - Model checking
UR - http://dx.doi.org/10.1016/j.tcs.2009.02.017
N2 - This paper is focused on the model checking approach for analysis of piecewise-linear deterministic models of genetic regulatory networks. Firstly, the qualitative simulation algorithm of de Jong et.al. that builds the heart of Genetic Network Analyzer (GNA) is revisited and its time complexity is studied in detail. Secondly, a novel algorithm that reduces the state space generation time is introduced. The new algorithm is developed as an abstraction of the original GNA algorithm. Finally, a fragment of linear time temporal logic for which the provided abstraction is conservative is identified. Efficiency of the new algorithm when implemented in the parallel model checking environment is demonstrated on a set of experiments performed on randomly modified biological models. In general, the achieved results bring a new insight into the field of qualitative simulation emerging in the context of systems biology.
ER -
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ a David ŠAFRÁNEK. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. \textit{Theoretical Computer Science}. 2009, roč.~2009, č.~410, s.~3128-3148, 20 s. ISSN~0304-3975.
|
