Cost vs. Time in Stochastic Games and Markov Automata

Autor:	Luis María Ferrer Fioriti, Holger Hermanns, Ralf Wimmer, Bettina Braitling, Bernd Becker, Hassan Hatefi
Rok vydání:	2015
Předmět:	Fault tree analysis Mathematical optimization Correctness Transformation (function) Markov chain Reachability Stochastic game Energy consumption Mathematics Automaton
Zdroj:	Dependable Software Engineering: Theories, Tools, and Applications ISBN: 9783319259413 SETTA
DOI:	10.1007/978-3-319-25942-0_2
Popis:	Costs and rewards are important tools for analysing quantitative aspects of models like energy consumption and costs of maintenance and repair. Under the assumption of transient costs, this paper considers the computation of expected cost-bounded rewards and cost-bounded reachability for Markov automata and stochastic games. We give a transformation of this class of properties to expected time-bounded rewards and time-bounded reachability, which can be computed by available algorithms. We prove the correctness of the transformation and show its effectiveness on a number of case studies.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b441710ceec329a4847fb68cbbf5b993 https://doi.org/10.1007/978-3-319-25942-0_2 Zobrazit plný text záznamu