Université de Rennes 1 Detection and quantification of events in stochastic systems Détection et quantification d’événements dans les systèmes stochastiques Systèmes stochastiquesInformation partielleDiagnosticabilitéClassificationApprentissageVérification de modèles Stochastic systemsPartial informationDiagnosabilityClassificationLearningModel-checking Systèmes stochastiques Vérification de modèles (informatique) 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. 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. Electronic Thesis or DissertationText en application/pdf1 : 1427 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/150ecd0a-b773-4209-8de8-d86f38ea9bbe Bazille Hugo 1992-07-02 FR 249443333 hugo.bazille@gmail.com 2019REN1S107 http://www.theses.fr/2019REN1S107 2019-12-02 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiFabreÉricintervenant_1103579648GenestBlaiseintervenant_2108004643 MATHSTICecoleDoctorale_1 204770424 Universite Bretagne LoirepartenaireRecherche_1 191639044 INRIA-RENNES partenaireRecherche_2 133175863 ddc:004 FabreÉricGenestBlaiseUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieMATHSTICÉcole doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)Universite Bretagne Loire Communaute des etablissements d enseignement superieur et de recherche (ComuE) INRIA-RENNES ASCII PDF 1461738