Abstract
Swarm robotics has emerged as a paradigm whereby intelligent agents are considered to be autonomous entities that interact either cooperatively or non-cooperatively. The concept is biologically-inspired and offers many advantages compared with single-agent systems, such as: greater redundancy, reduced costs and risks, and the ability to distribute the overall work among swarm members, which may result in greater efficiency and performance. The distributed and local nature of these systems is the main factor in the high degree of parallelism displayed by their dynamics that often results in adaptation to changing environmental conditions and robustness to failure. This paper presents a formal approach to modeling self-adaptive behavior for swarm robotics. The approach relies on the KnowLang language, a formal language dedicated to knowledge representation for self-adaptive systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ASCENS: ASCENS - Autonomic Service-Component Ensembles. ascens-ist.eu (2014). http://www.ascens-ist.eu/
Bonani, M., Baaboura, T., Retornaz, P., Vaussard, F., Magnenat, S., Burnier, D., Longchamp, V., Mondada, F.: marXbot, Laborotoire de Systemes Robotiques (LSRO), Ecole Polytechnique Federale de Lausanne. mobots.epfl.ch (2011). http://mobots.epfl.ch/marxbot.html
Serbedzija, N., Hoch, N., Pinciroli, C., Kit, M., Bures, T., Monreale, G., Montanari, U., Mayer, P., Velasco, J.: D7.3: Third Report on WP7 Integration and Simulation Report for the ASCENS Case Studies. ASCENS Deliverable (2013)
Vassev, E., Hinchey, M.: Autonomy requirements engineering. In: Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013), pp. 175–184. IEEE Computer Society (2013)
Vassev, E., Hinchey, M.: Autonomy requirements engineering: A case study on the bepicolombo mission. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2013), pp. 31–41. ACM (2013)
Vassev, E., Hinchey, M.: On the autonomy requirements for space missions. In: Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013). IEEE Computer Society (2013)
Vassev, E., Hinchey, M., Gaudin, B.: Knowledge representation for self-adaptive behavior. In: Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E 2012), pp. 113–117. ACM (2012)
Vassev, E., Hinchey, M., Montanari, U., Bicocchi, N., Zambonelli, F., Wirsing, M.: D3.2: Second Report on WP3: The KnowLang Framework for Knowledge Modeling for SCE Systems. ASCENS Deliverable (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Vassev, E., Hinchey, M. (2015). Modeling Swarm Robotics with KnowLang. In: Vinh, P., Vassev, E., Hinchey, M. (eds) Nature of Computation and Communication. ICTCC 2014. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 144. Springer, Cham. https://doi.org/10.1007/978-3-319-15392-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-15392-6_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15391-9
Online ISBN: 978-3-319-15392-6
eBook Packages: Computer ScienceComputer Science (R0)