Temporal constraints of a gene regulatory network: Refining a qualitative simulation

Area of Science:

• Systems Biology
• Computational Biology
• Bioinformatics

Background:

• Gene regulatory network (GRN) modeling faces limitations with purely discrete (Boolean) or continuous (differential equation) approaches.
• Hybrid formalisms combining discrete and continuous features offer advances for modeling complex biological systems.
• Existing methods struggle to bridge differential equation models with discrete logical formalisms for GRN analysis.

Purpose of the Study:

• To develop and present a novel computational pipeline for converting differential equation-based GRN models into a multi-valued logical formalism.
• To enable the analysis of dynamical properties, such as cyclic behaviors and temporal properties, in large-scale GRNs.
• To apply this hybrid approach to understand the GRN governing the Escherichia coli response to carbon starvation.

Main Methods:

• A pipelined process involving model conversion from piece-wise affine differential equations (PADE) to a discrete model with focal points.
• Subgraph characterization using probabilistic criteria and simplification.
• Conversion of subgraphs into parametric linear hybrid automata.
• Analysis of dynamical and temporal properties using hybrid model-checking techniques.

Main Results:

• Successful conversion of a PADE model of the Escherichia coli carbon starvation response into a hybrid discrete model.
• Identification of a known remarkable cycle within the GRN, validating the model's accuracy.
• Inference of novel temporal properties through hybrid model-checking, offering new biological insights.

Conclusions:

• The developed hybrid approach effectively bridges continuous and discrete modeling paradigms for GRNs.
• Hybrid model-checking provides a powerful tool for uncovering complex dynamical and temporal behaviors in biological networks.
• This methodology offers a promising framework for investigating intricate GRNs and their responses to environmental stimuli.