Fiche de CHEN Yi ting

Informations professionnelles


Statut: Doctorant
ED: EDITE
Unité de recherche: LIP6
Equipe: APR
Employeur: Sorbonne Université


Date de debut de thèse: 30 mars 2017
Directeur de thèse: Jean MAIRESSE (LIP6)
Directeur de thèse: Samy ABBES (IRIF)
Sujet de thèse: Concurrency, Random Generation and Model Checking Thématique : Algorithmique, combinatoire

Date de prévisionnelle de soutenance: 7 janvier 2022

Soutenance de thèse

Données générales

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

Rapporteurs/ Rapporteuses

Personne Qualité Etablissement
M. Nicaud Cyril Professeur des universités Laboratoire d'Informatique Gaspard-Monge
M. Varacca Daniele Professeur des universités Laboratoire d’Algorithmique, Complexité et Logique, Univ. Paris-Est Créteil

Composition du jury

Personne Qualité Etablissement
M. Mairesse Jean Directeur de recherche (HDR) LIP6, Sorbonne Université, CNRS
M. Nicaud Cyril Professeur des universités Laboratoire d'Informatique Gaspard-Monge
M. Abbes Samy Maître de Conférences (HDR) Institut de Recherche en Informatique Fondamentale, Univ. de Paris
Mme. Bérard Béatrice Professeure des universités LIP6, Sorbonne Université
M. Haar Stefan Directeur de recherche (HDR) Laboratoire Spécification et Vérification
M. Varacca Daniele Professeur des universités Laboratoire d’Algorithmique, Complexité et Logique, Univ. Paris-Est Créteil