Skip to main content
SpringerLink
Log in

Modelling Autonomous Resilient Multi-robotic Systems

  • Conference paper
  • First Online:
Software Engineering for Resilient Systems (SERENE 2019)

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

Included in the following conference series:

Abstract

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

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

    MATH  Google Scholar 

  2. Abrial, J., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010). https://doi.org/10.1007/s10009-010-0145-y

    Article  Google Scholar 

  3. Bauer, B., Müller, J.P., Odell, J.: Agent UML: a formalism for specifying multiagent software systems. Int. J. Softw. Eng. Knowl. Eng. 11(3), 207–230 (2001). https://doi.org/10.1142/S0218194001000517

    Article  Google Scholar 

  4. Bernon, C., Gleizes, M.-P., Peyruqueou, S., Picard, G.: ADELFE: a methodology for adaptive multi-agent systems engineering. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS, vol. 2577, pp. 156–169. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-39173-8_12

    Chapter  MATH  Google Scholar 

  5. Brambilla, M., Ferrante, E., Birattari, M., Dorigo, M.: Swarm robotics: a review from the swarm engineering perspective. Swarm Intell. 7(1), 1–41 (2013). https://doi.org/10.1007/s11721-012-0075-2

    Article  Google Scholar 

  6. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. Auton. Agents Multi-Agent Syst. 8(3), 203–236 (2004). https://doi.org/10.1023/B:AGNT.0000018806.20944.ef

    Article  MATH  Google Scholar 

  7. DeLoach, S.A.: Multiagent systems engineering of organization-based multiagent systems. ACM SIGSOFT Softw. Eng. Notes 30(4), 1–7 (2005). https://doi.org/10.1145/1082983.1082967

    Article  Google Scholar 

  8. Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 204–220. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24690-6_15

    Chapter  Google Scholar 

  9. Ferber, J., Gutknecht, O., Michel, F.: From agents to organizations: an organizational view of multi-agent systems. In: Giorgini, P., Müller, J.P., Odell, J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 214–230. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24620-6_15

    Chapter  Google Scholar 

  10. Gjondrekaj, E., et al.: Towards a formal verification methodology for collective robotic systems. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 54–70. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34281-3_7

    Chapter  Google Scholar 

  11. Guo, M., Dimarogonas, D.V.: Multi-agent plan reconfiguration under local LTL specifications. I. J. Robot. Res. 34(2), 218–235 (2015). https://doi.org/10.1177/0278364914546174

    Article  Google Scholar 

  12. Iocchi, L., Nardi, D., Salerno, M.: Reactivity and deliberation: a survey on multi-robot systems. BRSDMAS 2000. LNCS, vol. 2103, pp. 9–32. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44568-4_2

    Chapter  MATH  Google Scholar 

  13. Konur, S., Dixon, C., Fisher, M.: Formal verification of probabilistic swarm behaviours. In: Dorigo, M., et al. (eds.) ANTS 2010. LNCS, vol. 6234, pp. 440–447. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15461-4_42

    Chapter  Google Scholar 

  14. Laibinis, L., Pereverzeva, I., Troubitsyna, E.: Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148, 66–87 (2017). https://doi.org/10.1016/j.scico.2017.05.008

    Article  Google Scholar 

  15. Laprie, J.: From dependability to resilience. In: 38th IEEE/IFIP International Conference on Dependable Systems and Networks, pp. G8–G9 (2008)

    Google Scholar 

  16. Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. CoRR abs/1807.00048 (2018). http://arxiv.org/abs/1807.00048

  17. 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). https://doi.org/10.1109/PDP2018.2018.00022

  18. Majd, A., Troubitsyna, E.: Integrating safety-aware route optimisation and run-time safety monitoring in controlling swarms of drones. In: ISSRE Workshops, pp. 94–95. IEEE Computer Society (2017). https://doi.org/10.1109/ISSREW.2017.63

  19. Mitsch, S., Ghorbal, K., Platzer, A.: On provably safe obstacle avoidance for autonomous robotic ground vehicles. In: Robotics: Science and Systems IX (2013). http://www.roboticsproceedings.org/rss09/p14.html

  20. Moscato, F., Venticinque, S., Aversa, R., Martino, B.D.: Formal modeling and verification of real-time multi-agent systems: the REMM framework. In: Badica, C., Mangioni, G., Carchiolo, V., Burdescu, D.D. (eds.) IDC 2008. SCI, vol. 162, pp. 187–196. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-85257-5_19

    Chapter  MATH  Google Scholar 

  21. Pereverzeva, I.: Formal development of resilient distributed systems. Ph.D. thesis No. 203. Turku Centre for Computer Science (2015). http://urn.fi/URN:ISBN:978-952-12-3253-4

  22. Rouff, C.A., Hinchey, M.G., Peña, J., Cortés, A.R.: Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems. In: 2007 IEEE Swarm Intelligence Symposium, SIS 2007, pp. 348–355. IEEE (2007). https://doi.org/10.1109/SIS.2007.367958

  23. Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Integrating stochastic reasoning into Event-B development. Formal Asp. Comput. 27(1), 53–77 (2015). https://doi.org/10.1007/s00165-014-0305-z

    Article  MathSciNet  MATH  Google Scholar 

  24. Vistbakka, I., Majd, A., Troubitsyna, E.: Deriving mode logic for autonomous resilient systems. In: Sun, J., Sun, M. (eds.) ICFEM 2018. LNCS, vol. 11232, pp. 320–336. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-02450-5_19

    Chapter  Google Scholar 

  25. Vistbakka, I., Majd, A., Troubitsyna, E.: Multi-layered approach to safe navigation of swarms of drones. In: Gallina, B., Skavhaug, A., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2018. LNCS, vol. 11094, pp. 112–125. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99229-7_11

    Chapter  Google Scholar 

  26. Vistbakka, I., Troubitsyna, E., Majd, A.: Multi-layered safety architecture of autonomous systems: formalising coordination perspective. In: HASE 2019, pp. 58–65. IEEE (2019). https://doi.org/10.1109/HASE.2019.00019

  27. Webster, M., et al.: Toward reliable autonomous robotic assistants through formal verification: a case study. IEEE Trans. Hum.-Mach. Syst. 46(2), 186–196 (2016). https://doi.org/10.1109/THMS.2015.2425139

    Article  Google Scholar 

  28. Winfield, A.F., Sa, J., Fernandez-Gago, M.C., Dixon, C., Fisher, M.: On formal specification of emergent behaviours in swarm robotic systems. Int. J. Adv. Robot. Syst. 2(4), 363–370 (2005). https://doi.org/10.5772/5769

    Article  Google Scholar 

  29. Zambonelli, F., Jennings, N.R., Wooldridge, M.J.: Developing multiagent systems: the Gaia methodology. ACM Trans. Softw. Eng. Methodol. 12(3), 317–370 (2003). https://doi.org/10.1145/958961.958963

    Article  Google Scholar 

  30. Zhu, X., Liu, Z., Yang, J.: Model of collaborative UAV swarm toward coordination and control mechanisms study. Proc. Comput. Sci. 51(C), 493–502 (2015). https://doi.org/10.1016/j.procs.2015.05.274

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Åbo Akademi University, Turku, Finland

    Inna Vistbakka & Elena Troubitsyna

  2. KTH – Royal Institute of Technology, Stockholm, Sweden

    Elena Troubitsyna

Authors
  1. Inna Vistbakka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. 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. University of York, York, UK

    Radu Calinescu

  2. ISTI-CNR, Pisa, Italy

    Felicita Di Giandomenico

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Vistbakka, I., Troubitsyna, E. (2019). Modelling Autonomous Resilient Multi-robotic Systems. In: Calinescu, R., Di Giandomenico, F. (eds) Software Engineering for Resilient Systems. SERENE 2019. Lecture Notes in Computer Science(), vol 11732. Springer, Cham. https://doi.org/10.1007/978-3-030-30856-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-30856-8_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-30855-1

  • Online ISBN: 978-3-030-30856-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation