 Research
 Open Access
 Published:
Gene regulatory network state estimation from arbitrary correlated measurements
EURASIP Journal on Advances in Signal Processing volume 2018, Article number: 22 (2018)
Abstract
Background
Advancements in gene expression technology allow acquiring cheap and abundant data for analyzing cell behavior. However, these technologies produce noisy, and often correlated, measurements on the transcriptional states of genes. The Boolean network model has been shown to be effective in capturing the complex dynamics of gene regulatory networks (GRNs). It is important in many applications, such as anomaly detection and optimal intervention, to be able to track the evolution of the Boolean states of a gene regulatory network using noisy timeseries transcriptional measurements, which may be correlated in time.
Results
We propose efficient estimators for the Boolean states of GRNs using correlated timeseries transcriptional measurements, where the nature of the correlation and of the measurements themselves are entirely arbitrary. More specifically, we propose new algorithms based on a hypothesis tree to compute optimal minimum mean square error (MMSE) filtering and smoothing state estimators for a PartiallyObserved Boolean Dynamical System (POBDS) with correlated measurements. The algorithms are exact but may be computationally expensive for large state spaces or long time horizons, in which case a process for pruning the hypothesis tree is employed to obtain an approximation of the optimal MMSE estimators, while keeping computation tractable. Performance is assessed through a comprehensive set of numerical experiments based on the p53MDM2 negativefeedback loop Boolean regulatory network, where the standard Boolean Kalman Filter (BKF) and Boolean Kalman Smoother (BKS) for uncorrelated measurements are compared to the corresponding new estimators for correlated measurements, called BKFCORR and BKSCORR, respectively.
Introduction
Gene regulatory networks (GRNs) govern the functioning of key cellular processes, such as the cell cycle, stress response, and DNA repair. Several mathematical models have been proposed to accurately capture the dynamical behavior of GRNs. These methods include Boolean networks [1–3], ordinary differential equations (OED) [4, 5], Ssystems [6, 7], and Bayesian networks [8–10]. Boolean networks were first introduced as completely observable, deterministic models by Kauffman and collaborators [11, 12]. In a Boolean network, the transcriptional state of each gene is represented by 0 (OFF) or 1 (ON), and the relationship among genes is described by logical gates updated at discrete time intervals [13]. The Boolean network model has been successful in accurately modeling the dynamics of the cell cycle in the Drosophila fruit fly [14], the Saccharomyces Cerevisiae yeast [15], the mammalian cell cycle [16], and the switching behavior displayed by the p53 gene in tumorsuppressing pathways [17, 18]. Several variations of the original Boolean network models have been introduced in the literature to account the stochasticity in the behavior of gene regulatory networks. These models include Random Boolean Networks [1], Boolean Networks with perturbation (BNp) [19], Probabilistic Boolean Networks (PBN) [2], and Boolean Control Networks (BCN) [20, 21]. A key point is that all aforementioned models assume that the Boolean states of the system are directly observable. But, in practice, this is never the case. Modern transcriptional studies are based on technologies that produce noisy indirect measurements of gene activity, such as cDNA microarrays [22], RNAseq [23], and cell imagingbased assays [24, 25].
The PartiallyObserved Boolean Dynamical System (POBDS) model [3, 26] addresses the scenario encountered in practice in transcriptomic analysis by allowing for indirect and incomplete observation of gene states. The POBDS model is a special case of Hidden Markov Model (HMM) with Boolean state variables. The POBDS model unifies and generalizes most of the aforementioned Boolean network models. Several tools for the POBDS model have been developed in recent years, such as the optimal filter and smoother based on the minimum mean square error (MMSE) criterion, called the Boolean Kalman filter (BKF) [3, 26] and Boolean Kalman smoother (BKS) [3, 27], respectively; particle filter implementation of these filters [28]; fault detection [29]; optimal filter with correlated noise [30]; network inference [31]; sensor selection [32]; and control [33–38]. Most of these tools are freely available through an opensource R package called “BoolFilter" [39, 40].
All tools for estimation, identification, and control of POBDS have been built based on the assumption that the measurement noise is uncorrelated over time. However, this assumption may not hold in practice, due to the unavoidable measurement correlation existing in most realworld applications. The first development in this direction, for simple correlated binary measurement noise, was provided in [30]. However, in practice, the measurement space is never Boolean, but is in fact continuousvalued, such as in cDNA microarrays [22] and live cell imagingbased assays [24], or integervalued, such as in RNAseq data [41]. In this paper, we propose new algorithms based on a hypothesis tree to compute optimal MMSE filtering and smoothing state estimators for POBDS with arbitrary correlated measurements (Fig. 1). The proposed algorithms are exact, but, for large state spaces or long time horizons, computation is kept tractable by pruning the hypothesis tree, leading to an approximation of the optimal MMSE estimators. Performance is assessed through a comprehensive set of numerical experiments based on the p53MDM2 negativefeedback loop Boolean regulatory network, where the standard Boolean Kalman Filter (BKF) and Boolean Kalman Smoother (BKS) for uncorrelated measurements are compared to the corresponding new estimators for correlated measurements, called BKFCORR and BKSCORR, respectively. In case there is no pruning, the BKFCORR algorithm is equivalent to the filter estimator of [30] when the correlated observation noise is binary.
The article is organized as follows. In Section 2, the POBDS signal model with correlated observation noise is introduced. The proposed BKFCORR and BKSCORR estimators are developed in Sections 3.1 and 3.2, respectively. An instance of the POBDS model for gene regulatory networks observed through various sequencing technologies is discussed in Section 4. The performance of the proposed estimators is assessed in Section 5, through a comprehensive set of numerical experiments. Finally, Section 6 contains concluding remarks.
POBDS with correlated measurements
In this section, we introduce the model for a POBDS with correlated measurements. The model consists of a state model, which is the same as the one for an ordinary POBDS, and an observation model with general autoregressive measurement noise.
State model
The system is described by a state process X_{ k };k=0,1,…, where \(\mathbf {X}_{k} \in \{0,1\}^{d}\) is a Boolean vector describing the activation/inactivation state of d genes at time k. The state is assumed to be updated at time k through the following nonlinear signal model
for k=1,2,…, where \(\mathbf {u}_{k} \in \{0, 1\}^{d}\) is an input at time k, \({\mathbf {f}} :\{0,1\}^{2d} \rightarrow \{0,1\}^{d}\) is a Boolean function called the network function, “ ⊕” indicates the componentwise modulo2 addition, and \(\mathbf {n}_{k} \in \{0, 1\}^{d}\) is the Boolean transition noise. The noise process {n_{ k };k=1,2,…} is assumed to be “white” in the sense that the noise at distinct time points is an independent random variable. We also assume that noise process is independent of the initial state X_{0} and the input sequence {u_{ k };k=1,2,…} is deterministic and known.
Observation model
Let Y_{ k } be a vector containing the measurements at time k,
for k=1,2,…, where v_{ k } is the measurement noise at time step k. We assume that {v_{ k };k=1,2,…} has a general autoregressive structure of the form
where {w_{ k };k=1,2,…} is a white measurement noise process and g specifies the relationship between v_{ k } and v_{k−1}. The initial value of the noise is set to zero, i.e., v_{0}=0.
For a given measurement Y_{ k } and known Boolean state X_{ k }, we assume that there is a unique value of the measurement noise v_{ k } that is accessible through a known mapping:
For example, in the case of simple additive noise, Y_{ k }=X_{ k }+v_{ k }, the inverse mapping would be r(Y_{ k },X_{ k })=Y_{ k }−X_{ k }.
Proposed estimators
In this section, we describe the new algorithms for computing the optimal MMSE filter and smoother for a POBDS with correlated observations.
BKFCORR
The optimal minimum mean square error (MMSE) filtering problem consists of, given observations Y_{1:k}=(Y_{1},…,Y_{ k }), finding an estimator \(\hat {\mathbf {X}}_{kk}\) of the state X_{ k } that minimizes
where . denotes the usual L_{2} vector norm. For a vector v of size d, define \(\overline {{\mathbf {v}}}\in \{0,1\}^{d}\) via \(\overline {{\mathbf {v}}}(i) = I_{{\mathbf {v}}(i) > 1/2}\) for i=1,…,d. It has been shown ([3], Thm. 1) that
where \(I = \left \{1,\ldots,2^{d}\right \}\) and \(\left (\mathbf {x}^{1},\ldots,\mathbf {x}^{2^{d}}\right)\) is an arbitrary enumeration of the possible Boolean state vectors.
For the standard POBDS model defined by (1)–(2) with uncorrelated observation noise (“white noise”), the previous estimator can be computed exactly by a recursive matrixbased algorithm, called the Boolean Kalman filter (BKF) [26]. It is our purpose in this section to derive an algorithm to accurately and efficiently compute this estimator in the case of the correlated noise model defined by (3)–(4). Computation is based on a hypothesis tree and is exact, but an approximate version of the estimator is also proposed for large state spaces or long time horizons, based on pruning the hypothesis tree.
Consider a new “state” vector Z_{ k }=[X_{ k },v_{ k }]^{T} consisting of the pair of state vector and observation noise and corresponding “transition” noise vector η=[n_{ k },w_{ k }], which leads to the “state” model
with observation model
Our approach is to compute P(X_{ k }∣Y_{1:k}) based on the probabilities of all possible realizations of the state trajectory (Z_{0},Z_{1},…,Z_{ k }) given the data Y_{1:k}, which allows the computation of the optimal MMSE filter in (6).
The trajectories can be arranged in a hypothesis tree containing pairs. At time k=0, using the fact that v_{0}=0, there are 2^{d} possible realizations
with probabilities
for \(i \in I = \left \{1,\ldots,2^{d}\right \}\). At time k=1, each pair in (9) leads to 2^{d} additional pairs
for (i,j)∈I_{2}=I×I, where we used the relationship (4). Each of these 2^{d}×2^{d}=2^{2d} pairs corresponds to the terminal point of a unique trajectory \(\left \{\mathbf {z}_{0}^{(i)},\mathbf {z}_{1}^{(i,j)}\right \}\) through time k=1. The probability of this trajectory is
for (i,j)∈I_{2}.
At time k, there are 2^{(k+1)d} pairs
The probability of each of the unique 2^{(k+1)d} trajectories \(\left \{\mathbf {z}_{0}^{(i_{0})}, \mathbf {z}_{1}^{(i_{0},i_{1})},\ldots, \mathbf {z}_{k}^{(i_{0},i_{1}\ldots,i_{k})}\right \}\) through time k can be computed recursively as
for (i_{0},i_{1}…,i_{ k })∈I_{k+1}, where I_{ k }=I×⋯×I (k times). Since the state and noise transition probabilities, P(X_{ k }∣X_{k−1}) and p(v_{ k }∣v_{k−1}), are assumed to be known, this provides an efficient way to recursively compute the probability of all trajectories.
Now, since the event \(\left [\mathbf {X}_{k} = \mathbf {x}^{i_{k}}\right ]\) is equal to the disjoint union of all trajectories that end at X_{ k } at time k, it is clear that the conditional probability \(P\left (\mathbf {X}_{k} = \mathbf {x}^{i_{k}}\mid \mathbf {Y}_{1:k}\right)\) is equal to the sum of the conditional probabilities of those trajectories:
for i_{ k }∈I. Substituting this in (6) allows us to write the optimal MMSE estimator simply as
However, one can easily appreciate that the number of trajectories will quickly become intractable as the number of genes d and the horizon k increase. For example, for a network with eight genes, there will be 2^{40}=1.1×10^{12} trajectories after only k=4 time points. To make the computation feasible, at each time k, we prune the trajectories with probability smaller than a threshold ε>0, by removing the corresponding pairs (i_{0},i_{1}…,i_{ k }) from the index set I_{k+1}. The probabilities of the surviving trajectories are renormalized to add up to one, and the state estimator in (16) is computed on the reduced index set. Then, the surviving nodes are expanded, and the process is repeated. A larger value of ε results in more computational savings and a faster estimator, but at an increased loss of accuracy, and viceversa. The resulting filter is called the BKFCORR estimator. The effect of ε on the performance of the BKFCORR estimator is investigated in Section 5.
BKSCORR
The optimal filter uses the data Y_{1:k} observed up to the current time k to estimate the state at the current time k. By contrast, the (fixedinterval) smoother uses data Y_{1:T} that have been collected and stored “offline” up to time T to estimate the states at any time point in the interval 0≤k≤T.
In Fig. 2a, it can be seen that the filtering process needs only a forward step for estimating the state at the last time point. In contrast, the smoothing process presented in Fig. 2b requires both forward and backward processes for state estimation over the fixed interval.
Given observations Y_{1:T}, the optimal MMSE (fixedinterval) smoothing problem consists of finding an estimator \(\hat {\mathbf {X}}_{kT}\) of the state X_{ k }, for 0<k<T, which minimizes
It can be shown that the solution is
It is instructive to compare the previous two equations to (5) and (6), respectively. For the standard POBDS model with uncorrelated observation noise, the estimator in (18) can be computed exactly by a matrixbased algorithm, called the Boolean Kalman Smoother (BKS) [3, 27]. In this section, an exact MMSE smoother for a POBDS with correlated measurement defined by (3)–(4) is proposed.
The proposed smoother, called the BKSCORR estimator, contains forward and backward steps. In the forward process, given a sequence of measurements Y_{1:T}, one runs the proposed filter in Section 3.1 from time 0 to T to compute the filtering trajectories and their associated probabilities. Then, the backward process uses those values in a recursive fashion to compute the smoothed state estimate.
The filter at time step T creates 2^{(T+1)d} unique trajectories \(\left \{\mathbf {z}_{0}^{(i_{0})},\ldots,\mathbf {z}_{T}^{(i_{0},i_{1},\ldots,i_{T})}\right \}\) with associated probabilities \(\pi _{TT}^{(i_{0},i_{1},\ldots,i_{T})}\), for (i_{0},i_{1},…,i_{ T })∈I_{T+1}. Clearly, the filtering and smoothing solutions in the last time step (at time step T) are the same. One can obtain the smoothed estimator by first computing the following smoothed posterior probabilities using the forward trajectories:
for (i_{0},…,i_{T−1})∈I_{ T }. The process can be repeated to compute the smoothed probability backwards to any desired time step via
for (i_{0},…,i_{k−1})∈I_{ k } and k=1,…,T. The optimal MMSE smoother at time k can then be computed as
The pruning process to make computation efficient is done in the forward process only, by using the same process described in the previous section.
Partially observed gene regulatory networks
In this section, we describe a specific instance of the POBDS model with correlated measurements in (1)–(3), which allows the application of the proposed BKFCORR and BKSCORR estimators to Boolean gene regulatory networks observed through noisy correlated geneexpression data.
Gene regulatory network state model
The state model adopted here is motivated by gene pathway diagrams commonly encountered in biomedical research, in which genes act to activate or inhibit the activity of other genes. The network function in (1) is expressed in component form as f=(f_{1},…,f_{ d }), where each component \(f_{i}: \{0,1\}^{2d} \rightarrow \{0,1\}\) is a Boolean function given by
where a_{ ij } and b_{ i } are the system parameters. The former can take three values: a_{ ij }=+1 if there is positive regulation (activation) from gene j to gene i; a_{ ij }=−1 if there is negative regulation (inhibition) from gene j to gene i; and a_{ ij }=0 if gene j is not an input to gene i. The latter specifies regulation biases and can take two values: b_{ i }=+1/2 if gene i is positively biased, in the sense that an equal number of activation and inhibition inputs will produce activation, and the reverse being the case if b_{ i }=−1/2. The proposed network function is depicted in Fig. 3, where the threshold units are step functions that output 1 if the input is nonnegative, and 0, otherwise.
The process noise n_{ k } in (1) is assumed to have independent components distributed as Bernoulli(p), where the noise parameter p gives the amount of “perturbation” to the Boolean state process; the closer it is to p=0.5, the more chaotic the system will be, while a value of p close to zero means that the state trajectories are nearly deterministic, being governed tightly by the network function. From (1), the transition probabilities \(P\left (\mathbf {X}_{k}=\mathbf {x}^{i}\mid \mathbf {X}_{k1}=\mathbf {x}^{j}\right)\) of the state process, required for computation of the hypothesis tree probabilities in (14), take the form
for i,j=1,…,2^{d}, where x_{1} denotes the number of 1’s in the Boolean vector x.
Geneexpression observation model
We employ here an additive Gaussian noise observation model even though the methodology proposed in the paper is entirely general and could be applied in principle to any observation model satisfying constraints (3) and (4). A Gaussian model is appropriate for modeling geneexpression data from technologies such as cDNA microarrays [22] and live cell imagingbased assays [24], in which gene expression measurements are continuous and unimodal (within a single population of interest) [42–45]. Let Y_{ k }=(Y_{ k }(1),…,Y_{ k }(d)) be a vector containing the measurements at time k, for k=1,2,…. The component \(\mathbf {Y}_{k}(j) \in {\mathbb {R}}\) is the abundance measurement corresponding to transcript j, which is modeled as
for j=1,…,d, where the parameters \(\mu _{j}^{0}\) and \(\mu _{j}^{1}\) specify the mean abundance of transcript j in the inactivated and activated states, respectively, and {v_{ k };k=1,2,…} is the measurement noise process, with a standard AR(1) structure
where 0≤η≤1 is a correlation parameter, and {w_{ k };k=1,2,…} is a multivariate zeromean white Gaussian noise process, with \(\mathbf {w}_{k}\,\sim \,{\mathcal N}(0,\Sigma _{k})\). The value η=0 corresponds to uncorrelated observation noise, where as η=1 corresponds to maximum correlation. Clearly, the conditional distribution v_{ k }∣v_{k−1}, required to compute the hypothesis tree probabilities in (14), is a multivariate Gaussian N(v_{ k },Σ_{ k }).
Results and discussion
In this section, we present the results of detailed numerical experiments to assess the performance of the proposed BKFCORR and BKSCORR estimators. We base our experiments on the wellknown p53MDM2 negativefeedback gene regulatory network [17, 18]. The p53 gene codes for the tumor suppressor protein p53 in humans, and its activation plays a critical role in cellular responses to various stress signals that might cause genome instability. The gene regulatory network consists of four genes, ATM, p53, Wip1, and MDM2, and the input “dna_dsb,” which indicates the presence of DNA double strand breaks.
The pathway diagram for this network is presented in Fig. 4a. We can see that ATM is the transductor gene for the DNA damage signal, which eventually activates p53 through inactivation of MDM2. However, there is also a negativefeedback loop between p53 and ATM through Wip1, so that p53 is expected to display an oscillatory behavior under DNA damage [17]. On the other hand, under no stress, it is known that all four proteins are inactivated in the steady state [46].
These behaviors are captured nicely by the gene regulatory network model proposed in Section 4.1. Letting the state vector be X_{ k }=(ATM,p53,Wip1,MDM2), the gene interaction parameters a_{ ij } can be read off Fig. 4a:
The input vector is u_{ k }=(dna_dsb,0,0,0) and is assumed here to be held constant at one of its possible two values: DNA damage, u_{ k }=(1,0,0,0), or no stress, u_{ k }=(0,0,0,0), for k=1,2,…. We assume negative regulation biases, b_{ i }=−1/2, for i=1,…,d. This leads to two state transition diagrams, corresponding to each possible value of the input dna_dsb, which are depicted in Fig. 4b, c). We can see that under nostress, “0000” is a singleton attractor state, while the other states are transient; on the other hand, under DNA damage, there is a cyclic attractor corresponding to an oscillation of p53 along with the other proteins in its regulatory pathway. This reproduces the known biological behavior described previously.
The mean expressions for activated and inactivated genes are assumed to be the same for all genes, with values μ_{0} and μ_{1}, respectively, specified in Table 1. In addition, the covariance matrix for the noise w_{ k } is assumed to be constant and equal to \(\Sigma = \sigma ^{2}I_{d}^{2}\), with the value of σ specified in Table 1.
Table 2 displays the average rate of correct state estimation for the standard BKF and BKS, which are optimal for uncorrelated noise but suboptimal in this case. The pruning parameter is set to be ε=0.01. As expected, the performance of the BKFCORR and BKSCORR estimators is better than that of the BKF and BKS estimators in various cases. As expected, the difference is more obvious for larger correlated noise.
Performance across the board is worse in the presence of large process and measurement noises. One can also see that better estimation is obtained in the “nostress” condition in comparison to “DNAdamage” case. This can be explained by the attractor structure of each system, shown in Fig. 4b, c. Under nostress, the system spends a significant amount of time in the rest state 0000, whereas under DNA damage, more states are visited due to the cyclic attractor, which makes the state estimation process more challenging.
Figure 5 displays the average correct state estimation rates E_{ k } over 40 time steps using 1000 independent runs, defined as
for k=1,…,40, where \(\hat {\mathbf {X}}_{k,i}\) is the estimate of the true state X_{k,i} in the ith iteration. The error \(\hat {E}_{k}\) takes a value between 0 and 1. When \(\hat {E}_{k}\) is close to 0, the proposed estimator has accurately estimated the transcriptional state of all genes at time step k over all independent runs. By contrast, a value of \(\hat {E}_{k}\) close to 1 corresponds to the maximum possible estimation error at time step k. For the plot in Fig. 5, the process noise intensity, pruning parameter, and correlation rate are assumed to be p=0.01, ε=0.1, and η=0.1, respectively. The standard deviation of the measurement noise is also assumed to be σ=10. In both cases, the BKFCORR and BKSCORR estimators have performed accurately, leading to small average estimation error. However, the BKSCORR estimator has smaller error on average in comparison to the BKFCORR estimator throughout the interval. This is due to the fact that the smoother uses future observations, but the filter uses only the observations up to the present time. The average estimation error is larger in the early steps, due to the initial uniform distribution assumed over the Boolean states. However, as time goes on, the average error quickly becomes small. One can notice that the difference between the average estimation errors of the BKFCORR and BKSCORR estimators is larger in the presence of DNA damage. This can be justified by the fact that the p53MDM2 network in the presence of the DNA damage has a cyclic attractor (see Fig. 4), as opposed to the nostress condition in which “0000” is a singleton attractor. Clearly, the estimation in the presence of the cyclic attractor is more challenging than that of a singleton attractor. Thus, the use of future data in the smoothing process makes the estimation process more accurate in the middle of the interval. Finally, as expected, at the end of the horizon (i.e., k=T), the filter and smoother are equivalent (since no future data is available), and as a result, the same average error can be seen for both estimators in that case.
Next, the effect of the pruning parameter on performance and computational time is examined. Table 3 displays the average correct estimation rate and running time of the proposed methods for different pruning parameters, computed over 1000 independent runs for sequences of length T=40. The process noise intensity and the standard deviation of measurements are assumed to be p=0.05 and σ=10, respectively. The system is assumed to be in the DNAdamage condition. As mentioned previously, as the pruning rate ε increases, running time decreases, but performance decreases. In this case, the performance of both the BKFCORR and BKSCORR estimators decreases significantly for ε=0.10, but it does not vary much by moving from ε=0.01 to ε=0.05. The choice of ε depends principally on the amount of available resources and timelimit constraints.
Figure 6 displays sample original and estimated state trajectories of all genes obtained by the BKFCORR and the BKF estimators on a single time series of length 40, with correlation parameter η=0.2, p=0.05, ε=0.1, and σ=10. It is clear that the gene states are better tracked by the BKFCORR algorithm in comparison to the BKF. Notice that less gene activity can be observed in the case of nostress condition due to the singleton rest attractor of the system, whereas several oscillations can be seen under DNA damage due to the existence of a cyclic attractor.
Conclusions
In practice, the existence of correlation between data points acquired from gene expression technologies should be expected, and there is a need for accurate estimation of transcriptional states of genes under these conditions. In this paper, gene regulatory networks observed through noisy correlated geneexpression data were modeled with a modified PartiallyObserved Boolean Dynamical System (POBDS) model that accounts for measurement noise correlation. The BKFCORR and BKSCORR algorithms for state estimation from correlated measurements were proposed, which are built on a hypothesis tree and an efficient pruning process to keep the computation tractable. Numerical results demonstrated that the proposed BKFCORR and BKSCORR estimators achieve good state tracking performance under modest computational requirements.
Abbreviations
 BKF:

