Detection and quantification of events in stochastic systems (Détection et quantification d’événements dans les systèmes stochastiques ) Bazille, Hugo - (2019-12-02) / Universite de Rennes 1 Detection and quantification of events in stochastic systems Accéder au document :  https://ged.univ-rennes1.fr/nuxeo/site/esupversion...

Langue : Anglais Directeur(s) de thèse:  Fabre, Éric; Genest, Blaise Discipline : Informatique Laboratoire :  INRIA-RENNES Ecole Doctorale : MATHSTIC Classification : Informatique Mots-clés : Systèmes stochastiques, Information partielle, Diagnosticabilité, Classification, Apprentissage, Vérification de modèles Systèmes stochastiques Vérification de modèles (informatique)

Résumé : Les systèmes stochastiques à information partielle permettent de représenter de nombreux systèmes dont les paramètres sont inconnus et dont le fonctionnement dépend de facteurs en dehors de notre contrôle. Dans cette thèse, nous étudions plusieurs problèmes liés à ces systèmes. Le premier est la diagnosticabilité, c’est-à-dire la capacité de décider si un évènement particulier s’est produit. Le second est la classification qui est la capacité de décider à partir d’une trace d’une exécution quel système l’a produite. Enfin, nous nous intéressons aux garanties que l'on peut avoir quand on apprend les probabilités de transition d’un système stochastique. Abstract :  Stochastic systems with partial information allow one to represent numerous systems whose parameters are unknown and whose operation may depend on out-of-control factors. In this thesis, we study several problems linked to these systems. First one is diagnosability, that is the capacity to decide if a particular event occurred. Second one is classification which is the capacity to decide from a trace of an execution which system produced it. Finally, we are interested in the guarantees one can obtain by learning the probability transitions of a stochastic system.