Lumping partially symmetrical stochastic models

Souheib Baarir (1) , Marco Beccuti (2) , Claude Dutheillet (1) , Giuliana Franceschinis (3) , Serge Haddad (4)

1 MoVe - Modélisation et Vérification
2 Dipartimento di Informatica [Torino]
3 UPO - Università degli Studi del Piemonte Orientale - Amedeo Avogadro
4 MEXICO - Modeling and Exploitation of Interaction and Concurrency

The performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their state space. Among the possible methods to cope with this problem, symmetry-based ones can be applied to systems including several similar components. Often however these systems are only partially symmetric: their behavior is in general symmetric except for some local situation when the similar components need to be differentiated. In this paper two methods to efficiently analyze partially symmetrical models are presented in a general setting and the requirements for their efficient implementation are discussed. Some case studies are presented to show the methods' effectiveness and their applicative interest.

Domaines: Autre [cs.OH]

Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad. Lumping partially symmetrical stochastic models. Performance Evaluation, 2011, 68 (1), pp.21-44. ⟨10.1016/j.peva.2010.09.002⟩. ⟨hal-00779940⟩