Sender- and receiver-centered interference in wireless ad hoc networks

Gallina, Lucia; Rossi, Sabina

doi:10.1109/wd.2010.5657715

Cited by 4 publications

(9 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We introduce the Probabilistic EBUM calculus, an extension of EBUM (a calculus for Energy-aware Broadcast, Unicast, Multicast communications of mobile adhoc networks) [13] that models mobile ad-hoc networks as a collection of nodes, running in parallel, and using channels to broadcast messages. Our calculus supports multicast and unicast communications.…”

Section: The Calculusmentioning

confidence: 99%

“…Here we present a calculus, named Probabilistic EBUM, for formally reasoning about Energy-aware Broadcast, Unicast and Multicast communications of mobile adhoc networks. This is an extension of the EBUM calculus presented in [14,12,13] where probability distributions are used to describe the movements of nodes. Like its predecessor [14,5], our calculus is built around nodes, representing the devices of the systems, and locations, identifying the position cells across which each device may move inside the network.…”

Section: Introductionmentioning

confidence: 99%

“…In this paper we define a probabilistic observational congruence in the style of [30] to equate networks exhibiting the same probabilistic connectivity behaviour. As in [13,12], and in contrast to [29], the notion of observability is associated with nodes listening at specific locations in the network, so as to allow a fine grained analysis of connectivity at different areas within a network. We give a coinductive characterisation of observational congruence based on a labelled transition semantics.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Connectivity and energy-aware preorders for mobile ad-hoc networks

2015

Self Cite

View full text Add to dashboard Cite

We propose a probabilistic, energy-aware, broadcast calculus for the analysis of both connectivity and energy consumption of MANETs. The semantics of our calculus is expressed in terms of probabilistic automata driven by schedulers to resolve the nondeterministic choice among the probability distributions over target states. We first develop a probabilistic observational congruence together with a bisimulationbased proof technique. Then we define an energy-aware preorder semantics. The observational congruence allows us to verify whether two networks exhibit the same observable probabilistic behaviour in terms of connectivity, while the preorder makes it possible to evaluate the energy consumption of different, but behaviourally equivalent, networks. We show our calculus at work both by modelling the Location Aided Routing (LAR) protocol for large MANETs and by evaluating the energy cost of a Go-Back-N protocol with respect to a Stop-And-Wait in a network with mobility.

show abstract

Section: The Calculusmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Connectivity and energy-aware preorders for mobile ad-hoc networks

2015

Self Cite

View full text Add to dashboard Cite

show abstract

“…Drawing on earlier work on the subject (by the authors [3], [4], and by others [5], [6]), in the present paper we introduce a calculus to provide a formal basis for the analysis of connectivity and the evaluation of interference in MANETs. Like its predecessors [3], [6], our calculus is built around nodes, representing the devices of the systems, and locations, identifying the position cells across which each device may move inside the network.…”

Section: Introductionmentioning

confidence: 99%

“…We define a probabilistic observational congruence in the style of [8] to equate networks exhibiting the same observable behavior. As in [4], [3], and in contrast to [6], the notion of observability is associated with nodes listening at specific locations in the network, so as to allow a fine grained analysis of connectivity and interference at different areas within a network. We give a coinductive characterization of observational congruence based on a labelled transition semantics.…”

Section: Introductionmentioning

confidence: 99%

Interference-Sensitive Preorders for MANETs

Bugliesi

Gallina

Marin

et al. 2012

2012 Ninth International Conference on Quantitative Evaluation of Systems

Self Cite

View full text Add to dashboard Cite

Abstract-Connectivity and communication interference are two key aspects in mobile ad-hoc networks (MANETs). We propose a process algebraic model targeted at the analysis of both such aspects of MANETs. The framework includes a probabilistic process calculus and a suite of analytical techniques based on a probabilistic observational congruence and an interference-sensitive preorder. The observational congruence allows us to verify whether two networks exhibit the same behaviour. The preorder makes it possible to evaluate the interference level of different, behaviourally equivalent, networks. We show our framework at work on the analysis of the wellknown Alternating Bit Protocol, contrasting the behavior of the standard implementation of the protocol against an alternative implementation that exploits an ideal interference cancellation scheme for CDMA transmissions.

show abstract

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

Gallina

Hamadou

Marin

et al. 2011

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

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).

show abstract

Sender- and receiver-centered interference in wireless ad hoc networks

Cited by 4 publications

References 12 publications

Connectivity and energy-aware preorders for mobile ad-hoc networks

Connectivity and energy-aware preorders for mobile ad-hoc networks

Interference-Sensitive Preorders for MANETs

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

Contact Info

Product

Resources

About