Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs

Sohei Ito, Shigeki Hagihara, Naoki Yonezaki

2015

Abstract

We proposed a novel framework to analyse homeostasis of gene networks using linear temporal logic. We formulate a kind of homeostasis as strong satisfiability of reactive system specifications. Both behaviours and properties of gene networks are specified in linear temporal logic and homeostasis of the network is checked by strong satisfiability checkers. Though this framework is simple and applicable for many networks, the computational complexity is heavy and large networks cannot be directly analysed. In this paper we present an approximate analysis method to mitigate this computational difficulty. We approximately specify a network specification using fewer propositions such that approximated specifications guarantee homeostasis of the network. However it is difficult to find such safely approximated specifications for any gene network. Thus we present approximate specifications for network motifs, which are common patterns appearing in many gene networks. We demonstrate our approximate method and see that our approximate method is quite efficient in analysing large networks.

References

  1. Abadi, M., Lamport, L., and Wolper, P. (1989). Realizable and unrealizable specifications of reactive systems. In ICALP 7889: Proceedings of the 16th International Colloquium on Automata, Languages and Programming, volume 372 of LNCS, pages 1-17, London, UK. Springer-Verlag.
  2. Alon, U. (2007). Network motifs: theory and experimental approaches. Nat. Rev. Genet., 8(6):450-461.
  3. Emerson, E. A. (1990). Temporal and modal logic. In van Leeuwen, J., editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pages 995-1072. MIT Press.
  4. Ito, S., Hagihara, S., and Yonezaki, N. (2014). A qualitative framework for analysing homeostasis in gene networks. In Proceedings of the 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014), pages 5-16.
  5. Ito, S., Ichinose, T., Shimakawa, M., Izumi, N., Hagihara, S., and Yonezaki, N. (2013a). Modular analysis of gene networks by linear temporal logic. J. Integrative Bioinformatics, 10(2).
  6. Ito, S., Ichinose, T., Shimakawa, M., Izumi, N., Hagihara, S., and Yonezaki, N. (2013b). Qualitative analysis of gene regulatory networks using network motifs. In Proceedings of the 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2013), pages 15-24.
  7. Ito, S., Izumi, N., Hagihara, S., and Yonezaki, N. (2010). Qualitative analysis of gene regulatory networks by satisfiability checking of linear temporal logic. In Proceedings of the 10th IEEE International Conference on Bioinformatics & Bioengineering, pages 232-237.
  8. Mori, R. and Yonezaki, N. (1993). Several realizability concepts in reactive objects. In Information Modeling and Knowledge Bases IV, pages 407-424.
  9. Pnueli, A. and Rosner, R. (1989). On the synthesis of a reactive module. In POPL 7889: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 179-190, New York, NY, USA. ACM.
  10. Shimakawa, M., Hagihara, S., and Yonezaki, N. (2013). Complexity of strong satisfiability problems for reactive system specifications. IEICE Transactions, 96- D(10):2187-2193.
  11. Shimakawa, M., Hagihara, S., and Yonezaki, N. (2014). Bounded strong satisfiability checking of reactive system specifications. IEICE Transactions, 97- D(7):1746-1755.
  12. Vardi, M. Y. and Wolper, P. (1994). Reasoning about infinite computations. Inf. Comput., 115:1-37.
Download


Paper Citation


in Harvard Style

Ito S., Hagihara S. and Yonezaki N. (2015). Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs . In Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 1: BIOINFORMATICS, (BIOSTEC 2015) ISBN 978-989-758-070-3, pages 93-101. DOI: 10.5220/0005177000930101


in Bibtex Style

@conference{bioinformatics15,
author={Sohei Ito and Shigeki Hagihara and Naoki Yonezaki},
title={Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs},
booktitle={Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 1: BIOINFORMATICS, (BIOSTEC 2015)},
year={2015},
pages={93-101},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005177000930101},
isbn={978-989-758-070-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 1: BIOINFORMATICS, (BIOSTEC 2015)
TI - Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs
SN - 978-989-758-070-3
AU - Ito S.
AU - Hagihara S.
AU - Yonezaki N.
PY - 2015
SP - 93
EP - 101
DO - 10.5220/0005177000930101