A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks

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).
Fichier principal
Vignette du fichier
ASMTA2011.pdf (521.99 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-00799156 , version 1 (11-03-2013)

Identifiers

Cite

Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi. A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. Analytical and Stochastic Modeling Techniques and Applications (ASMTA), Jun 2011, Venice, Italy. pp.316-330, ⟨10.1007/978-3-642-21713-5_23⟩. ⟨hal-00799156⟩
150 View
491 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More