Publication details

Recharging Probably Keeps Batteries Alive

Authors

HERMANNS Holger KRČÁL Jan NIES Gilles

Year of publication 2015
Type Article in Proceedings
Conference CyPhy 2015
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-319-25141-7_7
Field Informatics
Keywords dependability; battery power; stochastic load; bounded capacity
Description Battery powered systems are a major area of cyber physical system innovation. This paper develops a kinetic battery model with bounded capacity in the context of piecewise constant yet random charging and discharging. The resulting model enables a faithful time-dependent evaluation of the risk of a mission failure due to battery depletion. This is exemplified in a power dependability study of a nano satellite mission currently in orbit.
Related projects: