A probabilistic energy-aware model for mobile ad-hoc networks

Authors:
Lucia Gallina;Sardaouna Hamadou;Andrea Marin;Sabina Rossi
Affiliations:
Università Ca' Foscari, Venezia, Italy;Università Ca' Foscari, Venezia, Italy;Università Ca' Foscari, Venezia, Italy;Università Ca' Foscari, Venezia, Italy
Venue:
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Year:
2011

Citing 8
Cited 3

A compositional approach to performance modelling

A compositional approach to performance modelling
Error Control and Energy Consumption in Communications for Nomadic Computing

IEEE Transactions on Computers - Special issue on mobile computing
Power-aware routing in mobile ad hoc networks

MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
Performance measure sensitive congruences for Markovian process algebras

Theoretical Computer Science
Barbed Bisimulation

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Probabilistic Simulations for Probabilistic Processes

CONCUR '94 Proceedings of the Concurrency Theory
A probabilistic applied pi-calculus

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Queueing Analysis for GBN and SR ARQ Protocols under Dynamic Radio Link Adaptation with Non-Zero Feedback Delay

IEEE Transactions on Wireless Communications

Evaluating resistance to jamming and casual interception in mobile wireless networks

Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks

Proceedings of the 16th ACM international conference on Modeling, analysis & simulation of wireless and mobile systems
Behavioural equivalences and interference metrics for mobile ad-hoc networks

Performance Evaluation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a probabilistic, energy-aware, broadcast calculus for the analysis of mobile ad-hoc networks. The semantics of our model is expressed in terms of Segala's probabilistic automata driven by schedulers to resolve the nondeterministic choice among the probability distributions over target states. We develop a probabilistic observational congruence and a energy-aware preorder semantics. The observational congruence allows us to verify whether two networks exhibit the same observable probabilistic behaviour (connectivity), while the preorder is used to compare the energy consumption of different, but behaviourally equivalent, networks. As an application, we analyse and compare the energy consumption of two well-known automatic repeat request (ARQ)- based error control protocols: stop-and-wait (SW) and go-back-N (GBN).