Boolean Kalman Filter
 BKS:

Boolean Kalman Smoother
 BKFCORR:

Boolean Kalman Filter for correlated measurements
 BKSCORR:

Boolean Kalman Smoother for correlated measurements
 GRNs:

Gene regulatory networks
 MMSE:

Minimum mean square error
 POBDS:

PartiallyObserved Boolean Dynamical System
References
 1
SA Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol.22(3), 437–467 (1969).
 2
I Shmulevich, ER Dougherty, W Zhang, From Boolean to probabilistic Boolean networks as models of genetic regulatory networks. Proc. IEEE. 90(11), 1778–1792 (2002).
 3
M Imani, U BragaNeto, Maximumlikelihood adaptive filter for partiallyobserved Boolean dynamical systems. IEEE Trans. Signal Process.65:, 359–371 (2017).
 4
T Chen, HL He, GM Church, et al, in Pacific Symposium on Biocomputing. Modeling gene expression with differential equations. vol. 4, (1999), p. 40.
 5
MS Yeung, J Tegnér, JJ Collins, Reverse engineering gene networks using singular value decomposition and robust regression. Proc. Natl. Acad. Sci. 99(9), 6163–6168 (2002).
 6
S Kikuchi, D Tominaga, M Arita, K Takahashi, M Tomita, Dynamic modeling of genetic networks using genetic algorithm and Ssystem. Bioinformatics. 19(5), 643–650 (2003).
 7
