Projects per year
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.
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 | |
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 |
Keywords
- Probabilistic Broadcast Calculus
- Mobile Networks
- Wireless Networks
- Probabilistic Mobility Function (PMF)
- Weak Bisimulation
Fingerprint
Dive into the research topics of 'Probabilistic Mobility Models for Mobile and Wireless Networks'. Together they form a unique fingerprint.Projects
- 1 Finished
-
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