Informace o publikaci

Detecting Attractors in Biological Models with Uncertain Parameters

Autoři

BRIM Luboš BARNAT Jiří ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

Druh Článek ve sborníku
Konference Computational Methods in Systems Biology. CMSB 2017
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-319-67471-1_3
Obor Informatika
Klíčová slova model checking; systems biology; Computational Tree Logic; dynamical systems; distributed algorithms;
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info