Révision datée du 26 décembre 2013 à 13:31 par Marmot (discussion | contributions) (Page créée avec « * Un ensemble de petits programmes en C * Pas d’interface graphique * Communications par fichiers (structurés) * Génération de DTMC à partir de fonction successeur e... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

PresentationXborne

De MARMOTE
  • Un ensemble de petits programmes en C
  • Pas d’interface graphique
  • Communications par fichiers (structurés)
  • Génération de DTMC à partir de fonction successeur et probabilité pour chaque événement (fichier C).
  • Résolution distribution stationnaire
  • Calcul de récompenses
  • Matrices mal spécifiées (imprécises)
  • Borne sur les matrices stochastiques (agrégation, censoring, pattern)
  • Bornes sur les distributions (Algorithmes Nabla)