Review of stochastic hybrid systems with applications in biological systems modeling and analysis
 Xiangfang Li^{1}Email author,
 Oluwaseyi Omotere^{1},
 Lijun Qian^{1} and
 Edward R. Dougherty^{2}
DOI: 10.1186/s1363701700615
© The Author(s) 2017
Received: 25 March 2017
Accepted: 5 June 2017
Published: 30 June 2017
Abstract
Stochastic hybrid systems (SHS) have attracted a lot of research interests in recent years. In this paper, we review some of the recent applications of SHS to biological systems modeling and analysis. Due to the nature of molecular interactions, many biological processes can be conveniently described as a mixture of continuous and discrete phenomena employing SHS models. With the advancement of SHS theory, it is expected that insights can be obtained about biological processes such as drug effects on gene regulation. Furthermore, combining with advanced experimental methods, in silico simulations using SHS modeling techniques can be carried out for massive and rapid verification or falsification of biological hypotheses. The hope is to substitute costly and timeconsuming in vitro or in vivo experiments or provide guidance for those experiments and generate better hypotheses.
Keywords
Stochastic hybrid systems Biological systems modeling1 Introduction
In the last decade, one major transformation in molecular biology has been the massive scaling up of its experimental methods. Huge amounts of data on different aspects of the development and functioning of cells are generated from sequencing of the entire genome of organisms, the determination of the expression level of genes in a cell by means of DNA microarrays, and the identification of proteins and their interactions by highthroughput proteomic methods [1, 2].
To make good use of these data to its full potential, there is need for enhancement of experimental results with formal models of biochemical networks. An accurate and clear mathematical model that describe gene and protein interactions is essential in advancing the understanding in biology. With mathematical models, computerbased or in silico simulation and analysis of biochemical networks is possible. These in silico experiments can be used for massive and rapid verification or falsification of biological hypotheses, which can substitute in certain cases, costly and timeconsuming in vitro or in vivo experiments. In addition, in silico experiments can provide guidance and predictions for in vitro and in vivo experiments, and together they can be used in a feedback arrangement [2, 3].
The possibility of combining new experimental methods, sophisticated mathematical techniques, and increasingly powerful computers has given a new lease of life to an idea as appealing as it is difficult to realize: understanding how the global behavior of an organism emerges from the interactions between components at the molecular level.
Many approaches have been proposed for modeling molecular interaction networks. One way to group the models available in the literature [4] is based on the classification of (1) continuous dynamics, for example, models that describe the evolution of concentrations of proteins, mRNAs, etc., in terms of ordinary or partial differential equations; (2) discrete dynamics, such as graph models of the interdependencies in a regulatory network, Boolean networks and their extensions, Bayesian networks, or Markov chain models. Experimental evidence suggest that neither of these classes alone is adequate for developing realistic models of molecular interaction networks [5]. Other approaches such as the interval model [6] that describing complexity and uncertainty would not be able to address hybrid discretecontinuous dynamics.
Timescale hierarchies cause biological processes to be more conveniently described as a mixture of continuous and discrete phenomena. For instance, continuous changes in chemical concentrations or the environment of a cell often trigger discrete transitions (such as the onset of mitosis or cell differentiation) that in turn influence the concentration dynamics [7]. At the level of molecular interactions, the cooccurrence of discrete and continuous dynamics is exemplified by the switchlike activation or inhibition of gene expression by regulatory proteins [8].
Hybrid discretecontinuous dynamics can play an important role in biochemical systems, realization of this fact has led to investigation on how methods developed for hybrid systems in other areas (such as air traffic management and communication networks) can be extended to biological systems [9–13]. It is fair to say that the realization of the potential of hybrid systems theory in the context of biochemical system modeling is still under investigation. In addition, the observation that many biological processes involve considerable levels of uncertainty has been gaining momentum [14, 15]. For instance, experimental observations suggest that stochastic uncertainty may play an important role in enhancing the robustness of biochemical processes [16] or may be behind the variability observed in the behavior of certain organisms [17, 18]. Stochasticity is even observed in fundamental processes such as the DNA replication itself [19, 20]. This has led researchers to attempt the development of stochastic hybrid systems (SHS) models for certain biochemical processes that aim to couple the advantages of stochastic analysis with the generality of hybrid systems.
In this review, some of the recent applications of SHS to biological and chemical systems modeling and analysis are covered. With the advancement of SHS theory, it is expected that insights can be obtained about biological processes such as drug effects on gene regulation. Furthermore, combining with advanced experimental methods, in silico simulations using SHS modeling techniques can be carried out for massive and rapid verification or falsification of biological hypotheses. The hope is to substitute costly and timeconsuming in vitro or in vivo experiments or provide guidance for those experiments and generate better hypotheses.
The rest of the paper is organized as follows: In Section 2, background and basics of Stochastic Hybrid Systems (SHS) are provided. Section 3 presented the review on SHS applications to biological systems. Section 4 gives the concluding remarks.
2 Brief overview of stochastic hybrid system theory
In this section, we briefly cover the basics of stochastic hybrid system theory. Many previous works on hybrid systems have focused on deterministic models. In practice, it is often desirable to introduce some levels of uncertainty in the models, this has led to the introduction of what are known as nondeterministic models in discrete event and hybrid systems.
2.1 Hybrid systems
Hybrid systems are dynamical systems that involve the interaction of different types of dynamics. Hybrid dynamics arise out of the interaction of continuous state dynamics and discrete state dynamics [21, 22]. A state variable is called discrete if it takes on a finite (or countable) number of values and continuous if it takes values in Euclidean space \(\mathbb {R}^{n}\) for some n≥1. By their nature, discrete states can change value only through a discrete “jump,” while continuous states can change values either through a jump or by flowing in continuous time according to a differential equation. Hybrid systems involve both these types of dynamics: discrete jumps and continuous flows [23–25]. The contribution to hybrid system mainly comes from the computer science community and the systems and control community, each coming with their own approaches. The computer science community looks at a hybrid system primarily as a discrete (computer) program interacting with an analog environment. Different reasons motivated the study of hybrid system from the systems and control community; these include hierarchical systems with a discrete decision layer and a continuous implementation layer, switching control schemes and relay control, nonlinear control systems, and discrete event systems [23, 24]. As an example, hybrid automaton model could provide a framework and terminology to discuss a range of typical features of hybrid systems [26, 27]:
Definition 1

Q is a set of discrete variables and Q is countable;

X is the continuous variables;

I n i t⊆Q×X is a set of initial states;

f:Q×X→T X is a vector field;

