Abstract Gene Regulatory Networks (GRNs) represent the interactions among genes
regulating the activation of specific cell functionalities, such as reception of (chemical) …

Many time series are effectively generated by a combination of deterministic continuous
flows along with discrete jumps sparked by stochastic events. However, we usually do not …

While noise is generally associated with uncertainties and often has a negative connotation
in engineering, living organisms have evolved to adapt to (and even exploit) such …

Effective control and prediction of dynamical systems require appropriate handling of
continuous-time and discrete, event-triggered processes. Stochastic hybrid systems (SHSs) …

The main goal of systems biology is to understand the dynamical properties of biological
systems by investigating the interactions among the components of a biological system. In …

The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

This paper proposes a method based on semidefinite programming for estimating moments
of stochastic hybrid systems (SHSs). The class of SHSs considered herein consists of a finite …

We present a framework called the Reasoning Engine, which implements Satisfiability
Modulo Theories (SMT)-based methods within a unified computational environment to …

In 2007, Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting
good properties of finite Markov chains to denumerable ones. Later, this concept was …

The transition kernel of an ℝ n-valued diffusion or jump diffusion process {X t} is known to
satisfy the Feller property if {X t} is the solution of an SDE whose coefficients are Lipschitz …