Compositional Techniques for Boolean Networks and Attractor Analysis

Abdulrahman, H; Steggles, J

doi:10.1007/978-3-662-68191-6_11

Compositional Techniques for Boolean Networks and Attractor Analysis

Lookup NU author(s): Dr Hanin Yahya I Abdulrahman, Dr Jason Steggles ORCiD

Downloads

Accepted version [.pdf]

Licence

This is the authors' accepted manuscript of a book chapter that has been published in its final definitive form by Springer, 2024.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

Recently a new compositional framework for constructing and analysing Boolean networks was presented based on merging entities using Boolean connectives. While this framework provides a good basis for engineering Boolean networks, its practical application is limited by the restricted composition structures allowed and the lack of support for attractor analysis. In this paper we significantly extend this compositional framework by developing a new general structure for compositions and by providing new techniques for compositionally identifying the attractors of a Boolean network. The results presented are important as they support ongoing work to use the framework for engineering biological systems and also provide a new basis for analysing Boolean networks which helps to address thepractical limitations imposed by the state space explosion problem.