Abstract | ||
---|---|---|
In this work we present a compositional approach to qualitatively analyse homeostasis of gene networks. The problem of analysing homeostasis of gene networks is 2EXPTIME-complete in the sizes of the network specifications. Due to this high complexity of the problem, only small networks consisting of a few genes were successfully analysed. Since the analysis of homeostasis of gene networks is based on the technique of realisability checking of Linear Temporal Logic formulae, we can apply a compositional algorithm devised to mitigate the computational difficulty in realisability problems. For this, we develop a clustering algorithm to divide network specifications in suitable sizes to utilise the compositional algorithm. We report the experimental results of analyses of homeostasis of several gene networks with our proposed method. Our experiments show a fair improvement especially in the analyses of larger networks. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1007/978-3-319-94806-5_11 | BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES (BIOSTEC 2017) |
Keywords | Field | DocType |
Gene regulatory network,Systems biology,Homeostasis,Temporal logic,Realisability,Formal method | Data mining,Computer science,Systems biology,Linear temporal logic,Formal methods,Temporal logic,Gene regulatory network,Cluster analysis | Conference |
Volume | ISSN | Citations |
881 | 1865-0929 | 0 |
PageRank | References | Authors |
0.34 | 14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sohei Ito | 1 | 32 | 6.22 |
Kenji Osari | 2 | 1 | 1.03 |
Shigeki Hagihara | 3 | 78 | 12.33 |
Naoki Yonezaki | 4 | 107 | 20.02 |