Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

18215 Computing Optimal Schedules of Battery Usage in Embedded Systems
Home Policy Brochure Browse Search User Area Contact Help

Jongerden, M.R. and Mereacre, A. and Bohnenkamp, H.C. and Haverkort, B.R.H.M. and Katoen, J.P. (2010) Computing Optimal Schedules of Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203 *** ISI Impact 4,708 ***

Full text available as:

PDF (Authors version)

565 Kb
PDF (Publishers version)

934 Kb
Open Access

Official URL:

Exported to Metis


The use of mobile devices is often limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries or battery cells over the load to exploit the recovery properties of the batteries helps to extend the overall systems lifetime. Straightforward scheduling schemes, like round-robin or choosing the best battery available, already provide a big improvement compared to a sequential discharge of the batteries. In this paper, we compare these scheduling schemes with the optimal scheduling scheme produced with two different modeling approaches: an approach based on a priced-timed automaton model (implemented and evaluated in Uppaal Cora), as well as an analytical approach (partly formulated as nonlinear optimization problem) for a slightly adapted scheduling problem. We show that in some cases the results of the simple scheduling schemes (round-robin, and best-first) are close to optimal. However, the optimal schedules, computed according to both methods, also clearly show that in a variety of scenarios, the simple schedules are far from optimal.

Item Type:Article
Research Group:EWI-DACS: Design and Analysis of Communication Systems, EWI-FMT: Formal Methods and Tools
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems, SYRUP: SYmbolic RedUction of Probabilistic Models, GEODES: Global Energy Optimization for Distributed Embedded Systems
Uncontrolled Keywords:Batteries, embedded systems, lifetime optimization, scheduling
ID Code:18215
Deposited On:23 August 2010
ISI Impact Factor:4,708
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item