Probabilistic Mobility Models for Mobile and Wireless Networks

Lei Song; Jens Christian Godskesen

doi:10.1007/978-3-642-15240-5_7

Probabilistic Mobility Models for Mobile and Wireless Networks

Lei Song
, Jens Christian Godskesen

Executive Management

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Abstract

In this paper we present a probabilistic broadcast calculus for mobile and wireless networks whose connections are unreliable. In our calculus broadcasted messages can be lost with a certain probability, and due to mobility the connection probabilities may change. If a network broadcasts a message from a location it will evolve to a network distribution depending on whether nodes at other locations receive the message or not. Mobility of locations is not arbitrary but guarded by a probabilistic mobility function (PMF) and we also define the notion of a weak bisimulation given a PMF. It is possible to have weak bisimular networks which have different probabilistic connectivity information. We also examine the relation between our weak bisimulation and a minor variant of PCTL*. Finally we apply our
calculus on a small example called the ZeroConf protocol.

Original language	English
Title of host publication	IFIP Advances in Information and Communication Technology
Number of pages	15
Volume	2010
Publisher	Springer
Publication date	2010
DOIs	https://doi.org/10.1007/978-3-642-15240-5_7
Publication status	Published - 2010
Event	6th IFIP International Conference on Theoretical Computer Science - Brisbane, Australia Duration: 20 Sept 2010 → 23 Sept 2010 http://www.ifip.org/wcc2010/tcs2010/

Conference

Conference	6th IFIP International Conference on Theoretical Computer Science
Country/Territory	Australia
City	Brisbane
Period	20/09/2010 → 23/09/2010
Internet address	http://www.ifip.org/wcc2010/tcs2010/

Keywords

Probabilistic Broadcast Calculus
Mobile Networks
Wireless Networks
Probabilistic Mobility Function (PMF)
Weak Bisimulation

Access to Document

10.1007/978-3-642-15240-5_7

http://www.springerlink.com/content/j0q8244666800780/

MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Project: Research

Cite this

@inproceedings{58aee80954b6470a9361bdf8af7e85ed,

title = "Probabilistic Mobility Models for Mobile and Wireless Networks",

abstract = "In this paper we present a probabilistic broadcast calculus for mobile and wireless networks whose connections are unreliable. In our calculus broadcasted messages can be lost with a certain probability, and due to mobility the connection probabilities may change. If a network broadcasts a message from a location it will evolve to a network distribution depending on whether nodes at other locations receive the message or not. Mobility of locations is not arbitrary but guarded by a probabilistic mobility function (PMF) and we also define the notion of a weak bisimulation given a PMF. It is possible to have weak bisimular networks which have different probabilistic connectivity information. We also examine the relation between our weak bisimulation and a minor variant of PCTL*. Finally we apply our calculus on a small example called the ZeroConf protocol.",

keywords = "Probabilistic Broadcast Calculus, Mobile Networks, Wireless Networks, Probabilistic Mobility Function (PMF), Weak Bisimulation, Probabilistic Broadcast Calculus, Mobile Networks, Wireless Networks, Probabilistic Mobility Function (PMF), Weak Bisimulation",

author = "Lei Song and Godskesen, \{Jens Christian\}",

year = "2010",

doi = "10.1007/978-3-642-15240-5\_7",

language = "English",

volume = "2010",

booktitle = "IFIP Advances in Information and Communication Technology",

publisher = "Springer",

address = "Germany",

note = "6th IFIP International Conference on Theoretical Computer Science , TCS 2010 ; Conference date: 20-09-2010 Through 23-09-2010",

url = "http://www.ifip.org/wcc2010/tcs2010/",

}

TY - GEN

T1 - Probabilistic Mobility Models for Mobile and Wireless Networks

AU - Song, Lei

AU - Godskesen, Jens Christian

PY - 2010

Y1 - 2010

N2 - In this paper we present a probabilistic broadcast calculus for mobile and wireless networks whose connections are unreliable. In our calculus broadcasted messages can be lost with a certain probability, and due to mobility the connection probabilities may change. If a network broadcasts a message from a location it will evolve to a network distribution depending on whether nodes at other locations receive the message or not. Mobility of locations is not arbitrary but guarded by a probabilistic mobility function (PMF) and we also define the notion of a weak bisimulation given a PMF. It is possible to have weak bisimular networks which have different probabilistic connectivity information. We also examine the relation between our weak bisimulation and a minor variant of PCTL*. Finally we apply our calculus on a small example called the ZeroConf protocol.

AB - In this paper we present a probabilistic broadcast calculus for mobile and wireless networks whose connections are unreliable. In our calculus broadcasted messages can be lost with a certain probability, and due to mobility the connection probabilities may change. If a network broadcasts a message from a location it will evolve to a network distribution depending on whether nodes at other locations receive the message or not. Mobility of locations is not arbitrary but guarded by a probabilistic mobility function (PMF) and we also define the notion of a weak bisimulation given a PMF. It is possible to have weak bisimular networks which have different probabilistic connectivity information. We also examine the relation between our weak bisimulation and a minor variant of PCTL*. Finally we apply our calculus on a small example called the ZeroConf protocol.

KW - Probabilistic Broadcast Calculus

KW - Mobile Networks

KW - Wireless Networks

KW - Probabilistic Mobility Function (PMF)

KW - Weak Bisimulation

KW - Probabilistic Broadcast Calculus

KW - Mobile Networks

KW - Wireless Networks

KW - Probabilistic Mobility Function (PMF)

KW - Weak Bisimulation

U2 - 10.1007/978-3-642-15240-5_7

DO - 10.1007/978-3-642-15240-5_7

M3 - Article in proceedings

VL - 2010

BT - IFIP Advances in Information and Communication Technology

PB - Springer

T2 - 6th IFIP International Conference on Theoretical Computer Science

Y2 - 20 September 2010 through 23 September 2010

ER -

Probabilistic Mobility Models for Mobile and Wireless Networks

Abstract

Conference

Keywords

Access to Document

Fingerprint

Projects

MT-Lab - Modelling of Information Technology

Cite this