Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems

Logo poskytovatele
Autoři

PASTVA Samuel

Rok publikování 2017
Druh Další prezentace na konferencích
Citace
Popis 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.
Související projekty:

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