TY - GEN
T1 - Modeling swarm robotics with knowlang
AU - Vassev, Emil
AU - Hinchey, Mike
N1 - Publisher Copyright:
© Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2015.
PY - 2015
Y1 - 2015
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84922125563&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-15392-6_2
DO - 10.1007/978-3-319-15392-6_2
M3 - Conference contribution
AN - SCOPUS:84922125563
T3 - Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
SP - 13
EP - 22
BT - Nature of Computation and Communication - International Conference, ICTCC 2014, Revised Selected Papers
A2 - Vinh, Phan Cong
A2 - Vassev, Emil
A2 - Hinchey, Mike
PB - Springer Verlag
T2 - International Conference on Nature of Computation and Communication, ICTCC 2014
Y2 - 24 November 2014 through 25 November 2014
ER -