Continuous-Time Markov Decision

10

CORR
2010
Springer

101views Education» more CORR 2010»

Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games

13 years 4 months ago

We establish the existence of optimal scheduling strategies for time-bounded reachability in continuous-time Markov decision processes, and of co-optimal strategies for continuous-...

Markus Rabe, Sven Schewe

claim paper

Read More »

10

click to vote

ICALP
2009
Springer

92views Programming Languages» more ICALP 2009»

Reachability in Stochastic Timed Games

14 years 4 months ago

Download www.lsv.ens-cachan.fr

We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...

Patricia Bouyer, Vojtech Forejt

claim paper

Read More »

15

click to vote

DAC
2000
ACM

179views Computer Architecture» more DAC 2000»

Dynamic power management of complex systems using generalized stochastic Petri nets

14 years 5 months ago

Download atrak.usc.edu

In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...

Qinru Qiu, Qing Wu, Massoud Pedram

claim paper

Read More »

7

click to vote

DAC
1999
ACM

139views Computer Architecture» more DAC 1999»

Dynamic Power Management Based on Continuous-Time Markov Decision Processes

14 years 5 months ago