EF4 – Particles and Agents

Project

EF4-1

Influence of Mobility on Connectivity

Project Heads

Benedikt Jahnel, Wolfgang König

Project Members

Alexander Hinsen (né Wapenhans) (WIAS) 

Project Duration

01.01.2019 – 30.09.2022

Located at

WIAS

Description

We consider a spatial system of devices (smartphones and Internet-of-Things devices) on a random street system in Requipped with a realistic transmission mechanism respecting interference and delays. The devices form an ad-hoc communication system where smartphones move independently according to the random waypoint model on the streets. We study two separate models (A) propagation of malware and efficiency of countermeasures, and (B) throughput of messages, if sparse infrastructure is added. Our main interest lies on the influence of mobility on the propagation, respectively on the throughput.

In the first of our two models, we consider a spatial Poisson point process of locations of users, and an interacting particle process on it, presenting the spread of the malware over all the users as a function of time.  The infection takes place after independent exponential times between neighboring users. First we identify regimes of the parameters in which the malware spreads over unboundedly many, and we give bounds on the velocity. Then we add countermeasures, so-called white knights, to the system, which are able to neutralize and erase a device that is infected by the malware, as soon as it attempts to infect the white knight. The set-up of this model has been designed in close collaboration with our industry partner. In this model, we identify parameter regimes in which the counter measure is successful on the long run, and it gives bounds on its efficiency. The novelty in this part or our research lies in the randomness of the underlying location process (instead of just a deterministic grid) and in the details of the functionality of the counter measure. So far, mobility of the users is not present in the model.

In the second of our models, we assume that users are initially located at a home, and the homes form a spatial Poisson point process. This process may be so sparse that the malware spread would be only local on a long run. Additionally, each user performs independently a random trajectory of a time interval, starting from the home. In this way, the possibility of creating contacts with other users is introduced in the model. The goal is to identify conditions under which the mobility of the users implies, on a long run, a global connectivity in large parts of the communication system with high probability, and to roughly explain some details of this global connectivity.

In both model types, the main mathematical tool box stems from spatial probability, more precisely, the theory of (static and dynamic) random point processes in the Euclidean space, in  particular the theory of continuum percolation and the Boolean model. The designs of our models  and the questions that we aim at are developed in discussions with our industry partner.

Selected Publications

  • E. Cali, A. Hinsen, B. Jahnel, J.-P. Wary: Chase-escape in dynamic device-to-device networks,
    Preprint available at arXiv:2211.05476
  • E. Cali, A. Hinsen, B. Jahnel, J.-P. Wary: Connectivity in mobile device-to-device networks in urban environments,
    Preprint available at arXiv:2208.12865
  •  C. Hirsch, B. Jahnel, E. Cali: Connection intervals in multi-scale dynamic networks,
    Preprint available at arXiv:2111.13140
  • M. Heida, B. Jahnel, A. D. Vu: Stochastic homogenization on irregularly perforated domains,
    Preprint available at arXiv:2110.03256
  • C. Coletti, L. de Lima, A. Hinsen, B. Jahnel, D. Valesin: Limiting shape for first-passage percolation models on random geometric graphs,
    Preprint available at arXiv:2109.07813

Selected Pictures

Malware propagation in urban D2D networks

Realization of randomly placed devices on a street system of Poisson-Voronoi tessellation type. Upper row: The Markovian SIG-model (Susceptible-Infected-Goodware) stopped at the time the malware has reached the radius u=2.5km (left) and u=5km (right), indicated in black. Lower row: The non-Markovian SIG-model with uniform waiting times on [40sec,120sec] for both infected and immune devices, stopped at the time the malware has reached the radius u=2.5km (left) and u=5km (right), indicated in black.

Please insert any kind of pictures (photos, diagramms, simulations, graphics) related to the project in the above right field (Image with Text), by choosing the green plus image on top of the text editor. (You will be directed to the media library where you can add new files.)
(We need pictures for a lot of purposes in different contexts, like posters, scientific reports, flyers, website,…
Please upload pictures that might be just nice to look at, illustrate, explain or summarize your work.)

As Title in the above form please add a copyright.

And please give a short description of the picture and the context in the above textbox.

Don’t forget to press the “Save changes” button at the bottom of the box.

If you want to add more pictures, please use the “clone”-button at the right top of the above grey box.