Estou especialmente interessado em seu uso em aplicativos de verificação de modelo. Tenho redes abertas, fechadas e mistas de filas com diferentes classes de clientes por Baskett et al. Alguma outra sugestão para ler material? Obrigado.
reference-request
markov-chains
queueing-theory
model-checking
Aaron Sterling
fonte
fonte
o que exatamente você tem em mente? Amostragem ou aplicativos de pesquisa?
Marcos Villagra
desculpe, você disse que checou o modelo. Não sei muito sobre essas coisas, então não sei qual métrica de complexidade é mais importante. Parece-me que, para a verificação probabilística do modelo, você precisa conhecer a distribuição estacionária; portanto, talvez uma pesquisa sobre tempos de mistura possa ser mais útil.
Marcos Villagra
Quais são os tipos de tarefas interessantes com o HMM para você?
Vasyl Lyashkevych