Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1387860,
author = {Brim, Luboš and Barnat, Jiří and Šafránek, David and Beneš, Nikola and Demko, Martin and Pastva, Samuel and Hajnal, Matej},
address = {Cham},
booktitle = {Computational Methods in Systems Biology. CMSB 2017},
doi = {http://dx.doi.org/10.1007/978-3-319-67471-1_3},
edition = {LNCS 10545},
editor = {Jérôme Feret and Heinz Koeppl},
keywords = {model checking; systems biology; Computational Tree Logic; dynamical systems; distributed algorithms;},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Cham},
isbn = {978-3-319-67470-4},
pages = {40-56},
publisher = {Springer International Publishing},
title = {Detecting Attractors in Biological Models with Uncertain Parameters},
year = {2017}
}
TY - JOUR
ID - 1387860
AU - Brim, Luboš - Barnat, Jiří - Šafránek, David - Beneš, Nikola - Demko, Martin - Pastva, Samuel - Hajnal, Matej
PY - 2017
TI - Detecting Attractors in Biological Models with Uncertain Parameters
PB - Springer International Publishing
CY - Cham
SN - 9783319674704
KW - model checking
KW - systems biology
KW - Computational Tree Logic
KW - dynamical systems
KW - distributed algorithms;
N2 - Complex behaviour arising in biological systems is typically characterised by various kinds of attractors. An important problem in this area is to determine these attractors. Biological systems are usually described by highly parametrised dynamical models that can be represented as parametrised graphs typically constructed as discrete abstractions of continuous-time models. In such models, attractors are observed in the form of terminal strongly connected components (tSCCs). In this paper, we introduce a novel method for detecting tSCCs in parametrised graphs. The method is supplied with a parallel algorithm and evaluated on discrete abstractions of several non-linear biological models.
ER -
BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a Matej HAJNAL. Detecting Attractors in Biological Models with Uncertain Parameters. In Jérôme Feret and Heinz Koeppl. \textit{Computational Methods in Systems Biology. CMSB 2017}. LNCS 10545. Cham: Springer International Publishing. s.~40-56. ISBN~978-3-319-67470-4. doi:10.1007/978-3-319-67471-1\_{}3. 2017.
|