S Kimura, K Ide, A Kashihara, M Kano, M Hatakeyama, R Masui, N Nakagawa, S Yokoyama, S Kuramitsu, A Konagaya, Inference of Ssystem models of genetic networks using a cooperative coevolutionary algorithm. Bioinformatics. 21(7), 1154–1163 (2004).
 8
N Friedman, M Linial, I Nachman, D Pe’er, Using Bayesian networks to analyze expression data. J. Comput. Biol.7(34), 601–620 (2000).
 9
K Murphy, S Mian, et al, Modelling gene expression data using dynamic Bayesian networks (Technical report, Computer Science Division, University of California, Berkeley, CA, 1999).
 10
BE Perrin, L Ralaivola, A Mazurie, S Bottani, J Mallet, F d’Alche–Buc, Gene networks inference using dynamic Bayesian networks. Bioinformatics. 19(suppl_2), 138–148 (2003).
 11
SA Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol.22:, 437–467 (1969).
 12
SA Kauffman, Homeostasis and differentiation in random genetic control networks. Nature. 224:, 177–178 (1969).
 13
I Shmulevich, ER Dougherty, S Kim, W Zhang, Probabilistic Boolean networks: a rulebased uncertainty model for gene regulatory networks. Bioinformatics. 18(2), 261–274 (2002).
 14
