Tuning Temporal Features within the Stochastic π-Calculus

Abstract

The stochastic π-calculus is a formalism that have been shown of interest for modelling systems where the stochasticity and the delay of transitions are important features, such as the biochemical reactions. Commonly, duration of transitions within stochastic π-calculus models follow an exponential random variable. Underlying dynamics of such distributed models are expressed in terms of continuous-time Markov chains and can then be efficiently simulated and model-checked. However, the exponential law comes with a huge variance making difficult the modelling of systems with accurate temporal constraints. In this report, a technique for tuning temporal features within the stochastic π-calculus is presented. This method relies on the introduction of a stochasticity absorption factor by replacing the exponential distribution by the Erlang distribution, that is the sum of exponential random variables. A construction of this stochasticity absorption factor in the classical exponentially distributed stochastic π-calculus is provided. This report also offers tools for manipulating the stochasticity absorption factor and its link with timed intervals for firing transitions. Finally, the model-checking of such designed models is tackled through the support for the stochasticity absorption factor in the stochastic π-calculus translation to the probabilistic model checker PRISM.

Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions

“…Therefore, the absence of a effectively acts as an inhibitor, adding the action a 0 hits b 1 to bounce to b 0 . Every action can be associated with temporal and stochastic parameters; the reaction rate, for example [14].…”

Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition

“…In this paper, we begin what will become a body of work dedicated to this goal: approaching biological systems in inventive or innovative ways to maximize the accuracy and utility of modeling structures. We start with a recently introduced modeling structure called Process Hitting [6,7,8], a discrete model in which one tracks qualitative shifts of the system. Like other discrete frameworks, it possesses certain advantages in model fitting and model checking.…”

“…In addition, temporal and stochastic properties can be naturally integrated into the Process Hitting structure. A full description of this framework including its implementation, can be found in [6,7,8].…”