Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.

Joost-Pieter Katoen Ivan S. Zapreev

Published in: QEST (2006)

Keyphrases

steady state
markov chain
operating conditions
explicit expressions
queue length
product form
state dependent
steady states
heavy traffic
queueing networks
arrival rate
state space
service times
stationary distribution
single server queue
loss probability
computationally efficient