Dynamic power management based on continuous-time Markov decision processes · Study