Battery-aware power management based on Markovian decision processes | IEEE Conference Publication | IEEE Xplore