@inproceedings{f4575361b1f842e0bf0c1d73f4f23717,
title = "Bound-preserving composition for Markov reward models",
abstract = "Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, mitigating the effect of the state-space explosion and enabling the wider use of Markov reward models. Existing aggregation techniques based upon stochastic orders are limited by a combination of strong requirements on the structure of the model, and complexity in determining the stochastic order and generating the aggregated model. We develop a set of general conditions in which models can be analyzed and aggregated compositionally, dramatically lowering the complexity of the aggregation and solution of the model. When these conditions are combined with a recently developed general stochastic order for Markov reward models, significantly larger models can be solved than was previously possible for a large class of models.",
author = "David Daly and Peter Buchholz and Sanders, {William H.}",
year = "2006",
doi = "10.1109/QEST.2006.8",
language = "English (US)",
isbn = "0769526659",
series = "Third International Conference on the Quantitative Evaluation of Systems, QEST 2006",
pages = "243--252",
booktitle = "Third International Conference on the Quantitative Evaluation of Systems, QEST 2006",
note = "3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006 ; Conference date: 11-09-2006 Through 14-09-2006",
}