Dual-Priced Modal Transition Systems with Time Durations
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00057322" target="_blank" >RIV/00216224:14330/12:00057322 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-642-28717-6_12" target="_blank" >http://dx.doi.org/10.1007/978-3-642-28717-6_12</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-28717-6_12" target="_blank" >10.1007/978-3-642-28717-6_12</a>
Alternative languages
Result language
angličtina
Original language name
Dual-Priced Modal Transition Systems with Time Durations
Original language description
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 aremodelled 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference
ISBN
9783642287169
ISSN
0302-9743
e-ISSN
—
Number of pages
16
Pages from-to
122-137
Publisher name
Springer
Place of publication
Heidelberg Dordrecht London New York
Event location
Merida, Venezuela
Event date
Jan 1, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—