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

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

    9 Citations (Scopus)
    451 Downloads (Pure)

    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 languageUndefined
    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
    Pages305-320
    Number of pages16
    ISBN (Print)978-3-319-22974-4
    DOIs
    Publication statusPublished - Sep 2015
    Event13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015 - Universidad Complutense de Madrid, Madrid, 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

    Conference13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015
    Abbreviated titleFORMATS
    CountrySpain
    CityMadrid
    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

    Cite this

    Wognsen, E. R., Haverkort, B. R. H. M., Jongerden, M. R., Hansen, R. R., & Larsen, K. G. (2015). A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. In S. Sankaranarayanan, & E. Vicario (Eds.), Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015 (pp. 305-320). (Lecture Notes in Computer Science; Vol. 9268). London: Springer. https://doi.org/10.1007/978-3-319-22975-1_20
    Wognsen, Erik Ramsgaard ; Haverkort, Boudewijn R.H.M. ; Jongerden, M.R. ; Hansen, René Rydhof ; Larsen, K.G. / A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015. editor / Sriram Sankaranarayanan ; Enrico Vicario. London : Springer, 2015. pp. 305-320 (Lecture Notes in Computer Science).
    @inproceedings{01974344d97d4221a7458f96cf1ea732,
    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.",
    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",
    author = "Wognsen, {Erik Ramsgaard} and Haverkort, {Boudewijn R.H.M.} and M.R. Jongerden and Hansen, {Ren{\'e} Rydhof} and K.G. Larsen",
    note = "eemcs-eprint-26287",
    year = "2015",
    month = "9",
    doi = "10.1007/978-3-319-22975-1_20",
    language = "Undefined",
    isbn = "978-3-319-22974-4",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "305--320",
    editor = "Sriram Sankaranarayanan and Enrico Vicario",
    booktitle = "Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015",

    }

    Wognsen, ER, Haverkort, BRHM, Jongerden, MR, Hansen, RR & Larsen, KG 2015, A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. in S Sankaranarayanan & E Vicario (eds), Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015. Lecture Notes in Computer Science, vol. 9268, Springer, London, pp. 305-320, 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Madrid, Spain, 2/09/15. 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 R.H.M.; Jongerden, M.R.; Hansen, René Rydhof; Larsen, K.G.

    Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015. ed. / Sriram Sankaranarayanan; Enrico Vicario. London : Springer, 2015. p. 305-320 (Lecture Notes in Computer Science; Vol. 9268).

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

    TY - GEN

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

    AU - Wognsen, Erik Ramsgaard

    AU - Haverkort, Boudewijn R.H.M.

    AU - Jongerden, M.R.

    AU - Hansen, René Rydhof

    AU - Larsen, K.G.

    N1 - eemcs-eprint-26287

    PY - 2015/9

    Y1 - 2015/9

    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.

    KW - EC Grant Agreement nr.: FP7/318490

    KW - EWI-26287

    KW - cycle-life battery

    KW - METIS-314963

    KW - EC Grant Agreement nr.: FP7/2007-2013

    KW - Uppaal Stratego

    KW - IR-98150

    KW - battery aging

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

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

    M3 - Conference contribution

    SN - 978-3-319-22974-4

    T3 - Lecture Notes in Computer Science

    SP - 305

    EP - 320

    BT - Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015

    A2 - Sankaranarayanan, Sriram

    A2 - Vicario, Enrico

    PB - Springer

    CY - London

    ER -

    Wognsen ER, Haverkort BRHM, Jongerden MR, Hansen RR, Larsen KG. A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. In Sankaranarayanan S, Vicario E, editors, Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015. London: Springer. 2015. p. 305-320. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-22975-1_20