Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models

The usage of mobile devices like cell phones, navigation systems, or laptop computers, is limited by the lifetime of the included batteries. This lifetimes depends naturally on the rate at which energy is consumed, however, it also depends on the usage pattern of the battery. Continuous drawing of a high current results in an excessive drop of residual capacity. However, during intervals with no or very small currents, batteries do recover to a certain extend. We model this complex behaviour with an inhomogeneous Markov reward model. The state-dependent reward rates thereby correspond to the power consumption of the attached device and to the available charge, respectively. We develop new numerical algorithms for the computation of the distribution of the consumed energy and show how different workload patterns inuence the overall lifetime of a battery.

[1]  Sarma B. K. Vrudhula,et al.  An Analytical High-Level Battery Model for Use in Energy Management of Portable Electronic Systems , 2001, ICCAD.

[2]  A. Raghunathan,et al.  Battery-driven system design: a new frontier in low power design , 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.

[3]  Sujit Dey,et al.  Battery life estimation of mobile embedded systems , 2001, VLSI Design 2001. Fourteenth International Conference on VLSI Design.

[4]  Kishor S. Trivedi,et al.  Exact Methods for the Transient Analysis of Nonhomogeneous Continuous Time Markov Chains , 1995 .

[5]  Ramesh R. Rao,et al.  Pulsed battery discharge in communication devices , 1999, MobiCom '99.

[6]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[7]  Thorsten von Eicken,et al.  技術解説 IEEE Computer , 1999 .

[8]  B. Sericola Occupation times in markov processes , 2000 .

[9]  John F. Meyer,et al.  Performability: A Retrospective and Some Pointers to the Future , 1992, Perform. Evaluation.

[10]  N. M. van Dijk,et al.  Uniformization for nonhomogeneous Markov chains , 1992, Oper. Res. Lett..

[11]  Christel Baier,et al.  Model checking performability properties , 2002, Proceedings International Conference on Dependable Systems and Networks.

[12]  Lucia Cloth,et al.  Model checking algorithms for Markov reward models , 2006 .

[13]  Miklós Telek,et al.  Analysis of inhomogeneous Markov reward models , 2003 .

[14]  Henk C. Tijms,et al.  A fast algorithm for the transient reward distribution in continuous-time Markov chains , 2000, Oper. Res. Lett..

[15]  Christel Baier,et al.  Model Checking CSRL-Specified Performability Properties , 2001 .