Skip to main content
Springer Nature Link
Log in

Multi-layered Approach to Safe Navigation of Swarms of Drones

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security (SAFECOMP 2018)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11094))

Included in the following conference series:

  • 4322 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Abrial, J.R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)

    Book  MATH  Google Scholar 

  2. Aniculaesei, A., Arnsberger, D., Howar, F., Rausch, A.: Towards the verification of safety-critical autonomous systems in dynamic environments. In: V2CPS. pp. 79–90 (2016). EPTCS 232

    Google Scholar 

  3. Iliasov, A., et al.: Supporting reuse in Event B development: modularisation approach. In: Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 174–188. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-11811-1_14

    Chapter  MATH  Google Scholar 

  4. Macek, K., Vasquez, D., Fraichard, T., Siegwart, R.: Safe vehicle navigation in dynamic urban scenarios. In: Proceedings of 11th International IEEE Conference on Intelligent Transportation Systems, pp. 482–489. IEEE (2008)

    Google Scholar 

  5. Laibinis, L., Pereverzeva, I., Troubitsyna, E.: Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148, 66–87 (2017)

    Article  MATH  Google Scholar 

  6. Leveson, N., Pinnel, L.D., Sandys, S.D., Koga, S., Reese, J.D.: Analyzing software specifications for mode confusion potential. In: Human Error and System Development, pp. 132–146 (1997)

    Google Scholar 

  7. Majd, A., Ashraf, A., Troubitsyna, E., Daneshtalab, M.: Integrating learning, optimization, and prediction for efficient navigation of swarms of drones. In: PDP 2018, pp. 101–108. IEEE Computer Society (2018)

    Google Scholar 

  8. Majd, A., Troubitsyna, E., Daneshtalab, M.: Safety-aware control of swarms of drones. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10489, pp. 249–260. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66284-8_21

    Chapter  MATH  Google Scholar 

  9. Pereverzeva, I., Troubitsyna, E.: Formalizing goal-oriented development of resilient cyber-physical systems. In: Romanovsky, A., Ishikawa, F. (eds.) Trustworthy Cyber-Physical Systems Engineering (2017). Chapter 6

    Google Scholar 

  10. Pereverzeva, I., Troubitsyna, E., Laibinis, L.: A case study in formal development of a fault tolerant multi-robotic system. In: Avgeriou, P. (ed.) SERENE 2012. LNCS, vol. 7527, pp. 16–31. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33176-3_2

    Chapter  MATH  Google Scholar 

  11. Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Formal development of critical multi-agent systems: a refinement approach. In: EDCC 2012, pp. 156–161. IEEE Computer Society (2012)

    Google Scholar 

  12. Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Formal goal-oriented development of resilient MAS in Event-B. In: Brorsson, M., Pinho, L.M. (eds.) Ada-Europe 2012. LNCS, vol. 7308, pp. 147–161. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30598-6_11

    Chapter  Google Scholar 

  13. Pereverzeva, I., Troubitsyna, E., Laibinis, L.: A refinement-based approach to developing critical multi-agent systems. IJCCBS 4(1), 69–91 (2013)

    Article  MATH  Google Scholar 

  14. Rodin. Modularisation plug-in. http://wiki.event-b.org/index.php/Modularisation_Plug-in

  15. Rodin. Event-B platform. http://www.event-b.org/

  16. Siegwart, R., Nourbakhsh, I.R.: Introduction to Autonomous Mobile Robots. MIT Press, Cambridge (2004)

    MATH  Google Scholar 

  17. Tarasyuk, A., Pereverzeva, I., Troubitsyna, E., Latvala, T.: The formal derivation of mode logic for autonomous satellite flight formation. In: Koornneef, F., van Gulijk, C. (eds.) SAFECOMP 2015. LNCS, vol. 9337, pp. 29–43. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24255-2_4

    Chapter  Google Scholar 

  18. Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Integrating stochastic reasoning into Event-B development. Form. Asp. Comput. 27(1), 53–77 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  19. Fraichard, Th.: A short paper about motion safety. In: Proceedings of the IEEE International Conference on Robotics and Automation. IEEE (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Åbo Akademi University, Turku, Finland

    Inna Vistbakka, Amin Majd & Elena Troubitsyna

  2. KTH, Stockholm, Sweden

    Elena Troubitsyna

Authors
  1. Inna Vistbakka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Amin Majd
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elena Troubitsyna
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Inna Vistbakka .

Editor information

Editors and Affiliations

  1. Mälardalen University, Västerås, Sweden

    Barbara Gallina

  2. Norwegian University of Science and Technology, Trondheim, Norway

    Amund Skavhaug

  3. AIT Austrian Institute of Technology, Vienna, Austria

    Erwin Schoitsch

  4. Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Vistbakka, I., Majd, A., Troubitsyna, E. (2018). Multi-layered Approach to Safe Navigation of Swarms of Drones. In: Gallina, B., Skavhaug, A., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science(), vol 11094. Springer, Cham. https://doi.org/10.1007/978-3-319-99229-7_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-99229-7_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-99228-0

  • Online ISBN: 978-3-319-99229-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics