Skip to Main content Skip to Navigation

Méthodes et algorithmes pour l'évaluation des performances des systèmes

Abstract : Markov Chains facilitate the performance analysis of dynamic systems in many areas of application. This thesis presents the formalism of stochastic automata networks (SANs) to represent Markov systems. The main goal of this work consists in improving existing methods for the performance evaluation of systems with a large state space. For this, we introduce the concept of SANs with replicas, and techniques to reduce the state space of such models. To obtain performance indices, we propose an improvement of the basic operations by taking into account the fact that inside the product state space, the actual reachable state space can be much smaller. The new methods and algorithms have been implemented into the PEPS 2003 software. Numerical examples are provided to illustrate the contributions of this thesis.
Complete list of metadata

Cited literature [98 references]  Display  Hide  Download
Contributor : Thèses Imag <>
Submitted on : Thursday, January 29, 2004 - 9:45:23 AM
Last modification on : Monday, November 16, 2020 - 9:58:08 AM
Long-term archiving on: : Friday, April 2, 2010 - 8:07:22 PM


  • HAL Id : tel-00004361, version 1



Anne Benoit. Méthodes et algorithmes pour l'évaluation des performances des systèmes. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2003. Français. ⟨tel-00004361⟩



Record views


Files downloads