Skip to Main content Skip to Navigation
Conference papers

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).
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Sardaouna Hamadou Connect in order to contact the contributor
Submitted on : Monday, March 11, 2013 - 4:45:29 PM
Last modification on : Thursday, January 20, 2022 - 4:12:42 PM
Long-term archiving on: : Sunday, April 2, 2017 - 11:05:40 AM


Publisher files allowed on an open archive




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⟩



Record views


Files downloads