nach oben

vorheriges Kapitel A Distilled Characterization of Resilience and ...

nächstes Kapitel Reactive Middleware for Effective Requirement C...

Tipp

Weitere Kapitel dieses Buchs durch Wischen aufrufen

2019 | OriginalPaper | Buchkapitel

Modelling Autonomous Resilient Multi-robotic Systems

Erstes Kapitel lesen

Autoren: Inna Vistbakka, Elena Troubitsyna

Verlag: Springer International Publishing

Erschienen in: Software Engineering for Resilient Systems

» Jetzt Zugang zum Volltext erhalten

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.

Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten

Jetzt einloggen Kostenlos registrieren

Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

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

über 69.000 Bücher
über 500 Zeitschriften

aus folgenden Fachgebieten:

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

Testen Sie jetzt 30 Tage kostenlos.

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 50.000 Bücher
über 380 Zeitschriften

aus folgenden Fachgebieten:

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

Testen Sie jetzt 30 Tage kostenlos.

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 58.000 Bücher
über 300 Zeitschriften

aus folgenden Fachgebieten:

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

Testen Sie jetzt 30 Tage kostenlos.

Jetzt informieren

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

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 CrossRef

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 CrossRefMATH

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 CrossRef

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 CrossRefMATH

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 CrossRef

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 CrossRef

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 CrossRef

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 CrossRef

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 CrossRef

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 CrossRefMATH

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 CrossRef

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 CrossRef

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_19 CrossRefMATH

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 MathSciNetCrossRefMATH

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 CrossRef

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 CrossRef

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 CrossRef

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 CrossRef

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 CrossRef

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 CrossRef

Titel

Modelling Autonomous Resilient Multi-robotic Systems

Buch

Software Engineering for Resilient Systems

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

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

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

DOI

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

Autoren:

Inna Vistbakka
Elena Troubitsyna

Verlag

Springer International Publishing

Sequenznummer

Premium Partner

Bildnachweise