2025/01/22 by Linan Chen, Chen, Linan, Florence Clerc +3 · 2 citations
Decision Sciences · #Simulation Techniques and Applications
paper · pdf · doi:10.48550/arxiv.2501.13008
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.