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
Institution:
Grenoble INPGDisciplines:
Directors:
Abstract EN:
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!.
Abstract FR:
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.