TY - GEN
T1 - A Behavioural Pseudometric for Continuous-Time Markov Processes
AU - Chen, Linan
AU - Clerc, Florence
AU - Panangaden, Prakash
N1 - Publisher Copyright:
© The Author(s) 2025.
PY - 2025/5/1
Y1 - 2025/5/1
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/105004794042
U2 - 10.1007/978-3-031-90897-2_2
DO - 10.1007/978-3-031-90897-2_2
M3 - Conference contribution
AN - SCOPUS:105004794042
SN - 9783031908965
T3 - Lecture Notes in Computer Science
SP - 24
EP - 44
BT - Foundations of Software Science and Computation Structures. FoSSaCS 2025
A2 - Abdulla, Parosh Aziz
A2 - Kesner, Delia
PB - Springer
T2 - 28th International Conference on Foundations of Software Science and Computation Structures 2025
Y2 - 3 May 2025 through 8 May 2025
ER -