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

Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen. A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. In Sriram Sankaranarayanan, Enrico Vicario, editors, Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Volume 9268 of Lecture Notes in Computer Science, pages 305-320, Springer, 2015. [doi]

Authors

Erik Ramsgaard Wognsen

This author has not been identified. Look up 'Erik Ramsgaard Wognsen' in Google

Boudewijn R. Haverkort

This author has not been identified. Look up 'Boudewijn R. Haverkort' in Google

Marijn R. Jongerden

This author has not been identified. Look up 'Marijn R. Jongerden' in Google

René Rydhof Hansen

This author has not been identified. Look up 'René Rydhof Hansen' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google