Fiche de CHEN Yi ting

Titre : Random generation of executions of concurrent systems
Date : 7 janvier 2022
Heure: 10:00
Résumé : We aim at constructing a probabilistic framework on the executions of concurrent systems. The uniform measure of executions is inspired by trace monoids. We give two interpretations to a uniform measure of executions for concurrent systems. One is constructed by the elementary cylinders in trace monoids. This uniform measure is realized a Markov chain of states-and-cliques. The other is to study the Parry measure on the digraph of states-and-cliques. The difficulty to extend to concurrent systems is that the Perron-Frobenius theorem is not applicable. To resolve this problem, we found the spectral property of the irreducible concurrent systems. This allows us to distinguish the main components which determine the characteristic root of the system. We also prove the uniqueness of this uniform measure. The transition matrix can be obtained either from the Markov chain of states-and-cliques or from the Parry measure with the spectral radius of the dominant components.
Lieu : Jussieu