Modelling Autonomous Resilient Multi-robotic Systems

Inna Vistbakka, Elena Troubitsyna

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

1 Citeringar (Scopus)

Sammanfattning

Resilience is an ability of the system to deliver its services in a dependable way despite the changes. In this paper, we propose a multi-agent based formal outlook on ensuring resilience of multi-robotic systems. We represent system functions as collaborative activities performed by the agents with different capabilities. Changes invoke either structural reconfigurations – forming different collaborations or compensative activities – introducing into the system agents with additional capabilities. We formalize the resilience mechanisms and demonstrate their use by a case study – a coordination of a swarm of drones.

OriginalspråkOdefinierat/okänt
Titel på gästpublikationSoftware Engineering for Resilient Systems
RedaktörerRadu Calinescu, Felicita Di Giandomenico
FörlagSpringer
Sidor29–45
ISBN (elektroniskt)978-3-030-30856-8
ISBN (tryckt)978-3-030-30855-1
DOI
StatusPublicerad - 2019
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Workshop on Software Engineering for Resilient Systems - 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019
Varaktighet: 17 sep 201917 sep 2019

Konferens

KonferensInternational Workshop on Software Engineering for Resilient Systems
Period17/09/1917/09/19

Nyckelord

  • Event-B
  • Formal reasoning
  • Formal verification
  • Multi-robotic Systems
  • System resilience
  • formal modelling

Citera det här