Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report)
Boolean networks is a well-established formalism for modelling biological systems. A vital challenge for analysing a Boolean network is to identify all the attractors. This becomes more challenging for large asynchronous Boolean networks, due to the asynchronous updating scheme. Existing methods are prohibited due to the well-known state-space explosion problem in large Boolean networks. In this paper, we tackle this challenge by proposing a SCC-based decomposition method. We prove the correctness of our proposed method and demonstrate its efficiency with two real-life biological networks.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks
Boolean networks are conventionally used to represent and simulate gene regulatory networks. In the analysis of the dynamic of a Boolean network, the attractors are the objects of a special attention. In this work, we pr…
Attractor Stability of Boolean networks under noise
We study the impact of noise on attractor dynamics in Boolean networks, focusing on their stability and transition behaviors. By constructing attractor matrices based on single-node perturbations, we propose a framework …
An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?
Asynchronous Boolean networks are a type of discrete dynamical system in which each variable can take one of two states, and a single variable state is updated in each time step according to pre-selected rules. Boolean n…
Therapeutic target discovery using Boolean network attractors: avoiding pathological phenotypes
Target identification, one of the steps of drug discovery, aims at identifying biomolecules whose function should be therapeutically altered in order to cure the considered pathology. This work proposes an algorithm for …
Drug DiscoveryStructure-based approach can identify driver nodes in ensembles of biologically-inspired Boolean networks
Because the attractors of biological networks reflect stable behaviors (e.g., cell phenotypes), identifying control interventions that can drive a system towards its attractors (attractor control) is of particular releva…
Feedback Vertex Set (FVS)