Hybrid models of genetic networks: Mathematical challenges and biological relevance

Characterizing behavioural differentiation in gene regulatory networks with representation graphs

We introduce the formal notion of representation graphs, encapsulating the state space structure of gene regulatory network models in a compact and concise form that highlights the most significant features of stable states and differentiation processes leading to distinct stability regions. The concept has been developed in the context of a hybrid system-based gene network modelling framework; however, we anticipate that it can also be adapted to other approaches of modelling gene networks in discrete terms. We describe a practical algorithm for representation graph computation as well as two case studies demonstrating their real-world application and utility. The first case study presents models for three phage viruses. It shows that the process of differentiation into lytic and lysogenic behavioural states for all these models is described by the same representation graph despite the distinctive underlying mechanisms for differentiation. The second case study shows the advantages of our approach for modelling the process of myeloid cell differentiation from a common progenitor into different cell types. Both case studies also demonstrate the potential of the representation graph approach for deriving and validating hypotheses about regulatory interactions that must be satisfied for biologically viable behaviours.

Qualitative Modeling, Analysis and Control of Synthetic Regulatory Circuits

Qualitative modeling approaches are promising and still underexploited tools for the analysis and design of synthetic circuits. They can make predictions of circuit behavior in the absence of precise, quantitative information. Moreover, they provide direct insight into the relation between the feedback structure and the dynamical properties of a network. We review qualitative modeling approaches by focusing on two specific formalisms, Boolean networks and piecewise-linear differential equations, and illustrate their application by means of three well-known synthetic circuits. We describe various methods for the analysis of state transition graphs, discrete representations of the network dynamics that are generated in both modeling frameworks. We also briefly present the problem of controlling synthetic circuits, an emerging topic that could profit from the capacity of qualitative modeling approaches to rapidly scan a space of design alternatives.

Mapping parameter spaces of biological switches

Since the seminal 1961 paper of Monod and Jacob, mathematical models of biomolecular circuits have guided our understanding of cell regulation. Model-based exploration of the functional capabilities of any given circuit requires systematic mapping of multidimensional spaces of model parameters. Despite significant advances in computational dynamical systems approaches, this analysis remains a nontrivial task. Here, we use a nonlinear system of ordinary differential equations to model oocyte selection in Drosophila, a robust symmetry-breaking event that relies on autoregulatory localization of oocyte-specification factors. By applying an algorithmic approach that implements symbolic computation and topological methods, we enumerate all phase portraits of stable steady states in the limit when nonlinear regulatory interactions become discrete switches. Leveraging this initial exact partitioning and further using numerical exploration, we locate parameter regions that are dense in purely asymmetric steady states when the nonlinearities are not infinitely sharp, enabling systematic identification of parameter regions that correspond to robust oocyte selection. This framework can be generalized to map the full parameter spaces in a broad class of models involving biological switches.

Identification of qualitatively different regimes in models of biomolecular switches is essential for understanding dynamics of complex biological processes, including symmetry breaking in cells and cell networks. We demonstrate how topological methods, symbolic computation, and numerical simulations can be combined for systematic mapping of symmetry-broken states in a mathematical model of oocyte specification in Drosophila, a leading experimental system of animal oogenesis. Our algorithmic framework reveals global connectedness of parameter domains corresponding to robust oocyte specification and enables systematic navigation through multidimensional parameter spaces in a large class of biomolecular switches.