Compositional Techniques for Asynchronous Boolean Networks

Maram Alshahrani, Maram Alshahrani, Jason Steggles

2024

Abstract

Asynchronous Boolean networks are an important qualitative modelling approach for analysing and engineering biological systems. However, their practical application is limited by the state space explosion problem and lack of engineering tools. To help address these limitations we develop new compositional techniques for constructing and analysing asynchronous Boolean networks based on the idea of merging entities using Boolean operators. We propose a novel asynchronous interference state graph to model the interference that occurs in a composition and develop a range of important new asynchronous compositional techniques for analysing behavioural preservation and identifying point attractors.

Paper Citation

in Harvard Style

Alshahrani M. and Steggles J. (2024). Compositional Techniques for Asynchronous Boolean Networks. In Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 1: BIOINFORMATICS; ISBN 978-989-758-688-0, SciTePress, pages 429-437. DOI: 10.5220/0012324300003657

in Bibtex Style

@conference{bioinformatics24,
author={Maram Alshahrani and Jason Steggles},
title={Compositional Techniques for Asynchronous Boolean Networks},
booktitle={Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 1: BIOINFORMATICS},
year={2024},
pages={429-437},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012324300003657},
isbn={978-989-758-688-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 1: BIOINFORMATICS
TI - Compositional Techniques for Asynchronous Boolean Networks
SN - 978-989-758-688-0
AU - Alshahrani M.
AU - Steggles J.
PY - 2024
SP - 429
EP - 437
DO - 10.5220/0012324300003657
PB - SciTePress