Abstract:Motivation: Mathematical models take an important place in science and engineering. A model can help scientists to explain dynamic behavior of a system and to understand the functionality of system components. Since length of a time series and number of replicates is limited by the cost of experiments, Boolean networks as a structurally simple and parameter-free logical model for gene regulatory networks have attracted interests of many scientists. In order to fit into the biological contexts and to lower the data requirements, biological prior knowledge is taken into consideration during the inference procedure. In the literature, the existing identification approaches can only deal with a subset of possible types of prior knowledge. Results: We propose a new approach to identify Boolean networks from time series data incorporating prior knowledge, such as partial network structure, canalizing property, positive and negative unateness. Using vector form of Boolean variables and applying a generalized matrix multiplication called the semi-tensor product (STP), each Boolean function can be equivalently converted into a matrix expression. Based on this, the identification problem is reformulated as an integer linear programming problem to reveal the system matrix of Boolean model in a computationally efficient way, whose dynamics are consistent with the important dynamics captured in the data. By using prior knowledge the number of candidate functions can be reduced during the inference. Hence, identification incorporating prior knowledge is especially suitable for the case of small size time series data and data without sufficient stimuli. The proposed approach is illustrated with the help of a biological model of the network of oxidative stress response. Conclusions: The combination of efficient reformulation of the identification problem with the possibility to incorporate various types of prior knowledge enables the application of computational model inference to systems with limited amount of time series data. The general applicability of this methodological approach makes it suitable for a variety of biological systems and of general interest for biological and medical research.

A BDD-Based Approach to Model Reduction of Boolean Networks

Reduction and Analysis of Boolean Control Networks by Bisimulation.

Model Reducted-order of Linear Discrete Time Systems Based on Bilinear Transformation

On Pinning Reachability of Probabilistic Boolean Control Networks

Dimension Reduction of Large AND-NOT Network Models

Dimensionality Reduction Method for the Output Regulation of Boolean Control Networks

Algorithms and Complexity Analyses for Control of Singleton Attractors in Boolean Networks

Stabilization of Delayed Boolean Networks Using Constrained State Pinning Control

Minimal Observability of Boolean Control Networks

Basins of Attraction, Commitment Sets and Phenotypes of Boolean Networks

An Approximation Method for Solving the Steady-State Probability Distribution of Probabilistic Boolean Networks

Towards Stabilizable Large-Scale Boolean Networks By Controlling the Minimal Set of Nodes

Reduction for asynchronous Boolean networks: elimination of negatively autoregulated components

Preponderance of generalized chain functions in reconstructed Boolean models of biological networks

Boolean modeling: a logic‐based dynamic approach for understanding signaling and regulatory networks and for making useful predictions

Relative stability of network states in Boolean network models of gene regulation in development

Biologically meaningful regulatory logic enhances the convergence rate in Boolean networks and bushiness of their state transition graph

Dynamics Of Boolean Networks With Small-World Topology

A Nonaugmented Method for the Minimal Observability of Boolean Networks

Identification of Boolean Network Models From Time Series Data Incorporating Prior Knowledge