Synchronous versus asynchronous modeling of gene regulatory networks

Area of Science:

• Computational Biology
• Systems Biology
• Bioinformatics

Background:

• In silico modeling of gene regulatory networks (GRNs) is crucial for understanding biological system dynamics.
• Advancements in experimental interaction data facilitate GRN analysis.
• While steady-state identification is well-studied, in silico modeling of cellular differentiation remains less explored.

Purpose of the Study:

• To develop novel algorithms for Boolean modeling of GRNs using reduced ordered binary decision diagrams (ROBDDs).
• To enable the analysis of cellular differentiation processes and gene perturbation effects.
• To provide a computational framework for large-scale GRN analysis.

Main Methods:

• Development of algorithms based on reduced ordered binary decision diagrams (ROBDDs).
• Implementation of algorithms for both synchronous and asynchronous transition models.
• Analysis of computational properties and validation on a T-helper cell differentiation model.

Main Results:

• Algorithms successfully compute cyclic attractors for large-scale gene regulatory networks.
• The framework allows for the analysis of multiple gene perturbation protocols.
• Validated on a T-helper model, demonstrating accurate steady-state identification and Th1-Th2 differentiation simulation.

Conclusions:

• The proposed ROBDD-based algorithms offer a scalable approach for GRN modeling.
• This work provides a valuable tool for studying cellular differentiation dynamics.
• The developed methods advance the computational analysis of complex biological systems.