Probabilistic Model Checking of Ant-Based Positionless Swarming
Probabilistic Model Checking of Ant-Based Positionless Swarming
复制标题
基于蚂蚁的无位置集群概率模型检验
DOI：
10.1007/978-3-319-40379-3_13
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
U. Hustadt
中科院分区：
文献类型：
--
作者：
Paul Gainer;C. Dixon;U. Hustadt
机器人群是一群简单的机器人在没有集中控制的情况下进行合作。群体的控制算法通常受到自然界中分散的问题解决系统的启发。在本文中，我们对一种算法进行了形式化分析，该算法受到蚂蚁觅食行为的启发，其中一群飞行器在某个未知位置搜索目标。我们展示了如何使用穷举模型检查和统计模型检查来检查属性，以补充通过模拟获得的结果，从而产生有助于群体部署后勤的信息。
Robot swarms are collections of simple robots cooperating without centralized control. Control algorithms for swarms are often inspired by decentralised problem-solving systems found in nature. In this paper we conduct a formal analysis of an algorithm inspired by the foraging behaviour of ants, where a swarm of flying vehicles searches for a target at some unknown location. We show how both exhaustive model checking and statistical model checking can be used to check properties that complement the results obtained through simulation, resulting in information that would facilitate the logistics of swarm deployment.
DOI：
10.1016/j.robot.2011.10.005
发表时间：
2012-02
期刊：
Robotics Auton. Syst.
影响因子：
--
作者：
Savas Konur;C. Dixon;Michael Fisher
通讯作者：
Savas Konur;C. Dixon;Michael Fisher
简单觅食机器人行为的演绎验证
DOI：
10.1108/17563780911005818
发表时间：
2009
影响因子：
4.3
作者：
Behdenna A
通讯作者：
Behdenna A