On the robustness of consensus-based behaviors for robot swarms
SWARM INTELLIGENCE(2020)
摘要
In swarm robotics, behaviors requiring consensus, meaning having the robots agree on a set of variables, have attracted great attention over the years. Determining the robustness and applicability of these behaviors in harsh communication environments is an open area of research. In this paper, we propose the use of a formal software engineering technique, statistical model checking, to model and assess the robustness of consensus-based behaviors from a communication standpoint. We validate our approach on two common scenarios for a robot swarm: the election of a leader and the allocation of a set of tasks. With the proposed model, we verify the functional correctness of these consensus-based algorithms, as well as assessing their robustness to communication loss and robot failures.
更多查看译文
关键词
Swarm robotics,Autonomous systems,Formal verification,Statistical model checking
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络