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

  • Lucia Gallina
  • Sardaouna Hamadou
  • Andrea Marin
  • Sabina Rossi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6751)


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


Parallel Composition Process Algebra Transmission Radius Sender Node Nondeterministic Choice 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bernardo, M., Bravetti, M.: Performance measure sensitive congruences for markovian process algebras. Theoretical Computer Science 290(1), 117–160 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Gallina, L., Hamadou, S., Marin, A., Rossi.S.: A probabilistic energy-aware model for mobile ad-hoc networks. Research Report DAIS-2011-3, Department of Computer Science. University Ca’ Foscari of Venice (2011)Google Scholar
  3. 3.
    Gallina, L., Rossi, S.: Sender- and receiver-centered interference in wireless ad hoc networks. In: Proc. of IFIP Wireless Days 2010. IEEE Computer Society Press, Los Alamitos (2010)Google Scholar
  4. 4.
    Goubault-Larrecq, J., Palamidessi, C., Troina, A.: A probabilistic applied pi–calculus. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 175–190. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)CrossRefzbMATHGoogle Scholar
  6. 6.
    Le, L.B., Hossain, E., Zorzi, M.: Queueing analysis for gbn and sr arq protocols under dynamic radio link adaptation with non-zero feedback delay. IEEE Transactions on Wireless Communications 6(9), 3418–3428 (2007)CrossRefGoogle Scholar
  7. 7.
    Priami, C.: Stochasticπ-calculus. The Computer Journal 38(7), 578–589 (1995)CrossRefGoogle Scholar
  8. 8.
    Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 685–695. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  9. 9.
    Ross, S.M.: Stochastic Processes, 2nd edn. John Wiley & Sons, Chichester (1996)zbMATHGoogle Scholar
  10. 10.
    Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol. 836, pp. 481–496. Springer, Heidelberg (1994)Google Scholar
  11. 11.
    Singh, S., Woo, M., Raghavendra, C.S.: Power-aware routing in mobile ad hoc networks. In: Proc. of the 4th annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom 1998), pp. 181–190. ACM Press, New York (1998)CrossRefGoogle Scholar
  12. 12.
    Song, L., Godskesen, J.C.: Probabilistic mobility models for mobile and wireless networks. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP Advances in Information and Communication Technology, vol. 323, pp. 86–100. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  13. 13.
    Zorzi, M., Rao, R.R.: Error control and energy consumption in communications for nomadic computing. IEEE Transactions on Computers 46(3), 279–289 (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Lucia Gallina
    • 1
  • Sardaouna Hamadou
    • 1
  • Andrea Marin
    • 1
  • Sabina Rossi
    • 1
  1. 1.Università Ca’ FoscariVeneziaItaly

Personalised recommendations