Abstract:The study of control mechanisms of biological systems allows for interesting applications in bioengineering and medicine, for instance in cell reprogramming or drug target identification. A control strategy often consists of a set of interventions that, by fixing the values of some components, ensure that the long term dynamics of the controlled system is in a desired state. A common approach to control in the Boolean framework consists in checking how the fixed values propagate through the network, to establish whether the effect of percolating the interventions is sufficient to induce the target state. Although methods based uniquely on value percolation allow for efficient computation, they can miss many control strategies. Exhaustive methods for control strategy identification, on the other hand, often entail high computational costs. In order to increase the number of control strategies identified while still benefiting from an efficient implementation, we introduce a method based on value percolation that uses trap spaces, subspaces of the state space that are closed with respect to the dynamics, and that can usually be easily computed in biological networks. The approach allows for node interventions, which fix the value of certain components, and edge interventions, which fix the effect that one component has on another. The method is implemented using Answer Set Programming, extending an existing efficient implementation of value percolation to allow for the use of trap spaces and edge control. The applicability of the approach is studied for different control targets in a biological case study, identifying in all cases new control strategies that would escape usual percolation-based methods.

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks

Computational Complexity of Minimal Trap Spaces in Boolean Networks

Computing Maximal and Minimal Trap Spaces of Boolean Networks

Phenotype control and elimination of variables in Boolean networks

Bringing memory to Boolean networks: a unifying framework

Minimal Observability of Boolean Control Networks

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks

Basins of Attraction, Commitment Sets and Phenotypes of Boolean Networks

Node and edge control strategy identification via trap spaces in Boolean networks

Computing Minimal Unsatisfiable Core for LTL over Finite Traces

Beyond Boolean networks, a multi-valued approach

An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?

Attractor identification in asynchronous Boolean dynamics with network reduction

Enumerating Minimal Unsatisfiable Cores of LTLf formulas

Minimal Reconstructibility of Boolean Control Networks

Immediate Neighbours of Monotone Boolean Functions

Detectability of Boolean Networks: A Finite-Time Convergent Matrix Approach

Rice-like complexity lower bounds for Boolean and uniform automata networks

Boolean Abstractions for Realizability Modulo Theories (Extended version)

Modular control of Boolean network models

Partial Order on the set of Boolean Regulatory Functions