Quantitative μ-calculus analysis of power management in wireless networks

A. K. McIver*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationTheoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Proceedings
EditorsKamel Barkaoui, Ana Cavalcanti, Antonio Cerone
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Pages50-64
Number of pages15
Volume4281 LNCS
ISBN (Electronic)9783540488163
ISBN (Print)3540488154, 9783540488156
DOIs
Publication statusPublished - 2006
EventThird International Colloquium on Theoretical Aspects of Computing - ICTAC 2006, Proceedings - Tunis, Tunisia
Duration: 20 Nov 200624 Nov 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4281 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

OtherThird International Colloquium on Theoretical Aspects of Computing - ICTAC 2006, Proceedings
CountryTunisia
CityTunis
Period20/11/0624/11/06

Fingerprint Dive into the research topics of 'Quantitative μ-calculus analysis of power management in wireless networks'. Together they form a unique fingerprint.

Cite this