Product form for Stochastic Automata Networks

Abstract : We consider Stochastic Automata Networks (SAN) in continuous time and we prove a sufficient condition for the steady-state distribution to have product form. We consider SAN without synchronizations where the transitions of one automaton may depend of the states of the other automata. Even with this restriction, this sufficient condition is quite simple and this theorem generalizes former results on SAN but also on modulated Markovian queues, such as the Boucherie's theory on competing Markov chain, or on reversible queues considered by Kelly. The sufficient condition and the proof are purely algebraic.
Type de document :
Communication dans un congrès
2nd International Conference on Performance Evaluation Methodologies and Tools, Oct 2007, Nantes, France. ACM, pp.1-10, 2007, ISBN 978-1-59593-819-0
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00203526
Contributeur : Brigitte Plateau <>
Soumis le : jeudi 10 janvier 2008 - 13:46:37
Dernière modification le : jeudi 11 octobre 2018 - 08:48:02
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 14:01:14

Fichier

productValue.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00203526, version 1

Collections

Citation

Jean-Michel Fourneau, Brigitte Plateau, William Stewart. Product form for Stochastic Automata Networks. 2nd International Conference on Performance Evaluation Methodologies and Tools, Oct 2007, Nantes, France. ACM, pp.1-10, 2007, ISBN 978-1-59593-819-0. 〈hal-00203526〉

Partager

Métriques

Consultations de la notice

343

Téléchargements de fichiers

501