Fully Automated Attractor Analysis of Cyanobacteria Models

Complex dynamics arising in biological systems can be characterised by various kinds of attractors. To that end, the task of determining attractors becomes important in modern systems analysis. Biological systems are typically formalised as highly parametrised continuous-time ODE models. Such models can be abstracted in the form of parametrised graphs. In such abstractions, attractors are observed in the form of terminal strongly connected components (tSCCs). In this paper, we demonstrate a novel method for detecting tSCCs in parametrised graphs on several models of cyanobacteria taken from the domain-specific online platform e-cyanobacterium.org.