In this paper we present an overview of the field of deterministic approximation of Markov
processes, both in discrete and continuous times. We will discuss mean field approximation …

The exact performance analysis of large-scale software systems with discrete-state
approaches is difficult because of the well-known problem of state-space explosion. This …

We study fluid approximations for a class of monotone relay policies in delay tolerant ad-hoc
networks. This class includes the epidemic routing and the two-hops routing protocols. We …

In this paper we investigate a potential use of fluid approximation techniques in the context
of stochastic model checking of CSL formulae. We focus on properties describing the …

Much research has been devoted to maximize the life time of mobile ad-hoc networks. Life
time has often been defined as the time elapsed until the first node is out of battery power. In …

The Dutch company Chess develops a wireless sensor network (WSN) platform using an
epidemic communication model. One of the greatest challenges in the design is to find …

Wireless Sensor Networks (WSN) are large networks of tiny sensor nodes that are usually
randomly distributed over a geographical region. The network topology may vary in time in …

Performance of a delay-tolerant network has strong dependence on the nodes participating
in data transportation. Such networks often face several resource constraints especially …

In this paper we investigate a potential use of fluid approximation techniques in the context
of stochastic model checking of CSL formulae. We focus on properties describing the …

Recently, swarms or formations of drones have received increased interest both in the
literature and in applications. To dynamically adapt to their operating environment, swarm …