MOVES Seminar 22 Jan 2009, 11:00
Henrik Bohnenkamp
Maximizing System Lifetime by Battery Scheduling
Abstract:
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
battery helps to extend the 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 a priced-timed
automaton battery model (implemented and evaluated in
Uppaal Cora). We see that in some cases the results of the simple
scheduling schemes are close to optimal. However, the optimal
schedules also clearly show that there is still room for improving
the battery lifetimes.
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
battery helps to extend the 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 a priced-timed
automaton battery model (implemented and evaluated in
Uppaal Cora). We see that in some cases the results of the simple
scheduling schemes are close to optimal. However, the optimal
schedules also clearly show that there is still room for improving
the battery lifetimes.

