Fully Automated Attractor Analysis of Cyanobacteria Models

• Authors: BENEŠ Nikola; BRIM Luboš; ČERVENÝ Jan; PASTVA Samuel; ŠAFRÁNEK David; ŠALAGOVIČ Jakub; TROJÁK Matej
• Year of publication: 2018
• Type: Article in Proceedings
• Conference: 22nd International Conference on System Theory, Control and Computing
• MU Faculty or unit: Faculty of Informatics
• Web: https://ieeexplore.ieee.org/document/8540762
• Doi: http://dx.doi.org/10.1109/ICSTCC.2018.8540762
• Keywords: attractors; parametrised graph; terminal strongly connected components; cyanobacteria
• Description: 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 demon- strate a novel method for detecting tSCCs in parametrised graphs on several models of cyanobacteria taken from the domain- specific online platform e-cyanobacterium.org.

Related projects

• The national infrastructure C4SYS - Centre for Systems Biology
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII.
• Diskrétní bifurkační analýza reaktivních systémů