Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems

PASTVA, Samuel. Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems. In YR-CONCUR. 2017.

Základní údaje

Originální název

Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems

Název anglicky

Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems

Autoři

PASTVA, Samuel

Vydání

YR-CONCUR, 2017

---

Další údaje

Typ výsledku

Prezentace na konferencích

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Klíčová slova anglicky

systems biology;terminal strongly connected components;parameterised graphs;biological models;parallel algorithms

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

Complex behaviour arising in biological systems is typically characterised by various kinds of attractors. An important problem of such analysis is to determine the attractors. Biological systems are usually described by highly parameterised dynamical models that can be represented as parameterised 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). We introduce a novel method for detecting tSCCs in parameterised graphs. The method is supplied with a parallel algorithm and evaluated on several non-linear biological models.

Anglicky

Complex behaviour arising in biological systems is typically characterised by various kinds of attractors. An important problem of such analysis is to determine the attractors. Biological systems are usually described by highly parameterised dynamical models that can be represented as parameterised 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). We introduce a novel method for detecting tSCCs in parameterised graphs. The method is supplied with a parallel algorithm and evaluated on several non-linear biological models.

---

Návaznosti

GA15-11089S, projekt VaV	Název: Získávání parametrů biologických modelů pomocí techniky ověřování modelů Investor: Grantová agentura ČR, Získávání parametrů biologických modelů pomocí techniky ověřování modelů
LM2015055, projekt VaV	Název: Centrum pro systémovou biologii (Akronym: C4SYS) Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, The national infrastructure C4SYS - Centre for Systems Biology