R Albert, HG Othmer, The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in drosophila melanogaster. J. Theor. Biol.223(1), 1–18 (2003).
 15
F Li, T Long, Y Lu, Q Ouyang, C Tang, The yeast cellcycle network is robustly designed. Proc. Natl. Acad. Sci. U S A. 101(14), 4781–6 (2004).
 16
A Faure, A Naldi, C Chaouiya, D Thieffry, Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bionformatics. 22(14), 124–131 (2006).
 17
E Batchelor, A Loewer, G Lahav, The ups and downs of p53: understanding protein dynamics in single cells. Nat. Rev. Cancer. 9:, 371–377 (2009).
 18
R Layek, A Datta, Fault detection and intervention in biological feedback networks. J. Biol. Syst.20(4), 441–453 (2012).
 19
I Shmulevich, ER Dougherty, Probabilistic Boolean networks (SIAM, Philadelphia, 2009).
 20
D Cheng, H Qi, A linear representation of dynamics of Boolean networks. IEEE Trans. Automatic Control. 55(10), 2251–2258 (2010).
 21
D Cheng, H Qi, Z Li, Analysis and control of Boolean networks: a semitensor product approach (Springer, 2010).
 22
Y Chen, ER Dougherty, ML Bittner, Ratiobased decisions and the quantitative analysis of cDNA microarray images. J. Biomed. Opt. 2(4), 364–374 (1997).
 23
