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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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.

Originalsprog	Engelsk
Titel	Proceedings Second International Workshop on Interactions, Games and Protocols
Redaktører	Johannes Reich, Bernd Finkbeiner
Antal sider	14
Udgivelsessted	Tallin, Estonia
Publikationsdato	20 feb. 2012
Sider	1-14
DOI	https://doi.org/10.4204/EPTCS.78.1
Status	Udgivet - 20 feb. 2012
Begivenhed	International Workshop on Interactions, Games and Protocols - Tallinn, Estland Varighed: 24 mar. 2012 → 1 apr. 2012 Konferencens nummer: 2

Konference

Konference	International Workshop on Interactions, Games and Protocols
Nummer	2
Land/Område	Estland
By	Tallinn
Periode	24/03/2012 → 01/04/2012

Navn	Electronic Proceedings in Theoretical Computer Science
Vol/bind	78
ISSN	2075-2180

Adgang til dokumentet

10.4204/EPTCS.78.1

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

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. red. / Johannes Reich ; Bernd Finkbeiner. Tallin, Estonia, 2012. s. 1-14 (Electronic Proceedings in Theoretical Computer Science, Bind 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. i J Reich & B Finkbeiner (red), Proceedings Second International Workshop on Interactions, Games and Protocols. Tallin, Estonia, Electronic Proceedings in Theoretical Computer Science, bind 78, s. 1-14, International Workshop on Interactions, Games and Protocols, Tallinn, Estland, 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. red. / Johannes Reich; Bernd Finkbeiner. Tallin, Estonia, 2012. s. 1-14 (Electronic Proceedings in Theoretical Computer Science, Bind 78).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. I Reich J, Finkbeiner B, red., Proceedings Second International Workshop on Interactions, Games and Protocols. Tallin, Estonia. 2012. s. 1-14. (Electronic Proceedings in Theoretical Computer Science, Bind 78). doi: 10.4204/EPTCS.78.1

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

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater