A behavioural pseudometric for continuous-time Markov processes
Logic in Computer Science
2025-01-23 v1
Abstract
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, we follow two approaches and show that they coincide: as a fixpoint of a functional and through a real-valued logic. The whole discrete-time approach relies entirely on the step-based dynamics: the process jumps from state to state. We define a behavioural pseudometric for processes that evolve continuously through time, such as Brownian motion or involve jumps or both.
Keywords
Cite
@article{arxiv.2501.13008,
title = {A behavioural pseudometric for continuous-time Markov processes},
author = {Linan Chen and Florence Clerc and Prakash Panangaden},
journal= {arXiv preprint arXiv:2501.13008},
year = {2025}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2312.16729