122 search results - page 12 / 25 » Weighted automata with discounting |
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— It has been established in the literature that the cascade interconnection of two bilinear systems does not in general produce another bilinear system. The goals of this paper ...
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
TCS
2010
13 years 2 months ago
2010
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...
QUESTA
2000
13 years 7 months ago
2000
We give a closed-form expression for the discounted weighted queue length and switching costs of a two-class single-server queueing model under a preemptive priority rule. These e...