Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap

verfasst von : Constantin Wanninger, Christian Eymüller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif

Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

In the field of collective adaptive systems (CASs) robotic applications are mostly executed in a simulated environment with simulated hardware and abstract capabilities due to their complexity. These simulated systems usually cannot be applied in reality without major modifications. We propose an approach to bridge the gap between abstract capabilities and the execution of concrete capabilities on real hardware through a semantic description of the hardware itself, its drivers, interfaces and capabilities, enabling the realization of CAS in the real world. With a plug and play mechanism for hardware modules and the semantic description it is now possible to develop a CAS without committing to a concrete set of hardware and, moreover, the set of hardware to the requirements of the system.

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 Engineering Collectives of Self-driving Vehicles: The SOTA Approach
Nächstes Kapitel The Meaning of Adaptation: Mastering the Unforeseen?
Literatur
1.
2.
3.
4.
Barnaghi, P., Wang, W., Dong, L., Wang, C.: A linked-data model for semantic sensor streams. In: 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, pp. 468–475 (2013)
5.
Barreiro, J., Boyce, M., Do, M., Frank, J., et al.: EUROPA: a platform for AI planning, scheduling, constraint programming, and optimization. In: 4th International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS) (2012)
6.
Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems, 1st edn. Oxford University Press, Oxford (1999)CrossRef
7.
Braubach, L., Pokahr, A., Lamersdorf, W.: Extending the capability concept for flexible BDI agent modularization. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) ProMAS 2005. LNCS (LNAI), vol. 3862, pp. 139–155. Springer, Heidelberg (2006). https://​doi.​org/​10.​1007/​11678823_​9CrossRef
8.
Bröring, A., Maué, P., Janowicz, K., Nüst, D., Malewski, C.: Semantically-enabled sensor plug & play for the sensor web. Sensors 11(8), 7568–7605 (2011)CrossRef
9.
Cao, Y., Leng, Y., Sun, J., Zhang, Y., Ge, W.: 360botG2 - an improved unit of mobile self-assembling modular robotic system aiming at exploration in real world. In: 41st Annual Conference of the IEEE Industrial Electronics Society, IECON 2015, pp. 001716–001722. IEEE (2015)
10.
Casbeer, D.W., Kingston, D.B., Beard, R.W., McLain, T.W.: Cooperative forest fire surveillance using a team of small unmanned air vehicles. Int. J. Syst. Sci. 37(6), 351–360 (2006)CrossRef
11.
Compton, M., Henson, C., Lefort, L., Neuhaus, H., Sheth, A.: A survey of the semantic specification of sensors. In: Proceedings of the 2nd International Conference on Semantic Sensor Networks, vol. 522, pp. 17–32. CEUR-WS.org (2009)
12.
Daniel, K., Dusza, B., Lewandowski, A., Wietfelds, C.: AirShield: a system-of-systems MUAV remote sensing architecture for disaster response. In: Proceedings of 3rd Annual IEEE Systems Conference (SysCon) (2009)
13.
Dibley, M., Li, H., Rezgui, Y., Miles, J.: An integrated framework utilising software agent reasoning and ontology models for sensor based building monitoring. J. Civ. Eng. Manag. 21(3), 356–375 (2015)CrossRef
14.
Dorigo, M., et al.: Swarmanoid: a novel concept for the study of heterogeneous robotic swarms. In: IEEE Conference on Robotics, Automation and Mechatronics (RAM), vol. 20, no. 4, pp. 60–71 (2013)
15.
16.
Gross, M.D., Veitch, C.: Beyond top down: designing with cubelets. Tecnologias, Sociedade e Conhecimento 1(1), 150–164 (2013)
17.
Gross, R.: Self-assembling robots. KI 22(4), 61–63 (2008)
18.
Gross, R., Dorigo, M.: Towards group transport by swarms of robots. Int. J. Bio-Inspired Comput. 1(1–2), 1–13 (2009)CrossRef
19.
Hanke, J., Kosak, O., Schiendorfer, A., Reif, W.: Self-organized resource allocation for reconfigurable robot ensembles. In: 2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems, September 2018
20.
Kernbach, S.: Structural Self-organization in Multi-agents and Multi-robotic Systems. Logos Verlag Berlin GmbH, Berlin (2008)
21.
Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability. arXiv preprint arXiv:​1108.​5643 (2011)
22.
Kosak, O.: Facilitating planning by using self-organization. In: 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 371–374, September 2017
23.
Kovacina, M.A., Palmer, D., Yang, G., Vaidyanathan, R.: Multi-agent control algorithms for chemical cloud detection and mapping using unmanned air vehicles. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, vol. 3, pp. 2782–2788 (2002)
24.
Morgan, D., Subramanian, G.P., Chung, S.J., Hadaegh, F.Y.: Swarm assignment and trajectory optimization using variable-swarm, distributed auction assignment and sequential convex programming. Int. J. Robot. Res. 35(10), 1261–1285 (2016)CrossRef
25.
Preece, A., et al.: Matching sensors to missions using a knowledge-based approach. In: Proceedings of SPIE: Defense Transformation and Net-Centric Systems, vol. 6981, p. 698109–1 (2008)
26.
Prud, E., Seaborne, A., et al.: SPARQL query language for RDF (2006)
27.
Quigley, M., et al.: ROS: an open-source Robot Operating System. In: ICRA Workshop on Open Source Software, Kobe, vol. 3, p. 5 (2009)
28.
Reid, C.R., Lutz, M.J., Powell, S., Kao, A.B., Couzin, I.D., Garnier, S.: Army ants dynamically adjust living bridges in response to a cost–benefit trade-off. Proc. Natl. Acad. Sci. 112(49), 15113–15118 (2015)CrossRef
29.
Romanishin, J.W., Gilpin, K., Rus, D.: M-blocks: momentum-driven, magnetic modular robots. In: 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 4288–4295, November 2013
30.
Schierl, A.: Object-oriented modeling and coordination of mobile robots. Doctoral thesis, Universität Augsburg (2017)
31.
Tenorth, M., Beetz, M.: KNOWROB - knowledge processing for autonomous personal robots. In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 4261–4266 (2009)
32.
Vistein, M., Angerer, A., Hoffmann, A., Schierl, A., Reif, W.: Flexible and continuous execution of real-time critical robotic tasks. Int. J. Mechatron. Autom. 4(1), 27–38 (2014)CrossRef
33.
Xue, L., Liu, Y., Zeng, P., Yu, H., Shi, Z.: An ontology based scheme for sensor description in context awareness system. In: 2015 IEEE International Conference on Information and Automation, pp. 817–820 (2015)
34.
Metadaten
Titel
Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap
verfasst von
Constantin Wanninger
Christian Eymüller
Alwin Hoffmann
Oliver Kosak
Wolfgang Reif
Copyright-Jahr
2018
Buch
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Print ISBN: 978-3-030-03423-8

Electronic ISBN: 978-3-030-03424-5

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-030-03424-5_7