@inproceedings{0ffe651edc9e4b3680c266d1d66bb478,
title = "Quantitative μ-calculus analysis of power management in wireless networks",
abstract = "An important concern in wireless network technology is battery conservation. A promising approach to saving energy is to allow nodes periodically to enter a {"}low power mode{"}, however this strategy contributes to message delay, and careful management is required so that the system-wide performance is not severely compromised. In this paper we show how to manage power schedules using the quantitative modal μ-calculus which allows the specification of a quantitative performance property as a game in which a maximising player's optimal strategy corresponds to optimising overall performance relative to the specified property. We extend the standard results on discounted games to a class of infinite state systems, and illustrate our results on a small case study.",
author = "McIver, {A. K.}",
year = "2006",
doi = "10.1007/11921240_4",
language = "English",
isbn = "3540488154",
volume = "4281 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "50--64",
editor = "Kamel Barkaoui and Ana Cavalcanti and Antonio Cerone",
booktitle = "Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Proceedings",
address = "United States",
note = "Third International Colloquium on Theoretical Aspects of Computing - ICTAC 2006, Proceedings ; Conference date: 20-11-2006 Through 24-11-2006",
}