Decentralized runtime enforcement for robotic swarms

来源 :信息与电子工程前沿(英文版) | 被引量 : 0次 | 上传用户:yatang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Robotic swarms are usually designed in a bottom-up way, which can make robotic swarms vulnerable to environmental impact. It is particularly true for the widely used control mode of robotic swarms, where it is often the case that neither the correctness of the swarming tasks at the macro level nor the safety of the interaction among agents at the micro level can be guaranteed. To ensure that the behaviors are safe at runtime, it is necessary to take into account the property guard approaches for robotic swarms in uncertain environments. Runtime enforcement is an approach which can guarantee the given properties in system execution and has no scalability issue. Although some runtime enforcement methods have been studied and applied in different domains, they cannot effectively solve the problem of property enforcement on robotic swarm tasks at present. In this paper, an enforcement method is proposed on swarms which should satisfy multi-level properties in uncertain environments. We introduce a macro-micro property enforcing framework with the notion of agent shields and a discrete-time enforcing mechanism called D-time enforcing. To realize this method, a domain specification language and the corresponding enforcer synthesis algorithms are developed. We then apply the approach to enforce the properties of the simulated robotic swarm in the robotflocksim platform. We evaluate and show the effectiveness of the method with experiments on specific unmanned aerial vehicle swarm tasks.
其他文献
Opinion question machine reading comprehension (MRC) requires a machine to answer questions by analyzing corresponding passages. Compared with traditional MRC t
A low-complexity likelihood methodology is proposed for automatic modulation classification of or-thogonal space-time block code (STBC) based multiple-input mul
“多从正面报道”——这是我从事新闻工作以来听得最多的一句话。的确,我们的事业,虽然碰到不少困难和挫折,总是在发展,在前进。多从正面报道,反映了我们事业的本质和主流,
为了研究和探讨玉米不同基因型之间耐铝毒的差异,揭示玉米抗铝毒机理,采用溶液培养的方法,选用一个典型的耐铝自交系和一个敏感的自交系,分别进行不同的铝处理试验,它们分别
玉米是一种主要农作物,同时是盐敏感作物,提高玉米的耐盐性,培育玉米耐盐品种具有重要的意义。本试验利用玉米幼胚作为外植体诱导愈伤组织,并以NaCl为筛选剂,采用多步选择法,先在含1.0%-1.5%-2.0%NaCl的筛选培养基上连续筛选三次,然后转入无盐培养基上培养三代,得到耐盐愈伤组织变异系。分化出的R_0代再生植株,经温室缓苗后移栽到大田,于开花期自交授粉得到R_1代种子。测定不同浓度盐胁迫下愈
从新闻工作者最熟悉的一句话开始:读者是我们的上帝,读者的需要就是我们的需要.对读者需要的深刻理解永远是一切报纸改革的前提.内地地市报纸读者的需要有以下特征:文化水准
2011~2013连续两年在河南农业大学科教示范园区(3451′N,11335′E),以郑麦366和郑麦004为试验材料,采用盆栽方式研究了小麦花后渍水(WL,水面高于盆内土面1~2cm,花后5-14d,全天)、高温(HT,采用塑料膜罩箱增温的方法,花后5-14d,每天10:00-16:00)及渍水+高温复合胁迫(WL+HT,花后5-14d)对小麦品质和产量的影响。其中2011~2012年度重点调
Run-length limited (RLL) codes can facilitate reliable data transmission and provide flicker-free illumi-nation in visible light communication (VLC) systems. We
本刊讯为充分落实市委、市政府,马鞍山市委办公室,马鞍山市政府办公室联合发出通知,对市委、市政府的进行了责任分解安排.具体如下:
利用气相色谱-质谱联用仪检测了人和32种动物粪便中以及5个不同排污口表层沉积物中10种粪固醇,以10种粪固醇含量和9个粪固醇比值为指标,分别应用层次聚类分析法对人和32种动