Keyphrases
- steady state
- state dependent
- markov chain
- fluid model
- operating conditions
- explicit expressions
- queue length
- temporal logic
- steady states
- queueing networks
- model checking
- optimal policy
- arrival rate
- loss probability
- product form
- variance estimator
- heavy traffic
- queueing model
- stationary distribution
- arrival process
- single server queue
- traffic intensity
- queue size
- random walk
- asymptotically optimal
- dynamic programming