Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach

Sohei Ito, Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki, Naoki Yonezaki

2017

Abstract

Homeostasis is an important property of life. Thanks to this property, living organisms keep their cellular conditions within an acceptable range to function normally. To understand mechanisms of homeostasis and analyse it, the systems biology approach is indispensable. For this purpose, we proposed a qualitative approach to model gene regulatory networks with logical formulae and formulate the homeostasis in terms of a kind of logical property – called realisability of linear temporal logic. This concise formulation of homeostasis naturally yields the method for analysing homeostasis of gene networks using realisability checkers. However, the realisability problem is well-known for its high computational complexity – double-exponential in the size of a formula – and the applicability of this approach will be limited to small gene networks, since the size of formula increases as the network does. To overcome this limitation, we leverage a compositional method to check realisability in which a formula is divided into a few sub-formulae. The difficulty in compositional approach is that we do not know how we obtain a good division. To tackle this issue, we introduce a new clustering algorithm based on a characteristic function on formulae, which calculates the size of formulae and the variation of propositions. The experimental results show that our method gives a good division to benefit from the compositional method.

Download


Paper Citation


in Harvard Style

Ito S., Osari K., Hagihara S. and Yonezaki N. (2017). Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach. In - BIOINFORMATICS, (BIOSTEC 2017) ISBN , pages 0-0. DOI: 10.5220/0006093600001488


in Bibtex Style

@conference{bioinformatics17,
author={Sohei Ito and Kenji Osari and Shigeki Hagihara and Naoki Yonezaki},
title={Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach},
booktitle={ - BIOINFORMATICS, (BIOSTEC 2017)},
year={2017},
pages={},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006093600001488},
isbn={},
}


in EndNote Style

TY - CONF

JO - - BIOINFORMATICS, (BIOSTEC 2017)
TI - Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach
SN -
AU - Ito S.
AU - Osari K.
AU - Hagihara S.
AU - Yonezaki N.
PY - 2017
SP - 0
EP - 0
DO - 10.5220/0006093600001488