Programming Drone Collectives

This demonstration shows, how the theory of bigraphical reactive systems can be used as platform-agnostic coordination language to program collision-free drone swarms.

Bigraphical reactive systems are a formal yet practical theory for compositional cyber-physical system (CPS) modeling.

Bigraph Toolkit Suite (BTS) is a software ecosystem encompassing many frameworks and tools for the research and development of CPSs on a formal basis. It offers a variety of APIs that provide users with significant flexibility in processing CPSs at different levels of abstractions.

Author: Dominik Grzelak
Affiliation: Technische Universität Dresden