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

Erik Ramsgaard Wognsen, Boudewijn R.H.M. Haverkort, M.R. Jongerden, René Rydhof Hansen, K.G. Larsen, Sriram Sankaranarayanan (Editor), Enrico Vicario (Editor)

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

9 Citations (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.
Original languageEnglish
Title of host publicationProceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015
EditorsSriram Sankaranarayanan, Enrico Vicario
Place of PublicationLondon
PublisherSpringer Verlag
Pages305-320
Number of pages16
ISBN (Print)9783319229744
DOIs
Publication statusPublished - Sep 2015
Externally publishedYes
EventInternational Conference on Formal Modeling and Analysis of Timed Systems 2015 - Madried, Spain
Duration: 2 Sep 20154 Sep 2015
Conference number: 13
http://formats2015.unifi.it/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume9268
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Formal Modeling and Analysis of Timed Systems 2015
Abbreviated titleFORMATS 2015
CountrySpain
CityMadried
Period2/09/154/09/15
Internet address

Keywords

  • EC Grant Agreement nr.: FP7/318490
  • EWI-26287
  • cycle-life battery
  • METIS-314963
  • EC Grant Agreement nr.: FP7/2007-2013
  • Uppaal Stratego
  • IR-98150
  • battery aging

Fingerprint Dive into the research topics of 'A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems'. Together they form a unique fingerprint.

Cite this