{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:34Z","timestamp":1740099094999,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319991535"},{"type":"electronic","value":"9783319991542"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99154-2_11","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T14:14:35Z","timestamp":1534256075000},"page":"173-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems"],"prefix":"10.1007","author":[{"given":"Dmitry","family":"Ivanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sibylle","family":"Schupp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/978-3-319-48989-6_34","volume-title":"FM 2016: Formal Methods","author":"M Bisgaard","year":"2016","unstructured":"Bisgaard, M., Gerhardt, D., Hermanns, H., Kr\u010d\u00e1l, J., Nies, G., Stenger, M.: Battery-aware scheduling in low orbit: the GomX\u20133 case. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 559\u2013576. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48989-6_34"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Boker, U., Henzinger, T.A., Radhakrishna, A.: Battery transition systems. In: ACM SIGPLAN Notices, vol. 49, pp. 595\u2013606. ACM (2014)","DOI":"10.1145\/2535838.2535875"},{"issue":"7","key":"11_CR3","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/49.932692","volume":"19","author":"CF Chiasserini","year":"2001","unstructured":"Chiasserini, C.F., Rao, R.R.: Energy efficient battery management. IEEE J. Sel. Areas Commun. 19(7), 1235\u20131245 (2001)","journal-title":"IEEE J. Sel. Areas Commun."},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-24310-3_7","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A David","year":"2011","unstructured":"David, A., et al.: Statistical model checking for networks of priced timed automata. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 80\u201396. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24310-3_7"},{"issue":"6","key":"11_CR6","doi-asserted-by":"publisher","first-page":"1526","DOI":"10.1149\/1.2221597","volume":"140","author":"M Doyle","year":"1993","unstructured":"Doyle, M., Fuller, T.F., Newman, J.: Modeling of galvanostatic charge and discharge of the lithium\/polymer\/insertion cell. J. Electrochem. Soc. 140(6), 1526\u20131533 (1993)","journal-title":"J. Electrochem. Soc."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Eder, K., Gallagher, J.: Energy-aware software engineering. In: ICT - Energy Concepts for Energy Efficiency and Sustainability, pp. 103\u2013127. InTechOpen (2017)","DOI":"10.5772\/65985"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-73210-5_14","volume-title":"Integrated Formal Methods","author":"A Fehnker","year":"2007","unstructured":"Fehnker, A., van Hoesel, L., Mader, A.: Modelling and verification of the LMAC protocol for wireless sensor networks. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 253\u2013272. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73210-5_14"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Gold, S.: A PSPICE macromodel for lithium-ion batteries. In: Twelfth Annual Battery Conference on Applications and Advances, pp. 215\u2013222. IEEE (1997)","DOI":"10.1109\/BCAA.1997.574106"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-29604-3_11","volume-title":"Functional and Logic Programming","author":"R Haemmerl\u00e9","year":"2016","unstructured":"Haemmerl\u00e9, R., L\u00f3pez-Garc\u00eda, P., Liqat, U., Klemen, M., Gallagher, J.P., Hermenegildo, M.V.: A transformational approach to parametric accumulated-cost static profiling. In: Kiselyov, O., King, A. (eds.) FLOPS 2016. LNCS, vol. 9613, pp. 163\u2013180. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29604-3_11"},{"issue":"3","key":"11_CR11","doi-asserted-by":"crossref","first-page":"207","DOI":"10.5121\/ijcnc.2012.4314","volume":"4","author":"M Heni","year":"2012","unstructured":"Heni, M., Bouallegue, A., Bouallegue, R.: Energy consumption model in ad hoc mobile network. Int. J. Comput. Netw. Commun. 4(3), 207\u2013217 (2012)","journal-title":"Int. J. Comput. Netw. Commun."},{"key":"11_CR12","unstructured":"Jaeger, M.G.B.: Wireless network medium access control protocol. https:\/\/www.google.com\/patents\/US20120120871 . US Patent App. 12\/945,989 (2012)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Jongerden, M., Haverkort, B., Bohnenkamp, H., Katoen, J.P.: Maximizing system lifetime by battery scheduling. In: Proceedings of 2009 IEEE\/IFIP International Conference on Dependable Systems & Networks, pp. 63\u201372. IEEE (2009)","DOI":"10.1109\/DSN.2009.5270351"},{"issue":"6","key":"11_CR14","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1049\/iet-sen.2009.0001","volume":"3","author":"MR Jongerden","year":"2009","unstructured":"Jongerden, M.R., Haverkort, B.R.: Which battery model to use? IET Software 3(6), 445\u2013457 (2009)","journal-title":"IET Software"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-319-66335-7_6","volume-title":"Quantitative Evaluation of Systems","author":"MR Jongerden","year":"2017","unstructured":"Jongerden, M.R., Haverkort, B.R.: Battery aging, battery charging and the kinetic battery model: a first exploration. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 88\u2013103. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_6"},{"key":"11_CR16","unstructured":"J\u00f8rgensen, K.H., Christoffersen, N.B., Petersen, R.D., Gj\u00f8derum, T.H.: VisuAAL - an application for visualizing realistic mesh network protocol behavior through Uppaal simulations, Master Thesis. Aalborg University, Department of Computer Science (2017)"},{"issue":"5","key":"11_CR17","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/0038-092X(93)90060-2","volume":"50","author":"JF Manwell","year":"1993","unstructured":"Manwell, J.F., McGowan, J.G.: Lead acid battery storage model for hybrid energy systems. Solar Energy 50(5), 399\u2013405 (1993)","journal-title":"Solar Energy"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Panigrahi, D., Dey, S., Rao, R., Lahiri, K., Chiasserini, C., Raghunathan, A.: Battery life estimation of mobile embedded systems. In: Fourteenth International Conference on VLSI Design 2001, pp. 57\u201363. IEEE (2001)","DOI":"10.1109\/ICVD.2001.902640"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Rakhmatov, D.N., Vrudhula, S.B.: An analytical high-level battery model for use in energy management of portable electronic systems. In: Proceedings of the 2001 IEEE\/ACM International Conference on Computer-Aided Design, pp. 488\u2013493. IEEE (2001)","DOI":"10.1109\/ICCAD.2001.968687"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Rodrigues, L.M., Montez, C., Moraes, R., Portugal, P., Vasques, F.: A temperature-dependent battery model for wireless sensor networks. Sensors 17(2), 422 (2017)","DOI":"10.3390\/s17020422"},{"key":"11_CR21","doi-asserted-by":"publisher","unstructured":"Stoer, J., Bulirsch, R.: Introduction to Numerical Analysis, vol. 12. Springer, New York (2013). https:\/\/doi.org\/10.1007\/978-0-387-21738-3","DOI":"10.1007\/978-0-387-21738-3"},{"key":"11_CR22","unstructured":"TADIRAN SL-750 Data Sheet. https:\/\/tadiranbatteries.de\/pdf\/lithium-thionyl-chloride-batteries\/SL-750.pdf . Accessed 12 June 2018"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-319-22975-1_20","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"ER Wognsen","year":"2015","unstructured":"Wognsen, E.R., Haverkort, B.R., Jongerden, M., Hansen, R.R., Larsen, K.G.: A score function for optimizing the cycle-life of battery-powered embedded systems. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 305\u2013320. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22975-1_20"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Xue, J., Yuan, Z., Zhang, Q.: Traffic load-aware power-saving mechanism for IEEE 802.16 E sleep mode. In: Proceedings of 4th International Conference on Wireless Communications, Networking and Mobile Computing 2008, pp. 1\u20134. IEEE (2008)","DOI":"10.1109\/WiCom.2008.735"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99154-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T05:06:55Z","timestamp":1571720815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99154-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319991535","9783319991542"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99154-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}