Computing optimal schedules of battery usage in embedded systems

IEEE Transactions on Industrial Informatics

Volumn 6, Issue 3, 2010, Pages 276-286

  Jongerden, Marijn ^a   Mereacre, Alexandru ^b   Bohnenkamp, Henrik ^b   Haverkort, Boudewijn ^a,c   Katoen, Joost Pieter ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b RWTH AACHEN UNIVERSITY   (Germany)

^c EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

Author keywords

Batteries; embedded systems; lifetime optimization; scheduling

Indexed keywords

ANALYTICAL APPROACH; BATTERIES; BATTERY CELLS; BATTERY LIFETIME; LIFETIME OPTIMIZATION; MODELING APPROACH; MULTIPLE CELLS; NON-LINEAR OPTIMIZATION PROBLEMS; OPTIMAL SCHEDULE; OPTIMAL SCHEDULING; RECOVERY PROPERTIES; ROUND ROBIN; SCHEDULING PROBLEM; SCHEDULING SCHEMES; SEQUENTIAL DISCHARGE; TIMED AUTOMATA;

MOBILE DEVICES; OPTIMIZATION; SCHEDULING;

EMBEDDED SYSTEMS;

EID: 77955709656     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2010.2051813     Document Type: Article

References (16)

1. UPPAAL Cora webpage. [Online]. Available: www.cs.aau.dk/ ~behrmann/cora/index.html
2. R. Alur, C. Courcoubetis, and D. Dill, "Model-checking in dense realtime," Inf. Comput., vol.104, no.2, pp. 2-34, 1993.
3. R. Alur, S. La Torre, and G. J. Pappas, "Optimal paths in weighted timed automata," in Proc. Hybrid Syst.: Comput. Control (HSCC 01), M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds., 2001, vol.2034, LNCS, pp. 49-62, Springer-Verlag.
4. G. Behrmann, A. Fehnker, T. Hune, K. Larsen, P. Pettersson, J. Romijn, and F. Vaandrager, "Minimum-cost reachability for priced time automata," in Proc. Hybrid Syst.: Comput. Control (HSCC 01), M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds., 2001, vol.2034, LNCS, pp. 147-161.
5. L. Benini, G. Castelli, A. Macii, E. Macii, M. Poncino, and R. Scarsi, "Extending lifetime of portable systems by battery scheduling," in Design, Automation and Test in Europe (DATE), Los Alamitos, CA, 2001, pp. 197-203.
6. S. Boyd and L. Vandenberghe, Convex Optimization. Cambridge, U.K.: Cambridge University Press, 2004.
7. C. F. Chiasserini and R. R. Rao, "Energy efficient battery management," IEEE J. Sel. Areas Commun., vol.19, no.7, pp. 1235-1245, 2001.
8. M. R. Jongerden and B. R. Haverkort, "Which battery model to use?," IET Software, vol.3, no.6, pp. 445-457, 2010.
9. M. R. Jongerden, B. R. H. M. Haverkort, H. C. Bohnenkamp, and J. P. Katoen, "Maximizing system lifetime by battery scheduling," in Proc. 39th Annu. IEEE/IFIP Int. Conf. Dependable Systems and Networks (DSN 2009), 2009, pp. 63-72.
10. J. F. Manwell and J. G. McGowan, "Lead acid battery storage model for hybrid energy systems," Solar Energy, vol.50, pp. 399-405, 1993.
11. J. F. Manwell and J. G. McGowan, "Extension of the kinetic battery model for wind/hybrid power systems," in Proc. 5th Eur. Wind Energy Assoc. Conf. (EWEC 94), 1994, pp. 284-289.
12. J. F. Manwell, J. G. McGowan, E. I. Baring-Gould, W. Stein, and A. Leotta, "Evaluation of battery models for wind/hybrid power system simulation," in Proc. 5th Eur. Wind Energy Assoc. Conf. (EWEC 94), 1994, pp. 1182-1187.
13. D. Rakhmatov, S. Vrudhula, and D. A. Wallach, "Battery lifetime predictions for energy-aware computing," in Proc. 2002 Int. Symp. Low Power Electron. Design (ISLPED02), 2002, pp. 154-159.
14. D. Rakhmatov, S. Vrudhula, and D. A. Wallach, "A model for battery lifetime analysis for organizing applications on a pocket computer," IEEE Trans. VLSI Syst., vol.11, no.6, pp. 1019-1030, 2003.
15. S. Sarkar and M. Adamou, "A framework for optimal battery management for wireless nodes," IEEE J. Sel. Areas Commun., vol.21, no.2, pp. 179-188, 2003.
16. Q. Wu, Q. Qiu, and M. Pedram, "An interleaved dual-battery power supply for battery-operated electronics," in Proc. Conf. Asia South Pacific Design Autom. (ASP-DAC00), 2000, pp. 387-390.