A behavioural pseudometric for continuous-time Markov processes
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866929684140261376 |
|---|---|
| author | Chen, Linan Clerc, Florence Panangaden, Prakash |
| author_facet | Chen, Linan Clerc, Florence Panangaden, Prakash |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_13008 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A behavioural pseudometric for continuous-time Markov processes Chen, Linan Clerc, Florence Panangaden, Prakash Logic in Computer Science 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. |
| title | A behavioural pseudometric for continuous-time Markov processes |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2501.13008 |