Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

Peter E. Bulychev; Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikučionis

doi:10.4204/EPTCS.78.1

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Abstract

This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contribution is a method for solving this problem using Statistical Model Checking. The method has been implemented in UPPAAL model checker and has been applied to the analysis of Aloha CSMA/CD and IEEE 802.15.4 CSMA/CA protocols.

Original language	English
Title of host publication	Proceedings Second International Workshop on Interactions, Games and Protocols
Editors	Johannes Reich, Bernd Finkbeiner
Number of pages	14
Place of Publication	Tallin, Estonia
Publication date	20 Feb 2012
Pages	1-14
DOIs	https://doi.org/10.4204/EPTCS.78.1
Publication status	Published - 20 Feb 2012
Event	International Workshop on Interactions, Games and Protocols - Tallinn, Estonia Duration: 24 Mar 2012 → 1 Apr 2012 Conference number: 2

Conference

Conference	International Workshop on Interactions, Games and Protocols
Number	2
Country/Territory	Estonia
City	Tallinn
Period	24/03/2012 → 01/04/2012

Series	Electronic Proceedings in Theoretical Computer Science
Volume	78
ISSN	2075-2180

Access to Document

10.4204/EPTCS.78.1

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Bulychev, Peter E. ; David, Alexandre ; Larsen, Kim G. et al. / Computing Nash Equilibrium in Wireless Ad Hoc Networks : A Simulation-Based Approach. Proceedings Second International Workshop on Interactions, Games and Protocols. editor / Johannes Reich ; Bernd Finkbeiner. Tallin, Estonia, 2012. pp. 1-14 (Electronic Proceedings in Theoretical Computer Science, Vol. 78).

@inproceedings{55ff204bc1314af3a2c4764c835ce30a,

title = "Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach",

abstract = "This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contribution is a method for solving this problem using Statistical Model Checking. The method has been implemented in UPPAAL model checker and has been applied to the analysis of Aloha CSMA/CD and IEEE 802.15.4 CSMA/CA protocols.",

author = "Bulychev, {Peter E.} and Alexandre David and Larsen, {Kim G.} and Axel Legay and Marius Miku{\v c}ionis",

year = "2012",

month = feb,

day = "20",

doi = "10.4204/EPTCS.78.1",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "1--14",

editor = "Johannes Reich and Bernd Finkbeiner",

booktitle = "Proceedings Second International Workshop on Interactions, Games and Protocols",

note = "International Workshop on Interactions, Games and Protocols, IWIGP 2012 ; Conference date: 24-03-2012 Through 01-04-2012",

}

Bulychev, PE, David, A, Larsen, KG, Legay, A & Mikučionis, M 2012, Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. in J Reich & B Finkbeiner (eds), Proceedings Second International Workshop on Interactions, Games and Protocols. Tallin, Estonia, Electronic Proceedings in Theoretical Computer Science, vol. 78, pp. 1-14, International Workshop on Interactions, Games and Protocols, Tallinn, Estonia, 24/03/2012. https://doi.org/10.4204/EPTCS.78.1

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. / Bulychev, Peter E.; David, Alexandre; Larsen, Kim G. et al.
Proceedings Second International Workshop on Interactions, Games and Protocols. ed. / Johannes Reich; Bernd Finkbeiner. Tallin, Estonia, 2012. p. 1-14 (Electronic Proceedings in Theoretical Computer Science, Vol. 78).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Computing Nash Equilibrium in Wireless Ad Hoc Networks

T2 - International Workshop on Interactions, Games and Protocols

AU - Bulychev, Peter E.

AU - David, Alexandre

AU - Larsen, Kim G.

AU - Legay, Axel

AU - Mikučionis, Marius

N1 - Conference code: 2

PY - 2012/2/20

Y1 - 2012/2/20

N2 - This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contribution is a method for solving this problem using Statistical Model Checking. The method has been implemented in UPPAAL model checker and has been applied to the analysis of Aloha CSMA/CD and IEEE 802.15.4 CSMA/CA protocols.

AB - This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contribution is a method for solving this problem using Statistical Model Checking. The method has been implemented in UPPAAL model checker and has been applied to the analysis of Aloha CSMA/CD and IEEE 802.15.4 CSMA/CA protocols.

U2 - 10.4204/EPTCS.78.1

DO - 10.4204/EPTCS.78.1

M3 - Article in proceeding

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 1

EP - 14

BT - Proceedings Second International Workshop on Interactions, Games and Protocols

A2 - Reich, Johannes

A2 - Finkbeiner, Bernd

CY - Tallin, Estonia

Y2 - 24 March 2012 through 1 April 2012

ER -

Bulychev PE, David A, Larsen KG, Legay A, Mikučionis M. Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. In Reich J, Finkbeiner B, editors, Proceedings Second International Workshop on Interactions, Games and Protocols. Tallin, Estonia. 2012. p. 1-14. (Electronic Proceedings in Theoretical Computer Science, Vol. 78). doi: 10.4204/EPTCS.78.1

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

Abstract

Conference

Access to Document

AUB Link

Fingerprint

Cite this