Computing battery lifetime distributions

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2007, Pages 780-789

  Cloth, Lucia ^a   Jongerden, Marijn R ^a   Haverkort, Boudewijn R ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BATTERY LIFETIME; CELL PHONES; KINETIC BATTERY MODEL (KIBAM); WORKLOAD PATTERNS;

ALGORITHMS; ENERGY UTILIZATION; LAPTOP COMPUTERS; MATHEMATICAL MODELS; MOBILE DEVICES; NAVIGATION SYSTEMS;

ELECTRIC BATTERIES;

EID: 36049033427     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2007.26     Document Type: Conference Paper

References (25)

1. IEEE Computer, vol. 38, no. 11. IEEE Press, 2005.
2. D. Rakhmatov and S. Vrudhula, "An analytical high-level battery model for use in energy management of portable electronic systems," in Proceedings of the International Conference on Computer Aided Design (ICCAD'01), 2001, pp. 488-493.
3. Overview of lithium ion batteries. [Online]. Available: http://www.panasonic.com/industrial/battery/oem/images/pdf/Panasonic_LiIon. Overview.pdf
4. The spice page. [Online]. Available: http://bwrc.eecs.berkeley.edu/ Classes/IcBook/SPICE/
5. K. Lahiri, A. Raghunathan, S. Dey, and D. Panigrahi, "Battery-driven system design: a new frontier in low power design," in 7th Asia and South Pacific Design Automation Conference (ASP-DA'02), 2002, pp. 261-267.
6. C. Chiasserini and R. Rao, "Pulsed battery discharge in communication devices," in Proceedings of the 5th International Conference on Mobile Computing and Networking, 1999, pp. 88-95.
7. D. Panigrahi, C. Chiasserini, S. Dey, R. Rao, A. Raghunathan, and K. Lahiri, "Battery life estimation of mobile embedded systems," in Proceedings of the 14th International Conference on VLSI Design, 2001, pp. 57-63.
8. J. Manwell and J. McGowan, "Lead acid battery storage model for hybrid energy systems," Solar Energy, vol. 50, pp. 399-405, 1993.
9. V. Rao, G. Singhal, A. Kumar, and N. Navet, "Battery model for embedded systems," in VLSID '05. Washington, DC, USA: IEEE Computer Society, 2005, pp. 105-110.
10. J. F. Meyer, "On evaluating the performability of degradable computing systems," IEEE Transactions on Computers, vol. 29, no. 8, pp. 720-731, 1980.
11. _, "Performability: a retrospective and some pointers to the future," Performance Evaluation, vol. 14, no. 3, pp. 139-156, 1992.
12. A. Bobbio and L. Roberti, "Distribution of the minimal completion time of parallel tasks in multireward semi-Markov models," Performance Evaluation, vol. 14, pp. 239-256, 1992.
13. G. Horton, V. G. Kulkarni, D. M. Nicol, and K. S. Trivedi, "Fluid stochastic Petri nets: Theory, applications, and solution techniques," European Journal of Operational Research, vol. 105, pp. 184-201, 1998.
14. A. Horvath and M. Gribaudo, "Matrix geometric solution of fluid stochastic Petri nets," in Proceedings of the 4th International Conference on Matrix Analytic Methods in Stochastic Models. World Scientific, 2002.
15. B. R. Haverkort, H. Hermanns, J.-P. Katoen, and C. Baier, "Model checking CSRL-specified performability properties," in Proceedings of the 5th International Workshop on Performability Modeling of Computer and Communications Systems (PMCCS'01), 2001, pp. 105-109.
16. B. R. Haverkort, L. Cloth, H. Hermanns, J.-P. Katoen, and C. Baier, "Model checking performability properties," in Proceedings of the International Conference on Dependable Systems and Networks (DSN'02). IEEE Press, 2002, pp. 102-112.
17. L. Cloth, "Model Checking Algorithms for Markov Reward Models," Ph.D. dissertation, University of Twente, 2006.
18. B. Haverkort and J. Katoen, "The performability distribution for nonhomogeneous Markov-reward models," in Proceedings 7th Performability Workshop (PMCCS'05), 2005, pp. 38-42.
19. M. Gribaudo and A. Horvath, "Fluid stochastic Petri nets augmented with flush-out arcs: A transient analysis technique," IEEE Transactions on Software Engineering, vol. 28, no. 10, pp. 944-955, 2002.
20. L. Cloth, B. Haverkort, and M. Jongerden, "Evaluation of battery lifetimes using inhomogeneous Markov reward models," CTIT, University of Twente, Tech. Rep. 06-58, 2006.
21. N. van Dijk, "Uniformisation for nonhomogeneous Markov chains," Operations Research Letters, vol. 12, 1992.
22. A. Rindos, S. Woolet, I. Viniotis, and K. Trivedi, "Exact methods for the transient analysis of nonhomogeneous continuous time Markov chains," in 2nd International Workshop on the Numerical Solution of Markov Chains, 1995, pp. 121-133.
23. A. van Moorsel and K. Wolter, "Numerical solution of non-homogeneous Markov processes through uniformisation," in Proceedings of the 12th European Simulation Multiconference, 1998, pp. 710-717.
24. M. Telek, A. Horvath, and G. Horvath, "Analysis of inhomogeneous Markov reward models," Linear Algebra and its Applications, vol. 386, pp. 383-405, 2004.
25. B. Sericola, "Occupation times in Markov processes," Communications in Statistics -Stochastic Models, vol. 16, no. 5, pp. 479-510, 2000.