Modelling Autonomous Resilient Multi-robotic Systems

Inna Vistbakka, Elena Troubitsyna

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1 Sitaatiot (Scopus)

Abstrakti

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.

AlkuperäiskieliEi tiedossa
OtsikkoSoftware Engineering for Resilient Systems
ToimittajatRadu Calinescu, Felicita Di Giandomenico
KustantajaSpringer
Sivut29–45
ISBN (elektroninen)978-3-030-30856-8
ISBN (painettu)978-3-030-30855-1
DOI - pysyväislinkit
TilaJulkaistu - 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Workshop on Software Engineering for Resilient Systems - 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019
Kesto: 17 syyskuuta 201917 syyskuuta 2019

Konferenssi

KonferenssiInternational Workshop on Software Engineering for Resilient Systems
Ajanjakso17/09/1917/09/19

Keywords

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

Viittausmuodot