Réseaux d'Automates Stochastiques : Génération de l'espace d'états atteignables et Multiplication vecteur-descripteur pour une sémantique en temps discret

par Afonso Henrique Correa de Sales

Thèse de doctorat en Informatique

Sous la direction de Brigitte Plateau.

Soutenue en 2009

à Grenoble, INPG .


  • Résumé

    Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance deH systèmes à grand espace d'états décrits par le formalisme des Réseaux d'Automates Stochastiques (SAN). Nous proposons des méthodes pour la génération de l'espace d'états atteignables de modèles SAN qui utilisent des transitions qui dépendent d'états globaux du modèle. Nous proposons aussi une méthode de multiplication d'un vecteur par la matrice de transition d'un modèle SAN à temps discret représentée par un descripteur. La méthode réalise une suite d'opérations qui manipulent des données de la taille d'une composante (etpour toutes les composantes) au lieu de réaliser la multiplication sur l'espace produit du modèle.


  • Résumé

    This thesis presents methods and algorithms for the performance evaluation of large state space models described by Stochastic Automata Networks (SAN) formalism. We propose reachable state space generation methods of SAN models which use transitions that depend on model's global states. We also propose a multiplication method of a vector by the transition matrix of a discret time SAN model which is represented by a descriptor. The method executes a series of operations that manipulate data on the size of an automaton. (and for ail automata) instead of executing the multiplication on the product space of the'-' mode!.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (266 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 136 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS09/INPG/0141/D
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : TS09/INPG/0141
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.