Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes

Abstract Bisimulation is a concept that captures behavioural equivalence of states in a transition system. In [Linan Chen, Florence Clerc, and Prakash Panangaden, Bisimulation for feller-dynkin processes, in: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science 347 (2019) 45–63.], we proposed two equivalent definitions of bisimulation on continuous-time stochastic processes where the evolution is a flow through time. In the present paper, we develop the theory further: we introduce different concepts that correspond to different behavioural equivalences and compare them to bisimulation. In particular, we study the relation between bisimulation and symmetry groups of the dynamics. We also provide a game interpretation for two of the behavioural equivalences. We then compare those notions to their discrete-time analogues.

[1]  J. Waals On the Theory of the Brownian Movement , 1918 .

[2]  Prakash Panangaden,et al.  Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes , 2003, J. Log. Algebraic Methods Program..

[3]  J. Norris Appendix: probability and measure , 1997 .

[4]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[5]  Davide Sangiorgi,et al.  On the origins of bisimulation and coinduction , 2009, TOPL.

[6]  L. Rogers,et al.  Diffusions, Markov Processes and Martingales, Vol. 1, Foundations. , 1996 .

[7]  Prakash Panangaden,et al.  Bisimulation for Feller-Dynkin Processes , 2019, MFPS.

[8]  Vincent Danos,et al.  Bisimulation and cocongruence for probabilistic systems , 2006, Inf. Comput..

[9]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[10]  Prakash Panangaden,et al.  Expressiveness of probabilistic modal logics: A gradual approach , 2019, Inf. Comput..

[11]  Ward Whitt,et al.  An Introduction to Stochastic-Process Limits and their Application to Queues , 2002 .

[12]  Abbas Edalat,et al.  Bisimulation for labelled Markov processes , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[13]  Dudley,et al.  Real Analysis and Probability: Measurability: Borel Isomorphism and Analytic Sets , 2002 .

[14]  L. Rogers,et al.  Diffusions, Markov processes, and martingales , 1979 .

[15]  A. Bobrowski Functional Analysis for Probability and Stochastic Processes: An Introduction , 2005 .

[16]  Brendan Fong,et al.  A Noether Theorem for Markov Processes , 2012, 1203.2035.

[17]  R. Blute,et al.  Bisimulation for Labeled Markov Processes , 1997 .

[18]  Prakash Panangaden,et al.  Labelled Markov Processes , 2009 .

[19]  Xiongzhi Chen Brownian Motion and Stochastic Calculus , 2008 .

[20]  R. Bass,et al.  Review: P. Billingsley, Convergence of probability measures , 1971 .