FINDING CYCLES IN SYNCHRONOUS BOOLEAN NETWORKS WITH APPLICATIONS TO BIOCHEMICAL SYSTEMS

2003 ◽  
Vol 13 (03) ◽  
pp. 535-552 ◽  
Author(s):  
JACK HEIDEL ◽  
JOHN MALONEY ◽  
CHRISTOPHER FARROW ◽  
J. A. ROGERS

This paper is an analytical study of Boolean networks. The motivation is our desire to understand the large, complicated and interconnected pathways which comprise intracellular biochemical signal transduction networks. The simplest possible conceptual model that mimics signal transduction with sigmoidal kinetics is the n-node Boolean network each of whose elements or nodes has the value 0 (off) or 1 (on) at any given time T = 0, 1, 2, …. A Boolean network has 2nstates all of which are either on periodic cycles (including fixed points) or transients leading to cycles. Thus one understands a Boolean network by determining the number and length of its cycles. The problem one must circumvent is the large number of states (2n) since the networks we are interested in have 100 or more elements. Thus we concentrate on developing size n methods rather than the impossible task of enumerating all 2nstates. This is done as follows: the dynamics of the network can be described by n polynomial equations which describe the logical function which determines the interaction at each node. Iterating the equations one step at a time finds all fixed points, period two cycles, period three cycles, etc. This is a general method that can be used to determine the fixed points and moderately large periodic cycles of any size network, but it is not useful in finding the largest cycles in a large network. However, we also show that the network equations can often be reduced to scalar form, which makes the cycle structure much more transparent. The scalar equations method is a true "size n" method and several examples (including nontrivial biochemical systems) are examined.

Author(s):  
Julio Aracena ◽  
Luis Cabrera-Crot ◽  
Lilian Salinas

Abstract Motivation In the modeling of biological systems by Boolean networks, a key problem is finding the set of fixed points of a given network. Some constructed algorithms consider certain structural properties of the regulatory graph like those proposed by Akutsu et al. and Zhang et al., which consider a feedback vertex set of the graph. However, these methods do not take into account the type of action (activation and inhibition) between its components. Results In this article, we propose a new algorithm for finding the set of fixed points of a Boolean network, based on a positive feedback vertex set P of its regulatory graph and which works, by applying a sequential update schedule, in time O(2|P|·n2+k), where n is the number of components and the regulatory functions of the network can be evaluated in time O(nk), k≥0. The theoretical foundation of this algorithm is due a nice characterization, that we give, of the dynamical behavior of the Boolean networks without positive cycles and with a fixed point. Availability and implementation An executable file of FixedPoint algorithm made in Java and some examples of input files are available at: www.inf.udec.cl/˜lilian/FPCollector/. Supplementary information Supplementary material is available at Bioinformatics online.


2020 ◽  
Vol 34 (28) ◽  
pp. 2050309
Author(s):  
Tao You ◽  
Hailun Zhang ◽  
Mingyu Yang ◽  
Xiao Wang ◽  
Yangming Guo

In biological systems, gene expression is an important subject. In order to clarify the specific process of gene expression, mathematical tools are needed to simulate the process. The Boolean network (BN) is a good mathematical tool. In this paper, we study a Boolean network with intermittent perturbations. This is of great significance for studying genetic mutations in bioengineering. The expression of genes in the internal system of a living being is a very complicated process, and it is clear that the process is trans-ageal for humans. Through the intermittent control and pulse control of the BN, we can obtain the trajectory of gene expression better and faster, which will provide a very important theoretical basis for our next research.


Mathematics ◽  
2020 ◽  
Vol 8 (6) ◽  
pp. 1035
Author(s):  
Ilya Shmulevich

Boolean networks are discrete dynamical systems comprised of coupled Boolean functions. An important parameter that characterizes such systems is the Lyapunov exponent, which measures the state stability of the system to small perturbations. We consider networks comprised of monotone Boolean functions and derive asymptotic formulas for the Lyapunov exponent of almost all monotone Boolean networks. The formulas are different depending on whether the number of variables of the constituent Boolean functions, or equivalently, the connectivity of the Boolean network, is even or odd.


