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.

Optimal Finite-Horizon Control for Probabilistic Boolean Networks with Hard Constraints

Optimal Control Policy for Probabilistic Boolean Networks with Hard Constraints.

A Genetic Algorithm for Optimal Control of Probabilistic Boolean Networks

On Pinning Reachability of Probabilistic Boolean Control Networks

Optimal Control of Steady-State Probability Distributions of Probabilistic Boolean Networks

Stabilization and Finite-Time Stabilization of Probabilistic Boolean Control Networks

Optimal Control for Constrained Discrete-Time Nonlinear Systems Based on Safe Reinforcement Learning.

Finite-Horizon Optimal Control of Boolean Control Networks: A Unified Graph-Theoretical Approach

Policy Iteration Approach to the Infinite Horizon Average Optimal Control of Probabilistic Boolean Networks

Deep Reinforcement Learning Based Optimal Infinite-Horizon Control of Probabilistic Boolean Control Networks

Construction and Control of Genetic Regulatory Networks:A Multivariate Markov Chain Approach

Model checking optimal finite-horizon control for probabilistic gene regulatory networks

Stabilization of Delayed Boolean Networks Using Constrained State Pinning Control

ON THE OPTIMAL CONTROL OF BOOLEAN CONTROL NETWORKS

A Simplified Multivariate Markov Chain Model for the Construction and Control of Genetic Regulatory Networks

State Feedback Stabilization for Probabilistic Boolean Networks.

Enhanced Q-Learning Approach to Finite-Time Reachability with Maximum Probability for Probabilistic Boolean Control Networks

Generating Probabilistic Boolean Networks from a Prescribed Stationary Distribution

New method for stability of probabilistic Boolean networks with inequality constraints

Temporary and permanent control of partially specified Boolean networks

Necessary and Sufficient Conditions on Pinning Stabilization for Stochastic Boolean Networks.