Discounting in Time

Uli Fahrenberg; Kim Guldstrand Larsen

doi:10.1016/j.entcs.2009.10.003

Discounting in Time

Uli Fahrenberg, Kim Guldstrand Larsen

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

6 Citationer (Scopus)

Abstrakt

This paper deals with the issue of discounting in weighted timed transition systems. Discounting provides a way to model optimal-cost problems for infinite runs and has applications in optimal scheduling and other areas.
We show that when postulating a certain natural additivity property for the discounted weights of runs, there is essentially only one possible way to introduce a discounting semantics. Our proof relies on the fact that a certain functional equation essentially only has one solution, for which we provide an elementary proof.

Originalsprog	Engelsk
Tidsskrift	Electronic Notes in Theoretical Computer Science
Vol/bind	253
Udgave nummer	3
Sider (fra-til)	25-31
Antal sider	7
ISSN	1571-0661
DOI	https://doi.org/10.1016/j.entcs.2009.10.003
Status	Udgivet - nov. 2009
Begivenhed	Proceedings of 7th Workshop on Quantitative Aspects of Programming Languages, QAPL 2009 - Varighed: 19 maj 2010 → …

Konference

Konference	Proceedings of 7th Workshop on Quantitative Aspects of Programming Languages, QAPL 2009
Periode	19/05/2010 → …

Adgang til dokumentet

10.1016/j.entcs.2009.10.003

Citationsformater

@inproceedings{100ec33e1e2b4b91933dfd74783fc3af,

title = "Discounting in Time",

abstract = "This paper deals with the issue of discounting in weighted timed transition systems. Discounting provides a way to model optimal-cost problems for infinite runs and has applications in optimal scheduling and other areas. We show that when postulating a certain natural additivity property for the discounted weights of runs, there is essentially only one possible way to introduce a discounting semantics. Our proof relies on the fact that a certain functional equation essentially only has one solution, for which we provide an elementary proof.",

author = "Uli Fahrenberg and Larsen, {Kim Guldstrand}",

year = "2009",

month = nov,

doi = "10.1016/j.entcs.2009.10.003",

language = "English",

volume = "253",

pages = "25--31",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "3",

note = "null ; Conference date: 19-05-2010",

}

TY - GEN

T1 - Discounting in Time

AU - Fahrenberg, Uli

AU - Larsen, Kim Guldstrand

PY - 2009/11

Y1 - 2009/11

N2 - This paper deals with the issue of discounting in weighted timed transition systems. Discounting provides a way to model optimal-cost problems for infinite runs and has applications in optimal scheduling and other areas. We show that when postulating a certain natural additivity property for the discounted weights of runs, there is essentially only one possible way to introduce a discounting semantics. Our proof relies on the fact that a certain functional equation essentially only has one solution, for which we provide an elementary proof.

AB - This paper deals with the issue of discounting in weighted timed transition systems. Discounting provides a way to model optimal-cost problems for infinite runs and has applications in optimal scheduling and other areas. We show that when postulating a certain natural additivity property for the discounted weights of runs, there is essentially only one possible way to introduce a discounting semantics. Our proof relies on the fact that a certain functional equation essentially only has one solution, for which we provide an elementary proof.

U2 - 10.1016/j.entcs.2009.10.003

DO - 10.1016/j.entcs.2009.10.003

M3 - Conference article in Journal

VL - 253

SP - 25

EP - 31

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 3

Y2 - 19 May 2010

ER -