Abstract:This article investigates the finite-horizon optimal control (FHOC) problem of Boolean control networks (BCNs) from a graph theory perspective. We first formulate two general problems to unify various special cases studied in the literature: 1) the horizon length is a priori fixed and 2) the horizon length is unspecified but finite for given destination states. Notably, both problems can incorporate time-variant costs, which are rarely considered in existing work, and a variety of constraints. The existence of an optimal control sequence is analyzed under mild assumptions. Motivated by BCNs' finite state space and control space, we approach the two general problems intuitively and efficiently under a graph-theoretical framework. A weighted state transition graph and its time-expanded variants are developed, and the equivalence between the FHOC problem and the shortest-path (SP) problem in specific graphs is established rigorously. Two algorithms are developed to find the SP and construct the optimal control sequence for the two problems with reduced computational complexity, though technically, a classical SP algorithm in graph theory is sufficient for all problems. Compared with existing algebraic methods, our graph-theoretical approach can achieve state-of-the-art time efficiency while targeting the most general problems. Furthermore, our approach is the first one capable of solving Problem 2) with time-variant costs. Finally, a genetic network in the bacterium E. coli and a signaling network involved in human leukemia are used to validate the effectiveness of our approach. The results of two common tasks for both networks show that our approach can dramatically reduce the running time. Python implementation of our algorithms is available at GitHub https://github.com/ShuhuaGao/FHOC.

A remark on "Scalar equations for synchronous Boolean networks with biological Applications" by C. Farrow, J. Heidel, J. Maloney, and J. Rogers

An Algorithm to Find Cycles of Biochemical Systems

SAT-Based Algorithm for Finding Cycles in a Boolean Network

Dynamics of synchronous Boolean networks with non-binary states

An Efficient Algorithm for Computing Attractors of Synchronous and Asynchronous Boolean Networks

Controllability and Observability of Boolean Networks Arising from Biology

On the flora of asynchronous locally non-monotonic Boolean automata networks

Boolean Monomial Dynamical Systems

Synchronization in an Array of Coupled Boolean Networks

Distributed Algorithms for Boolean Equations Over Networks

Asynchronous dynamics of isomorphic Boolean networks

Pinning Synchronization of Large-Scale Boolean Networks

Synchronised Output Regulation of Nonlinear Multi-Agent Systems

Boolean Networks with Multi-Expressions and Parameters

An Efficient Algorithm for Computing Fixed Length Attractors Based on Bounded Model Checking in Synchronous Boolean Networks with Biochemical Applications.

Generalisation of a synchronous solution of the parity problem on cyclic configurations over a non-circulant graph

Boolean automata isolated cycles and tangential double-cycles dynamics

Statistical and Algebraic Analysis of a Family of Random Boolean Equations

Algebraic characteristics and satisfiability threshold of random Boolean equations.

Immediate Neighbours of Monotone Boolean Functions

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