FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Multi-modelling of Cooperative Swarms

Authors: Georgios Zervakis, Ken Pierce and Carl Gamble

Paper Information

Title:Multi-modelling of Cooperative Swarms
Authors:Georgios Zervakis, Ken Pierce and Carl Gamble
Proceedings:Overture Full papers
Editors: Marcel Verhoef and Ken Pierce
Keywords:multi-modelling, swarms, FMI, co-simulation
Abstract:

ABSTRACT. A major challenge in multi-modelling and co-simulation of cyber-physical systems (CPSs) using distributed control, such as swarms of autonomous UAVs, is the need to model distributed controller-hardware pairs where communication between controllers using complex types is required. Co-simulation standards such as the Functional Mock-up Interface (FMI) primarily support simple scalar types. This makes the protocol easy to adopt for new tools, but is limiting where a richer form of data exchange is required, such as distributed controllers. This paper applies previous work on adding an explicit network VDM model, called an ether, to a multi-model by deploying it to a more complex multi-model, specifically swarm of UAVs.

Pages:13
Talk:Jul 14 11:40 (Session 95G: Overture: Tools and Applications)
Paper: