蓝藻模型的全自动吸引子分析

2018 22nd International Conference on System Theory, Control and Computing (ICSTCC) Pub Date : 2018-10-01 DOI:10.1109/ICSTCC.2018.8540762

Nikola Benes, L. Brim, Samuel Pastva, David Šafránek, Matej Troják, J. Červený, J. Šalagovič

{"title":"蓝藻模型的全自动吸引子分析","authors":"Nikola Benes, L. Brim, Samuel Pastva, David Šafránek, Matej Troják, J. Červený, J. Šalagovič","doi":"10.1109/ICSTCC.2018.8540762","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":308427,"journal":{"name":"2018 22nd International Conference on System Theory, Control and Computing (ICSTCC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Fully Automated Attractor Analysis of Cyanobacteria Models\",\"authors\":\"Nikola Benes, L. Brim, Samuel Pastva, David Šafránek, Matej Troják, J. Červený, J. Šalagovič\",\"doi\":\"10.1109/ICSTCC.2018.8540762\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":308427,\"journal\":{\"name\":\"2018 22nd International Conference on System Theory, Control and Computing (ICSTCC)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 22nd International Conference on System Theory, Control and Computing (ICSTCC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSTCC.2018.8540762\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 22nd International Conference on System Theory, Control and Computing (ICSTCC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSTCC.2018.8540762","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

生物系统中产生的复杂动力学可以用各种吸引子来表征。为此目的，确定吸引子的任务在现代系统分析中变得很重要。生物系统通常形式化为高度参数化的连续时间ODE模型。这样的模型可以抽象为参数化图的形式。在这种抽象中，吸引子以终端强连接分量(tSCCs)的形式被观察到。在本文中，我们展示了一种新的方法来检测参数化图中的tSCCs的几个蓝藻模型取自特定领域的在线平台e-cyanobacterium.org。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2018 22nd International Conference on System Theory, Control and Computing (ICSTCC)

自引率

0.00%

发文量