Calcul des indicateurs de sûreté par la Génération Automatique de Chaînes de Markov Partielles
Encadrement
Financement
Contrat Doctoral fléché pour Normaliens
Mots-clésSûreté de Fonctionnement, AltaRica, Systèmes de Transitions Gardées, Chaînes de Markov, Combinatoire
RésuméMes premiers travaux s'organisent autour de l'utilisation des Systèmes de Transitions Gardées (GTS), un formalisme prometteur pour l'analyse prévisionnelle des défaillances. Sous hypothèse Markovienne, les GTS peuvent être calculés grâce aux chaînes de Markov. Une méthodologie est développée pour éviter le problème récurrent de l'explosion en taille des chaînes de Markov.
Annonce de la soutenance