Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{977195,
author = {Beneš, Nikola and Křetínský, Jan and Larsen, Kim G. and Moller, Mikael H. and Srba, Jiří},
address = {Heidelberg Dordrecht London New York},
booktitle = {LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference},
doi = {http://dx.doi.org/10.1007/978-3-642-28717-6_12},
keywords = {modal transition systems; mean payoff games},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Heidelberg Dordrecht London New York},
isbn = {978-3-642-28716-9},
pages = {122-137},
publisher = {Springer},
title = {Dual-Priced Modal Transition Systems with Time Durations},
year = {2012}
}
TY - JOUR
ID - 977195
AU - Beneš, Nikola - Křetínský, Jan - Larsen, Kim G. - Moller, Mikael H. - Srba, Jiří
PY - 2012
TI - Dual-Priced Modal Transition Systems with Time Durations
PB - Springer
CY - Heidelberg Dordrecht London New York
SN - 9783642287169
KW - modal transition systems
KW - mean payoff games
N2 - Modal transition systems are a well-established specification formalism for a high-level modelling of component-based software systems. We present a novel extension of the formalism called modal transition systems with durations where time durations are modelled as controllable or uncontrollable intervals. We further equip the model with two kinds of quantitative aspects: each action has its own running cost per time unit, and actions may require several hardware components of different costs. We ask the question, given a fixed budget for the hardware components, what is the implementation with the cheapest long-run average reward. We give an algorithm for computing such optimal implementations via a reduction to a new extension of mean payoff games with time durations and analyse the complexity of the algorithm.
ER -
BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN, Mikael H. MOLLER a Jiří SRBA. Dual-Priced Modal Transition Systems with Time Durations. In \textit{LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference}. Heidelberg Dordrecht London New York: Springer, 2012, s.~122-137. ISBN~978-3-642-28716-9. Dostupné z: https://dx.doi.org/10.1007/978-3-642-28717-6\_{}12.
|
