BACKGROUND: 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 the use of 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. RESULTS: This work presents a method based on value percolation that uses trap spaces to uncover new control strategies. It 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. CONCLUSION: The method presented here provides a new tool for control strategy identification in Boolean networks that allows for more diversity of interventions and for the possibility of efficiently finding new control strategies that would escape usual percolation-based methods, widening the possibility for potential applications.

Abstract Boolean networks are popular tools for the exploration of qualitative dynamical properties of biological systems. Several dynamical interpretations have been proposed based on the same logical structure that captures the interactions between Boolean components. They reproduce, in different degrees, the behaviours emerging in more quantitative models. In particular, regulatory conflicts can prevent the standard asynchronous dynamics from reproducing some trajectories that might be expected upon inspection of more detailed models. We introduce and study the class of networks with linear cuts, where linear components—intermediates with a single regulator and a single target—eliminate the aforementioned regulatory conflicts. The interaction graph of a Boolean network admits a linear cut when a linear component occurs in each cycle and in each path from components with multiple targets to components with multiple regulators. Under this structural condition the attractors are in one-to-one correspondence with the minimal trap spaces, and the reachability of attractors can also be easily characterized. Linear cuts provide the base for a new interpretation of the Boolean semantics that captures all behaviours of multi-valued refinements with regulatory thresholds that are uniquely defined for each interaction, and contribute a new approach for the investigation of behaviour of logical models.