Mobility

Using Model Checking for Analyzing Distributed Power Control Problems

Free registration required

Executive Summary

Model Checking (MC) is a formal verification technique which has been known and still knows a resounding success in the computer science community. Realizing that the distributed Power Control (PC) problem can be modeled by a timed game between a given transmitter and its environment, the authors wanted to know whether this approach can be applied to distribute PC. It turns out that it can be applied successfully and allows one to analyze realistic scenarios including the case of discrete transmit powers and games with incomplete information.

  • Format: PDF
  • Size: 1923.1 KB