A Mortazavi, BA Williams, K McCue, L Schaeffer, B Wold, Mapping and quantifying mammalian transcriptomes by RNASeq. Nat. Methods. 5(7), 621–628 (2008).
 24
J Hua, C Sima, M Cypert, GC Gooden, S Shack, L Alla, EA Smith, JM Trent, ER Dougherty, ML Bittner, Dynamical analysis of drug efficacy and mechanism of action using GFP reporters. J. Biol. Syst. 20(04), 403–422 (2012).
 25
SZ Dadaneh, X Qian, M Zhou, Bnpseq: Bayesian nonparametric differential expression analysis of sequencing count data. J. Am. Stat. Assoc.(2017) justaccepted.
 26
U BragaNeto, in Signals, Systems and Computers (ASILOMAR), 2011 Conference Record of the Forty Fifth Asilomar Conference On. Optimal state estimation for Boolean dynamical systems (IEEE, 2011), pp. 1050–1054.
 27
M Imani, U BragaNeto, in 2015 IEEE Global Conference on Signal and Information Processing (GlobalSIP). Optimal state estimation for Boolean dynamical systems using a Boolean Kalman smoother (IEEE, 2015), pp. 972–976.
 28
M Imani, U BragaNeto, Particle filters for partiallyobserved Boolean dynamical systems. Automatica. 87:, 238–250 (2018).
 29
