Conference paper
Bound-preserving composition for Markov reward models
David Daly, Peter Buchholz, et al.
QEST 2006
A new preorder relation is introduced that orders states of a Markov process with an additional reward structure according to the reward gained over any interval of finite or infinite length. The relation allows the comparison of different Markov processes and includes as special cases monotone and lumpable Markov processes. © 2007 Elsevier B.V. All rights reserved.
David Daly, Peter Buchholz, et al.
QEST 2006
HariGovind V. Ramasamy, Adnan Agbaria, et al.
IEEE TDSC
Marcio Silva, Mohammad Banikazemi, et al.
IBM J. Res. Dev
Jeffrey Stuecheli, Dimitris Kaseridis, et al.
IEEE Micro