Nature of Computation and Communication. International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Research Article

Modeling Swarm Robotics with KnowLang

Download
388 downloads
  • @INPROCEEDINGS{10.1007/978-3-319-15392-6_2,
        author={Emil Vassev and Mike Hinchey},
        title={Modeling Swarm Robotics with KnowLang},
        proceedings={Nature of Computation and Communication. International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers},
        proceedings_a={ICTCC},
        year={2015},
        month={2},
        keywords={},
        doi={10.1007/978-3-319-15392-6_2}
    }
    
  • Emil Vassev
    Mike Hinchey
    Year: 2015
    Modeling Swarm Robotics with KnowLang
    ICTCC
    ICST
    DOI: 10.1007/978-3-319-15392-6_2
Emil Vassev1,*, Mike Hinchey1,*
  • 1: University of Limerick
*Contact email: emil.vassev@lero.ie, mike.hinchey@lero.ie

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.