McGill Montréal Concordia

Descriptive Dynamics and Combinatorics

Seminar

Organizers: Bo Peng, Antoine Poulin, Marcin Sabok, Samuel Murray, Assaf Shani, & Anush Tserunyan
Typical time (unless specified otherwise below): Tuesday at 10:00 ET (50 minutes + ε)
Online location: Zoom meeting https://mcgill.zoom.us/j/87587975637, password: Bor▩▩ (the σ-algebra generated by open sets)
Physical location: Burnside 1120
Research group: Dynamics, Combinatorics, and Logic

Future talks

2025 Apr 22 Speaker: Florence Clerc (Heriot Watt University)
Title: A behavioural pseudometric for continuous-time Markov processes
Abstract

I will be presenting some work done with Linan Chen and Prakash Panangaden. 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.