An efficient approach towards the source-target control of Boolean networks

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2020), 17(6), 1932-1945

We study the problem of computing a minimal subset of nodes of a given asynchronous Boolean network that need to be perturbed in a single-step to drive its dynamics from an initial state to a target ... [more ▼]

We study the problem of computing a minimal subset of nodes of a given asynchronous Boolean network that need to be perturbed in a single-step to drive its dynamics from an initial state to a target steady state (or attractor), which we call the source-target control of Boolean networks. Due to the phenomenon of state-space explosion, a simple global approach that performs computations on the entire network, may not scale well for large networks. We believe that efficient algorithms for such networks must exploit the structure of the networks together with their dynamics. Taking this view, we derive a decomposition-based solution to the minimal source-target control problem which can be significantly faster than the existing approaches on large networks. We then show that the solution can be further optimised if we take into account appropriate information about the source state. We apply our solutions to both real-life biological networks and randomly generated networks, demonstrating the efficiency and efficacy of our approach. [less ▲]

Accelerated verification of parametric protocols with decision trees

in Proceedings of the 38th International Conference on Computer Design (ICCD) (2020)

GPU-accelerated steady-state computation of large probabilistic Boolean networks

in Formal Aspects of Computing (2019), 31(1), 27-46

An active learning-based approach for location-aware acquaintance inference

in Knowledge and Information Systems (2019), 59(3), 539-569

Controlling large Boolean networks with single-step perturbations

in Bioinformatics (2019), 35(14), 558-567

A learning-based framework for automatic parameterized verification

in Proceedings of the 37th International Conference on Computer Design (ICCD) (2019)

Algorithms for the Sequential Reprogramming of Boolean Networks

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019), 16(5), 1610-1619

Scalable control of asynchronous Boolean networks

in Proceedings of 17th International Conference on Computational Methods in Systems Biology (CMSB'19) (2019)

ASSA-PBN: A Toolbox for Probabilistic Boolean Networks

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2018), 15(4), 1203-1216

A Decomposition-based Approach towards the Control of Boolean Networks

in Proceedings of the 2018 ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics (2018)