nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Modelling Autonomous Resilient Multi-robotic Systems

verfasst von : Inna Vistbakka, Elena Troubitsyna

Erschienen in: Software Engineering for Resilient Systems

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces

Nächstes Kapitel Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development

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

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-yCrossRef

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/S0218194001000517CrossRef

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_12CrossRefMATH

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-2CrossRef

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.efCrossRefMATH

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.1082967CrossRef

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_15CrossRef

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_15CrossRef

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_7CrossRef

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/0278364914546174CrossRef

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_2CrossRefMATH

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_42CrossRef

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.008CrossRef

15.

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

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_19CrossRefMATH

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-zMathSciNetCrossRefMATH

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_19CrossRef

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_11CrossRef

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.2425139CrossRef

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/5769CrossRef

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.958963CrossRef

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.274CrossRef

Titel: Modelling Autonomous Resilient Multi-robotic Systems
verfasst von: Inna Vistbakka
Elena Troubitsyna
Verlag: Springer International Publishing
Buch: Software Engineering for Resilient Systems
Print ISBN: 978-3-030-30855-1

Electronic ISBN: 978-3-030-30856-8

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-30856-8_3

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"