2019 ◽  
Vol 20 (1) ◽  
Author(s):  
Ricardo Ramirez ◽  
Allen Michael Herrera ◽  
Joshua Ramirez ◽  
Chunjiang Qian ◽  
David W. Melton ◽  
...  

Abstract Background Macrophages show versatile functions in innate immunity, infectious diseases, and progression of cancers and cardiovascular diseases. These versatile functions of macrophages are conducted by different macrophage phenotypes classified as classically activated macrophages and alternatively activated macrophages due to different stimuli in the complex in vivo cytokine environment. Dissecting the regulation of macrophage activations will have a significant impact on disease progression and therapeutic strategy. Mathematical modeling of macrophage activation can improve the understanding of this biological process through quantitative analysis and provide guidance to facilitate future experimental design. However, few results have been reported for a complete model of macrophage activation patterns. Results We globally searched and reviewed literature for macrophage activation from PubMed databases and screened the published experimental results. Temporal in vitro macrophage cytokine expression profiles from published results were selected to establish Boolean network models for macrophage activation patterns in response to three different stimuli. A combination of modeling methods including clustering, binarization, linear programming (LP), Boolean function determination, and semi-tensor product was applied to establish Boolean networks to quantify three macrophage activation patterns. The structure of the networks was confirmed based on protein-protein-interaction databases, pathway databases, and published experimental results. Computational predictions of the network evolution were compared against real experimental results to validate the effectiveness of the Boolean network models. Conclusion Three macrophage activation core evolution maps were established based on the Boolean networks using Matlab. Cytokine signatures of macrophage activation patterns were identified, providing a possible determination of macrophage activations using extracellular cytokine measurements.


2010 ◽  
Vol 348 (15-16) ◽  
pp. 825-828 ◽  
Author(s):  
Loïc Paulevé ◽  
Adrien Richard

2007 ◽  
Vol 18 (09) ◽  
pp. 1459-1473 ◽  
Author(s):  
MALIACKAL POULO JOY ◽  
DONALD E. INGBER ◽  
SUI HUANG

Random Boolean networks have been used as simple models of gene regulatory networks, enabling the study of the dynamic behavior of complex biological systems. However, analytical treatment has been difficult because of the structural heterogeneity and the vast state space of these networks. Here we used mean field approximations to analyze the dynamics of a class of Boolean networks in which nodes have random degree (connectivity) distributions, characterized by the mean degree k and variance D. To achieve this we generalized the simple cellular automata rule 126 and used it as the Boolean function for all nodes. The equation for the evolution of the density of the network state is presented as a one-dimensional map for various input degree distributions, with k and D as the control parameters. The mean field dynamics is compared with the data obtained from the simulations of the Boolean network. Bifurcation diagrams and Lyapunov exponents for different parameter values were computed for the map, showing period doubling route to chaos with increasing k. Onset of chaos was delayed (occurred at higher k) with the increase in variance D of the connectivity. Thus, the network tends to be less chaotic when the heterogeneity, as measured by the variance of connectivity, was higher.


2015 ◽  
Vol 29 (4) ◽  
pp. 2312-2335 ◽  
Author(s):  
Maximilien Gadouleau ◽  
Adrien Richard ◽  
Søren Riis

2009 ◽  
Vol 07 (06) ◽  
pp. 1013-1029 ◽  
Author(s):  
GRAHAM J. HICKMAN ◽  
T. CHARLIE HODGMAN

The modeling of genetic networks especially from microarray and related data has become an important aspect of the biosciences. This review takes a fresh look at a specific family of models used for constructing genetic networks, the so-called Boolean networks. The review outlines the various different types of Boolean network developed to date, from the original Random Boolean Network to the current Probabilistic Boolean Network. In addition, some of the different inference methods available to infer these genetic networks are also examined. Where possible, particular attention is paid to input requirements as well as the efficiency, advantages and drawbacks of each method. Though the Boolean network model is one of many models available for network inference today, it is well established and remains a topic of considerable interest in the field of genetic network inference. Hybrids of Boolean networks with other approaches may well be the way forward in inferring the most informative networks.


Sign in / Sign up

Export Citation Format

Share Document