A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

Erik Ramsgaard Wognsen; Boudewijn Haverkort; Marijn Jongerden; Rene Rydhof Hansen; Kim Guldstrand Larsen

doi:10.1007/978-3-319-22975-1_20

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

Erik Ramsgaard Wognsen, Boudewijn Haverkort, Marijn Jongerden, Rene Rydhof Hansen, Kim Guldstrand Larsen

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

16 Citationer (Scopus)

Abstract

An ever increasing share of embedded systems is powered by rechargeable batteries. These batteries deteriorate with the number of charge/discharge cycles they are subjected to, the so-called cycle life. In this paper, we propose the wear score function to compare and evaluate the relative impact of usage (charge and discharge) profiles on cycle life. The wear score function can not only be used to rank different usage profiles, these rankings can also be used as a criterion for optimizing the overall lifetime of a battery-powered system.

We perform such an optimization on a nano-satellite case study provided by the company GomSpace. The scheduling of the system is modelled as a network of (stochastic) weighted timed games. In a stochastic setting, exact optimization is very expensive. However, the recently introduced Uppaal Stratego tool combines symbolic synthesis with statistical model checking and reinforcement learning to synthesize near-optimal scheduling strategies subject to possible hard timing-constaints. We use this to study the trade-off between optimal short-term dynamic payload selection and the operational life of the satellite.

Originalsprog	Engelsk
Titel	Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Forlag	Springer
Publikationsdato	22 aug. 2015
Sider	305-320
ISBN (Trykt)	978-3-319-22974-4
ISBN (Elektronisk)	978-3-319-22975-1
DOI	https://doi.org/10.1007/978-3-319-22975-1_20
Status	Udgivet - 22 aug. 2015
Begivenhed	International Conference, FORMATS 2015 - Madrid, Spanien Varighed: 2 sep. 2015 → 4 sep. 2015 Konferencens nummer: 13th

Konference

Konference	International Conference, FORMATS 2015
Nummer	13th
Land/Område	Spanien
By	Madrid
Periode	02/09/2015 → 04/09/2015

Navn	Lecture Notes in Computer Science
Vol/bind	9268
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-319-22975-1_20

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

http://link.springer.com/chapter/10.1007%2F978-3-319-22975-1_20

Citationsformater

Wognsen, E. R., Haverkort, B., Jongerden, M., Hansen, R. R., & Larsen, K. G. (2015). A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. I Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (s. 305-320). Springer. https://doi.org/10.1007/978-3-319-22975-1_20

Wognsen, Erik Ramsgaard ; Haverkort, Boudewijn ; Jongerden, Marijn et al. / A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, 2015. s. 305-320 (Lecture Notes in Computer Science, Bind 9268).

@inproceedings{19d15fec5de04d78b55b7c6519aec170,

title = "A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems",

abstract = "An ever increasing share of embedded systems is powered by rechargeable batteries. These batteries deteriorate with the number of charge/discharge cycles they are subjected to, the so-called cycle life. In this paper, we propose the wear score function to compare and evaluate the relative impact of usage (charge and discharge) profiles on cycle life. The wear score function can not only be used to rank different usage profiles, these rankings can also be used as a criterion for optimizing the overall lifetime of a battery-powered system.We perform such an optimization on a nano-satellite case study provided by the company GomSpace. The scheduling of the system is modelled as a network of (stochastic) weighted timed games. In a stochastic setting, exact optimization is very expensive. However, the recently introduced Uppaal Stratego tool combines symbolic synthesis with statistical model checking and reinforcement learning to synthesize near-optimal scheduling strategies subject to possible hard timing-constaints. We use this to study the trade-off between optimal short-term dynamic payload selection and the operational life of the satellite.",

author = "Wognsen, {Erik Ramsgaard} and Boudewijn Haverkort and Marijn Jongerden and Hansen, {Rene Rydhof} and Larsen, {Kim Guldstrand}",

year = "2015",

month = aug,

day = "22",

doi = "10.1007/978-3-319-22975-1_20",

language = "English",

isbn = "978-3-319-22974-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "305--320",

booktitle = "Formal Modeling and Analysis of Timed Systems",

address = "Germany",

note = "International Conference, FORMATS 2015 ; Conference date: 02-09-2015 Through 04-09-2015",

}

Wognsen, ER, Haverkort, B, Jongerden, M, Hansen, RR & Larsen, KG 2015, A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. i Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, Lecture Notes in Computer Science, bind 9268, s. 305-320, International Conference, FORMATS 2015, Madrid, Spanien, 02/09/2015. https://doi.org/10.1007/978-3-319-22975-1_20

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. / Wognsen, Erik Ramsgaard; Haverkort, Boudewijn; Jongerden, Marijn et al.
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, 2015. s. 305-320 (Lecture Notes in Computer Science, Bind 9268).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

AU - Wognsen, Erik Ramsgaard

AU - Haverkort, Boudewijn

AU - Jongerden, Marijn

AU - Hansen, Rene Rydhof

AU - Larsen, Kim Guldstrand

N1 - Conference code: 13th

PY - 2015/8/22

Y1 - 2015/8/22

N2 - An ever increasing share of embedded systems is powered by rechargeable batteries. These batteries deteriorate with the number of charge/discharge cycles they are subjected to, the so-called cycle life. In this paper, we propose the wear score function to compare and evaluate the relative impact of usage (charge and discharge) profiles on cycle life. The wear score function can not only be used to rank different usage profiles, these rankings can also be used as a criterion for optimizing the overall lifetime of a battery-powered system.We perform such an optimization on a nano-satellite case study provided by the company GomSpace. The scheduling of the system is modelled as a network of (stochastic) weighted timed games. In a stochastic setting, exact optimization is very expensive. However, the recently introduced Uppaal Stratego tool combines symbolic synthesis with statistical model checking and reinforcement learning to synthesize near-optimal scheduling strategies subject to possible hard timing-constaints. We use this to study the trade-off between optimal short-term dynamic payload selection and the operational life of the satellite.

AB - An ever increasing share of embedded systems is powered by rechargeable batteries. These batteries deteriorate with the number of charge/discharge cycles they are subjected to, the so-called cycle life. In this paper, we propose the wear score function to compare and evaluate the relative impact of usage (charge and discharge) profiles on cycle life. The wear score function can not only be used to rank different usage profiles, these rankings can also be used as a criterion for optimizing the overall lifetime of a battery-powered system.We perform such an optimization on a nano-satellite case study provided by the company GomSpace. The scheduling of the system is modelled as a network of (stochastic) weighted timed games. In a stochastic setting, exact optimization is very expensive. However, the recently introduced Uppaal Stratego tool combines symbolic synthesis with statistical model checking and reinforcement learning to synthesize near-optimal scheduling strategies subject to possible hard timing-constaints. We use this to study the trade-off between optimal short-term dynamic payload selection and the operational life of the satellite.

UR - http://link.springer.com/chapter/10.1007%2F978-3-319-22975-1_20

U2 - 10.1007/978-3-319-22975-1_20

DO - 10.1007/978-3-319-22975-1_20

M3 - Article in proceeding

SN - 978-3-319-22974-4

T3 - Lecture Notes in Computer Science

SP - 305

EP - 320

BT - Formal Modeling and Analysis of Timed Systems

PB - Springer

T2 - International Conference, FORMATS 2015

Y2 - 2 September 2015 through 4 September 2015

ER -

Wognsen ER, Haverkort B, Jongerden M, Hansen RR , Larsen KG. A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. I Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer. 2015. s. 305-320. (Lecture Notes in Computer Science, Bind 9268). doi: 10.1007/978-3-319-22975-1_20