DeepAI AI Chat
Log In Sign Up

Bisimulation for Feller-Dynkin Processes

by   Linan Chen, et al.

Bisimulation is a concept that captures behavioural equivalence. It has been studied extensively on nonprobabilistic systems and on discrete-time Markov processes and on so-called continuous-time Markov chains. In the latter time is continuous but the evolution still proceeds in jumps. We propose two definitions of bisimulation on continuous-time stochastic processes where the evolution is a flow through time. We show that they are equivalent and we show that when restricted to discrete-time, our concept of bisimulation encompasses the standard discrete-time concept. The concept we introduce is not a straightforward generalization of discrete-time concepts.


On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods

Building upon the rule-algebraic stochastic mechanics framework, we pres...

Discrete time stochastic and deterministic Petri box calculus

We propose an extension with deterministically timed multiactions of dis...

Causal identification for continuous-time stochastic processes

Many real-world processes are trajectories that may be regarded as conti...

Generalized Parallel Tempering on Bayesian Inverse Problems

In the current work we present two generalizations of the Parallel Tempe...

Inference for continuous-time long memory randomly sampled processes

From a continuous-time long memory stochastic process, a discrete-time r...

Unifying susceptible-infected-recovered processes on networks

Waiting times between two consecutive infection and recovery events in s...