A Bahadorinejad, UM BragaNeto, Optimal fault detection and diagnosis in transcriptional circuits using nextgeneration sequencing. IEEE/ACM Trans. Comput. Biol. Bioinform. (2015).
 30
LD McClenny, M Imani, U BragaNeto, in the 42nd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2017). Boolean Kalman Filter with correlated observation noise (IEEE, 2017).
 31
M Imani, U BragaNeto, in 2015 49th Asilomar Conference on Signals, Systems and Computers. Optimal gene regulatory network inference using the Boolean Kalman filter and multiple model adaptive estimation (IEEE, 2015), pp. 423–427.
 32
M Imani, U BragaNeto, in 2017 51th Asilomar Conference on Signals, Systems and Computers. Optimal finitehorizon sensor selection for Boolean Kalman filter (IEEE, 2017).
 33
M Imani, U BragaNeto, Control of gene regulatory networks with noisy measurements and uncertain inputs. IEEE Trans. Control Netw. Syst. (2018). https://doi.org/10.1109/TCNS.2017.2746341.
 34
M Imani, U BragaNeto, Pointbased methodology to monitor and control gene regulatory networks via noisy measurements. IEEE Trans. Control Syst. Technol. (2018). https://doi.org/10.1109/TCST.2017.2789191.
 35
