Multi-layered Approach to Safe Navigation of Swarms of Drones

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Inna Vistbakka, Amin Majd, Elena Troubitsyna
Redaktörer: Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Publiceringsår: 2018
Förläggare: Springer
Moderpublikationens namn: Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
Seriens namn: Lecture Notes in Computer Science (LNCS)
Volym: 11094
Artikelns första sida, sidnummer: 112
Artikelns sista sida, sidnummer: 125
ISBN: 978-3-319-99228-0
eISBN: 978-3-319-99229-7
ISSN: 0302-9743


Abstrakt

Swarms of drones are complex distributed systems that should operate safely, i.e., avoid collisions with each other and unforeseen objects appearing in the flight zones. Ensuring safety of drone navigation is challenging due to unreliability of drones, communication channels and non-determinism of the operating environment. In this paper, we propose a novel multi-layered approach to ensuring safety of drone navigation. It aims at maintaining an optimal ratio between efficiency of mission execution and safety at a hierarchical distributed way. We formalise the proposed approach in Event-B and derive the coordination and reconfiguration mechanisms ensuring efficiency and safety of mission execution.


Senast uppdaterad 2019-18-11 vid 05:24