I n v:Q→P((X)2^{ X } assigns to each q∈Q an invariant set;

E⊂Q×Q is a collection of discrete transitions;

G:E→P((X) assigns to each e=(q,q ^{′})∈E a guard; and

R:E×X→P((X) assigns to each e=(q,q ^{′})∈E and x∈X a reset relation.
Interested readers of hybrid systems should refer to [23–25] and proceedings of Hybrid Systems: Computation and Control (HSCC).
2.2 Hybrid systems with randomness
The need for finer probabilistic analysis of uncertain systems has led to the study of an even wider class of hybrid systems that allow things such as random failures causing unexpected transitions from one discrete state to another, or random task execution times which affect how long the system spends in different modes [28]. For example, the events in a hybrid system may be controllable (e.g., deciding to switch gears when driving a car) or uncontrollable (e.g., some equipment failure). Uncontrollable events may occur at random points in time, in which case the hybrid system becomes stochastic. Randomness may also enter the picture through noise in one or more timedriven components of the system, in which case we must resort to stochastic differential equations [29]. In this case, if a mode switch is the result of a continuous variable reaching a certain level (e.g., a tank containing fluid whose level exceeds a specific value), then the random fashion in which this variable evolves in time affects the associated switching event.
Randomness is inherent in biochemical and biomedical systems [30, 31]. There is evidence in stochasticity or noisy process found in gene expression, introduced either through biochemical processes such as transcription and translation or fluctuations in the amounts or states of other cellular components. This stochasticity in transcriptional regulation is due partly to the random waiting times among synthesis and degradation reactions involving a finite collection of transcripts and random transitions among the discrete operator states controlling the rate of transcription [32].
The great interest of the research community in Stochastic Hybrid Systems (SHS) has produced a number of different types of stochastic hybrid models. The main difference between these classes of stochastic hybrid models lies in the way the stochasticity enters the process [33]. Some models allow diffusions to model continuous evolution [28, 34], while others do not [35, 36]. Similarly, some models force transitions to take place from certain states [28], others only allow transitions to take place at random times (e.g. using a generalized Poisson process) [34], while others allow both [36]. Examples of several types of stochastic hybrid processes are given below.
2.2.1 Piecewise deterministic Markov process
Piecewise Deterministic Markov Processes (PDMP) [36, 37] is a stochastic hybrid model with deterministic continuous dynamics in each mode, while randomness appears only in the discrete transitions. Let Q be a countable set of discrete states, and let \({d} : {Q}\to \mathbb {N}\) and \({X} : {Q} \to \mathbb {R}^{d(.)}\) be two maps assigning to each discrete state i∈Q a subset of \(\mathbb {R}^{d(i)}\). We call the set \(\mathcal {D} = \bigcup _{{i}\in {Q}}\{i\} \times {X}(i)\) the hybrid state space of the PDMP and \(\alpha = ({i}, {x}) \in \mathcal {D}\) the hybrid state. The boundary of the hybrid state space is define as \(\partial \mathcal {D} = \bigcup _{{i}\in {Q}}\{i\} \times \partial {X}(i)\). A vector field f on the hybrid state space \(\mathcal {D}\) is a function \({f} : \mathcal {D} \to \mathbb {R}^{d}(.)\) assigning to each hybrid state α=(i,x) a direction \({f}(\alpha) \in \mathbb {R}^{d}(i)\). The flow of f is a function \(\Phi : \mathcal {D} \times \mathbb {R} \to \mathcal {D}\) with \(\Phi (\alpha, {t}) = \left [\begin {array}{l} \Phi (\alpha, {t})_{Q}\\ \Phi (\alpha, {t})_{X} \end {array}\right.\), where Φ(α,t)∈Q and Φ(α,t)∈X(i), such that for α=(i,x), Φ(α,0)=α and for all \({t} \in \mathbb {R}\), Φ _{ Q }(α,t)=i and \(\frac {d}{dt}\Phi (\alpha, {t}) = {f}\Phi (\alpha, {t}))\). Let \(\Gamma = \{\alpha \in \mathcal {D}\ \, \, \exists (\alpha ', {t})\in \mathcal {D}\times \mathbb {R}^{+}, \alpha =\Phi (\alpha ', {t}\}; \mathcal {D}^{\ast } = \mathcal {D}\cup \Gamma \). Define \(\mathcal {B}(\mathcal {D}^{\infty }) = \sigma (\bigcup _{{i}\in {Q}}\{{i}\}\times \mathcal {B}(X(i)))\) where \(\mathcal {D}^{\infty } = {Q} \times \mathbb {R}^{\infty }\). The space \((\mathcal {D}^{\infty }, \mathcal {B}(\mathcal {D}^{\infty }))\) is a Borel Space and \(\mathcal {B}(\mathcal {D}^{\infty })\) is a sub σalgebra of its Borel σalgebra.
Definition 2

Q is a countable set of discrete variables;

\({d} : {Q} \to \mathbb {N}\) is a map giving the dimensions of the continuous state spaces;

\({X} : {Q} \to \mathbb {R}^{d(.)}\) maps each i∈Q into a subset X(i) of \(\mathbb {R}^{d(i)}\) ;

\({f} : \mathcal {D}\to \mathbb {R}^{d(.)}\) is a vector field;

\({Init} : \mathcal {B}(\mathcal {D}^{\infty }) \to [0,1]\) is an initial probability measure on \((\mathcal {D}^{\infty }, \mathcal {B}(\mathcal {D}^{\infty }))\), with \({Init}(\mathcal {D}^{c})\) = 0;

\(\lambda : \mathcal {D}^{\ast } \to \mathbb {R}^{+}\) is a transition rate function;

\({R} : \mathcal {B}(\mathcal {D}^{\infty }) \times \mathcal {D}^{\ast } \to \) [0,1] is atransition measure, with \({R}(\mathcal {D}^{c},.)\) = 0.
PDMP is a nondiffusion stochastic model that finds application in optimization problems arising in resource allocation, queueing systems etc. and biochemical processes [37].
2.2.2 Switching diffusion process
Switching diffusion process (SDP) [34, 38] is a stochastic hybrid model with both continuous and discrete states.
Definition 3

Q={1,2,...,N} is a finite set of discrete variables, \({N} \in \mathbb {N}\);

\({X} = \mathbb {R}^{n}\) is the continuous state space;

\({f} : {Q} \times {X} \to \mathbb {R}^{n}\) is a vector field;

\({Init} : \mathcal {B}({Q} \times {X}) \to [\!0,1]\) is an initial probability measure on \(({Q} \times {X}, \mathcal {B}({Q} \times {X}))\);

\(\sigma : {Q} \times {X} \to \mathbb {R}^{{n}\times {n}}\) is a state dependent real valued matrix;

\(\lambda _{ij} : {X} \to \mathbb {R}\), i,j∈Q are a set of xdependent transition rates, with (.)≥0 if i≠j and \(\sum _{{i}\in {Q}}\lambda _{{ij}}(x)\) = 0 for all i∈Q, x∈X.
SDP has the ability to depict random environments via the switching process. The continuous state evolves according to a stochastic differential equation (SDE), while the discrete state is a controlled Markov chain. The dynamics of the SDE and the transition matrix of the Markov chain depend on the hybrid state. The continuous hybrid state evolves without jumps [33].
2.2.3 Stochastic hybrid system
Stochastic hybrid systems (SHS), involve a hybrid state space, with both continuous and discrete states.
Definition 4

Q is a countable set of discrete variables;

\({X} = \mathbb {R}^{n}\) is the continuous state space;

D o m:Q→2^{ X } assigns to each i∈Q an open subset of X;

\({f, g} : {Q} \times {X} \to \mathbb {R}^{n}\) are a vector field;

\({Init} : \mathcal {B}(Q \times {X}) \to [\!0,1]\) is an initial probability measure on \(({Q} \times {X}, \mathcal {B}(Q \times X))\) concentrated on \(\bigcup _{i}\{i\} \times {Dom}({i}\);

G:Q×Q→2^{ X } assigns to each (i,j)∈Q×Q a guard G(i,j)⊂X such that

For each (i,j∈Q×Q, G(i,j) is a measurable subset of ∂ D o m(i) (possibly empty);

For each i∈Q, the family {G(i,j)j∈Q} is a disjoint partition of ∂ D o m(i);


\({K} : {Q} \times {Q} \times {X} \to \mathcal {P}\) assigns to each (i,j)∈Q×Q and x∈G(i,j) a reset probability kernel on X concentrated on D o m(j).
The continuous state obeys an SDE that depends on the hybrid state. Transitions occur when the continuous state hits the boundary of the state space. Whenever a transition occurs, the hybrid state is reset instantly to a new value. The value of the discrete state after the transition is determined deterministically by the hybrid state before the transition. The new value of the continuous state, on the other hand, is governed by a probability law which depends on the last hybrid state [28, 33].
3 SHS applications to biological systems
Stochastic hybrid systems applications to biological systems
Application area  Papers  Modeling mechanism  Main goal 

Gene regulation  [53]  Ordinary Differential Equation and Markov Chain controlled switching  Response of a population of cancer cells to various drugs 
[54]  Ordinary Differential Equation and Markov Chain controlled switching  Subtilin Production modeling in Bacillus subtilis  
Ordinary Differential Equation and Markov Chain controlled switching  Parameter Identification  
[58]  Ordinary Differential Equation and Markov Chain  Lactose Regulation System of Escherichia Coli modeling  
[59]  Ordinary Differential Equation and Probabilistic Transitions  Estimation of low order statistics  
DNA replication  [60]  Ordinary Differential Equation, Guarded Transition and Probabilistic Firing Time  Simulation of full genome DNA replication 
[61]  Ordinary Differential Equation, Guarded Transition and Probabilistic Firing Time  Verification of SHS  
Sugar cataract development  Stochastic Differential Equation, Guarded and Probabilistic Transitions  Performance of simulation techniques  
[64]  Stochastic Differential Equation, Guarded and Probabilistic Transitions  Probabilistic verification for reachability analysis  
Biodiesel production system  [65]  Stochastic Differential Equation and Guarded Transition  Probabilistic verification for reachability analysis 
Glycolysis  [66]  Stochastic Differential Equation, Guarded and Probabilistic Transitions  Reachability analysis of a SHS model 
Population biology  [67]  Ordinary Differential Equation and Markov Processes  Moment Closure Techniques Comparison 
Others  misc  misc 
3.1 Gene regulatory networks modeling and control
Gene regulatory network is a collection of genes that regulate the transcriptional activity of each other through their expressed proteins. The expressions of genes are intrinsically nondeterministic. One of the main reasons is the random fluctuations (noise) in the concentrations of protein species in the cell population [39]. The stochasticity in gene expressions may result from the small copy number of interacting molecular species (e.g. regulatory proteins and genes) in the relatively large cell volume [40, 41], since in a chemical system with extremely low concentrations of reacting species, a reaction occurs in a short time interval and is best viewed as a probabilistic event [42].
There are numerous models proposed for gene regulatory networks, such as those discussed in [4, 43, 44]. However, hybrid systems modeling of gene regulatory networks is still under investigation with just a few preliminary work [45–47, 53–59]
Hybrid Systems model has been applied to model interactions between GRN and periodic drug inputs [45–47, 53]. Liu et al. [47] used a nonlinear hybrid automaton to model the population dynamics of heterogenous prostate cancer cells in response to androgen suppression. The model takes into account two distinct subpopulations of prostate cancer cells: hormone sensitive cells (HSCs) and castration resistant cells (CRCs), as well as the serum androgen concentration respectively. The model has two modes: ontreatment mode and offtreatment mode. In the offtreatment mode, the androgen concentration is maintained at the normal level by homeostasis. In the ontreatment mode, the androgen is cleared at a specified rate.
Xiangfang et al. [53] proposed a model that combines cell population and genetic regulation within a single cell by using stochastic hybrid systems model that combining cell population and genetic regulation within a single cell by using SHS. They studied the response of a population of cancer cells to various drugs that targeting the proliferation and survival pathways. Their model captures both the dynamics of the cell population and the dynamics of gene regulations within each individual cell. The SHS theory was used to link the cell proliferation at the cell population level to the drug effect on the proliferation pathway at the molecular level.
The authors in [55–57] carried out subsequent works on methods for the parameter identification of the SHS model of subtilin production by B. subtilis discussed above. The authors decoupled the parameter identification problem into two subproblems, namely the estimation of the genetic network regulating subtilin production from gene expression data and the estimation of population dynamics based on nutrient and population level data, treating the switching mechanism as a Markov chain. The algorithm and methodologies they proposed efficiently identified the various parameters of interest based on both experimental data and simulation data.
Singh et al. [59] used moment closure techniques to estimate these loworder statistical moments and quantify stochastic fluctuations in different gene regulatory networks. They demonstrate that the more sophisticated form of negative feedback (using multimerization) resulting from a protein inhibiting its own transcription is more effective in suppressing noise. In addition, a twogene cascade activation network in which the protein expressed by one gene activates another gene to express a second protein was considered. Analysis shows that the stochastic fluctuations in the population of the activated protein increases with the degree of multimerization in the activating protein.
3.2 DNA replication
DNA replication is the process of producing duplicates of cells’ genetic information [48]. One major characteristic of eukaryotic DNA replication is its higher degree of uncertainty; hundreds to thousands of potential origins exist along the genome that fire with varying efficiencies and at different times during Sphase [49–51]
Lygeros et al. [60] developed a stochastic hybrid model that reproduces DNA replication throughout a complete genome. The need for new analytical tools to capture spatial and temporal patterns of DNA replication genomewide becomes essential due to the large number of potential origins, coupled with system uncertainty. The various modes of DNA replication are captured by this model.
The forks move (i.e., L _{ i } and R _{ i } increase) at a velocity v(x) which depends on the position, x, of the genome currently being replicated by the fork.
The initiation events are characterized by uncertainty in time and space. Origin firing is characterized by a degree of uncertainty in both the location and time of firing of different origins, captured by the stochastic dynamics of the model. The firing time T _{ i } of origin is governed by an exponential distribution.
The authors in [61] carried out subsequent works on method for the modeling and verification of SHS using the Hybrid Input Output Automaton (HIOA), a mathematical framework proposed for modeling and analysis of hybrid systems. A HIOA is an automaton that evolves discretely (transitions) and continuously (trajectories) and communicates discretely (actions) and continuously (shared variables) with its environment, e.g., other automata. This external behavior of HIOA can be used to decompose hybrid systems description and analysis, facilitating the description of complex hybrid systems. The authors built on earlier work in [60] where a model to capture the mechanics of the DNA replication process was developed in the stochastic hybrid systems framework. They provide theoretical support for these results by verifying that the proposed model using HIOA captures the mechanisms of DNA replication process by induction proofs. They showed how the SHS can be modeled using HIOA and the following being the required data for the model: (1) the length of the genome, (2) the positions of the putative origins of replication along the genome, (3) the firing times, and (4) the fork velocity.
3.3 Other biochemical systems modeling and control
The discrete transition occurs either because the continuous state x(t) experiences a guarded transition or probabilistic transition. A guarded transition fires the instant when the guard becomes true. The firing of a probabilistic rate transition is governed by an exponential distribution characterized by the statedependent transition rate λ(q,x) which is assumed to be a bounded and measurable function that is integrable for every sample path. Sugar cataract attracts water to the lens of an eye when excess of sorbitol is present, distorting light passing through the lens. Accumulation of sorbitol is affected by several factors including the amount of the enzyme sorbitol dehydrogenase (SDH). There are eight chemical species involved in the reaction involving sorbitol and SDH :N A D H(x _{1}), E−N A D H(x _{2}), N A D ^{+}(x _{3}), E−N A D ^{+}(x _{4}), S D H(x _{5}), F r u c t o s e(x _{6}), S o r b i t o l(x _{7}), and the inactive form of S D H(Z). The rate of change of the concentrations of each chemical species are modeled using the SDE. Three SHS models of the biochemical process of sugar cataract development (SCD) was described. The first model describes the biochemical process of SCD. The second medicated model assumes that the effect of the drug on the system is instantaneous. The final model is designed to incorporate probabilistic delay to model absorption and metabolization. The authors showed that the probabilistically delayed medication is an ideal model for the SCD because the effect of the drug will not be immediate because of variable drug metabolism rates.
Subsequent work in [64] focused on a probabilistic verification method for computing the probability of sugar cataract formation for different chemical concentrations. The verification problem is the probability that the system execution from an arbitrary (safe) initial state will exit the safe set indicating the beginning stages of sugar cataract development. The verification method employs dynamic programming based on a discretization of the state space and therefore suffers from the curse of dimensionality.
In [65], a biodiesel production system modeled as a SHS was described and the probabilistic verification method for its reachability analysis was presented. The concentration of each of the six chemical species making up the biodiesel was modeled as a continuous variable, each of the six reactions were modeled using the SDE. The addition of more heat to the system will increase the reaction rates, the warmer the reacting chemicals can be, the faster biodiesel will be produced. However, the energy required to heat the system is a major cost of producing biodiesel, so it is important to know if a heating control system will produce biodiesel successfully under realistic conditions. The change in heating is modeled using two discrete states, which are the heating and cooling states. Between transitions, the continuous state evolves according to the corresponding SDE where the solution is understood using the It\(\hat {o}\) stochastic integral. The goal of the authors was to determine the probability that the reaction will fully complete with a small excess of methanol, and to determine this, they define the set of reachable states as the set of all concentrations that satisfy required temperature for the biodiesel production. Since the system must not run out of its reactants before it runs out of methanol, the authors also define the unsafe states. The problem is to determine what is the probability that the SHS will enter the reachable set without entering the unsafe set.
The authors in [66] presented a multilevel splitting (MLS) variance reduction method for SHS. This method improves the accuracy and efficiency of Monte Carlo methods for rare events. Probabilistic analysis techniques such as Monte Carlo methods are very useful in determining reachability or safety probabilities for systems with inherent uncertainty such as SHS models. This approach was applied to reachability analysis of a SHS model of glycolysis system, a biochemical energy conversion process found in virtually every living cell. The safety probability of the system was examined, based on the defined unsafe condition for the system when the glucose drops below a certain level.
Hespanha and Singh [68, 69] presented a procedure for constructing approximate stochastic models for chemical reactions. For the number of molecules of the different species involved, one is often interested in only the first and secondorder moments, therefore, much effort can be saved by applying approximate methods to produce these loworder moments, without actually having to solve for the probability density function. A continuous state of a polynomial stochastic hybrid system (pSHS) was used to represent the population of various species involved in a chemical reaction. Polynomial stochastic hybrid systems (pSHSs) arise when the continuous vector fields in the stochastic differential equation (SDE), the reset maps, and the transition intensities are all polynomial functions of the continuous state. It was shown that for pSHSs, the dynamics of the statistical moments of its continuous states evolves according to infinitedimensional linear ordinary differential equations (ODEs), which can be approximated by finitedimensional nonlinear ODEs with arbitrary precision. Since the infinitedimensional linear ODEs that describe the moment dynamics for pSHSs are still not easy to solve analytically, the finitedimensional ODE’s provide time evolution of lower order moments for populations of species involved in a chemical reaction. Apart from providing fast simulation times and lesser computation burden compared to Monte Carlo simulations, these approximate models also open the doors to other types of analysis tools, for example, sensitivity analysis of chemical master equation. However, they provide lesser information about the probability distribution as compared to Monte Carlo simulations, for example, these approximate models do not provide information about time correlations.
A procedure for constructing approximate stochastic models for continuoustime birthdeath Markov processes in population biology was proposed by Singh et al. [67]. This is done by representing the population of a species as the continuous state of a stochastic hybrid system (SHS). This SHS is characterized by reset maps that account for births and deaths, transition intensities that correspond to the birthdeath rates, and trivial continuous dynamics. It has been shown that for this type of SHS, the statistical moments of the continuous state evolve according to an infinitedimensional linear ordinary differential equation (ODE). However, for analysis purposes, it is convenient to approximate this infinitedimensional linear ODE by a finitedimensional nonlinear one. This procedure generally approximates some higher order moments by a nonlinear function of lower order moments, and it is called moment closure. In there work, a method for estimating lower order moments is introduced for a Markov process involving a single species, with birth and death rates being polynomials of order \(s\in \mathbb {N}_{\geq 2}\). This process is modeled by a stochastic hybrid system (SHS) whose state x is the population of the specie. This SHS has trivial continuous dynamics \(\dot {x} = 0\) and is characterized by reset maps that account for births and deaths and transition intensities that correspond to the birthdeath rates.
Borowski et al. [72] modeled the spatiotemporal oscillations of the Min proteins in the bacterium Escherichia coli using SHS. The oscillatory system plays an important role in cell division. The stochastic model consists of a set of four interacting linear polymers, a pair of MinD and MinE polymers at either pole of the cell, each of which can be in either a growing or a shrinking state. For any fixed combination of states for the four polymers, the dynamics are deterministic and described by a system of ordinary differential equations for the lengths of the polymers. The full state of the system is thus determined by four discrete state variables (growing/shrinking) and four continuous variables (polymer lengths). Stochastic transitions between the discrete states are dependent on the cytoplasmic concentrations of the Min proteins and so indirectly on the polymer lengths. The authors then described a stochastic switching between the three possible discrete states of the state variables where the probability of switching depends on the cytosolic concentrations of MinD and MinE.
A stochastic hybrid system model is developed by Kumar et al. [71] that describes the time evolution of load position and the population counts of ants in three roles. It can be used to derive the dynamics of their statistical moments. In their model, ants switch stochastically between roles at constant, unknown probability rates, and ants in one role pull on the load with a force that acts as a proportional controller on the load velocity with unknown gain and set point. This SHS is a cascade connection of a chemical reaction network representing stochastic ant behavioral transitions followed by the deterministic dynamics of a load transported along a surface with friction. The stochastic switching of ants between behavioral states in the form of a set of chemical reactions was presented. The load dynamics was considered in the paper, they model the load as one dimensional and specified that the load is initially located at the origin and then travels only in the positive direction along the x axis toward the nest. The models of the ant behavioral dynamics and the load dynamics together constitute a polynomial stochastic hybrid system (pSHS).
Plotnik et al. [73] presented an approach for hybrid systems estimation that utilizes uncertain perceptional information about the system’s mode to improve tracking of its mode and continuous states. State tracking is achieved using a new form of RaoBlackwellized particle filter called the modeobserved Gaussian Particle Filter. This new filter extends existing hybrid estimation algorithms to admit uncertain but discrete moderelated observations in addition to the information available from more traditional sensors. The framework for estimation using both traditional and perceptional information is applicable to any stochastic hybrid system with moderelated perceptional observations available. This is applicable to an automatic underwater robotic observation system that follows and films individual deep ocean animals. In order to improve the tracking of agile animals, the modeobserved Gaussian particle filter is presented to augment the measurements of relative position and waterrelative velocities of the specimen with perception.
Bressloff et al. [74] consider a stochastic, conductancebased model of dendritic NMDA spikes, in which the noise originates from the stochastic opening and closing of a finite number of N a ^{+} and NmethylDaspartate (NMDA) receptor ion channels. The resulting model takes the form of a stochastic hybrid system, in which membrane voltage evolves according to a piecewise deterministic dynamics that is coupled to a jump Markov process describing the opening and closing of the ion channels.
In [75], Bressloff et al. extended the theory of noiseinduced phase synchronization to the case of a neural master equation describing the stochastic dynamics of an ensemble of uncoupled neuronal population oscillators with intrinsic and extrinsic noise. They considered simple population model that exhibits limit cycle oscillations in the deterministic limit, namely, a recurrent excitatory network with synaptic depression; inclusion of synaptic depression into the neural master equation now generates a SHS.
Farkas et al. [76] proposed a hybrid dynamical system approach to model the evolution of a pathogen that experiences different selective pressures according to a stochastic process. In every environment, the evolution of the pathogen is described by a version of the FisherHaldaneWright equation while the switching between environments follows a Markov jump process. They investigated how the qualitative behavior of a simple singlehost deterministic system changes when the stochastic switching process is added. They also study the stability in probability of monomorphic equilibria.
An algorithm for estimating the parameters of a given biochemical reaction network based on a stochastic hybrid model is proposed by Mikeev et al. [70]. Chemical populations in living cell can be low, therefore, ordinary differential equations (ODEs) as a modeling tool cannot be efficient, a more detailed model is necessary, which takes into account the inherently discrete and stochastic nature of chemical reactions. The authors developed efficient algorithm for the numerical approximation of the likelihood and its derivatives w.r.t. the reaction rate constants. This was an improvement to Monte Carlo sampling techniques because direct numerical solutions of stochastic hybrid systems require the solution of a system of partial differential equations. Thus, the continuous part of the state space has to be discretized, and if the discrete part of the state space is large, appropriate truncations have to be developed. They showed that for the large populations, it is often sufficient to know the expected number of molecules conditioned on the mode of the system. Therefore, the mode probabilities can be integrated over time. This allows for a fast and accurate approximation of the probability distribution of the model and can be used for the estimation of parameters based on the maximum likelihood method.
Hofbaur et al. [77] proposed an hybrid estimation scheme that can efficiently estimate complex systems with large number of modes. This was modeled using SHS that capture the large number of operational and failure modes. The authors analyzed the shortcomings of multiple model estimation schemes which track system evolutions by applying a bank of filters, one for each discrete system mode. These systems are often composed of many interconnected components that exhibit rich behaviors, due to complex, systemwide interactions.
The hybrid modeling in neuroendocrine systems is discussed in [52]. The control action of the hypothalamus is discrete (impulsive) and controls essentially continuous secretion of hormones elsewhere in the organism.
4 Conclusions
The coexistence of discrete and continuous dynamics in many biological systems such as the switchlike activation or inhibition of gene expression by regulatory proteins makes hybrid systems an attractive candidate for modeling such systems. Furthermore, the uncertainties and noise in those systems demand a stochastic version of the hybrid systems. In this paper, some recent applications of stochastic hybrid systems to biological systems modeling, analysis and control are reviewed. It is envisioned that by adopting this powerful modeling and analysis approach, many biological phenomena can be correctly modeled and simulated, thus makes in silico simulations using stochastic hybrid systems modeling techniques feasible for massive and rapid verification or falsification of biological hypotheses. This may help to substitute the costly and timeconsuming in vitro or in vivo experiments or at least provide guidance for those experiments and generate better hypotheses.
Declarations
Funding
This research work is supported by the US National Science Foundation award 1238918 and 1464387, and the Texas A&M University System Chancellor’s Research Initiative (CRI).
Availability of data and materials
All the reviewed papers are publicly available through their original copyright holders.
Authors’ contributions
XL and OO performed the review and wrote the first draft of the paper. LQ and ED provided insights on the stochastic hybrid systems and revised the draft. All authors read and approved the final manuscript.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Ethics approval and consent to participate
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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.
Authors’ Affiliations
References
 Marx, V ((2013)). Biology: The big challenges of big data. Nature, 498(7453), 255–260.Google Scholar
 Kouretas, P, Koutroumpas, K, Lygeros, J, Lygerou, Z. (2006). Stochastic hybrid modeling of biochemical processes. Boca Raton, FL: CRC Press.View ArticleGoogle Scholar
 Kim, T, Afonin, KA, Viard, M, Koyfman, AY, Sparks, S, Heldman, E, Grinberg, S, Linder, C, Blumenthal, RP, Shapiro, BA (2013). In silico, in vitro, and in vivo studies indicate the potential use of bolaamphiphiles for therapeutic siRNAs delivery. Mol Ther Nucleic Acids, 2, e80.View ArticleGoogle Scholar
 de Jong, H (2002). Modeling and simulation of genetic regulatory systems: a literature review. J Comput Biol, 9(1), 67–103. doi:10.1089/10665270252833208.MathSciNetView ArticleGoogle Scholar
 Walhout, A (2011). What does biologically meaningful mean? a perspective on gene regulatory network validation. Genome Biol, 12(4), 109.http://genomebiology.com/content/12/4/109.View ArticleGoogle Scholar
 Tucker, W, & Moulton, V (2005). Reconstructing metabolic networks using interval analysis. In Algorithms in bioinformatics, ser. Lecture Notes in Comput. Sci. vol. 3692.Springer, Berlin, (pp. 192–203).Google Scholar
 Glass, L, & Kauffman, SA (1973). The logical analysis of continuous, nonlinear biochemical control networks. J Theor Biol, 39(1), 103–129. http://www.sciencedirect.com/science/article/pii/0022519373902087.View ArticleGoogle Scholar
 Kringstein, AM, Rossi, FMV, Hofmann, A, Blau, HM (1367). Graded transcriptional response to different concentrations of a single transactivator. Proc Nat Acad Sci, 95(23), 0–13675. http://www.pnas.org/content/95/23/13670.abstract.Google Scholar
 Amonlirdviman, K, Khare, NA, Tree, DR, Chen, WS, Axelrod, JD, Tomlin, CJ (2005). Mathematical modeling of planar cell polarity to understand domineering nonautonomy. Science, 307(5708), 423–426. doi:10.1126/science.110547110.1126/science.1105471.View ArticleGoogle Scholar
 Batt, G, Ropers, D, de Jong, H, Geiselmann, J, Page, M, Schneider, D (2005). Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in escherichia coli. In: Morari, M, & Thiele, L (Eds.) In Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science. http://dx.doi.org/10.1007/9783540319542_9.
 de Jong, H, Gouz, JL, Hernandez, C, Page, M, Sari, T, Geiselmann, J (2003). Hybrid modeling and simulation of genetic regulatory networks: a qualitative approach. In: Maler, O, & Pnueli, A (Eds.) In Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 2623. http://dx.doi.org/10.1007/354036580X_21.
 Drulhe, S, FerrariTrecate, G, de Jong, H, Viari, A (2006). Reconstruction of switching thresholds in piecewiseaffine models of genetic regulatory networks. In: Hespanha, J, & Tiwari, A (Eds.) In Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 3927. http://dx.doi.org/10.1007/11730637_16.
 Ghosh, R, & Tomlin, C (2001). Lateral inhibition through deltanotch signaling: a piecewise affine hybrid model. In: Di Benedetto, M, & SangiovanniVincentelli, A (Eds.) In Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 2034. http://dx.doi.org/10.1007/3540453512_21.
 Kaern, M, Elston, TC, Blake, WJ, Collins, JJ (2005). Stochasticity in gene expression: from theories to phenotypes. Nat. Rev. Genet., 6(6), 451–464.View ArticleGoogle Scholar
 Rao, CV, Wolf, DM, Arkin, AP (2002). Control, exploitation and tolerance of intracellular noise. Nature, 420(6912), 231–237.View ArticleGoogle Scholar
 J MG, Vilar, HY, Kueh, N, Barkai, S, Leibler (2002). Mechanisms of noiseresistance in genetic oscillators. Proc. Nat. Acad. Sci, 99(9), 5988–5992.View ArticleGoogle Scholar
 Wolf, DM, Vazirani, VV, Arkin, AP (2005). Diversity in times of adversity: probabilistic strategies in microbial survival games. J. Theor. Biol, 234(2), 227–253. http://www.sciencedirect.com/science/article/pii/S0022519304005740.MathSciNetView ArticleGoogle Scholar
 Weinberger, LS, Burnett, JC, Toettcher, JE, Arkin, AP, Schaffer, DV (2005). Stochastic gene expression in a lentiviral positivefeedback loop: Hiv1 tat fluctuations drive phenotypic diversity. Cell, 122(2), 169–182. http://www.sciencedirect.com/science/article/pii/S0092867405005490.View ArticleGoogle Scholar
 Dai, J, Chuang, RY, Kelly, TJ (2005). DNA replication origins in the schizosaccharomyces pombe genome. Proc. Nat. Acad. Sci. USA, 102(2), 337–342.View ArticleGoogle Scholar
 Patel, PK, Arcangioli, B, Baker, SP, Bensimon, A, Rhind, N (2006). DNA replication origins fire stochastically in fission yeast. Mol Biol. Cell, 17(1), 308–316.View ArticleGoogle Scholar
 Antsaklis, P (2000). Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems. Proc. IEEE, 88(7), 879–887.View ArticleGoogle Scholar
 Antsaklis, P, & Nerode, A (1998). Hybrid control systems: an introductory discussion to the special issue. Automatic Control. IEEE Trans, 43(4), 457–460.View ArticleGoogle Scholar
 van der Schaft, A. (2000). An introduction to hybrid dynamical systems. New York: Springer.View ArticleMATHGoogle Scholar
 Goebel, R, Sanfelice, RG, Teel, AR. (2012). Hybrid dynamical systems: modeling, stability, and robustness. Princeton, NJ: Princeton Univ. Press.MATHGoogle Scholar
 Goebel, R, Sanfelice, R, Teel, A ((2009)). Hybrid dynamical systems. Control Syst. IEEE, 29(2), 28–93.Google Scholar
 Lygeros, J, Johansson, K, Simic, S, Zhang, J, Sastry, S (2003). Dynamical properties of hybrid automata. Automatic Control. IEEE Trans, 48(1), 2–17.MathSciNetView ArticleMATHGoogle Scholar
 Lygeros, J, Tomlin, C, Sastry, S. (December, 2008). Hybrid systems: modeling, analysis and control: Princeton Univ. Press.Google Scholar
 Hu, J, Lygeros, J, Sastry, S (2000). Towards a theory of stochastic hybrid systems. In: Lynch, N, & Krogh, B (Eds.) In Hybrid Systems: Computation and, Control, ser. Lecture Notes in Computer Science, vol. 1790. http://dx.doi.org/10.1007/3540464301_16.
 Hespanha, JP (2005). A model for stochastic hybrid systems with application to communication networks. Nonlinear Anal.: Theory, Methods Appli, 62(8), 1353–1383. hybrid Systems and Applications Hybrid Systems and Applications. http://www.sciencedirect.com/science/article/pii/S0362546X05004074.MathSciNetView ArticleMATHGoogle Scholar
 Swain, PS, Elowitz, MB, Siggia, ED (2002). Intrinsic and extrinsic contributions to stochasticity in gene expression. Proc. Nat. Acad. Sci, 99(20), 12795–12800. http://www.pnas.org/content/99/20/12795.abstract.View ArticleGoogle Scholar
 Kepler, TB, & Elston, TC (2001). Stochasticity in transcriptional regulation: origins, consequences, and mathematical representations. Biophys. J, 81(6), 3116–3136.View ArticleGoogle Scholar
 Lipniacki, T, Paszek, P, MarciniakCzochra, A, Brasier, AR, Kimmel, M (2006). Transcriptional stochasticity in gene expression. J. Theor. Biol, 238(2), 348–367. http://www.sciencedirect.com/science/article/pii/S002251930500250X.MathSciNetView ArticleGoogle Scholar
 Pola, G, Bujorianu, ML, Lygeros, J, Di Benedetto, MD. Stochastic Hybrid Models: An Overview, IFAC Proceedings (Vol. 36, pp. 45–50). http://dx.doi.org/10.1016/S14746670(17)364054.
 Ghosh, MK, Arapostathis, A, Marcus, SI (1997). Ergodic control of switching diffusions. SIAM J. Control Optimization, 35(6), 1952–1988. http://dx.doi.org/10.1137/S0363012996299302.MathSciNetView ArticleMATHGoogle Scholar
 Ethier, S, & Kurtz, T. (1986). Markov processes: characterisation and convergence. New York: Wiley.View ArticleMATHGoogle Scholar
 Davis, M. (1993). Markov processes and optimization. London: Chapman & Hall.MATHGoogle Scholar
 Davis, MHA (1984). Piecewisedeterministic Markov processes: a general class of nondiffusion stochastic models. J. Roy. Statist. Soc. Ser. B, 46(3), 353–388. http://links.jstor.org/sici?sici=00359246(1984)46:3%3C353:PMPAGC%3E2.0.CO%3B29%26.MathSciNetMATHGoogle Scholar
 Ghosh, M, Arapostathis, A, Marcus, S (1993). Optimal control of switching diffusions with application to flexible manufacturing systems. SIAM J. Control Optimization, 31(5), 1183–1204. http://dx.doi.org/10.1137/0331056.MathSciNetView ArticleMATHGoogle Scholar
 Elowitz, MB, Levine, AJ, Siggia, ED, Swain, PS (2002). Stochastic gene expression in a single cell. Science, 297(5584), 1183–1186. http://www.sciencemag.org/content/297/5584/1183.abstract.View ArticleGoogle Scholar
 McAdams, H, & Arkin, A (1997). Stochastic mechanisms in gene expression. Proc. Nat. Acad. Sci, 94(3), 814–819. http://www.pnas.org/content/94/3/814.abstract.View ArticleGoogle Scholar
 Ozbudak, EM, Thattai, M, Kurtser, I, Grossman, AD (2002). A van Oudenaarden, Regulation of noise in the expression of a single gene. Nat. Genet, 31(1), 69–73.View ArticleGoogle Scholar
 Gillespie, DT (1977). Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem, 81(25), 2340–2361. http://dx.doi.org/10.1021/j100540a008.View ArticleGoogle Scholar
 Pal, R, Bhattacharya, S, Caglar, M (2012). Robust approaches for genetic regulatory network modeling and intervention: A review of recent advances. Signal Process. Mag. IEEE, 29(1), 66–76.View ArticleGoogle Scholar
 Sima, C, Hua, J, Jung, S (2009). Inference of gene regulatory networks using timeseries data: a survey. Curr. Genomics, 10(6), 416–429.View ArticleGoogle Scholar
 Li, X, Qian, L, Bittner, M, Dougherty, E (2011). Characterization of drug efficacy regions based on dosage and frequency schedules. Biomed. Eng. IEEE Trans, 58(3), 488–498.View ArticleGoogle Scholar
 Li, X, Qian, L, Dougherty, E (2010). Modeling treatment and drug effects at the molecular level using hybrid system theory. In Computational Intelligence in Bioinformatics and Computational Biology (CIBCB), 2010 IEEE Symposium on, Montreal, (pp. 1–7).Google Scholar
 Liu, B, Kong S, Gao, S, Zuliani, P, Clarke, EM (2014). Towards personalized cancer therapy using deltareachability analysis. CoRR abs/1410.7346. [Online]. Available: http://arxiv.org/abs/1410.7346.Google Scholar
 Meselson, M, & Stahl, FW (1958). The replication of DNA in escherichia coli. Proc. Nat. Acad. Sci, 44(7), 671–682. http://www.pnas.org/content/44/7/671.short.View ArticleGoogle Scholar
 Gilbert, DM (2001). Making sense of eukaryotic DNA replication origins. Science, 294(5540), 96–100.View ArticleGoogle Scholar
 Costa, S, & Blow, JJ (2007). The elusive determinants of replication origins. EMBO Rep., 8(4), 332–334.View ArticleGoogle Scholar
 DePamphilis, ML (1999). Replication origins in metazoan chromosomes: fact or fiction?BioEssays, 21(1), 5–16. http://onlinelibrary.wiley.com/doi/10.1002/(SICI)15211878(199901)21:1%3C5::AIDBIES2%3E3.0.CO;26/full.View ArticleGoogle Scholar
 Faghih, RT, Dahleh, MA, Adler, GK, Klerman, EB, Brown, EN (2014). Deconvolution of serum cortisol levels by using compressed sensing. PLoS ONE, 9(1), 1–12.View ArticleGoogle Scholar
 Li, X, Qian, L, Bittner, M, Dougherty, E (2013). Drug effect study on proliferation and survival pathways on cell linebased platform: A stochastic hybrid systems approach. In Genomic Signal Processing and Statistics (GENSIPS), 2013 IEEE International Workshop on, Houston, (pp. 54–57).Google Scholar
 Hu, J, Wu, WC, Sastry, S (2004). Modeling subtilin production in bacillus subtilis using stochastic hybrid systems. In: Alur, R, & Pappas, G (Eds.) In Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 2993. http://dx.doi.org/10.1007/9783540247432_28.
 Cinquemani, E, Porreca, R, FerrariTrecate, G, Lygeros, J (2008). Subtilin production by bacillus subtilis: Stochastic hybrid models and parameter identification. Automatic Control. IEEE Trans, 53(no. Special Issue), 38–50.MathSciNetView ArticleGoogle Scholar
 Cinquemani, E, Porreca, R, FerrariTrecate, G, Lygeros, J (2007). Parameter identification for stochastic hybrid models of biological interaction networks. In Decision and Control, 2007s 46th IEEE Conference on, New Orleans, (pp. 5180–5185).Google Scholar
 Koutroumpas, K, Cinquemani, E, Kouretas, P, Lygeros, J (2008). Parameter identification for stochastic hybrid systems using randomized optimization: a case study on subtilin production by bacillus subtilis. Nonlinear Anal.: Hybrid Syst, 2(3), 786–802. http://www.sciencedirect.com/science/article/pii/S1751570X07001537.MathSciNetMATHGoogle Scholar
 Julius, A, Halasz, A, Sakar, M, Rubin, H, Kumar, V, Pappas, G (2008). Stochastic modeling and control of biological systems: the lactose regulation system of escherichia coli. Automatic Control. IEEE Trans, 53(no. Special Issue), 51–65.MathSciNetView ArticleGoogle Scholar
 Singh, A, & Hespanha, J (2007). Stochastic analysis of gene regulatory networks using moment closure. In American Control Conference, 2007, ACC ’07, New York, (pp. 1299–1304).Google Scholar
 Lygeros, J, Koutroumpas, K, Dimopoulos, S, Legouras, I, Kouretas, P, Heichinger, C, Nurse, P, Lygerou, Z (2008). Stochastic hybrid modeling of DNA replication across a complete genome. Proc. Natl. Acad. Sci. USA, 105(34), 12295–12300. [PubMed Central http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2527905] [doi: URL 10.1073/pnas.0805549105] [PubMed http://www.ncbi.nlm.nih.gov/pubmed/18713859].View ArticleGoogle Scholar
 Koutroumpas, K, & Lygeros, J (2010). Modeling and verification of stochastic hybrid systems using hioa: a case study on dna replication. In Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, ser. HSCC ’10. http://doi.acm.org/10.1145/1755952.1755989.View ArticleGoogle Scholar
 Riley, D, Koutsoukos, X, Riley, K (2008). Modeling and simulation of biochemical processes using stochastic hybrid systems: The sugar cataract development process. In: Egerstedt, M, & Mishra, B (Eds.) In Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 4981. http://dx.doi.org/10.1007/9783540789291_31.
 Riley, D, Koutsoukos, X, Riley, K (2009). Modelling and analysis of the sugar cataract development process using stochastic hybrid systems. IET Syst. Biol, 3(3), 137–154. [doi: http://dx.doi.org/10.1049/ietsyb.2008.0101] [PubMed http://www.ncbi.nlm.nih.gov/pubmed/19449975].View ArticleMATHGoogle Scholar
 Riley, D, Koutsoukos, X, Riley, K (2007). Verification of biochemical processes using stochastic hybrid systems. In Intelligent Control, 2007. ISIC 2007. IEEE 22nd International Symposium on, Singapore, (pp. 100–105).Google Scholar
 Riley, D, Koutsoukos, X, Riley, K (2007). Reachability analysis of a biodiesel production system using stochastic hybrid systems. In Control Automation, 2007. MED ’07. Mediterranean Conference on, Athens, (pp. 1–6).Google Scholar
 Riley, D, Koutsoukos, X, Riley, K (2010). Multilevel splitting for reachability analysis of stochastic hybrid systems. In Proceedings of the 2010 Conference on Grand Challenges in Modeling & Simulation, ser. GCMS ’10. http://dl.acm.org/citation.cfm?id=2.020619.2020627.Google Scholar
 Singh, A, & Hespanha, J (2006). Moment closure techniques for stochastic models in population biology. In American Control Conference, 2006, Minneapolis, (p. 6).Google Scholar
 Hespanha, JP, & Singh, A (2005). Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems. Int. J. Robust Nonlinear Control, 15(15), 669–689. http://dx.doi.org/10.1002/rnc.1017.MathSciNetView ArticleMATHGoogle Scholar
 Singh, A, & Hespanha, J (2005). Models for multispecie chemical reactions using polynomial stochastic hybrid systems. In Decision and Control, 2005 and 2005 European Control, Conference. CDCECC ’05. 44th IEEE Conference on, Seville, (pp. 2969–2974).Google Scholar
 Mikeev, L, & Wolf, V (2012). Parameter estimation for stochastic hybrid models of biochemical reaction networks. In Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, ser. HSCC ’12. http://doi.acm.org/10.1145/2185632.2185657.Google Scholar
 Kumar, GP, Buffin, A, Pavlic, TP, Pratt, SC, Berman, SM (2013). A stochastic hybrid system model of collective transport in the desert ant aphaenogaster cockerelli. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ser. HSCC ’13. http://doi.acm.org/10.1145/2461328.2461349.Google Scholar
 Borowski, P, & Cytrynbaum, EN (2009). Predictions from a stochastic polymer model for the MinDE protein dynamics in Escherichia coli. Phys. Rev. E Stat. Nonlin. Soft Matter. Phys, 80(4 Pt 1), 041916. [PubMed http://www.ncbi.nlm.nih.gov/pubmed/19905351].View ArticleGoogle Scholar
 Plotnik, A, & Rock, S (2011). Hybrid estimation using perceptional information: robotic tracking of deep ocean animals. Oceanic Eng. IEEE J, 36(2), 298–315.View ArticleGoogle Scholar
 Bressloff, PC, & Newby, JM (2014). Stochastic hybrid model of spontaneous dendritic NMDA spikes. Phys. Biol, 11(1), 016006. [doi: http://dx.doi.org/10.1088/14783975/11/1/016006] [PubMed: http://www.ncbi.nlm.nih.gov/pubmed/24476677].View ArticleGoogle Scholar
 Bressloff, PC, & Lai, YM (2011). Stochastic synchronization of neuronal populations with intrinsic and extrinsic noise. J. Math. Neurosci, 1(1), 2. [PubMed Central http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3280892] [doihttp://dx.doi.org/10.1186/2190856712].MathSciNetView ArticleMATHGoogle Scholar
 Farkas, JZ, Hinow, P, Engelstädter, J (2012). Pathogen evolution in switching environments: a hybrid dynamical system approach. Math. Biosci, 240(1), 70–75. http://www.sciencedirect.com/science/article/pii/S0025556412001411.MathSciNetView ArticleMATHGoogle Scholar
 Hofbaur, MW, & Williams, BC (2004). Hybrid estimation of complex systems. IEEE Trans. Syst. Man Cybern. B Cybern, 34(5), 2178–2191. [PubMed: http://www.ncbi.nlm.nih.gov/pubmed/15503515].View ArticleGoogle Scholar