Abstract:Boolean networks (BNs) are a well-accepted modelling formalism in computational systems biology. Nevertheless, modellers often cannot identify only a single BN that matches the biological reality. The typical reasons for this is insufficient knowledge or a lack of experimental data. Formally, this uncertainty can be expressed using partially specified Boolean networks (PSBNs), which encode the wide range of network candidates into a single structure. In this paper, we target the control of PSBNs. The goal of BN control is to find perturbations which guarantee stabilisation of the system in the desired state. Specifically, we consider variable perturbations (gene knock-out and over-expression) with three types of application time-window: one-step, temporary, and permanent. While the control of fully specified BNs is a thoroughly explored topic, control of PSBNs introduces additional challenges that we address in this paper. In particular, the unspecified components of the model cause a significant amount of additional state space explosion. To address this issue, we propose a fully symbolic methodology that can represent the numerous system variants in a compact form. In fully specified models, the efficiency of a perturbation is characterised by the count of perturbed variables (the perturbation size). However, in the case of a PSBN, a perturbation might work only for a subset of concrete BN models. To that end, we introduce and quantify perturbation robustness. This metric characterises how efficient the given perturbation is with respect to the model uncertainty. Finally, we evaluate the novel control methods using non-trivial real-world PSBN models. We inspect the method's scalability and efficiency with respect to the size of the state space and the number of unspecified components. We also compare the robustness metrics for all three perturbation types. Our experiments support the hypothesis that one-step perturbations are significantly less robust than temporary and permanent ones.

Model Reconstruction of Boolean Networks by Function Perturbation

Function perturbation impact on the topological structure of Boolean networks

Asymptotical Stability and Stabilisation of Probabilistic Boolean Networks Subject to Function Perturbation.

New Results on Model Reconstruction of Boolean Networks with Application to Gene Regulatory Networks

Function Perturbation Impact on Robust Stability and Stabilization of Boolean Networks With Disturbances.

Perturbation Analysis for Finite-Time Stability and Stabilization of Probabilistic Boolean Networks.

Robustness for Stability and Stabilization of Boolean Networks With Stochastic Function Perturbations

A modified newton's method for inverse problem of Probabilistic Boolean Networks with gene perturbations

On Reconstructibility of Switched Boolean Control Networks.

State Analysis of Boolean Control Networks with Impulsive and Uncertain Disturbances

Robust Minimal Strong Reconstructibility Problem of Boolean Control Networks

Function Perturbation Impact on Feedback Stabilization of Boolean Control Networks.

Function Perturbation of Mix-Valued Logical Networks with Impacts on Limit Sets

Robust Stabilization of Impulsive Boolean Control Networks with Function Perturbation

Robust set stabilization of Boolean control networks with edge removal perturbations

Robust Weak Detectability Analysis of Boolean Networks Subject to Function Perturbation

The Outputs Robustness of Boolean Control Networks Via Pinning Control

Robust Set Stability of Probabilistic Boolean Networks under General Stochastic Function Perturbation

Optimal Reconstruction of Probabilistic Boolean Networks

A matrix perturbation method for computing the steady-state probability distributions of probabilistic Boolean networks with gene perturbations

Temporary and permanent control of partially specified Boolean networks