OS-Directed Power Management for Mobile Electronic Systems

Qinru Qiu,Qing Wu,Massoud Pedram
2000-01-01
Abstract:We present methods for operating system directed dynamic power management. We model a power-managed system using a continuous-time Markov decision process and solve for the optimal power management policy using a mathematical programming technique. Next we extend the model by using the controllable Generalized Stochastic Petri Nets with cost to handle systems with complex behavioral characteristics such as concurrency, synchronization, mutual exclusion and conflict. Experimental results demonstrate the effectiveness of the proposed modeling framework and solution techniques.
What problem does this paper attempt to address?