3 citations · 5 across the 6 of their papers we have counts for
4 papers · 1 filter
Two behavioural pseudometrics for continuous-time Markov processes
Linan Chen, Florence Clerc, Prakash Panangaden
Bisimulation is a concept that captures behavioural equivalence of states in a variety of types of transition systems. It has been widely studied in discrete-time settings where a…
A behavioural pseudometric for continuous-time Markov processes
Linan Chen, Florence Clerc, Prakash Panangaden
In this work, we generalize the concept of bisimulation metric in order to metrize the behaviour of continuous-time processes. Similarly to what is done for discrete-time systems,…
Behavioural pseudometrics for continuous-time diffusions
Linan Chen, Florence Clerc, Prakash Panangaden
Bisimulation is a concept that captures behavioural equivalence of states in a variety of types of transition systems. It has been widely studied in a discrete-time setting where t…
Bisimulation for Feller-Dynkin Processes
Linan Chen, Florence Clerc, Prakash Panangaden
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…