Quelqu'un peut-il suggérer une enquête récente sur les chaînes de Markov sous forme de produit?

11

Je suis particulièrement intéressé par leur utilisation dans les applications de vérification de modèle. J'ai des réseaux de files d'attente ouverts, fermés et mixtes avec différentes classes de clients par Baskett et al. Avez-vous d'autres suggestions pour lire du matériel? Merci.

reference-request markov-chains queueing-theory model-checking Aaron Sterling
la source
que pensez-vous exactement? Applications d'échantillonnage ou de recherche?
Marcos Villagra
désolé, vous avez dit vérification du modèle. Je ne sais pas grand-chose à ce sujet, donc je ne sais pas quelle métrique de complexité est la plus importante. Il me semble que pour la vérification du modèle probabiliste, vous devez connaître la distribution stationnaire, donc peut-être qu'une enquête sur les temps de mélange pourrait être plus utile.
Marcos Villagra
Quels sont les types de tâches qui vous intéressent avec HMM?
Vasyl Lyashkevych

Réponses:

7

Il y a ce livre inédit d'Aldous et Fill, deux experts du domaine. Vous y trouverez des promenades sur produit de chaînes.

Marcos Villagra
la source