Steady state property verification of very large systems.

Diana El Rabih Gaël Gorgo Nihal Pekergin Jean-Marc Vincent

Published in: Int. J. Crit. Comput. Based Syst. (2011)

Keyphrases

steady state
markov chain
operating conditions
product form
queue length
queueing networks
state dependent
explicit expressions
fluid model
learning algorithm
model checking
arrival rate
service times
arrival process