An FVS-Based Approach to Attractor Detection in Asynchronous Random Boolean Networks
Abstract:
Boolean networks (BNs)play a crucial role in modeling and analyzing biological systems. One of the central issues in the analysis of BNs is attractor detection, i.e., identification of all possible attractors. This problem becomes more challenging for large asynchronous random Boolean networks (ARBNs)because of the asynchronous and non-deterministic updating scheme. In this paper, we present and formally prove several relations between feedback vertex sets (FVSs)and dynamics of BNs. From these relations, we propose an FVS-based method for detecting attractors in ARBNs. Our approach relies on the principle of removing arcs in the state transition graph to get a candidate set and the reachability property to filter the candidate set. We formally prove the correctness of our method and show its efficiency by conducting experiments on real biological networks and randomly generated N- K networks. The obtained results are very promising since our method can handle large networks whose sizes are up to 101 without using any network reduction technique.
Related Concept Videos
Simplified Synchronous Machine Model
In this model, each generator is connected to a...
Network Function of a Circuit
Block Diagram Reduction
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
SFG Algebra
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
Linear time-invariant Systems
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be...
Multi-input and Multi-variable systems
In the absence of...