M Imani, U BragaNeto, in American Control Conference (ACC), 2016. Statefeedback control of partiallyobserved Boolean dynamical systems using RNAseq time series data (IEEE, 2016), pp. 227–232.
 36
M Imani, UM BragaNeto, in Proceedings of the 2017 American Control Conference (ACC 2017). Multiple model adaptive controller for partiallyobserved Boolean dynamical systems (IEEESeattle, 2017), pp. 1103–1108.
 37
M Imani, U BragaNeto, in Decision and Control (CDC), 2016 IEEE 55th Conference On. Pointbased value iteration for partiallyobserved Boolean dynamical systems with finite observation space (IEEE, 2016), pp. 4208–4213.
 38
M Imani, UM BragaNeto, in Proceedings of the 2018 American Control Conference (ACC 2018). Optimal Control of Gene Regulatory Networks with Unknown Cost Function (IEEE, 2018).
 39
LD Mcclenny, M Imani, UM BragaNeto, BoolFilter: an R package for estimation and identification of partiallyobserved Boolean dynamical systems. BMC Bioinformatics. 18(1), 519 (2017).
 40
LD McClenny, M Imani, U BragaNeto, Boolfilter package vignette. The Comprehensive R Archive Network (CRAN) (2017).
 41
N Ghaffari, MR Yousefi, CD Johnson, I Ivanov, ER Dougherty, Modeling the next generation sequencing sample processing pipeline for the purposes of classification. BMC Bioinformatics. 14(1), 307 (2013).
 42
S Boluki, M Shahrokh Esfahani, X Qian, ER Dougherty, Constructing pathwaybased priors within a Gaussian mixture model for Bayesian regression and classification. IEEE/ACM Trans. Comput. Biol. Bioinformatics (2017). https://doi.org/10.1109/TCBB.2017.2778715.
 43
S Xie, M Imani, E Dougherty, U BragaNeto, in 2017 51th Asilomar Conference on Signals, Systems and Computers. Nonstationary linear discriminant analysis (IEEE, 2017).
 44
S Boluki, M Shahrokh Esfahani, X Qian, ER Dougherty, Incorporating biological prior knowledge for Bayesian learning via maximal knowledgedriven information priors. BMC bioinformatics (2017).
 45
A Karbalayghareh, U BragaNeto, ER Dougherty, Classification of singlecell gene expression trajectories from incomplete and noisy data. IEEE/ACM Trans. Comput. Biol. Bioinformatics (2017). https://doi.org/10.1109/TCBB.2017.2763946.
 46
RA Weinberg, The Biology of Cancer (Garland Science, Princeton, 2006).
Funding
The authors would like to acknowledge the support of the National Science Foundation through NSF awards CCF1320884 and CCF1718924.
Ethic approval and consent to participate
Not applicable.
Author information
Affiliations
Contributions
MI proposed the algorithms based on the hypothesis tree and carried out the numerical experiments. UB proposed the original idea of studying POBDS with correlated measurement noise. Both authors made significant contributions in the writing of the manuscript. Both authors read and approved the final manuscript.
Corresponding author
Correspondence to Mahdi Imani.
Ethics declarations
Consent for publication
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Imani, M., BragaNeto, U. Gene regulatory network state estimation from arbitrary correlated measurements. EURASIP J. Adv. Signal Process. 2018, 22 (2018). https://doi.org/10.1186/s136340180543y
Received:
Accepted:
Published:
Keywords
 State estimation
 Partiallyobserved Boolean dynamical system
 Correlated measurement noise
 Gene regulatory network
 Boolean Kalman Filter and Smoother